Emerging reasoning with reinforcement learning
Made in Notion, the connected workspace where AI agents and teams organize docs, projects and knowledge together.
How I use LLMs as a staff engineer
What I use them for and what I don't
GUIs are built at least 2.5 times
Or Why I Think Lean Software Development is Wrong
Is NixOS truly reproducible?
Build reproducibility is often considered as a de facto feature provided by functional package managers like Nix. Although the functional package manager model...
CocoaPods trunk read-only plan
The blog for CocoaPods.org the Cocoa Dependency Manager
Writing a simple windows driver in Rust
The Rust language ecosystem is growing each day, its popularity increasing, and with good reason. It’s the only mainstream language that provides memory and concurrency safety at compile time…
The profitable startup
For years, startups have been taught to prioritize growth over everything else. Profitability was seen as unambitious or even wrong – something to worry about when you hit scale. Why focus on profits when money and valuations were easy to come by?
Graceful Shutdown in Go: Practical Patterns
Go applications can implement graceful shutdown by handling termination signals (SIGTERM, SIGINT) via os/signal or signal.NotifyContext. Shutdown must complete within a specified timeout (e.g., Kubernetes’ terminationGracePeriodSeconds)…
Heap-overflowing Llama.cpp to RCE
Retr0's Threat Research
Restoring the Galaxian3 Theatre 6, 1992 six player arcade machine
Introduction During the late 1980s, Namco set out to create the world’s largest arcade game. The result was Galaxian3: Project Dragoon; a 28 player behemoth that debuted in April 1990 at the …
Goodbye K-9 Mail
Looking back on 15 years of working on K-9 Mail.
How did sports betting become legal in the US?
In 2018, the Supreme Court repealed a 26-year federal ban on sports betting. This ruling unleashed the biggest gambling boom in America’s 249-year history. How did that happen?
I believe 6502 instruction set is a good first assembly language
Why I believe 6502 instruction set is a good first assembly language
Things I want to say to my boss
A new anonymous essay published every day in December in the countdown to Christmas.
GPTs and Feeling Left Behind
Every time that I read some blog post about “coding with AI”, or how cool new models write entire libraries by themselves, I feel like I’m lagging behind, like I’m missing out on some big, useful tool, and my skills are about to become obsolete very soon.
Measuring AI Ability to Complete Long Tasks
We propose measuring AI performance in terms of the length of tasks AI agents can complete. We show that this metric has been consistently exponentially increasing over the past 6 years, with a doubling time of around 7 months. Extrapolating this trend predicts that, in under a decade, we will see AI agents that can…
Running GPT-OSS-120B at 500 tokens per second on Nvidia GPUs
Train, serve, and scale open-source and custom AI models on the fastest, most reliable inference platform.
Where is London's most central sheep?
» email me » follow me on twitter » follow the blog on twitter » follow the blog on Bluesky » follow the blog on RSS
WebDAV isn't dead yet
I should have titled this post “I hate S3”. 📢 What is the status quo? FTP is dead (yay), SFTP is too dependent on SSH and unix authentication. AWS made S3 pervasive and now every webapp that needs to store files assumes you’ll be able to connect it S3. This …
Bypassing GitHub Actions policies in the dumbest way possible
TL;DR : GitHub Actions provides a policy mechanism for limiting the kinds of actions and reusable workflows that can be used within a repository, organization, or entire enterprise. Unfortunately, this mechanism is trivial to bypass . GitHub has told me that they don’t consider this a security issue (I disagree), so…
Using uv and PEP 723 for Self-Contained Python Scripts
We all love Python’s comprehensive standard library, but let’s face it – PyPI’s wealth of packages often becomes essential. Sharing single-file, self-contained Python scripts that rely on these external tools can be a headache. Historically, we’ve relied on requirements.txt or full-fledged package managers such as…
Parsing Protobuf like never before
Historically I have worked on many projects related to high-performance Protobuf, be that on the C++ runtime, on the Rust runtime, or on integrating UPB , the fastest Protobuf runtime, written by my colleague Josh Haberman . I generally don’t post directly about my current job, but my most recent toy-turned-product is…
Bloom Filters by Example
A Bloom filter is a data structure designed to tell you, rapidly and memory-efficiently, whether an element is present in a set.
The best way to use text embeddings portably is with Parquet and Polars
Never store embeddings in a CSV!
Going Through Snowden Documents, Part 1
We are building a comprehensive archive and analysis project examining published documents leaked by Edward Snowden. Our methodology involves systematically reviewing each available document with particular attention to small details and information that has received little or no public attention since the initial…
Markdown is holding you back
Explore why Markdown, despite its ubiquity, might not be the best fit for technical content.
Strings Just Got Faster
In JDK 25, Strings used as keys in immutable Maps can be much faster.