← Back to news

L

Lobsters RSS Feed

Man and the Computer - John G. Kemeny (1972)

What side projects have you enjoyed the most?

The strain in your brain

First CHERIoT Silicon

Formal methods with Hillel Wayne

Setting timers in simple games (feat. the frame rule)

const_cast: A Necessary Evil

basebrowserproject

xy is very fast and customizable charting library for Python

Some notes about Anthropic’s new results

Flycheck 38: Might & Magic

A field day for Gleam’s language server | Gleam v.1.18.0 release

PostgreSQL MVCC: tradeoffs compared to other engines

Overengineered calculator: Zig + QBE

It doesn’t matter whether “Matz is nice”

GNU Hyperbole Implicit Buttons: Build your Hyperverse

The Dark Night of Mathematics

Copilot will propagate a malicious worm from one Word document to another

AI Mania Is Eviscerating Global Decision-Making

Streaming the IETF MoQ sessions with MoQ… kinda

Sovereignty is a substrate

Safety in an unsafe world

User Interfaces of the Demo Scene

C++26: Reducing undefined behaviour

Writing Toy Software Is A Joy (2025)

Manganin: tools matter

CP/M-68K emulator

Lobste.rs on Spinel

Proof types in Dart: Using final classes as computational witnesses

Why Rocq is better than Lean for program verification

State of multi-player Wayland

Anatomy of a Frontier Lab Agent Intrusion: A Technical Timeline of the July 2026 Incident

The Cipher Behind QSYRUPWD: Reconstructing IBM i Password Hashes

The mean means nothing

You Could Have Come Up With Kimi Delta Attention

Starling, a Linux Desktop written from scratch

Destructive Convenience

Bastillion 5.1: single-JAR SSH gateway now audits and replays every session

Dependency Cultures - Richard Feldman (Software Should Work Conf 2026)

Parallel JSON parsing on the GPU with compute shaders

Where are the third places for learners?

Inside Zig's Incremental Compilation

I Designed A Custom PCB To Avoid Pressing A Button Three Times

Design flaws in issetugid() (2017)

Building (systems) software with Nix

Aux Control — Let the whole room vote on the music

Tracked Capabilities for Safer Agents

What even are microservices?

Golang Maps: How Swiss Tables Replaced the Old Bucket Design

Improving Heuristics (2015)