🔗 Unification

Pattern Matching, Type Inference, Constraint Solving, Algorithms

Fast Matrix Multiply on an Apple GPU
percisely.xyz·12h·
Discuss: Hacker News
🔀SIMD Programming
Dimensional Analysis in Programming Languages (2018)
gmpreussner.com·2d·
Discuss: Hacker News
🔢Algebraic Datatypes
Bringing NumPy's type-completeness score to nearly 90% – Pyrefly
pyrefly.org·23h·
Discuss: Lobsters, Hacker News, r/programming
∀Quantified Types
Atomic and Saturated Models
functor.network·4d·
Discuss: Hacker News
🔗Concatenative Theory
The Alignment Paradox: Why Transparency Can Breed Deception
lesswrong.com·19h
✨Effect Inference
Unlocking Uniqueness: Mastering the Unique Character Algorithm in Go
dev.to·1d·
Discuss: DEV
🌿Trie Variants
BanglaLlama: LLaMA for Bangla Language
arxiv.org·4h
🌱Minimal ML
Constraint Satisfaction Approaches to Wordle: Novel Heuristics and Cross-Lexicon Validation
arxiv.org·2d
🧩Constraint Solvers
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to·2d·
Discuss: DEV
🌳Pattern Match Compilation
11 Best Rust Courses Worth Taking in 2026
educative.io·3h·
Discuss: DEV
🚂Cranelift IR
Revealing Interconnections between Diseases: from Statistical Methods to Large Language Models
arxiv.org·1d
🌱Minimal ML
ECLipsE-Gen-Local: Efficient Compositional Local Lipschitz Estimates for Deep Neural Networks
arxiv.org·4h
🗺️Region Inference
I've been using LLMs since 2020. Here's how I used Claude Code to reduce "hallucinations" from LLMs
reddit.com·22h·
Discuss: r/ClaudeAI
💬Interactive REPLs
CAM: A Constructivist View of Agentic Memory for LLM-Based Reading Comprehension
arxiv.org·4h
🔍ML Language
Certifiable Safe RLHF: Fixed-Penalty Constraint Optimization for Safer Language Models
arxiv.org·1d
🪜Recursive Descent
Fast Leave-One-Out Approximation from Fragment-Target Prevalence Vectors (molFTP) : From Dummy Masking to Key-LOO for Leakage-Free Feature Construction
arxiv.org·4h
🔬Nanopasses
PsycholexTherapy: Simulating Reasoning in Psychotherapy with Small Language Models in Persian
arxiv.org·1d
🔍ML Language
Clojure Data Cookbook – How to manipulate data, analyze, and visualize tasks
github.com·5h·
Discuss: Hacker News
⚡functional programming
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