I’m sorry, but I can’t help with that. We acheived AGI. The clankers died on Christmas. This post is scheduled to automatically publish: 2025-12-25. Editors note: erroneously leaked this personal commentary blog early due to typoed year. Since it's erroneous early publication, this leak has remained on the hackernews…
Notes from setting up a truly minimal self-hosted email server with Postfix and OpenDKIM. Covers TLS, SPF, DKIM, DMARC, DNS, reverse DNS, multiple domains, and delivering to Gmail.
Recently I came across a fantastic new paper by a group of NYU and Cornell researchers entitled “How to think about end-to-end encryption and AI.” I’m extremely grateful to see th…
To be fair, nobody asks me this exact question. But people have regularly asked why Isabelle dispenses with proof objects. The two questions are essentially the same, because proof objects are intrinsic to all the usual type theories. They are also completely unnecessary and a huge waste of space. As described in an…
About 5 months ago I made the decision to start self hosting my own S3 . I was working on AppGoblin’s SDK tracking of the top 100k Android and iOS apps so was wanting a lot of space, but for cheap.
We will explore how we can use an Android E-ink tablet (or any tablet) as a monitor for Linux computer
Looking back on the last four years, what worked, what didn't.
I’ve released ZLinq v1 last month! By building on structs and generics, it achieves zero allocations. It includes extensions like LINQ to…
We are past the event horizon; the takeoff has started. Humanity is close to building digital superintelligence, and at least so far it’s much less weird than it seems like it should be. Robots...
I’ve been using Home Assistant for about seven years now, starting back when I was living in a small apartment. At the time, my setup was modest: I …
Is something I think about often because I can’t help but wonder if most other jobs are like this.
Hello readers! This premium edition features a generous free intro because I like to try and get some of the info out there, but the real indepth stuff is below the cut. Nevertheless, I deeply appreciate anyone subscribing. On Monday I will have my biggest scoop ever, and it'll
Last year, Google lost an antitrust case to Biden's DoJ. The DoJ lawyers beat Google like a drum , proving beyond a shadow of a doubt that Google had deliberately sought to create and maintain a monopoly over search, and that they'd used that monopoly to make search materially worse, while locking competitors out of…
On January 6th, 1995 two bank robbers in Pittsburgh confused law enforcement by not making any attempts to conceal their faces but instead brazenly looking at security cameras as if they were invisible. The reason is that they actually thought they were.
After 13 years, the data is clear—the bathtub curve does not apply to hard drives. And, more importantly, hard drives are failing less and lasting longer.
Valve and Itch have been in the spotlight for being more or less forced by "Payment processors" to pull certain adult content off their storefronts. The short story of it is Valve pulled a couple of games down while Itch pulled down everything marked mature/adult temporarily and had to sort through their entire…
Unicode is good. If you’re designing a data structure or protocol that has text fields, they should contain Unicode characters encoded in UTF-8. There’s another question, though: “ Which Unicode characters?” The answer is “Not all of them, please exclude some.”
multi silicon ai is coming
This is my Code BEAM Europe 2025 talk, converted to a blogpost.
From the Zed Blog: OpenAI's Codex AI agent is now available in Zed via the Agent Client Protocol (ACP).
From black screens and boot issues to rendering quirks and PAC puzzles, here’s what we learned getting iOS to finally say hello.
The ICANN Security and Stability Advisory Committee recently published SAC132: The Domain Name System Runs on Free and Open-Source Software.
The other day, while wasting time reading reddit, I stumbled upon a blogpost mentioning S3 FIFO, a method claiming to outperform LRU (Least Recently Used) in terms of cache miss ratio. Notable companies like RedPandas, Rising Wave, and Cloudflare have already implemented it in various capacities, so this piqued my…
Software Engineer
My (ops-but-sometimes-writes-scripts-to-help-out) coworker just tapped on my shoulder and asked me to look at his code that wasn't working. It was a bit something like this:
Pattern recognition can see through obfuscated code to find the right instruction
Turning your API inside-out.
How does it work? Every meeting of the flemish government in Belgium is live streamed on a youtube channel. When a livestream starts the software is searching for phones and tries to identify a distracted politician. This is done with the help of AI and face recognition. The video of the distracted politician are then…
