Creating Lisp Systems
🏭Code Generation
Flag this post
[Talk] Improving the Incremental System in the Rust Compiler
blog.goose.love·14h
🔨Incremental Compilation
Flag this post
Cyclic Proofs for iGL via Corecursion
arxiv.org·5h
🧮SMT Solvers
Flag this post
PAINT25 Invited Talk transcript: “Notational Freedom via Self-Raising Diagrams”
programmingmadecomplicated.wordpress.com·22h
🔤Language Design
Flag this post
Prog8
💾Retro Computing
Flag this post
Rodrigo Girão Serrão: A generator, duck typing, and a branchless conditional walk into a bar
mathspp.com·14h
λFunctional Programming
Flag this post
Lowering in Reverse
buttondown.com·1d
🔥DataFusion
Flag this post
Minimalistic CLAUDE.md for new projects: Follow SOLID, DRY, YAGNI, KISS
🔨Incremental Compilation
Flag this post
Radar Trends to Watch: November 2025
oreilly.com·22h
🎭Program Synthesis
Flag this post
Disassembling Terabytes of Random Data with Zig and Capstone to Prove a Point
🔓Binary Exploitation
Flag this post
My first fifteen compilers (2019)
🔨Compiler Design
Flag this post
EDL - a JIT-compiled scripting language for certain performance critical workloads with high compatibility with Rust; written in Rust
🦀Rust Macros
Flag this post
Adding New Capability in Existing Scientific Application with LLM Assistance
arxiv.org·1d
🏭Code Generation
Flag this post
Loading...Loading more...