🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

Operating Principles That Guided Me to Staff Engineer (Part 1: Driving Impact)
read.highgrowthengineer.com·2d
📏Code Metrics
Book of All-Pairs Shortest Paths
olegkarasik.wordpress.com·3d·
Discuss: Hacker News
🕸️Graph Algorithms
Rendering the Mandelbulb
4rknova.com·16h·
Discuss: Hacker News
📐Mathematical Art
An Interactive Guide to TanStack DB
frontendatscale.com·10h·
Discuss: Hacker News
🔌Interface Evolution
So you want to control flow in PyTorch 2
blog.ezyang.com·4d·
Discuss: Hacker News
✨Effect Handlers
Stop writing CLI validation. Parse it right the first time
hackers.pub·3d·
Discuss: Lobsters, Hacker News, r/programming, r/typescript
🛡️CLI Security
False Confidence
theaiunderwriter.substack.com·1d·
Discuss: Substack
💻Local LLMs
The Future of Agentic Coding Is Multiplayer
thenewstack.io·11h
🔄Language Evolution
QualityFM: a Multimodal Physiological Signal Foundation Model with Self-Distillation for Signal Quality Challenges in Critically Ill Patients
arxiv.org·1d
🎯Arithmetic Coding Theory
I Finally Stopped Alt-Tabbing to ChatGPT While Coding
dev.to·12h·
Discuss: DEV
🪟Awesome windows command-line
Language Model Perplexity Predicts Scientific Surprise and Transformative Impact
arxiv.org·1d
🏛Digital humanities
CTourLLM: Enhancing LLMs with Chinese Tourism Knowledge
arxiv.org·1h
🔍Information Retrieval
Beyond Boundaries: A New Approach to Solving Infinite-Choice Problems with AI
dev.to·2d·
Discuss: DEV
🔲Cellular Automata
[Project] Otters 🦦 - A minimal vector search library with powerful metadata filtering
reddit.com·1d·
Discuss: r/MachineLearning
🦀Rust Macros
Can AI Make Energy Retrofit Decisions? An Evaluation of Large Language Models
arxiv.org·1d
💻Local LLMs
Probabilistic Shapley Value Modeling and Inference
arxiv.org·1d
🧠Machine Learning
Decoding Golang Interfaces: Why Your Struct Fits an Interface It Never Met
dev.to·19h·
Discuss: DEV
🔤Type Theory
Prompt Engineering
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Causal Attention with Lookahead Keys
arxiv.org·1h
🔍BitFunnel
Experiment with gopls MCP: Improving Agent Context for Go Development
dev.to·1d·
Discuss: DEV
📋Protocol Buffers