Driving forward in Android drivers (via crazyloglad) — discussion

#android #security

Finetuning a code completions model for Rust (by beyang) — discussion

#ai #rust

Making a bignum library for fun (via eatonphil) — discussion

#c

Whose CIDR is it anyway? (via fanf) — discussion

#networking #visualization

libnix fixPath (via knl) — discussion

#nix #windows

Justified SMT 1: The Minikanren inside Z3 (via mpweiher) — discussion

#compsci

Why Swift's type checker is slow (via asb) — discussion

#plt #swift

Programming is (should be) fun (via mpweiher) — discussion

#lisp #video

Why is Building Pipelines Different from Software Development? (via levlaz) — discussion

#devops #programming

Font PJW (via lorddimwit) — discussion

#satire #unix

On the Emotional Side of Public Software Funding (by raffomania) — discussion

#practices

Nix as a WebAssembly build tool (by lucperkins) — discussion

#nix #wasm

Announcing Rust 1.79.0 (via eBPF) — discussion

#release #rust

Development Environments with devenv.sh (by domenkozar) — discussion

#nix #video

Why not just embed Neovim in Zed? (via nwjsmith) — discussion

#vim

Virtual keyboard for Android (via tankf33der) — discussion

#android #programming #release

C3 reaches the 0.6 milestone (via jado) — discussion

#plt #release

You might need a portable monitor (via Jackevansevo) — discussion

#culture

How to fix 'command not found: $' (by daniel_kehoe) — discussion

#mac #unix

Switching to GNU/Linux: Mentally (via levlaz) — discussion

#linux