🔗 Unification

Pattern Matching, Type Inference, Constraint Solving, Algorithms

A Fixed Point Framework for the Existence of EFX Allocations
arxiv.org·21h
📏Linear Logic
PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.org·21h
🎭Staged Interpreters
**Hyperdimensional Semantic Graph Fusion for Enhanced Knowledge Extraction & Reasoning**
dev.to·1d·
Discuss: DEV
🧠Semantic Parsing
Functional correctness -- Haskell-ing your way to reliable code (hackover2024)
cdn.media.ccc.de·1d
⚡functional programming
Constraint Satisfaction Approaches to Wordle: Novel Heuristics and Cross-Lexicon Validation
arxiv.org·1d
🧩Constraint Solvers
We didn't rewrite our feed handler in Rust
databento.com·12h·
Discuss: Hacker News, r/rust
🔒Rust Borrowing
Fast Matrix Multiply on an Apple GPU
percisely.xyz·4h·
Discuss: Hacker News
🔀SIMD Programming
Dimensional Analysis in Programming Languages (2018)
gmpreussner.com·2d·
Discuss: Hacker News
🔢Algebraic Datatypes
The Alignment Paradox: Why Transparency Can Breed Deception
lesswrong.com·11h
✨Effect Inference
Let's Prove Leftpad
github.com·16h·
Discuss: Hacker News
📚Self-Documenting Code
Bringing NumPy's type-completeness score to nearly 90% – Pyrefly
pyrefly.org·15h·
Discuss: Lobsters, Hacker News, r/programming
∀Quantified Types
LLM Optimization Notes: Memory, Compute and Inference Techniques
gaurigupta19.github.io·1d·
Discuss: Hacker News
🗺️Region Inference
Atomic and Saturated Models
functor.network·4d·
Discuss: Hacker News
🔗Concatenative Theory
Unlocking Uniqueness: Mastering the Unique Character Algorithm in Go
dev.to·1d·
Discuss: DEV
🌿Trie Variants
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to·1d·
Discuss: DEV
🌳Pattern Match Compilation
Bound-Preserving WENO Schemes for Temple-class systems
arxiv.org·21h
🧩Constraint Solvers
Protobuf: Rust Generated Code Guide
protobuf.dev·8h
🦀Rust Macros
Revealing Interconnections between Diseases: from Statistical Methods to Large Language Models
arxiv.org·21h
🌱Minimal ML
I've been using LLMs since 2020. Here's how I used Claude Code to reduce "hallucinations" from LLMs
reddit.com·14h·
Discuss: r/ClaudeAI
💬Interactive REPLs
PsycholexTherapy: Simulating Reasoning in Psychotherapy with Small Language Models in Persian
arxiv.org·21h
🔍ML Language