[CS 2881r] Some Generalizations of Emergent Misalignment
lesswrong.com·1d
🔍ML Language
Haiku Activity & Contract Report, August 2025
haiku-os.org·7h
📊perf Tools
Cap'n Proto - structured data serialziation format
capnproto.org·15h
📦Message Serialization
Eternal-Tux: Crafting a Linux Kernel KSMBD 0-Click RCE Exploit from N-Days
willsroot.io·2d·
Discuss: Hacker News, www.willsroot.io
📏Linear Memory
A Kevin week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
🧩Constraint Solvers
Why some agentic AI developers are moving code from Python to Rust
developers.redhat.com·1d
⚡Interpreter Optimization
Show HN: Semlib – Semantic Data Processing
github.com·19h·
Discuss: Hacker News
🔍ML Language
Language Models Pack Billions of Concepts into 12,000 Dimensions
nickyoder.com·1d·
Discuss: Lobsters, Hacker News
🌱Minimal ML
The future of microoptimization
goldenstack.net·3d·
Discuss: Hacker News
🔬Nanopasses
Arguzz: Testing zkVMs for Soundness and Completeness Bugs
arxiv.org·4h
🧪Testing Compilers
Caffeinated Commits- Day 1 & 2
dev.to·1d·
Discuss: DEV
📋Souffle Datalog
What happens when you run a program?
dev.to·16h·
Discuss: DEV
📜Bytecode Interpreters
Almorzamos con Sebastián Gabilondo, gerente regional de marketing de Oakberry
infonegocios.biz·4h
📚Factor
Safepoints and Fil-C
fil-c.org·4h·
Discuss: Hacker News
🎯Ring Buffers
New C++ Conference Videos Released This Month - September 2025
reddit.com·15h·
Discuss: r/cpp
🎓Teaching Compilers
AQUA: Attention via QUery mAgnitudes for Memory and Compute Efficient Inference in LLMs
arxiv.org·4h
🔍ML Language
A formal proof of C∞ISRT
bsky.app·2d·
Discuss: r/LessCredibleDefence
♾️Codata Types
The Alchemist's Endgame: My Final Synthesis of p-adic Clojure and Legacy Code.
dev.to·3d·
Discuss: DEV
🔗Unification
picoCTF new_caesar writeup
zeroday.forem.com·2d·
Discuss: DEV
📝Rope Editors
GB/s Level Editable DOM JSON Engine: The Architectural Philosophy Behind LJSON
github.com·3h·
Discuss: DEV
📋JSON Parsing