🔗 Unification

Pattern Matching, Type Inference, Constraint Solving, Algorithms

A grand week
blog.mitrichev.ch·2d·
Discuss: blog.mitrichev.ch
🧩Constraint Solvers
Protobuf: Rust Generated Code Guide
protobuf.dev·10h
🦀Rust Macros
PsycholexTherapy: Simulating Reasoning in Psychotherapy with Small Language Models in Persian
arxiv.org·23h
🔍ML Language
Certifiable Safe RLHF: Fixed-Penalty Constraint Optimization for Safer Language Models
arxiv.org·23h
🪜Recursive Descent
Clojure Data Cookbook – How to manipulate data, analyze, and visualize tasks
github.com·14m·
Discuss: Hacker News
⚡functional programming
BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs
arxiv.org·23h
🔍ML Language
Detecting Semantic Clones of Unseen Functionality
arxiv.org·23h
🔍Comby
Implicit Models: Expressive Power Scales with Test-Time Compute
arxiv.org·23h
🌱Minimal ML
AI-Driven Data Engineering: Building Real-Time Intelligence Pipelines
dev.to·1h·
Discuss: DEV
🎭Program Synthesis
Fun with HyperLogLog and SIMD
vaktibabat.github.io·3d·
Discuss: Hacker News, r/rust
🔢Bit Manipulation
"Bridge sorting" problem
reddit.com·2d·
Discuss: r/compsci
🪢Rope Data Structures
A Trustworthy Industrial Fault Diagnosis Architecture Integrating Probabilistic Models and Large Language Models
arxiv.org·23h
🚂Error Propagation
Making performant Python bindings to compiled code
kylebarron.dev·13h·
Discuss: Hacker News
📋JSON Parsing
From Matmul to Meaning
evis.dev·1d·
Discuss: Hacker News
🧮Linear Algebra
What You Didn't Learn in Berkeley CS 188: Intro to RL
neelsomaniblog.com·1d·
Discuss: Hacker News
🔀SSA Construction
Generalization of LiNGAM that allows confounding
arxiv.org·23h
🌳Tree Diffing
Let's Prove Leftpad
github.com·19h·
Discuss: Hacker News
📚Self-Documenting Code
Golang Dependency Inversion — A Java Developer's Point of View
dev.to·8h·
Discuss: DEV
🔗Go Generics
RAG Chunking Strategies That Actually Work (and Why Most Don’t)
dev.to·18h·
Discuss: DEV
🚀Tokenizer Performance
Cost-Controllable AI Applications: Litho's Cache Optimization and Cost Control Strategies
github.com·2h·
Discuss: DEV
📚Self-Documenting Code