In recent months there has been a proliferation of AI-generated proofs of various old and new results, some of which have been formalized in the proof assistant language Lean. However, checking tha…
If you've ever clicked on a search result only to land on a version of a site you don't prefer, Kagi's URL Redirects (also known as URL Rewrites) puts you in control by automatically rewriting search...
The '90s-era digital camera metadata format, still useful in 2026.
How wind and solar quietly pushed gas off the margin, and the wholesale price followed.
SpaceX priced its debut at a $1.77 trillion valuation, edging Saudi Aramco's $1.7T for the largest in history. Each block is $25 billion. Aramco was the only company that ever came close; the famous tech IPOs barely register.
I’ve just finished reading Careless People by Sarah Wynn-Williams and was equally parts shocked and unsurprised by the events she witnessed at Facebook / Met...
When timestamps aren’t time-ordered and other oddities
It has been about four months since I returned to Zig after being absent for a few years. In this time, I have written some software in Zig and reengaged with the community, online and in person. I decided to share some of that experience, including what I have liked about Zig so far and what I haven't. I'll include…
A casual, roughly bimonthly Sunday coffee meetup for Hacker News posters in Helsinki. Open to anyone with 64+ HN karma.
In one of my classes I asked the question I was afraid to ask but I just needed the answer to: “Who is afraid of not getting a job after graduating?” About eighty percent of the 150 people in the room raised their hands. That is roughly 120 students answering, in one motion, that they […]
Recently, a friend recommended BioGaia Prodentis to me. It is a DTC oral probiotic you can buy online that is supposedly good for oral health. I thought it would be interesting to do some sequencing to see what, if anything, it did to my oral microbiome.
The trademark infringement issue has now been resolved. The author of the website and project in question has removed all uses of the Notepad++ trademark from his product, website, and related materials. The unauthorized references have been taken down, and the trademark infringement is no longer ongoing.
How Go 1.26's source-level inliner works, and how it can help you with self-service API migrations.
How Reddit accidentally leaked its spamurai system.
Give any AI agent a persistent memory in minutes. Works with Claude, ChatGPT, Ollama, OpenRouter, and any MCP-compatible agent. Open source, self-hosted, model-agnostic.
Porting a 2012 OpenCV paper to YOLOv8 and CoreML on iOS to score rifle shooting targets from a photo - replacing the brass-plug scoring gauge with on-device computer vision.
Magic files and where to find them: .gitignore, .gitattributes, .mailmap, .git-blame-ignore-revs, .lfsconfig, and more.
Planetfall was yesterday's public release, but of course I've spent the past few weeks concentrating on Infidel. A couple of days I came across the most egregious bug I've yet seen in an Infocom game. This bug is extremely difficult to detect ...
NanoGPT Slowrun is an open effort to implement data-efficient learning algorithms; 5.5x data efficiency in the first week and improving.
I gave up blogging a long time ago (apart from an occasional thing about ArduPilot), I tend to just write code and hope people find it…
$6 trillion in patient capital, $60+ billion in annual fees, and the infrastructure that never gets built
Slopforks: what happens when a library gets rewritten with AI?
Update: Sorry, but a commenter points out that this may just be an artifact of counting based on when most recently modified, not on original submission date. Numbers using original, not most recen…
Thoughts on an experiment that I've been running for about a month.
The git flag I assumed was an LLM hallucination
A blog mostly about Clojure programming
I like HackerNews, but I don't love that so much of it has turned into discussion of a single topic: AI. This is a version of HackerNews, filtered to remove any article focusing on __AI__. Refreshes about every ten minutes.
Chest fridge Using vertical doors in refrigeration devices is an act against the Nature of Cold Air. Understanding and cooperating with Nature rather than acting against it leads to much better efficiency. My chest fridge (Vestfrost freezer turned into a fridge) consumes about 0.1 kWh a day. It works only…
You all know me, I love exploring new memory safety approaches and blending them together in weird ways.
