11 May 2026

35 links · Monday

OneDisplay

You're using a MacBook with an external monitor. You want one screen. The big one.But macOS doesn't let you disable the built-in display without closing the lid.So you're stuck choosing between:Clamshell mode. Lid closed, charger always needed, worse airflow.B…

Rough Patches

Only a few close friends and family know this, but in 2023, I was quite certain I was done with the venture and technology business. Despite our financial success, my first firm Notation did not su…

Software Development Is Becoming a Factory Job

When factories automated their assembly lines, the repetitive tasks went to machines, but humans stayed to oversee, fix problems, and make decisions. That’s exactly what’s happening to software…

Tracing PostgreSQL Using eBPF and Hardware Breakpoints

Hardware breakpoints can trigger eBPF programs when specific memory addresses are accessed, leveraging CPU hardware support for low overhead. By utilizing these hardware breakpoints, we can efficiently monitor PostgreSQL’s internal variable updates, such as tr…

I disagree with Paul Graham

TL;DR: Paul Graham thinks it's bad when companies start competing on brand vs. functionality. I think he's wrong. It's actually good for consumers and innova...

The Final Form of Software Development

What if the final form of software development was just watching code and proof popping up while you sip a drink? Letting AI agents write assembly directly alongside Lean proofs sidesteps the whole compiler-trust problem. With a peek at real EVM 256-bit additi…

The recursive descent

Traversing the syntax forest, getting lost in the depths of recursion

The Last Company

>“We have no idea how we one day may generate revenue… [but] once we build this generally intelligent system, we will ask it for a way” - Sam Altman
 Fron...

It doesn’t matter if it looks good

Writing code using an AI agent is awesome and makes you super duper quick. Recent frontier LLMS write even somewhat decent code. So yey to that!

Local LLM speed calculator

A back-of-envelope tokens/sec estimator for running LLMs locally. Pick your memory, model size and quantization to see how fast it'll actually run.

From Today, Software Engineering is Dead

When cameras were first introduced, French painter Paul Delaroche reportedly opined “From today, painting is dead.” That was nearly two hundred years ago, and painting is doing just fine. But the nature of painting changed. Photography took over the work of fa…

Why I Do Not Recommend Fastmail for Primary Email

Ask for an email recommendation on Hacker News or Reddit, and everyone agrees that Google spies on you and Microsoft is clunky, so the default answer is always the same: Fastmail. AI tools will parrot…

The cuda-oxide Book — cuda-oxide

cuda-oxide is an experimental Rust-to-CUDA compiler that lets you write (SIMT) GPU kernels in safe(ish), idiomatic Rust. It compiles standard Rust code directly to PTX — no DSLs, no foreign language bindings, just Rust.

Mythos finds a curl vulnerability

yes, as in singular one. Back in April 2026 Anthropic caused a lot of media noise when they concluded that their new AI model Mythos is dangerously good at finding security flaws in source code. Apparently Mythos was so good at this that Anthropic would not re…

We Are Not Going to Agree on AI

On one hand, I know a developer producing 30,000 lines of code a month. On the other, I know a developer who says AI is stupid. Each swears by their stance and has evidence to back it up. One has a wo