-*- coding: utf-8 -*- Xah Lee ​start soon Xah Lee ​hi justin Freddy Freeman ​about to go to sleep, but wanted to say it was an interesting rant yesterday, just watched it😁 Xah Lee ​start in 5 Xah Lee ​😀 Xah Lee ​hey freddy Welcome to live chat! Remember to guard your privacy and abide by our community guidelines. Justin Scarfy ​good morning Dan Morris ​Hello Xah 😸 ❤ Kathy H ​Hi all Justin Scarfy ​i have been to MSRI Dan Morris ​Hi @Kathy H Justin Heyes-Jones ​Hi all Dan Morris ​:brazilyep Kathy H ​Good to see you again Dan Jason ​Hey Xah, hey chat Dan Morris ​CV of nerds :) Justin Heyes-Jones ​that's cool Justin Heyes-Jones ​what is the link to his resume? Xah Lee ​Ergodox Keyboard http://xahlee.info/kbd/ergodox_keyboa... Dan Morris ​@Xah Lee show us your CV 😃 Xah Lee ​http://ergoemacs.org/misc/ergoemacs_v... Justin Scarfy ​im here Xah Lee ​xah talk show 2020-01-07 http://xahlee.info/talk_show/xah_talk... Xah Lee ​xahlee discord https://discord.gg/QYFcqNT Justin Scarfy ​next topic- show us how to program uber Justin Scarfy ​or spaceX Justin Scarfy ​i do Kathy H ​yep, here. I am reading the seasoned schemer while listening your stream, coz I know nothing about JS😂 Kathy H ​yep Thomas Wall ​Hello, Xah! Kathy H ​The SICP takes lots of time to do the questions...very painful yet enjoyable to read ... Justin Heyes-Jones ​I enjoyed SICP. A lot of numeric problems but i think that's ok for a prospective programmer Kathy H ​yeah, it didn't help a lot in real world work. Kathy H ​even doing machine learning, there is almost nobody writing numerical approximation or matrix multiplication by themselves Justin Heyes-Jones ​i guess because it was from MIT they can be very numeric focused Justin Scarfy ​can we change coq to be automatic? Justin Heyes-Jones ​i think SICP changes the mindset of programmers who come from OOP or very imperative background Justin Heyes-Jones ​in a good way La Casaca ​dan friedman is older Justin Scarfy ​there are people working on automates *mathematical definitions* Justin Heyes-Jones ​@Justin Scarfy that sounds pretty interesting La Casaca ​guatemala Kathy H ​sounds advanced😀can't even imagine their methodology @Justin Scarfy La Casaca ​they call it "the socratic way" in the books La Casaca ​or induction Justin Scarfy ​Alan Bundy writes logic Justin Scarfy ​hey Justin Scarfy ​we have a conference Xah Lee ​State of Theorem Proving Systems 2008 http://xahlee.info/cmaci/notation/the... Justin Scarfy ​Mizar is first order logic Justin Scarfy ​hi Justin Scarfy ​some of my messages dont get through here mati navas ​hey there mati navas ​@Xah Lee sry, coulndt bother to load pics into discord yet Justin Scarfy ​tell us why g00gle censors Justin Scarfy ​hi George ​Hi Xah George ​Is 8am here George ​Google censored my very important message lol George ​I'll post in #quarantine-zone mati navas ​google, better make your vids safe for work Justin Scarfy ​what is quarantine-zone? Justin Scarfy ​tell me on discord Justin Scarfy ​??? George ​Justin it's a channel on Xah's discord Kathy H ​it's originally set for discussing controversial topics with heads up warning, so that they can focus on the discussion without falling in bickering and offense argument Kathy H ​thanks, bye mati navas ​cu