🔗 Unification

Pattern Matching, Type Inference, Constraint Solving, Algorithms

Algorithm reveals 'magic sizes' for assembling programmable icosahedral shells at minimal cost
phys.org·48m
🔢Bit Manipulation
Double Maths First Thing: Issue 39
aperiodical.com·3h
∫Mathematical DSLs
Event Handling: Automatic Event Bootstrapping
gitlab.com·1d·
Discuss: DEV
📡Protocol Buffers
What You Didn't Learn in Berkeley CS 188: Intro to RL
neelsomaniblog.com·1d·
Discuss: Hacker News
🔀SSA Construction
Forward declaring a type in C++: The good, and the bad
andreasfertig.com·1d
🧸Toy Compilers
TS-Reasoner: Aligning Time Series Foundation Models with LLM Reasoning
arxiv.org·1d
🔍ML Language
Reviving Lost Tongues: AI-Powered Grammar for Language Preservation
dev.to·11h·
Discuss: DEV
🔍Parsing Algorithms
BioAutoML-NAS: An End-to-End AutoML Framework for Multimodal Insect Classification via Neural Architecture Search on Large-Scale Biodiversity Data
arxiv.org·7h
🔍ML Language
DiffuSpec: Unlocking Diffusion Language Models for Speculative Decoding
arxiv.org·2d
🚀Tokenizer Performance
LLM-Guided Evolutionary Program Synthesis for Quasi-Monte Carlo Design
arxiv.org·1d
🎭Program Synthesis
MaNGO - Adaptable Graph Network Simulators via Meta-Learning
arxiv.org·7h
🪜Recursive Descent
KEO: Knowledge Extraction on OMIn via Knowledge Graphs and RAG for Safety-Critical Aviation Maintenance
arxiv.org·7h
🎭Erlang OTP
Simple hash map in C, for learning purpose
reddit.com·1d·
Discuss: r/C_Programming
🏷️Symbol Interning
Inductive inference of gradient-boosted decision trees on graphs for insurance fraud detection
arxiv.org·7h
🌱Minimal ML
Parameterized Complexity of Temporal Connected Components: Treewidth and k-Path Graphs
arxiv.org·7h
🕸️Tarjan Algorithms
Bamboo: LLM-Driven Discovery of API-Permission Mappings in the Android Framework
arxiv.org·1d
🔍Lens Libraries
Vibe engineering
simonw.substack.com·5h·
Discuss: Substack
🎮Language Ergonomics
A Generic Vector Implementation in C using void*, func*
github.com·1d·
Discuss: r/C_Programming
🪄C Metaprogramming
Can I justify C for everything?
reddit.com·8h·
Discuss: r/C_Programming
🪄C Metaprogramming
Digital Twins for Intelligent Intersections: A Literature Review
arxiv.org·7h
🔀Algebraic Subtyping