4. I love LLMs, I hate hype (geohot.github.io)

I think from this blog you may misunderestimate how absolutely giddy I am about AI. I did hacking from 2007-2014, after that my whole career has been devoted to AI. I love the progress. I’m so excited for the new LLMs, self driving cars, video generation models, and coding agents. I set up a Linux box with opencode on my local GLM-5.2 last week and wow like just saying install tmux with the geohot configuration works; the Year of the Linux Desktop is finally here!

15. Doctors die. It's not like the rest of us, but it should be (2016) (archive.cancerworld.net)

This hard-hitting blogpost by Ken Murray, a retired Los Angeles family doctor, helped open up discussions about why doctors routinely administer treatments to dying patients that they would adamantly refuse for themselves. Years ago, Charlie, a highly respected orthopaedist and a mentor of mine, found a lump in his stomach. He had a surgeon explore

17. An agent in 100 lines of Lisp (thebeach.dev)

Around 2000 I took an AI course at the University of Guelph. I don't think I learned too much. We didn't talk about neural networks, as far as I can remember. My end of term project was, I think, a pathfinding algorithm wearing an AI costume. There were certainly no discussions of transformers. No CUDA. No PyTorch. None of that existed.
But what I remember doing a lot of was coding in Lisp - a lot of Lisp in the dark University of Guelph CIS lab.

29. Automation Without Understanding (arxiv.org)

Two developments are unfolding at once: artificial intelligence systems have begun to produce genuine research-level mathematics, and the United States is weakening the pipeline that produces humans capable of understanding what such systems are doing. This essay argues that, taken together, these developments amount to a strategic error. Mathematical capacity, which is the trained ability to verify, interpret, and challenge mathematical reasoning, is not a byproduct of theorem production but a form of infrastructure, built over generations by institutions that cannot be reconstituted on demand. Drawing on the May 2026 AI disproof of a longstanding ErdΕ‘s conjecture on the planar unit distance problem and on recent disruptions to federal support for the mathematical sciences, the essay makes the case for treating mathematical capacity as a strategic asset on a par with semiconductor capability. It further proposes, among other measures, that AI systems performing consequential reasoning be required to expose their decision-critical claims in formal, machine-checkable form, converting part of AI reasoning from opaque persuasion into auditable structure.

Article Details

Browse by Date

Type to search HN and engineering blog articles
Press Escape to close  |  ↑↓ to navigate  |  Enter to open