hyperpallium2
- Karma
- 0
- Created
- ()
- Submissions
- 0
-
Agentic programming reveals mechanical joins of an algebra of de facto components, that resisted capture by formal abstractions. Can we improve formal module abstraction so it can capture this statistically revealed…
- Coding Adventure: Simulating Smoke [video] (youtube.com)
- “I haven't failed! I’ve discovered a thousand ways that won’t work!” – Edison (quoteinvestigator.com)
- Bool's Laws of Thought (en.wikipedia.org)
- Noam Chomsky – The Function of Language [2018?] (youtube.com)
-
Steve Jobs promoted the "personal computer" with this concept that a bicycle (and a road) makes a human more efficient than any other animal, even a condor. And that a computer could amplify your mind in a similar way.…
- Why doesn't mathematics collapse though human error in proofs? (mathoverflow.net)
- I was an astrologer – here's how it really works (2019) (theguardian.com)
-
Pen and paper assist working memory; books assist long-term memory; it seems comouters can assist our reasoning - but do they? I don't mean code that assists us to write code, but that assists us to reason. Maybe along…
- Programming as Theory Building (Naur, 1985) [pdf] (cs.wisc.edu)
- Vernor Vinge Wins 2020 Heinlein Award (locusmag.com)