-
Join 81 other subscribers
-
Recent Posts
- A Bad Trip to Infinity [4800 views]
- GOFAI is dead – long live (NF) AI! [10,000 views]
- 50 Years of Wow- I lived through 5 decades of computing milestones [4400 views]
- Just How Smart are You, ChatGPT? I quiz chatGPT about math.[7500 views]
- To Be or Not to Be – Mathematical Existence and the Axiom of Choice [3900 views]
Archives
- March 2023
- February 2023
- December 2022
- November 2022
- July 2022
- June 2022
- May 2022
- March 2022
- February 2022
- January 2022
- December 2021
- August 2021
- June 2021
- May 2021
- March 2021
- February 2021
- January 2021
- September 2020
- August 2020
- July 2020
- June 2020
- April 2020
- March 2020
- February 2020
- January 2020
- December 2019
- October 2019
- June 2019
- April 2019
- March 2019
- October 2018
- September 2018
- November 2017
- June 2017
- May 2017
- April 2017
- March 2017
- March 2016
- January 2016
- December 2015
- November 2015
- October 2015
- September 2015
- July 2012
- April 2012
- March 2012
- December 2011
- May 2011
- April 2011
- March 2011
- February 2011
- July 2010
Meta
Monthly Archives: August 2020
Lucid – the origin story [5000 views]
I’ve already written about the origins of Lucid but that was a dry, technical, and incomplete post. Here is the real story, with all the drama and passion, the thrill of victory, the agony of defeat. Well maybe not quite. … Continue reading
Posted in Uncategorized
4 Comments
Monads and Intensionality – Lucid is not an aberration [2700 views]
Be ahead of your time, but only a little. – Mason Cooley Do you understand monads? I don’t, so I thought I’d explain them to you. Then, once you’ve got it, I’ll re-explain Lucid. No Haskell, optional category theory, gluten … Continue reading
Posted in Uncategorized
2 Comments