A Short Survey of Compiler Backends
abhinavsarkar.net·23m
🔨Compilers
Flag this post
Rust Testing Framework: Build Reliable Code with Built-In Unit and Integration Tests
dev.to·17h·
Discuss: DEV
🦀Rust
Flag this post
Cyclic Proofs for iGL via Corecursion
arxiv.org·7h
🧮SMT Solvers
Flag this post
Personal Standard Library - Generic and Type-Safe Containers
reddit.com·14h·
Discuss: r/C_Programming
📏Linear Types
Flag this post
Show HN: Polyglot standard library HTTP client C/C++/Rust/Python and benchmarks
github.com·1d·
Discuss: Hacker News
🛡️Error Handling
Flag this post
[Talk] Improving the Incremental System in the Rust Compiler
blog.goose.love·16h
🔨Incremental Compilation
Flag this post
An introduction to program synthesis (Part II) - Automatically generating features for machine learning
mchav.github.io·1h·
Discuss: r/programming
🎭Program Synthesis
Flag this post
PAINT25 Invited Talk transcript: “Notational Freedom via Self-Raising Diagrams”
programmingmadecomplicated.wordpress.com·23h
🔤Language Design
Flag this post
Functional programming, demystified: What we learned at Nu Engineering Meetup
building.nubank.com·1d
λFunctional Programming
Flag this post
Porting Lean to the ESP32-C3 RISC-V Microcontroller
kuruczgy.com·10h·
Discuss: Lobsters, Hacker News
⚙️Systems Programming
Flag this post
Disassembling Terabytes of Random Data with Zig and Capstone to Prove a Point
jstrieb.github.io·1h·
Discuss: Hacker News
🔓Binary Exploitation
Flag this post
Thoughts on "Static Retrival Revisited"
curiouscoding.nl·1d
#️⃣Hash Tables
Flag this post
100 Techniques for Writing Readable Rust Code
github.com·8h·
Discuss: r/rust
🦀Rust Macros
Flag this post
Readable Code Is Unreadable
blog.wilsonb.com·1d·
Discuss: Hacker News
🏭Code Generation
Flag this post
Algorithmic Complexity Reduction via Quantized State Space Search
dev.to·18h·
Discuss: DEV
⚛️Quantum Computing
Flag this post
Crushing ML Latency: The (Un)Official Best Practices for Systems Optimisation
pub.towardsai.net·6h
🚀Performance
Flag this post
Pain Points of OCaml
quamserena.com·1d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Flag this post
Creating Lisp Systems
renato.athaydes.com·4h·
Discuss: Hacker News
🏭Code Generation
Flag this post
Minimalistic CLAUDE.md for new projects: Follow SOLID, DRY, YAGNI, KISS
reddit.com·9h·
Discuss: r/ClaudeAI
🔨Incremental Compilation
Flag this post
Low-Level Hacks
blog.raycursive.com·1d·
Discuss: Hacker News
🦀Rust
Flag this post