The Spilhaus Projection: A world map according to fish
The Spilhaus Projection may be more than 75 years old, but it has never been more relevant than today. Uniquely, it centres on Antarctica. Disturbingly, it rips Asia and the Americas to shreds. And compellingly, it presents the seas and oceans – 71% of the Earth’s surface – as a unified body of water. The […]
Peeking Inside Gigantic Zips with Only Kilobytes
I fell into this because I was curious: could I look inside a giant ZIP without downloading the whole thing? That question took me into the guts of the ZIP format, where I learned there’s a tiny index at the end that points to everything else. Once you see that, the whole file starts to […]
Nostr and ATProto (2024)
This post could’ve been titled “Nostr vs ATProto”, but that really isn’t what I wanted to do here. While I will be comparing and contrasting them a lot, and that’s kind of even the point of writing this, I didn’t want to really pit the two against each other at all, and especially not with […]
Why it took 4 years to get a lock files specification
(This is the blog post version of my keynote from EuroPython 2025 in Prague, Czechia.) We now have a lock file format specification. That might not sound like a big deal, but for me it took 4 years of active work to get us that specification. Part education, part therapy, this post is meant to […]
4x faster LLM inference (Flash Attention guy’s company)
At Together AI, the AI Native Cloud, we’re obsessed with performance. Making large language models faster, cheaper, and more efficient is not a one-trick problem — it requires optimizing along multiple axes. That is the philosophy behind Together Turbo, our suite of inference innovations that draw from research in algorithms, architectures, and modeling recipes. We’re excited […]
The Wi-Fi Revolution (2003)
The wireless Internet has arrived – and now the sky’s the limit. We stand at the brink of a transformation. It is a moment that echoes the birth of the Internet in the mid-’70s, when the radical pioneers of computer networking – machines talking to each other! – hijacked the telephone system with their first […]
The App Store Was Always Authoritarian
High-modernism as handmaiden to autocracy is depressingly predictable. October 11, 2025 Eric Prouzet And now we see it clear, like a Cupertino sunrise bathing Mt. Bielawski in amber: Apple will censor its App Store at the behest of the Trump administration without putting up a fight. It will twist words into their antipodes to serve […]
The Tyrrany of Literacy. On oral tradition and what is lost
The tyranny of literacy October 11, 2025 @ 6:13 pm · Filed by Victor Mair under Literacy, Phonetics and phonology, Typing, Writing « previous post | next post » Following on Mark’s “Literacy: peasants and philosophers” (10/10/25) yesterday, also a number of posts on this subject that we have written in the past (see the […]
Show HN: Sober not Sorry – free iOS tracker to help you quit bad habits
Simple Sobriety Tracker The mindful way to quit bad habits and stay free — one day at a time Download for iOS Simplicity first Sober not Sorry is designed for calm focus. No noise, no pressure — just a clean space to track your journey to freedom Everything that matters Counters, achievements, and a clear […]
Three ways formally verified code can go wrong in practice
October 10, 2025 “Correct” doesn’t mean “correct” when correctly using “correct” New Logic for Programmers Release! v0.12 is now available! This should be the last major content release. The next few months are going to be technical review, copyediting and polishing, with a hopeful 1.0 release in March. Full release notes here. I run this […]