Cyclic Proofs for iGL via Corecursion
arxiv.org·9h
🧮SMT Solvers
Flag this post
Creating Lisp Systems
🏭Code Generation
Flag this post
An introduction to program synthesis (Part II) - Automatically generating features for machine learning
🎭Program Synthesis
Flag this post
The 5 FREE Must-Read Books for Every LLM Engineer
kdnuggets.com·1h
💬Prompt Engineering
Flag this post
[Talk] Improving the Incremental System in the Rust Compiler
blog.goose.love·18h
🔨Incremental Compilation
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·5d
💫Effect Systems
Flag this post
Topographical sparse mapping: A training framework for deep learning models
👁️Computer Vision
Flag this post
PAINT25 Invited Talk transcript: “Notational Freedom via Self-Raising Diagrams”
programmingmadecomplicated.wordpress.com·1d
🔤Language Design
Flag this post
Rodrigo Girão Serrão: A generator, duck typing, and a branchless conditional walk into a bar
mathspp.com·17h
λFunctional Programming
Flag this post
The Cantor Experiment: Forcing a GPT-5-Class AI to Forget a Century of Math
💫Effect Systems
Flag this post
News for October 2025
ptreview.sublinear.info·1d
✅Property Testing
Flag this post
Minimalistic CLAUDE.md for new projects: Follow SOLID, DRY, YAGNI, KISS
🔨Incremental Compilation
Flag this post
A Short Survey of Compiler Backends
🔨Compilers
Flag this post
Radar Trends to Watch: November 2025
oreilly.com·1d
🎭Program Synthesis
Flag this post
Loading...Loading more...