Creating Lisp Systems
🏭Code Generation
Flag this post
OSS updates September and October 2025
blog.michielborkent.nl·2d
🦀Rust Macros
Flag this post
Cyclic Proofs for iGL via Corecursion
arxiv.org·5h
🧮SMT Solvers
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
[Talk] Improving the Incremental System in the Rust Compiler
blog.goose.love·14h
🔨Incremental Compilation
Flag this post
just use rustup
kivikakk.ee·1d
🦀Rust Macros
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
Pain Points of OCaml
🦀Rust Macros
Flag this post
Prog8
💾Retro Computing
Flag this post
PAINT25 Invited Talk transcript: “Notational Freedom via Self-Raising Diagrams”
programmingmadecomplicated.wordpress.com·22h
🔤Language Design
Flag this post
Functional programming, demystified: What we learned at Nu Engineering Meetup
building.nubank.com·1d
λFunctional Programming
Flag this post
Readable Code Is Unreadable
🏭Code Generation
Flag this post
Disassembling Terabytes of Random Data with Zig and Capstone to Prove a Point
🔓Binary Exploitation
Flag this post
Loading...Loading more...