A primer on code generation in Cranelift by Benjamin Bouvier
bouvier.cc·15m
🦀Rust Macros
Automating the Derivation of Unification Algorithms: A Case Study in Deductive Program Synthesis
arxiv.org·1d
🔮Proof Search
Trap: Autoregressive Transformers in APL
github.com·13h·
Discuss: Lobsters
📊APL Heritage
Compilation Isn't Just for Programming Languages
architecture-weekly.com·21h·
Discuss: r/programming
🌊Stream Processing
Are We Teaching Rust Effectively?
blog.kodewerx.org·1d·
Discuss: Hacker News
🦀Rust Borrowing
A Case Against Abstraction
dev.to·2h·
Discuss: DEV
✨Effect Handlers
How I learn about generative AI
blog.pamelafox.org·4h·
Discuss: www.blogger.com
🎧Learned Audio
AI Agentic Programming: A Survey of Techniques, Challenges, and Opportunities
blog.raymond.burkholder.net·1d
⚡Incremental Computation
TRACY: Benchmarking Execution Efficiency of LLM-Based Code Translation
arxiv.org·1d
📏Code Metrics
Czkawka / Krokiet 10.0,
medium.com·19h
🦀Rust Macros
Structured (Synchronous) Concurrency
fsantanna.github.io·12h·
Discuss: Lobsters, Hacker News
📞Session Types
Recto: In Case Programming isn’t Hard Enough
hackaday.com·1d
📝Concrete Syntax
GPT-5 goes hard on real-world programming
omerba.dev·20h·
Discuss: Lobsters, Hacker News
✅Format Verification
Functional Programming HOWTO
docs.python.org·1d·
Discuss: Lobsters
🔗Lisp
Code Vulnerability Detection Across Different Programming Languages with AI Models
arxiv.org·6h
🧪Binary Fuzzing
X Design Notes: Unifying OCaml Modules and Values
blog.polybdenum.com·8h
🔤Type Theory
HEIR: A Universal Compiler for Homomorphic Encryption
arxiv.org·1d
🔐Homomorphic Encryption
Dyna – Logic Programming for Machine Learning
dyna.org·2d·
Discuss: Lobsters, Hacker News, r/compsci
🔗Constraint Handling
Intraducing Mastrodon
daniel.industries·1d
🔩Systems Programming
Stream Integration
feldera.com·19h·
Discuss: Hacker News
🌊Stream Processing