A Stroke of Genius: Striving for Greatness in All You Do by R.W. Hamming
cs.utexas.edu·1h·
Discuss: Hacker News
🎮Verification Games
Understanding Chain-of-Thought in LLMs through Information Theory
arxiv.org·6h
✓Automated Theorem Proving
Towards an Efficient Shifted Cholesky QR for Applications in Model Order Reduction using pyMOR
arxiv.org·6h
🐫OCaml
Introducing Rudy: A Toolchain for Rust Debuginfo
samjs.io·20h·
Discuss: Lobsters, Hacker News, r/programming
🐫Embedded OCaml
FrugalRAG: Learning to retrieve and reason for multi-hop QA
arxiv.org·6h
🐫OCaml
Object Oriented Programming is an expensive disaster which must end
medium.com·2d·
Discuss: Hacker News
🔬Static Analysis
Helpful function to find memory leaks in JavaScript
news.ycombinator.com·1d·
Discuss: Hacker News
🍎Apple
Types are Transforming Python
spin.atomicobject.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
The Bitter Lesson (2025)
artfintel.com·2h·
Discuss: Hacker News
✓Automated Theorem Proving
Four Types of Autism
nature.com·1d·
Discuss: Hacker News
🐫OCaml
Practical Bitwise Tricks in Everyday Code (Opinioned)
maltsev.space·12h·
Discuss: r/programming
🔬Static Analysis
Symbiosis as Metaphor
laurabrekelmans.substack.com·11h·
Discuss: Substack
⚙️Operating System Design
Proof Analysis of A Foundational Classical Singlesuccedent Sequent Calculus
arxiv.org·3d
🛡️seL4
Writing Bounds-Safe Code in C with Arrays
uecker.codeberg.page·17h·
Discuss: Hacker News
🔬Static Analysis
Semantically Separating Nominal Wyvern for Usability and Decidability
arxiv.org·3d
🐫OCaml
Book review: A New Kind of Science (2005)
bactra.org·2d·
Discuss: Hacker News
💻CS
Sound Interval-Based Synthesis for Probabilistic Programs
arxiv.org·1d
🤖Program Synthesis
Variadic Generics ideas that won't work for Rust
poignardazur.github.io·2d·
Discuss: Lobsters, Hacker News, r/programming
🔠Type-Level Programming
The Right Approach to Authorization in RAG
osohq.com·1d·
Discuss: Hacker News
🛡️seL4
Truth-value judgment in language models: 'truth directions' are context sensitive
arxiv.org·6h
✓Automated Theorem Proving