Cyclic Proofs for iGL via Corecursion
arxiv.orgยท11h
๐งฎSMT Solvers
Flag this post
are-dependent-types-actually-erased
๐Type Inference
Flag this post
An introduction to program synthesis (Part II) - Automatically generating features for machine learning
๐ญProgram Synthesis
Flag this post
Creating Lisp Systems
๐ญCode Generation
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ยท19h
ฮปFunctional Programming
Flag this post
News for October 2025
ptreview.sublinear.infoยท1d
โ
Property Testing
Flag this post
Ruby and Its Neighbors: Smalltalk
๐Refinement Types
Flag this post
A Short Survey of Compiler Backends
๐จCompilers
Flag this post
Algorithmic Complexity Reduction via Quantized State Space Search
โ๏ธQuantum Computing
Flag this post
AI coding transforms data engineering: How dltHub's open-source Python library helps developers create data pipelines for AI in minutes
venturebeat.comยท2d
๐งData Engineering
Flag this post
[Talk] Improving the Incremental System in the Rust Compiler
blog.goose.loveยท20h
๐จIncremental Compilation
Flag this post
Minimalistic CLAUDE.md for new projects: Follow SOLID, DRY, YAGNI, KISS
๐จIncremental Compilation
Flag this post
Loading...Loading more...