Lobsters

Legibility is Ruining You — Jimmy Miller

Legible processes are impossible to escape. But that doesn't mean we need to embrace them.

Why Lean? — Leonardo de Moura

Leonardo de Moura — Creator of Lean and Z3

Using FireWire on a Raspberry Pi

After learning Apple killed off FireWire (IEEE 1394) support in macOS 26 Tahoe, I started looking at alternatives for old FireWire equipment like hard drives, DV cameras, and A/V gear. I own an old Canon GL1 camera, with a

GitHub - nvim-treesitter/nvim-treesitter: Nvim Treesitter configurations and abstraction layer

Nvim Treesitter configurations and abstraction layer - nvim-treesitter/nvim-treesitter

Value numbering

Welcome back to compiler land. Today we’re going to talk about value numbering, which is like SSA, but more.

GitHub - itigges22/ATLAS: Adaptive Test-time Learning and Autonomous Specialization

Adaptive Test-time Learning and Autonomous Specialization - itigges22/ATLAS

When Vectorized Arrays Aren't Enough — nrposner

Eric Niebler

What are Senders Good For, Anyway?

Some colleagues of mine and I have been working for the past few years to give C++ a standard async programming model. That effort has resulted in a proposal, P2300, that has been design-approved f…

mgreenblog

popl 2026 tutorial: analyzing shell scripts

The Pash folks gave a tutorial at POPL 2026.

Armin Ronacher

Absurd In Production

Five months of durable execution with just Postgres.

matduggan.com

I Can't See Apple's Vision

Companies, as they grow to become multi-billion-dollar entities, somehow lose their vision. They insert lots of layers of middle management between the people running the company and the people doing the work. They no longer have an inherent feel or a passion about the products. The creative people,

Rails on the BEAM

arXiv.org

Embarrassingly Simple Self-Distillation Improves Code Generation

Can a large language model (LLM) improve at code generation using only its own raw outputs, without a verifier, a teacher model, or reinforcement learning? We answer in the affirmative with simple self-distillation (SSD): sample solutions from the model with certain temperature and truncation configurations, then fine-tune on those samples with standard supervised fine-tuning. SSD improves Qwen3-30B-Instruct from 42.4% to 55.3% pass@1 on LiveCodeBench v6, with gains concentrating on harder probl

seangoedecke.com

Engineers do get promoted for writing simple code

It’s a popular joke among software engineers that writing overcomplicated, unmaintainable code is a pathway to job security. After all, if you’re the only…

Anil Madhavapeddy

A Proposal for Voluntary AI Disclosure in OCaml Code

Proposing a voluntary, machine-readable AI content disclosure scheme for OCaml spanning opam packages, dune, and per-module attributes, aligned with the W3C AI Content Disclosure vocabulary.

Lobsters

Where can I find the old internet?

68 comments

setting up the atkey.pro usb fingerprint reader in linux -- this should also work for any fido2 u2p usb fingerprint reader; maybe even those $20 ones.

setting up the atkey.pro usb fingerprint reader in linux -- this should also work for any fido2 u2p usb fingerprint reader; maybe even those $20 ones. - fido2_u2p_fingerprint_setup_in_linux.md

Optimization lessons from a Minecraft structure locator | purplesyringa's blog

ssereload(1) introduction

A piece of live reload puzzle

Your code is worthless

Why "Vibe Coding" and vanity metrics are creating a technical debt bubble.

The Feature That Has Never Worked · A broken auto-live poller, and what perceived urgency does to Claude Code

A broken auto-live poller, and what perceived urgency does to Claude Code

EYG news: A year of EYG development and proper open source

ROCm 7.1.1: you can (not) build | lunnova.dev

Issues encountered while building and maintaining ROCm packages

brokenco.de

Private Open Source

Open source communities depend on a fundamental assumption that is no longer true: the presumption of good faith actors. The hosts serving free and open source code are scraped relentlessly, denying service to developers. Once that code has been assimilated into various models it is washed of all attribution and license information, denying rights of the developers. Some subset of users then feel empowered, emboldened, I’m not sure what exactly by these models and lob massive thousand line chang

Deploying Go Apps to Google Cloud Run

A few of my projects use the same Makefile and Dockerfile to handle deployment to Google Cloud Run.