Functional Abstract Interpretation
simon.peytonjones.org·22h·
Discuss: Hacker News
🔗Functional Compilers
Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers
arxiv.org·18h
🎯Performance Proofs
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·22h·
Discuss: Hacker News
🔍Type Inference
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·23h·
Discuss: Hacker News, r/programming
🛡️Preservation Proofs
Alignment
languagelog.ldc.upenn.edu·2h
🔄Language Evolution
Sandboxing AI - Extending AI Responsibly
dev.to·8h·
Discuss: DEV
🔒WASM Capabilities
FSM Library for Embedded C Projects
hackster.io·1d
🦀Embedded Rust
Cactus Language • Stylistics 4
inquiryintoinquiry.com·7h
🌳Context free grammars
CVE-2025-4919: Corruption via Math Space in Mozilla Firefox
thezdi.com·7h
🦀Rust Verification
Coroutines in C
hackaday.com·1d
🔩Systems Programming
How AI on Microcontrollers Works: Registering Operators
danielmangum.com·1d·
Discuss: Hacker News
🧮SMT Solvers
An Epistemic and Aleatoric Decomposition of Arbitrariness to Constrain the Set of Good Models
arxiv.org·18h
🔲Proof Irrelevance
Claude Code Unleashed
ymichael.com·4h·
Discuss: Hacker News
⚡Proof Automation
A distributed systems reliability glossary
antithesis.com·7h·
Discuss: Lobsters, Hacker News, r/programming
✅Archive Fixity
Reflecting on PLDI 2025
people.csail.mit.edu·2d·
Discuss: Hacker News
🌐Protocol Synthesis
Hacking Coroutines into C
wiomoc.de·3d·
Discuss: Lobsters, Hacker News, r/C_Programming, r/programming
✨Effect Handlers
Helix Editor Release 25.07 Highlights
helix-editor.com·3h·
Discuss: Lobsters, Hacker News, r/linux
🌳Incremental Parsing
A Rust shaped hole
ente.io·1d
🦀Rust Macros
Inheritance over composition, sometimes
death.andgravity.com·15h
🦀Rust Macros
Know Your Playground: The Essential Guide to Algorand for MEV Enthusiasts
hackernoon.com·6h
🔗Hash Chains