Tiny challenges for learning WebAssembly (via eeue56) — discussion

#wasm

Ikey Doherty's Serpent OS Linux Distribution Goes Into Alpha (via tris) — discussion

#linux #release #rust

Symbolic Execution by Overloading __bool__ (via mjn) — discussion

#formalmethods #python

ASK: Merry Everything and Happy Holidays my favorite crustaceans (by freddyb)

#meta

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