In Part 1, I described how duplicating a block of seven middle layers in Qwen2-72B — no weight changes, no training — produced the #1 model on the HuggingFace Open LLM Leaderboard. The method, which I called RYS (Repeat Your Self), was discovered using nothing but hard math probes and EQ-Bench on a pair of RTX 4090s.
Run, compile, and link C programs instantly with CJIT.
You can go far without writing TLA+ syntax now, but you still need to understand temporal logic.
There are many interesting, useful, and fun C libraries in the software ecosystem. While one could go and rewrite these libraries in Swift, usually there is no need, because Swift provides direct interoperability with C. With a little setup, you can directly use existing C libraries from your Swift code.
A draft design document describing lightweight userland cooperative threads for SBCL.
If you have ever tried to minimize a function with gradient descent, you probably noticed that some functions are a joy to optimize and others are a nightmare. The difference often boils down to two properties: strong convexity and L-smoothness. These two concepts define a “sandwich” of quadratic bounds around your…
Rust struct serialization problem caused by many nullable SQL columns.
This summary of Brad’s HIPS 2025 keynote looks at how HPC programming has (and has not) changed over the past 30 years
a personal blog
Meet North Mini Code, Cohere's first open-source agentic coding model: a 30B MoE that codes strongly on minimal hardware.
Computer Science, Machine Learning, Programming, Art, Mathematics, Philosophy, and Short Fiction
In my previous post I talk about how I got rid of hundreds of thousands of lines of Objective-C code while at Audible and I explain why keeping Objective-C code around is a terrible idea. And I explain that…
`deno desktop` for building native desktop apps from web tech, first-class migration from npm/pnpm/yarn/Bun, CSS module imports, snapshot and parameterized testing, smaller `deno compile --bundle` binaries, and Node.js 26 compatibility.
Learn about how we built a CI-native AI code reviewer using OpenCode that helps our engineers ship better, safer code.
How electrons flowing through billions of microscopic switches etched into silicon become arithmetic, memory, and the software you use every day.
I've been a happy ready-player user for some time now. I consider the Emacs package fairly feature-complete, for my needs anyway. Well almost. While I...
So I built local.vibe — a friendly dashboard and local .vibe hostname for every local web app on your Mac. No more localhost:3000 vs localhost:5173 roulette.
There are a lot of challenges in the way QA and engineering work together. Many eng leaders think you shouldn't have QA. I dig in.
Code is read more than written, code is run more than read. I think this line of thought can be extended beyond code-writing, and used as a rule of thumb to identify problems and make decisions.
Rust LSP that doesn't eat memory for breakfast
When Mathematica seems to not to know how to simplify an expression, it may be doing the right thing, being more sophisticated than you expect.
Eight long held and common beliefs about the network have been shown, time after time, to be false. What are they, and what do they mean?
Formal verification gates for AI coding loops, in the language you're already shipping.
The Agent SDK is the framework we use to build our own managed agents like Bugbot, Security Reviewer, and Rollouts. Define agents in code and deploy them with one command.
Every week there seems to be a new tool that promises to let anyone build applications 10x faster. The promise is always the same and so is the outcome.
This year, British Column has moved to year-round Pacific Time. How does that affect date data?
I touched "every" OS so you don't have to
