-*- coding: utf-8 -*- Xah Lee ​AA cuz i sleep round the clock Xah Lee ​hi justin Justin Scarfy ​don knuth does a Lex interview 😃 Justin Scarfy ​what would happen to both uber drivers and the people who write uber once we have full self ubers? Justin Scarfy ​full self-driving* ubers Justin Scarfy ​same as bus drivers? Justin Scarfy ​shouldnt we subsidize them to let them go to university and stuff - more advanced jobs such as doing mathematics? Justin Scarfy ​and self-driving airplanes in the future? Welcome to live chat! Remember to guard your privacy and abide by our community guidelines. Nabi Yang ​i don't think they'd want to go to university even if they were subsidized Nabi Yang ​some would, obviously, but the rest have other desires for their life Xah Lee ​coming on in 5 Emily ​Heyy gang :D Nabi Yang ​hi Kathy H ​hi all!! Dan Morris ​LIKE; Hello all!. Kathy H ​lol vulcan ​hola Emily ​Yoyo Vulcan Nabi Yang ​i envy that bookshelf vulcan ​I wouldn't oversell myself to that extent xah 😃 vulcan ​But yes, i do contribute to FreeBSD *where* I can vulcan ​And hello there Emily Emily ​*dog waving* vulcan ​I'm surprised you're up. It's late!-ish Emily ​I mean.... Same to you vulcan ​I've been longing to actually catch a stream of xah's *live*, so here I am :) Emily ​:D well welcome vulcan ​Already feeling at home :D vulcan ​Is there any particular topics for today? Douglas Packard ​just came from your old video on math foundations and HoTT vulcan ​oh no, I have a feeling xah may see the long conversation between me and sezen - may wanna skip over it, went on for quite a while lol Nabi Yang ​if two dinosaurs meet two other dinosaurs in the woods and there are no mathematicians around to see it, are there four dinosaurs? Dan Morris ​😂😂😂 haskell Justin Scarfy ​hi Kathy H ​this is the first time I saw people owing and probably finishing all the GMT books😂 Douglas Packard ​I've heard Lean is a very good alternative to Coq Nabi Yang ​is it really called coq? 😡 A A ​@Nabi Yang Coq means the male of the chicken in french A A ​@Xah Lee interesting things are in research papers Nabi Yang ​in english too, though it's spelled cock. i just don't think i could tell anyone, "i like coq" with a straight face 😅 A A ​@Xah Lee Let investigate Bourbaki group A A ​Curriculum Vitae A A ​[message retracted] A A ​[message retracted] A A ​Injection : If f(x) = f(x') => x = x' A A ​Surjection : for every y in f(B) , there is x in B such as f(x ) = y paul durao ​Love latex A A ​@Xah Lee I like the art of computer programming volume 1 paul durao ​There is a latex based emacs paul durao ​Read Knuth books as well Kathy H ​Probability and set theory seems to be an easier entry point than Bourbaki group in reasoning paul durao ​Those names have been around for ages A A ​@Kathy H I agree A A ​@Kathy H Applications in the R set are interesting too Kathy H ​And not many people has the position to know high order logic enough to explain the ideas very well to others paul durao ​Lol A A ​@Kathy H I think programmers can have tons of value from applications in the R set, arithmetic , probability and combinatorics ... Douglas Packard ​wtf is an epimorphism paul durao ​Lol Benkio ​and even Haskell and cat the. Benkio ​is done A A ​@Douglas Packard It seems to be a function that if tow other functions start from its image set then they would be equal functions g1 . f = g2 . f => g1 = g2 Kathy H ​@A A agreed, one of the under-represented subjects in CS curriculum, another is control theory. A A ​@Xah Lee Successful sometimes means lazy ... I see that almost everything that is revolutionary comes from deep sophistication and rigor .. A A ​@Xah Lee Although one would think about simplicity too. Which is not necessarily an opposite of deep thinking etc ... Xah Lee ​http://xahlee.info/linux/linux_downlo... Liokardo ​translate because you're chinese? Liokardo ​@Xah Lee DOTA typo Liokardo ​dota, not data A A ​@Xah Lee What do you think of the emacs application framework ? A A ​@Xah Lee duckduckgo it Liokardo ​@Xah Lee The Google Translate popup, does it appear because you have set language preference? A A ​@Xah Lee It is an effort to extend emacs with pyqt, it integrates a web browser, a pdf viewer, a video player ... A A ​@Xah Lee Although it is still in first stages ... Sun Zhe ​hello A A ​computers are a hack Moch Deden ​hello comrade ! paul durao ​Like some lex interviews but not others depending on the guests Emily ​Wayland A A ​watch : The real story behind Wayland and X paul durao ​Love X hate Wayland Dan Morris ​> Love X, Hate Waylan/System(D). Dan Morris ​The thing is: linux is only a kernel. "What you're referring to as Linux,is in fact, GNU/Linux, or as I've recently taken to calling it, GNU plus Linux." Dan Morris ​😂🙄 A A ​😂 A A ​😂 A A ​@Xah Lee propose a good OS for us Dan Morris ​@Xah Lee Can you list your top-10 favorite topics (programming languages, etc) ? Dan Morris ​@A A What about TemplOS ? Dan Morris ​TempleOS* A A ​@Dan Morris I don't think it can do a lot of things which are modern etc A A ​gobolinux uses its own directories etc .. paul durao ​UNIX developed into plan 9 Dan Morris ​@Xah Lee What about The-GoboLinux-Filesystem-Hierarchy ? Liokardo ​@Xah Lee set the fullscreen camera to actually fullscreen in OBS Xah Lee ​xah talk show 2020-01-01 http://xahlee.info/talk_show/xah_talk... La Casaca ​entirely? A A ​It means 6000 different dreams were deleted . Liokardo ​that american fact is disturbing, native americans wiped out A A ​With their every future ramification ... A A ​I think all humans are doing it always, wiping etc A A ​It seems as if perishing and transformation is fundamental This message is held for review. A A ​Be it nazi, liberal, communist, muslim etc Liokardo ​Xah's article "You Love Murder". Liokardo ​context my dude Liokardo ​have a good day Xah Lee Say something... 0/200