twice: chrome extension asking you to think twice when visit social media sites (by chaosprint) — discussion

#browsers #show #web

Debian’s approach to Rust - Dependency handling (2022) (via icefox) — discussion

#practices #rust

Context-Generic Programming (via bitfield) — discussion

#practices #rust

Controlling Nondeterminism in Model-Based Tests with Prophecy Variables (by amw-zero) — discussion

#databases #formalmethods #testing

Why is GCC Better Than Clang? (via dbremner) — discussion

#c++ #compilers #performance #video

ABC: Learning The Alphabet with Java Annotations (by serce) — discussion

#java

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