-
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: September 2018
Programming With End-Of-Data [3200 views]
In the last post we introduced eod (end-of-data), a special sentinel value used to mark the end of a finite Lucid stream. Streams in Lucid are all formally infinite (non terminating) but we can use eod to represent finite streams … Continue reading
Posted in Uncategorized
1 Comment
Bill Wadge's Blog 