← Back to news

L

Lobsters RSS Feed

From Zero to QED: An informal introduction to formality in Lean 4

An uncomfortable but necessary discussion about the Debian bug tracker

Towards a secure peer-to-peer app platform for Clan

Email Simplicity vs Decentralized Chat

Seven Coding Games to Help You Build Your Programming Chops (2023)

Nature Programming Language

Proposed Rust kernel extensions in place of eBPF

Privacy-Preserving Vaccination Checks: A Proof of Concept MPC Deployment with the Frankfurt Health Department

Simplistic Comptime Column Safety in SQLite Queries

Understanding your Linux graphics driver stack

Flocking Quadtrees in Clojure

I’m a former CTO. Here is the 15 sec coding test I used to instantly filter out 50% of unqualified applicants

Build your own RSS daily digest using GitHub Actions/Pages in 5 minutes

What are you doing this week?

Installing Void Linux on ZFS with Hibernation Support

When SIMD Fails: Floating Point Associativity

QBasic64 Phoenix 4.3.0 released

typed-arrow: First-class compile‑time Arrow schemas for Rust

Tinyfront

Debian’s git transition

Qubes OS 4.3.0 has been released

Logging Sucks - Your Logs Are Lying To You

I Program on the Subway

Thirteen years of Rust and the birth of Rue

The Cognitive Burden of Garbage Collection vs Move Semantics (2023)

dumbphone journey -- eight month update

What’s new in Python 3.15

Inverse parentheses

ELF Crimes: Program Interpreter Fun

ARIN IPv4 misissue incident

Computational complexity of New York Times games

Exploring Speculative JIT Compilation for Emacs Lisp with Java

You Can't Opt-Out of Accessibility

How I protect my forgejo instance from AI Web Crawlers

The atomic time scale at NIST Boulder has failed

Web/HTML things to avoid (2017)

The Inner-Platform Effect (2006)

Mnemonics for hidden controls in Win32

The "UNIX v4 tape" running in simh PDP11 emu on IRIX

Tag proposal: decentralization

polyproto: A refreshingly simple decentralised, federated protocol

Task Injection – Exploiting agency of autonomous AI agents

Text similarity search via normalized compression distance

An introduction to property-based testing with QuickCheck (2020)

Shooting myself in the foot with Git by accident

The Texas Instruments CC-40 invades Gopherspace (plus TI-74 BASICALC)

romforth: Ultra Portable, Small, Baremetal Forth for various processors

Faster practical modular inversion

How capacity hints work in Go

Go feature: Modernized go fix