Modernizing Reddit's Comment Backend Infrastructure (via eduard) — discussion
#web
Modernizing Reddit's Comment Backend Infrastructure (via eduard) — discussion
#web
Teaching Values to Machines (via emschwartz) — discussion
#ai
Getting from tested to battle-tested (via winter) — discussion
#testing
Introducing geometric algebra (via LesleyLai) — discussion
#graphics #math #video
Desugaring the Relationship Between Concrete and Abstract Syntax (via LesleyLai) — discussion
#compilers #plt
It's Not Always ICache (via hyperpape) — discussion
#assembly #performance
You can't fool the optimiser (via fernplus) — discussion
#assembly #retrocomputing
Why Sourcegraph and Amp Are Becoming Independent Companies (via atharva) — discussion
#vibecoding
Zig's new plan for asynchronous programs (via val) — discussion
#plt #zig
Avoiding space leaks at all costs (via abhin4v) — discussion
#haskell #performance
Running Linux on a RiscPC, why is it so hard? (via lorddimwit) — discussion
#linux #retrocomputing
Roko's dancing basilisk (by spc476) — discussion
#practices #vibecoding
How should we peer review software? (by MiraWelner) — discussion
#practices #science
Composing capability security and conflict-free replicated data types (via cyplo) — discussion
#distributed #lisp
Nice to Meet You: Synthesizing Practical MLIR Abstract Transformers (via lorddimwit) — discussion
#compilers #pdf
In defense of lock poisoning in Rust (via claytonwramsey) — discussion
#rust
Can we build WeChat Mini Apps using open web standards? (via kv) — discussion
#android #ios #mobile
ACME Challenge for Persistent DNS TXT Record Validation (via AsciiBoiler) — discussion
#security