← Back to news
L

Lobsters

Emacs after Magit

L

Tonic is joining the gRPC project

L

Chasing down why installing the kernel segfaulted

L

I am not a Software Engineer

L

pgBackRest will continue

L

On the Unreasonable Effectiveness of Property-Based Testing for Validating Formal Specifications

L

Pokemon Gen2 compression myth

L

pg_deltax: Apache-licensed time-series extension for PostgreSQL

L

PinTheft Linux LPE

L

Better generated branch names with jj

L

Human Bottlenecks

L

How we used Quint to find over 10 bugs in SQLite while hardening Turso

L

It’s all in the name

L

Type out the code

L

What would you want from a forge?

L

Under the Hood: Building a Real-Time Chord Recognizer

L

The Super Tiny Compiler, but in Ada

L

OpenBSD 7.9 released

L

Software's Centaur Era

L

A self-balancing skip-list (aka "splay-list") library in C

L

Lime, a parser generator that can merge grammars at runtime

L

My domain got abused on Github Pages

L

Noxu DB, a Rust port of Berkeley DB Java Edition

L

The Unreasonable Effectiveness of ProseMirror Model in Rich Text Transformation

L

The Windows DLL loader lock: how a Rust thread can hang your JVM

L

Holistic Configuration Management at Facebook

L

How to Write to SSDs

L

Even More Tagged Union Subsets with Comptime

L

End of the semester

L

Using algebra and LLMs to verify a flight-plan bug fix in Lean

L

Spork: A posix_spawn you can use as a fork

L

SIMD-accelerated integer-to-string conversion

L