Accidentally writing a fast SAT solver (via runxiyu) — discussion

#compsci

Over engineering my homelab so I don't pay cloud providers (via hafiz) — discussion

#networking

efrit: A native elisp coding agent running in Emacs (via facundoolano) — discussion

#emacs #vibecoding

Why is GitHub UI getting so much slower? (via FedericoSchonborn) — discussion

#performance #web

A Spellchecker Used to Be a Major Feat of Software Engineering (via runxiyu) — discussion

#historical

Introducing spindle (via adamcstephens) — discussion

#nix #vcs

ASK: Lobsters Interview with Hwayne (by veqq)

#person

A puzzling Python program (by jo3_l) — discussion

#python

Overview of Jepsen at BugBash 2025 (via alethkit) — discussion

#databases #distributed #testing

Breaking the Sorting Barrier for Directed Single-Source Shortest Paths (via panadestein) — discussion

#compsci

LVFS Sustainability Plan (via strugee) — discussion

#linux

Hypothesis is now thread-safe (via ngoldbaum) — discussion

#python #testing

I built a free fast-paced match-3 game I think you'll like (by jasonjmcghee) — discussion

#games

Programming as Extended Cognition (by gfairbanks) — discussion

#programming

Updated Google Project Zero disclosure policy (via strugee) — discussion

#security

devenv with Domen Kožar (by mightyiam) — discussion

#audio #nix

How long does it take to upgrade an eBook? (via mtlynch) — discussion

#a11y

HTTP is not simple (via refi64) — discussion

#web

Preventing ZIP parser confusion attacks on Python package installers (via dcreager) — discussion

#python #security

Introducing Wassette: WebAssembly-based tools for AI agents (via alper) — discussion

#vibecoding #wasm