← Back to news

L

Lobsters RSS Feed

Escape IntelliJ: Scala and Kotlin LSPs on Emacs Eglot

Linux kernel will support $ORIGIN, sort of

GGG – Declarative SVG badge generation using Guile Scheme and SXML

Five moments in snapping history

KDE for Enterprise Needs a Strong PIM Infrastructure

Why l (new runtime for k and q)

30 to 70 PRs a Day: How We Managed to Not Wreck Our Systems

Security incident disclosure — July 2026

432 Linux kernel CVEs published in the last 24 hours

95 reasons for having your own website

Using a SSH bastion, but only when I'm touching grass

Secrets Don’t Belong in Config

An informal tutorial on Joy

Opaque, Interoperable Passkey Records

Human mathematicians are being outcounterexampled

How Gnutella Scaled to Handle Query Traffic

Postgres 19 Compression: from pglz to LZ4

SleeperGem: RubyGems supply chain attack targets dormant maintainer accounts

Jacobian Conjecture from Wolfram MathWorld

Personal Anthology of Goal Code

A Linux Kernel 0-day Journey - From a limited UAF to Physical Memory R/W

Who needs a real-time database?

Extending MVCC to be serializable, in TLA+ (2024)

A deep dive into my Forgejo setup

Type Safe Servant Auth Roles

InvisiCaps: The Fil-C Capability Model

The EU is about to sell our most sensitive data to the US for visa-free travel

7 Sandbox Escape Vulnerabilities Across 4 Coding Agent Vendors

Rust for Morello: Always-On Memory Safety, Even in Unsafe Code

Meta Garbage Collection: Using OCaml's GC to GC Rust

Using LLM-based Verification to Eliminate Bugs in Linux's Network Stack

Gitolite

Building an AmigaOS Development Environment in 2026

JSON5E - JSON5 for Humans

Minimal Git CI using hooks

What are you doing this week?

Claude found a counterexample to the Jacobian Conjecture

Scanline edge-flag algorithm for antialiasing

Fuzzing for fun - unauthenticated denial of service in snac2

I wrote an API client for my water-cooled bed

email encryption

Who’s responsible for bug reports on old software versions?

Cagire - Forth-based live coding sequencer

The Zen of Parallel Programming

Dependable C

Running microVMs in Proxmox VE, The Easy Way

The notification that gave up after a minute

Introduction to Formal Verification with Lean (Part 1)

I Built an Even Better Ropebot Dog

CodeSizer: Why is that binary so big?