← Back to news

L

Lobsters RSS Feed

Homebrew 6.0.0

Formal methods and the future of programming

Local-First Software Is Easier to Scale

Malicious Packages Spreading in AUR

Bab: a family of hashing functions for p2p networks

Hundreds of AUR packages attacked by infostealer

There Is Life Before Main in Rust

agent-shell 0.55 updates

Software Is Made Between Commits

Those old modem upgrades

Reuse Less Software

Encrypted Spaces

our workplace LLM mass delusion

EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation

Vim Users Deserved Better, So I Built This

Your Interface Has Two Channels

CVE-2026-45257: LPE in FreeBSD via kTLS-RX

merman: Mermaid.js, but headless, in Rust

FlowG v0.59.0 is out, with Dark Mode support

Odin dev-2026-06 Released

TrustZone Intermezzo: Broken OP-TEE Memory Isolation on i.MX 8M

Web Browsers on Video Game Consoles

How We Moved Discord Voice to the Edge

Why isn't Quarkus 2x faster than Spring on my machine?

Learning Regular Languages with the TTT Algorithm

OTP and Gleam

A Brief Introduction to Icon

German court ruling declares Google's AI Overviews are Google's own words and makes it liable for false answers

hax: A Rust verification tool

But Our Devenv Is In Another Repo

Shrubbery syntax for Racket