🔗 Unification

Pattern Matching, Type Inference, Constraint Solving, Algorithms

A grand week
blog.mitrichev.ch·2d·
Discuss: blog.mitrichev.ch
🧩Constraint Solvers
What You Didn't Learn in Berkeley CS 188: Intro to RL
neelsomaniblog.com·1d·
Discuss: Hacker News
🔀SSA Construction
Aligning Language Models with Clinical Expertise: DPO for Heart Failure Nursing Documentation in Critical Care
arxiv.org·5h
🏗️MLIR
Node.js Performance: Processing 14GB Files 78% Faster with Buffer Optimization
dev.to·17h·
Discuss: DEV
📋JSON Parsing
Shaken or Stirred? An Analysis of MetaFormer's Token Mixing for Medical Imaging
arxiv.org·5h
✨Gleam
Generalization of LiNGAM that allows confounding
arxiv.org·1d
🌳Tree Diffing
Making performant Python bindings to compiled code
kylebarron.dev·18h·
Discuss: Hacker News
📋JSON Parsing
A Solution to the Paperclip Problem
link.springer.com·1d·
Discuss: Hacker News
💫Effect Systems
ProofOfThought: LLM-based reasoning using Z3 theorem proving
dev.to·2d·
Discuss: DEV
🧮Theorem Provers
Distilling Reasoning into Student LLMs: Local Naturalness for Selecting Teacher Data
arxiv.org·1d
🌱Minimal ML
Java Backend Coding Technology: Writing Code in the Era of AI #Version 1.1
dev.to·1d·
Discuss: DEV
🎮Language Ergonomics
How to Build Semantic Search in ASP.NET Core using PostgreSQL
dev.to·1d·
Discuss: DEV
🧠Semantic Parsing
Unified Unsupervised Anomaly Detection via Matching Cost Filtering
arxiv.org·1d
✨Effect Inference
Inverse Mixed-Integer Programming: Learning Constraints then Objective Functions
arxiv.org·1d
🧩Constraint Solvers
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·8h·
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·5h
🔍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·5h
🪜Recursive Descent