| | PyFL, a Prgmr-Frdly Funcl Language Based on Conventional Mathematical Notation (billwadge.com) |
|
2 points by herodotus 5 months ago | past
|
| | The Root of all Evil- more sayings (billwadge.com) |
|
5 points by herodotus 5 months ago | past
|
| | "Computers Are Useless" and Other Sayings (billwadge.com) |
|
8 points by herodotus 6 months ago | past | 3 comments
|
| | Old Masters, New Technology (billwadge.com) |
|
3 points by herodotus 8 months ago | past
|
| | And Beyond, (but not too far beyond) (billwadge.com) |
|
3 points by herodotus 9 months ago | past
|
| | The complete story of Gödel incompleteness (billwadge.com) |
|
81 points by herodotus 9 months ago | past | 34 comments
|
| | To Infinity Streams in PyFL (billwadge.com) |
|
1 point by herodotus 9 months ago | past
|
| | To Infinity ... (billwadge.com) |
|
1 point by 082349872349872 10 months ago | past
|
| | The Rise and Fall of GOFAI (billwadge.com) |
|
50 points by herodotus 10 months ago | past | 45 comments
|
| | Pattern Matching in Pyfl (billwadge.com) |
|
2 points by herodotus 10 months ago | past
|
| | We Demand Data – The Story of Lucid and Eduction (billwadge.com) |
|
2 points by ThisIsMyAltAcct 11 months ago | past | 1 comment
|
| | The Autocomplete Myth (billwadge.com) |
|
1 point by herodotus on April 6, 2023 | past | 2 comments
|
| | A Bad Trip to Infinity (billwadge.com) |
|
66 points by herodotus on March 25, 2023 | past | 142 comments
|
| | I Chat, Therefore I Am (billwadge.com) |
|
2 points by herodotus on March 18, 2023 | past
|
| | Every – GOFAI is dead – long live (NF) AI (billwadge.com) |
|
2 points by herodotus on Feb 22, 2023 | past
|
| | 50 Years of Wow- I lived through 5 decades of computing milestones (billwadge.com) |
|
36 points by herodotus on Dec 25, 2022 | past | 9 comments
|
| | 50 Years of Wow- I lived through 5 decades of computing milestones (billwadge.com) |
|
4 points by 082349872349872 on Dec 25, 2022 | past | 2 comments
|
| | ChatGPT Writes Some Memos for Me – and Does a Great Job (billwadge.com) |
|
2 points by herodotus on Dec 21, 2022 | past
|
| | Let Cicero Help with Your Grant Application (billwadge.com) |
|
17 points by herodotus on Dec 21, 2022 | past | 3 comments
|
| | I quiz ChatGPT about math (billwadge.com) |
|
79 points by herodotus on Dec 15, 2022 | past | 84 comments
|
| | AI Generated Guest Blog: Famous Mathematicians (billwadge.com) |
|
2 points by herodotus on Dec 12, 2022 | past
|
| | Mathematical Existence and the Axiom of Choice (billwadge.com) |
|
83 points by herodotus on Nov 28, 2022 | past | 100 comments
|
| | AI Generated Guest Blog: around the world (billwadge.com) |
|
1 point by herodotus on Nov 26, 2022 | past
|
| | Good Old Fashioned AI is dead, long live New-Fangled AI (billwadge.com) |
|
164 points by isomorphy on Nov 15, 2022 | past | 89 comments
|
| | Gofai is dead – long live (NF) AI (billwadge.com) |
|
1 point by herodotus on Nov 14, 2022 | past
|
| | Believe Me, it Will Work: the rhetoric of software correctness (billwadge.com) |
|
3 points by herodotus on Oct 14, 2022 | past
|
| | We demand data – The story of Lucid and eduction (billwadge.com) |
|
34 points by herodotus on July 17, 2022 | past | 4 comments
|
| | Laws of the Universe and Teaching (2019) (billwadge.com) |
|
2 points by Tomte on July 9, 2022 | past
|
| | Computing on the Baire Space – my Sochi talk (billwadge.com) |
|
2 points by herodotus on July 2, 2022 | past
|
| | Hyperstreams – Nesting in Lucid (billwadge.com) |
|
3 points by herodotus on June 28, 2022 | past
|
|
|
More |