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·11h
🧮SMT Solvers
Flag this post
A Short Survey of Compiler Backends
🔨Compilers
Flag this post
Rodrigo Girão Serrão: A generator, duck typing, and a branchless conditional walk into a bar
mathspp.com·19h
λFunctional Programming
Flag this post
An introduction to program synthesis (Part II) - Automatically generating features for machine learning
🎭Program Synthesis
Flag this post
[Talk] Improving the Incremental System in the Rust Compiler
blog.goose.love·20h
🔨Incremental Compilation
Flag this post
just use rustup
kivikakk.ee·1d
🦀Rust Macros
Flag this post
Gen AI Grows Up: Building Production-Ready Agents on the JVM • Rod Johnson • GOTO 2025
youtube.com·3h
📱Edge AI
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
PAINT25 Invited Talk transcript: “Notational Freedom via Self-Raising Diagrams”
programmingmadecomplicated.wordpress.com·1d
🔤Language Design
Flag this post
Functional programming, demystified: What we learned at Nu Engineering Meetup
building.nubank.com·2d
λFunctional Programming
Flag this post
Readable Code Is Unreadable
🏭Code Generation
Flag this post
Prog8
💾Retro Computing
Flag this post
Loading...Loading more...