← Back to news

L

Lobsters RSS Feed

cpu: cpu command in Go, inspired by the Plan 9 cpu command

polyglot-image: A disk image that boots on multiple architectures

Mostly Automated Proof Repair for Verified Libraries

We asked four AI coding agents to rebuild Minesweeper—the results were explosive

An initial analysis of the discovered Unix V4 tape

sqlite-wasm-http: An experimental HTTP VFS driver for SQLite WASM

LAVD: Meta’s New Default Scheduler

Unix "find" expressions compiled to bytecode

The Linux kernel is just a program

folder.zone: Share end-to-end encrypted folders live

Reproducing the NixOS 25.11 Minimal Installation ISO

The wonder of MSBuild

Logical gates on Floquet codes via folds and twists

Schrödinger’s test: The /dev/mem case

mquickjs: Micro QuickJS Javascript Engine

dirlock

Vigil - A clean, fast build watcher for Zig (inspired by Bacon for Rust)

Web engine CI on a shoestring budget

Instant database clones with PostgreSQL 18

Feature discussion: replying to multiple comments in story

Are we Loong yet?

Why Quantum Cryptanalysis is Bollocks

This Meeting could have been an Email

The lightest notes app implementation in 111 loc

NPM Package With 56K Downloads Caught Stealing WhatsApp Messages

Memoization via Representables (2022)

FreeBSD Closes the Laptop Gap: Year One Project Update

Introducing Open Forms

I foretold that Mac app notarization is security theater

Lua 5.5 Released

What's "new" in Miri (and also, there's a Miri paper!)

From Zero to QED: An informal introduction to formality in Lean 4

An uncomfortable but necessary discussion about the Debian bug tracker

Towards a secure peer-to-peer app platform for Clan

Email Simplicity vs Decentralized Chat

Seven Coding Games to Help You Build Your Programming Chops (2023)

Nature Programming Language

Proposed Rust kernel extensions in place of eBPF

Privacy-Preserving Vaccination Checks: A Proof of Concept MPC Deployment with the Frankfurt Health Department

Simplistic Comptime Column Safety in SQLite Queries

Understanding your Linux graphics driver stack

Flocking Quadtrees in Clojure

I’m a former CTO. Here is the 15 sec coding test I used to instantly filter out 50% of unqualified applicants

Build your own RSS daily digest using GitHub Actions/Pages in 5 minutes

What are you doing this week?

Installing Void Linux on ZFS with Hibernation Support

When SIMD Fails: Floating Point Associativity

QBasic64 Phoenix 4.3.0 released

typed-arrow: First-class compile‑time Arrow schemas for Rust

Tinyfront