🔗 Unification

Pattern Matching, Type Inference, Constraint Solving, Algorithms

The Alignment Paradox: Why Transparency Can Breed Deception
lesswrong.com·21h
✨Effect Inference
Dimensional Analysis in Programming Languages (2018)
gmpreussner.com·2d·
Discuss: Hacker News
🔢Algebraic Datatypes
11 Best Rust Courses Worth Taking in 2026
educative.io·6h·
Discuss: DEV
🚂Cranelift IR
A Fixed Point Framework for the Existence of EFX Allocations
arxiv.org·1d
📏Linear Logic
BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs
arxiv.org·1d
🔍ML Language
AI-Driven Data Engineering: Building Real-Time Intelligence Pipelines
dev.to·8h·
Discuss: DEV
🎭Program Synthesis
Detecting Semantic Clones of Unseen Functionality
arxiv.org·1d
🔍Comby
Implicit Models: Expressive Power Scales with Test-Time Compute
arxiv.org·1d
🌱Minimal ML
Fun with HyperLogLog and SIMD
vaktibabat.github.io·4d·
Discuss: Hacker News, r/rust
🔢Bit Manipulation
The Alignment Auditor: A Bayesian Framework for Verifying and Refining LLM Objectives
arxiv.org·7h
🔍ML Language
"Bridge sorting" problem
reddit.com·2d·
Discuss: r/compsci
🪢Rope Data Structures
I've been using LLMs since 2020. Here's how I used Claude Code to reduce "hallucinations" from LLMs
reddit.com·1d·
Discuss: r/ClaudeAI
💬Interactive REPLs
ARMOR: High-Performance Semi-Structured Pruning via Adaptive Matrix Factorization
arxiv.org·7h
🌱Minimal ML
Let's Prove Leftpad
github.com·1d·
Discuss: Hacker News
📚Self-Documenting Code
Cost-Controllable AI Applications: Litho's Cache Optimization and Cost Control Strategies
github.com·9h·
Discuss: DEV
📚Self-Documenting Code
H1B-KV: Hybrid One-Bit Caches for Memory-Efficient Large Language Model Inference
arxiv.org·7h
🗺️Region Inference
RAG Chunking Strategies That Actually Work (and Why Most Don’t)
dev.to·1d·
Discuss: DEV
🚀Tokenizer Performance
Golang Dependency Inversion — A Java Developer's Point of View
dev.to·16h·
Discuss: DEV
🔗Go Generics
A Trustworthy Industrial Fault Diagnosis Architecture Integrating Probabilistic Models and Large Language Models
arxiv.org·1d
🚂Error Propagation
An alternative to knowledge graphs for storing loosely structured content
fleetingswallow.com·2d·
Discuss: Hacker News
🌲Tree Rewriting