Typechecking is undecideable when ‘type’ is a type (1989) [pdf]
Download PDF
Gemini 3 Pro Model Card [pdf]
Download PDF
The Miracle of Wörgl

Wörgl was the first in town in Austria that effectively managed to eliminate the extreme unemployment caused by the Great Depression. Its local currency experiment was such a success that it gained worldwide attention. That effort became known as the “Miracle of Wörgl .” For the full details, go here. Here is the summary of […]
Okta’s NextJS-0auth troubles

In October, I reported two security issues to Okta’s auth0/nextjs-auth0 project, here and here. The latter bug, an oauth parameter injection, allows for a range of types of abuse, like scoping tokens for unintended services, setting redirect_uri and scope to arbitrary values to leak tokens, and so on. The patch was simple enough, so I […]
How Quake.exe got its TCP/IP stack
How quake.exe got its TCP/IP stack Nov 17, 2025 How quake.exe got its TCP/IP stack Released in June 1996, Quake had to ride three technological shock-waves during its lifetime. Besides the emergence of 3D hardware accelerator cards and the growth of the Internet, an operating system shift put game developers in a tough position. With […]
Langfuse (YC W23) Hiring OSS Support Engineers in Berlin and SF

You need to enable JavaScript to run this app.
The surprising benefits of giving up

Explore You might’ve been told to “hang in there” throughout your childhood, as illustrated by a kitten dangling from a rope. But it turns out that quitting might often be your healthiest option. Researchers have long sought to understand how persistence is linked to personal well-being and human evolution more broadly. One poorly supported theory […]
LeJEPA

Abstract:Learning manipulable representations of the world and its dynamics is central to AI. Joint-Embedding Predictive Architectures (JEPAs) offer a promising blueprint, but lack of practical guidance and theory has led to ad-hoc R&D. We present a comprehensive theory of JEPAs and instantiate it in {bf LeJEPA}, a lean, scalable, and theoretically grounded training objective. First, […]
Core Devices keeps stealing our work
Nov 17, 2025 • by Team Rebble Core Devices Keeps Stealing Our Work This is a post that we don’t take any joy in writing. When we wrote last month about our agreement with Core Devices, we went into it believing that cooperation between Core and Rebble would be the best decision for the Pebble […]
Unofficial “Tier 4” Rust Target for older Windows versions

This is the main source code repository for Rust. It contains the compiler, standard library, and documentation. Performance: Fast and memory-efficient, suitable for critical services, embedded devices, and easily integrated with other languages. Reliability: Our rich type system and ownership model ensure memory and thread safety, reducing bugs at compile-time. Productivity: Comprehensive documentation, a compiler […]