← Back to news

L

Lobsters RSS Feed

The Promise of P-Graphs

Towards Pen-and-Paper-Style Equational Reasoning in Interactive Theorem Provers by Equality Saturation

What does it mean to be massively against AI?

APT Rust requirement raises questions

Constant-time support lands in LLVM: Protecting cryptographic code at the compiler level

HP and Dell disable HEVC support built into their laptops’ CPUs

How good are Chinese CPUs? Benchmarking the Loongson 3A6000

The Lambda Papers (transcribed)

Quick tutorial to get started on Org Social

emacs for code editing

NSA and IETF, part 3: Dodging the issues at hand

Case against OOP is understated, not overstated (2020)

World's Most Stable Raspberry Pi? 81% Better NTP with Thermal Management

Jeff Dean on Important AI Trends

memories of .us

BOM reveals new website cost $96.5m, not $4.1m as first announced

Hyperoptic: IPv6 and Out-of-Order Packets

RuBee

This Development-cycle in Cargo: 1.92

Counter Galois Onion: Improved encryption for Tor circuit traffic

Is LaTeX worth it? (2023)

How do we keep apps maintained on Flathub? (or building a more respectful App Store)

Powerset’s natural language search system (2012)

We deleted our Dockerfiles: a better, faster way to build container images

Shai Hulud Strikes Again

On Modelling Agent Systems with Erlang (2004)

Misunderstanding that “Dependency” comic

Amper Update, November 2025 – Extensibility Preview

Demystifying Determinism in Durable Execution

Open Source Has Too Many Parasocial Relationships

Automating updates to a digital vigil

I put a search engine into a Lambda, so you only pay when you search

Shai-Hulud Returns: Over 300 NPM Packages infected via Fake Bun Runtime Within Hours

What are you doing this week?

Alice - new build system for Ocaml

edn.c: A fast, zero-copy EDN (Extensible Data Notation) reader written in C11 with SIMD acceleration

Fifty Shades of OOP

Why I (still) love Linux

Does Dioxus spark joy?

Making the case that Cargo features could be improved to alleviate Rust compile times

Build a Compiler in Five Projects

With Love to KDE: Take a Moment

An open-source photo editor & digital compositor for the web

libfive: a software library and set of tools for solid modeling

the negentropy set-reconciliation protocol

Rust for Malware Development

Caching is better than mocking

µcad: New open source programming language that can generate 2D sketches and 3D objects

ntoh/hton is a bad API

Why Zig + Qt Feels Like Doing the Impossible Right