← Back to news

L

Lobsters RSS Feed

Signal Shot: a project to verify the Signal protocol and its Rust implementation using Lean

Jujutsu megamerges for fun and profit

Stalwart v0.16: A New Foundation

Quantum Computers Are Not a Threat to 128-bit Symmetric Keys

Journey in optimising Elixir application

Effectful Recursion Schemes

PyTexas 2026 Recap

Transpiling from Python into Lisp

ggsql: A grammar of graphics for SQL

Building an OPNsense router

GraalVM JavaScript Sandboxing

Forgejo v15.0 is available

418 I'm a teapot

Creusot 0.11.0: VerifyThis winner

Optimizing for Reviewers: The Three Step AI Dev Loop

WebUSB extension for Firefox

How LLVM optimizes power sums (2019)

Your engineering team looks healthy. It probably isn't

Casilda 1.2.4 Released

Diagnosing Random MariaDB Freezes

bpfvet: analyzes compiled .bpf.o files and reports minimum kernel version, helpers, maps, and portability issues

Modern Frontend Complexity: essential or accidental?

Obelisk 0.37: JavaScript, Deployments, Cron

What are you doing this week?

Closing the Usability Gap in Naked Objects

The Missing Bundler Features

Why birds were the only dinosaurs to survive mass extinction

Claude Desktop installs undocumented browser extensions for Chrome and other browsers

Theseus, a static Windows emulator

This Week in Plasma: Per-Screen Virtual Desktops and Wayland Session Restore

High-performance 2D graphics rendering on the CPU using sparse strips

The fastest way to match characters on ARM processors?

Defense in Depth: A Practical Guide to Python Supply Chain Security

Stupid RCU Tricks: Corner-Case RCU Implementations

corpus: self-hosted listenbrainz and last.fm frontend

Introducing Glyph Protocol for Terminals

Hot Wiring the Lisp Machine

Working Around a Missing Feature in Apple Notes

What we once had (at the height of the XMPP era of the Internet) (2023)

Vercel April 2026 security incident

postmarketOS Conference

waves & particles

SI Units for Request Rate (2024)

Yojam: a macOS default-browser shim that routes URLs through a rule engine

Optimizing xreferee with elemIndex

When compilers surprise you

The electromechanical angle computer inside the B-52 bomber's star tracker

Anthropic Claude Code Leak Reveals Critical Command Injection Vulnerabilities

PgQue: Zero-bloat Postgres queue

Some secret management belongs in your HTTP proxy