Enhancing CA Practices: Key Updates in Mozilla Root Store Policy, v3.0 (via freddyb) — discussion

#browsers #cryptography #security

ASK: What are you doing this weekend? (by caius)

#ask #programming

i-cant-believe-its-not-webusb: Hacking around lack of WebUSB support in Firefox (via jeanthomas) — discussion

#hardware #web

coq-of-rust: Formal verification tool for Rust (via jeanthomas) — discussion

#formalmethods #rust

Recursion kills: The story behind CVE-2024-8176 / Expat 2.7.0 released, includes security fixes (via hanno) — discussion

#c #programming #security

Memory Corruption in Delphi (via freddyb) — discussion

#security

Tell Mozilla: It’s time to ditch Google (via epidemian) — discussion

#browsers #privacy

Functional Tests As A Tree Of Continuations (2010) (via vrthra) — discussion

#testing

Typestate Programming (via kaycebasques) — discussion

#formalmethods #hardware #plt #rust

Can we communally deprecate git checkout? (by MiraWelner) — discussion

#rant #vcs

ASK: What Programming Concepts do you Struggle to Grok or Use in Production? (by veqq)

#ask #compsci #programming

fsync() after open() is an elaborate no-op (via janerik) — discussion

#databases

High-performance computing, with much less code (via iamwil) — discussion

#programming

IO devices and latency (via fanf) — discussion

#performance #visualization

Xata Agent: AI agent expert in PostgreSQL (by tsg) — discussion

#databases

Choosing Languages (via cadey) — discussion

#programming

Curry: A Truly Integrated Functional Logic Programming Language (via 4ad) — discussion

#haskell #plt

It's not cheating if you write the video game solver yourself (via hwayne) — discussion

#compsci #games

Stumbling our way into Solving the World's Oldest Board Game (via GabLeRoux) — discussion

#ai #games #historical #visualization

How to write a quine (via nathell) — discussion

#programming