Proposed Rust kernel extensions in place of eBPF (via ysun) — discussion

#linux #rust

From Zero to QED: An informal introduction to formality in Lean 4 (via mplant) — discussion

#compsci #formalmethods

Towards a secure peer-to-peer app platform for Clan (via ThinkChaos) — discussion

#nix #security

An uncomfortable but necessary discussion about the Debian bug tracker (via strugee) — discussion

#linux

ASK: Email Simplicity vs Decentralized Chat (by Riolku)

#ask #email #networking

Nature Programming Language (via kana) — discussion

#compilers #plt

Privacy-Preserving Vaccination Checks: A Proof of Concept MPC Deployment with the Frankfurt Health Department (by robinhundt) — discussion

#cryptography #privacy

Simplistic Comptime Column Safety in SQLite Queries (via Shorden) — discussion

#zig

Understanding your Linux graphics driver stack (via Bernerd) — discussion

#graphics #linux

Flocking Quadtrees in Clojure (via daveliepmann) — discussion

#clojure #graphics

I’m a former CTO. Here is the 15 sec coding test I used to instantly filter out 50% of unqualified applicants (via WilhelmVonWeiner) — discussion

#practices

Build your own RSS daily digest using GitHub Actions/Pages in 5 minutes (by el_piqo) — discussion

#go #web

When SIMD Fails: Floating Point Associativity (via LesleyLai) — discussion

#assembly #compilers #performance

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

#ask #programming

Installing Void Linux on ZFS with Hibernation Support (by draga79) — discussion

#linux

Tinyfront (via janus) — discussion

#compilers #unix

QBasic64 Phoenix 4.3.0 released (via raymii) — discussion

#programming #release

Galois Slicing as Automatic Differentiation (via suhacker256) — discussion

#ai #plt

typed-arrow: First-class compile‑time Arrow schemas for Rust (by yochow) — discussion

#databases

Debian’s git transition (via fanf) — discussion

#linux #vcs