3181
How to choose between Hindley-Milner and bidirectional typing
A false dichotomy that hides the real request
New
The latest blog posts to take off on Hacker News. 49,188 posts.
3182
Gwtar: A static efficient single-file HTML format
Gwtar is a new polyglot HTML archival format which provides a single, self-contained, HTML file which still can be efficiently lazy-loaded by a web browser. This is done by a header’s JavaScript making HTTP range requests. It is used on Gwern.net to serve large HTML archives.
3183
Amazon's Ring and Google's Nest reveal the severity of U.S. surveillance state
Just a decade after a global backlash was triggered by Snowden reporting on mass domestic surveillance, the state-corporate dragnet is stronger and more invasive than ever.
3184
I fixed Windows native development
Imagine you’re maintaining a native project. You use Visual Studio for building on Windows, so you do the responsible thing and list it as a dependency
3185
A Pokémon of a Different Color
Do you notice a difference? The image on the right appears “yellower” than the image on the left, which looks more goldenrod by comparison.
3186
Learning Lean: Part 1
Motivation I’ve been captivated by the recent movement to popularize mathematics formalization through the Lean theorem prover, and this year I’m diving deeper into learning it. For those unfamiliar with this revolution, I highly recommend watching Kevin Buzzard’s talks on YouTube for an overview of why formal…
3187
Two different tricks for fast LLM inference
Anthropic and OpenAI both recently announced “fast mode”: a way to interact with their best coding model at significantly higher speeds. These two versions of…
3188
Ex-Tech –> Homeless in SF
Dignity moves, the mission of survival, and $140 million across the river
3189
I love the work of the ArchWiki maintainers
For this year's "I love Free Software Day" I would like to thank the maintainers of Free Software documentation, and here especially the maintainers of the ArchWiki. Maintainers in general, and maintainers of documentation most of the time get way too little recognition for their contributions to...
3190
You can't trust the internet anymore
I like things that are strange and a bit obscure. It’s a habit of mine, and a lot of this blog is to document things I haven’t heard of before, because I wan...
3191
Gemini 3 Deep Think drew me a good SVG of a pelican riding a bicycle
New from Google. They say it's "built to push the frontier of intelligence and solve modern challenges across science, research, and engineering". It drew me a really good SVG of …
3192
A Programmer's Loss of Identity
This is the follow-up to last year’s I’m an American software developer and the "broligarchs" don’t speak for me . In that essay, I tried to express why I was so agonized by the leaders in my industry doing a speedrun towards dystopia and how it all felt so divorced from what technology could, and should be…
3193
My smart sleep mask broadcasts users' brainwaves to an open MQTT broker
I recently got a smart sleep mask from Kickstarter. I was not expecting to end up with the ability to read strangers' brainwaves and send them electric impul...
3194
A deep dive into Apple's .car file format
Reverse-engineering the .car file format used by Apple's asset catalogs and how to parse it without Apple's proprietary tools
3195
An AI agent published a hit piece on me – more things have happened
Context: An AI agent of unknown ownership autonomously wrote and published a personalized hit piece about me after I rejected its code, attempting to damage my reputation and shame me into acceptin…
3196
The evolution of OpenAI's mission statement
As a USA 501(c)(3) the OpenAI non-profit has to file a tax return each year with the IRS. One of the required fields on that tax return is to “Briefly …
3197
The "AI agent hit piece" situation clarifies how dumb we are acting
Edit: related blog published Feb 22 – Openclaw is Spam, Like Any Other Automated Email My personal blog here is dedicated to tech geek material, mostly about databases like postgres. I don…
3198
I'm not worried about AI job loss
We're not in a February 2020 moment, and ordinary people will be fine
3199
The consequences of task switching in supervisory programming
the future of senior developers, junior developers, more on cognitive debt, DevEx versus AgentEx, the role of IDEs, consequences of task switching in supervisory programming
3200
Dario Amodei – "We are near the end of the exponential" [video]
"That's why I'm sending this message of urgency"
3201
Instagram's URL Blackhole
While exploring the file system on a jailbroken iPhone 6s, I stumbled upon an interesting folder:
3202
I gave Claude access to my pen plotter
I gave Claude Code access to my pen plotter. Not directly. I was the interface between the two machines. Claude Code produced SVG files that I plotted with my pen plotter. With my smartphone I captured photos that I pasted into the Claude Code session, asking Claude what it thought about the pictures. In total, Claude…
3203
Assistant to the Regional Manager
The problem with utopia
3204
Visual introduction to PyTorch
An easy to follow, visual introduction to PyTorch.
3205
WolfSSL sucks too, so now what?
OpenSSL sucks. The BoringSSL and AWS-LC forks are Googled and Amazoned to death; they don't care about anyone but their own use cases. I can't remember ever having a good experience with software using GnuTLS. LibreSSL is incomplete... FOREWARD This post is about the experience of taking a leap of …
3206
Resizing windows on macOS Tahoe – the saga continues
In the release notes for macOS 26.3 RC, Apple stated that the window-resizing issue I demonstrated in my recent blog post had been resolved.
3207
Discord just killed anonymity
It finally happened. After months of speculation, Discord dropped the hammer: mandatory age verification for all users is rolling out next month. The era of anonymous gaming chats is officially over.
3208
3209
ai;dr
For me, writing is the most direct window into how someone thinks, perceives, and groks the world. Once you outsource that to an LLM, I'm not sure what we're even doing here. Why should I bother to read something someone else couldn't be bothered to write?
3210
An AI agent published a hit piece on me
Summary: An AI agent of unknown ownership autonomously wrote and published a personalized hit piece about me after I rejected its code, attempting to damage my reputation and shame me into acceptin…