← Back to news

L

Lobsters RSS Feed

Functional Data Structures and Algorithms. A Proof Assistant Approach

The Final Bottleneck

I used a local LLM to analyze my journal entries

ANN: I built a new Ada build tool for personal use

How we allowed remote code execution (but safely)

Crates.io’s Freaky Friday

Evolving Git for the next decade

What should we do with CLs generated by AI?

Nixtamal 1.0.0 released

Catalog of Refactorings

A Deep Dive into Apple's .car File Format

The future of software engineering

microgpt

The 12-Factor App - 15 Years later. Does it Still Hold Up in 2026?

Thanks for All the Frames: Rust GUI Observations

Resizing windows on macOS Tahoe – the saga continues

Deterministic Simulation Testing: BUGGIFY

moss-kernel: Rust Linux-compatible kernel

My first Vulkan extension

Hare 0.26.0 released

If you use AI-generated code, you currently cannot claim copyright on it in the US

flemish: An elmish architecture for fltk-rs

What are you doing this weekend?

Google might think your Website is down

I Improved 15 LLMs at Coding in One Afternoon. Only the Harness Changed

The Many Flavors of Ignore Files

A stack-buffer-overflow exercise with AddressSanitizer and PostgreSQL

Apple has a transparency issue

.plan files (2020)

The Timeless Way of Programming (2022)

GOTO Considered Good, Actually

How to build a distributed queue in a single JSON file on object storage

CodeSpeak: Software Engineering with AI

Scripting on the JVM with Java, Scala, and Kotlin

Launching Interop 2026

Allocators from C to Zig

Workledger - An offline first engineering notebook

An AI Agent Published a Hit Piece on Me

Stargazing Buddy: A practical guide to observing the night sky for real skies and real equipment

Request for sources: Discord alternatives

GLM-5: From Vibe Coding to Agentic Engineering

Inspecting the Source of Go Modules

Don't Do This (2013)

Technical "whitepaper" for afl-fuzz

CSS Clicker

The future for Tyr, a Rust GPU driver for Arm Mali hardware

Commet - Matrix Client

Deobfuscation and Analysis of Ring-1.io

Recursive Language Models

Proposal: JS-required tag