Olive CSS: Lisp powered vanilla CSS utility-class a la Tailwind (by jjba23) — discussion

#css #lisp #web

nondescript: a simple embedded programming language (by lorddimwit) — discussion

#plt #show

They will force you, open source maintainers, to drink the gasoline (adopting AI) (by withzombies) — discussion

#security #vibecoding

Arch Linux now has a bit-for-bit reproducible Docker image (via Foxboron) — discussion

#linux

We Found a Stable Firefox Identifier Linking All Your Private Tor Identities (via knl) — discussion

#browsers #privacy

Telemetry-Driven Development (by Nezteb) — discussion

#elixir #video

ASK: What are your favorite Emacs packages? (by jussi)

#emacs

Forge (via soulcutter) — discussion

#vcs

Cryptographic Right Answers: Post Quantum and Rust Edition (via goldstein) — discussion

#cryptography

Linux application sandboxing - old tech for the future (via raymii) — discussion

#linux #security

The secret history of Recursion Schemes (via luthenwald) — discussion

#plt #video

An Algorithmic Reconstruction of Normalisation by Evaluation (via fanf) — discussion

#plt

LemmaScript: A Verification Toolchain for TypeScript via Dafny (by namin) — discussion

#formalmethods

It's All Just Trees With Web Origami (via abnercoimbre) — discussion

#web

Using LLMs to find Python C-extension bugs (via equeue) — discussion

#python #security #vibecoding

The Edge of Safe Rust (via intarga) — discussion

#plt #rust

Some general notes on network booting UEFI machines (via fanf) — discussion

#networking

Impeccable: Design skills for AI harnesses (via ocramz) — discussion

#design #vibecoding

Markdown (Aaron Swartz: The Weblog) (via dhruvp) — discussion

#programming

GitHub Actions for a Gleam monorepo (by crowdhailer) — discussion

#gleam