🔗 Unification

Pattern Matching, Type Inference, Constraint Solving, Algorithms

Algorithm reveals 'magic sizes' for assembling programmable icosahedral shells at minimal cost
phys.org·5h
🔢Bit Manipulation
Double Maths First Thing: Issue 39
aperiodical.com·8h
∫Mathematical DSLs
All in on MatMul? Don’t Put All Your Tensors in One Basket!
sigarch.org·2h
🏰Capability Machines
13 clever APIs for capturing every kind of data
infoworld.com·2d
🔍Search Algorithms
Forward declaring a type in C++: The good, and the bad
andreasfertig.com·1d
🧸Toy Compilers
Event Handling: Automatic Event Bootstrapping
gitlab.com·2d·
Discuss: DEV
📡Protocol Buffers
What You Didn't Learn in Berkeley CS 188: Intro to RL
neelsomaniblog.com·1d·
Discuss: Hacker News
🔀SSA Construction
Reviving Lost Tongues: AI-Powered Grammar for Language Preservation
dev.to·16h·
Discuss: DEV
🔍Parsing Algorithms
Vibe engineering
simonw.substack.com·10h·
Discuss: Substack
🎮Language Ergonomics
A Generic Vector Implementation in C using void*, func*
github.com·2d·
Discuss: r/C_Programming
🪄C Metaprogramming
Digital Twins for Intelligent Intersections: A Literature Review
arxiv.org·12h
🔀Algebraic Subtyping
Create Express Auth — A Clean Architecture Boilerplate for Modern APIs
dev.to·4h·
Discuss: DEV
🔧API Design
Partial Information Decomposition via Normalizing Flows in Latent Gaussian Distributions
arxiv.org·1d
🌱Minimal ML
Can anyone give me tips and improvements on my bad C program (string-to-int parser)?
reddit.com·16h·
Discuss: r/C_Programming
📚Stack Allocation
Logistic-Gated Operators Enable Auditable Unit-Aware Thresholds in Symbolic Regression
arxiv.org·12h
⚡Partial Evaluation
InstaGeo: Compute-Efficient Geospatial Machine Learning from Data to Deployment
arxiv.org·12h
📈Earley Parsing
Automated Structure-Based Drug Discovery via Hyperdimensional Protein-Ligand Interaction Scoring
dev.to·1d·
Discuss: DEV
✨Effect Inference
Scaling Code-Assisted Chain-of-Thoughts and Instructions for Model Reasoning
arxiv.org·1d
🎭Program Synthesis
COSMIR: Chain Orchestrated Structured Memory for Iterative Reasoning over Long Context
arxiv.org·1d
🔄Subinterpreters
Thin Bridges for Drug Text Alignment: Lightweight Contrastive Learning for Target Specific Drug Retrieval
arxiv.org·1d
✨Effect Inference