Patterns for Modeling Overlapping Variant Data in Rust (via emschwartz) — discussion

#rust

Writing a Verified Postfix Calculator in Ada/SPARK (by pyj) — discussion

#formalmethods #programming

Pocoo (via kaycebasques) — discussion

#historical #python

Bypassing GitHub Actions policies in the dumbest way possible (via ubernostrum) — discussion

#security

Raku's "core" (via veqq) — discussion

#perl #plt

From zero to demo: a newcomer's experience learning Bevy (by extrawurst) — discussion

#education #rust #video

Reflections on a Year of Sunlight (via fanf) — discussion

#security

Finite Atari Machine (via ewintr) — discussion

#art #games

Compiler Explorer Cost Transparency (via itamarst) — discussion

#finance

Whatever happened to sandboxfs? (by jmmv) — discussion

#mac #performance #programming

The Hashtable Packing Problem (via runxiyu) — discussion

#compsci

Proving completeness of an eventually perfect failure detector in Lean4 (via hwayne) — discussion

#distributed #formalmethods

Source code sandboxing (via iv) — discussion

#security

Verse Language (via refaktor) — discussion

#plt

How we tried to book a train ticket and ended up with a databreach with 245,000 records (2023) (via uncenter) — discussion

#security

Under the hood with Apple's new Containerization framework (by avsm) — discussion

#devops #mac #virtualization

A bit more on Twitter/X’s new encrypted messaging (via mantej) — discussion

#cryptography #privacy #security

hare-update assists in addressing breaking changes in your code (via ThomasAdam) — discussion

#programming

“Localhost tracking” explained. It could cost Meta €32b (via Pistos) — discussion

#privacy

Demystifying Debuggers (via tiniuclx) — discussion

#debugging