Clarity
robinsloan.com·2d
🧠Intelligence Compression
Why do CPUs have multiple cache levels?
fgiesen.wordpress.com·3h·
Discuss: Hacker News
⚡Cache Theory
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.org·2d·
Discuss: Hacker News, r/programming
🌳Incremental Parsing
Faking a Rational Design Process in the AI Era: Why Documentation Matters
albertsikkema.com·1d·
Discuss: Hacker News
⚙️Proof Engineering
A Proof of the Riemann Hypothesis
dev.to·2d·
Discuss: DEV
⚔️Lean Theorem
OBCache: Optimal Brain KV Cache Pruning for Efficient Long-Context LLM Inference
arxiv.org·1d
💻Local LLMs
Causal Abstractions, Categorically Unified
arxiv.org·4d
✨Effect Handlers
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·11h·
Discuss: DEV
📊Multi-vector RAG
Activation Alchemist: Sculpting Stability with Functional Signatures
dev.to·1d·
Discuss: DEV
🔍Concolic Testing
simonw/claude-skills
simonwillison.net·21h
📄PostScript
Off-Trajectory Reasoning: Can LLMs Collaborate on Reasoning Trajectory?
arxiv.org·2d
📏Linear Logic
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·19h·
Discuss: DEV
🎵Audio ML
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.org·4d
⚡Proof Automation
Responsible Vibe Coding
dev.to·6h·
Discuss: DEV
📏Code Metrics
Cactus Language • Semantics 2
inquiryintoinquiry.com·3d
🔢Denotational Semantics
TRIM: Token-wise Attention-Derived Saliency for Data-Efficient Instruction Tuning
arxiv.org·2d
🔨Compilers
The Rise of the Knowledge Sculptor: A New Archetype for Knowledge Work in the Age of Generative AI
arxiv.org·1d
🗺️Competency Maps
Bayesian Optimization for Dynamic Sample Size Allocation in A/B Testing
dev.to·1h·
Discuss: DEV
🧮Kolmogorov Bounds
The Bit Shift Paradox: How "Optimizing" Can Make Code 6× Slower
hackernoon.com·3d
🧮Compute Optimization
In-Depth Analysis: "Attention Is All You Need"
dev.to·1d·
Discuss: DEV
🧠Intelligence Compression