Story Published at: September 16, 2022 at 01:17PM
Scribble: The Racket Documentation Tool
Some things I realized about AI while contemplating slide rule prices on eBay
Story Published at: September 9, 2022 at 11:42AM
Things I Won’t Work With: Azidoazide Azides, More or Less
Story Published at: August 26, 2022 at 04:24PM
Tell HN: Spammed by a Hacker News Enthusiast
Someone has scraped my contact information from my profile and is sending me an unsolicted “HackerNews” newsletter. People … don’t do that. Yes, you have an unsubscribe link, but that doesn’t excuse the unsolicited sending of a screencap of your rendering of “top stories”. At the end you say: “You’re receiving this email because you signed up on HackerNews” That […]
The largest model airport and railway
Story Published at: August 24, 2022 at 10:50AM
Deep Learning Alone Isn’t Getting Us to Human-Like AI
Story Published at: August 20, 2022 at 02:53PM
The Future of Interactive Theorem Proving?
Story Published at: August 16, 2022 at 10:19PM
What does it take to test a sorting routine? (2010)
Story Published at: August 16, 2022 at 12:04PM