Lock Files Considered Harmful (via janus) — discussion

#practices

What are you doing? (by djx) — discussion

#philosophy

postmarketOS v24.12: The One With Androids & Cameras, But It's Mainline Linux (via craftyguy) — discussion

#linux #mobile #release

Efficient, Portable, Census-Polymorphic Choreographic Programming (via ranfdev) — discussion

#distributed

How to Program a Chess Engine in Lisp (via azhenley) — discussion

#lisp

Hello emacs.tv (by xenodium) — discussion

#emacs

Building Low-Maintenance Community Websites (via r2gf) — discussion

#culture #practices

C++ Is An Absolute Blast (via kaycebasques) — discussion

#c++ #plt

Ssh Oauth-like service for CLI apps (via antonmedv) — discussion

#api

From Nix to Eos (via janus) — discussion

#nix #practices

How many links overlap between Lobste.rs and HN? (by freetonik) — discussion

#culture #meta

My colleague Julius (via jummo) — discussion

#philosophy

A worked example of copy-and-patch compilation (via evmar) — discussion

#compilers #plt

Making a Trello clone using htmx (via mpweiher) — discussion

#web

Application blackbox (by dxu) — discussion

#debugging #linux

A Tour of WebAuthn (via freddyb) — discussion

#cryptography #web

Debu.gs: Try Inferno without Installing It (via lproven) — discussion

#historical #osdev

Formal Methods: Just Good Engineering Practice? (via phk) — discussion

#formalmethods

How to collect performance statistics with Cabal (by Hecate) — discussion

#haskell

ASK: What are you doing this week? (by caius)

#ask #programming