🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

HeraclesQL: A Python DSL for Writing Alerts
hudsonrivertrading.com·1d·
Discuss: Hacker News
✅Format Verification
Flag this post
Oops, My UUIDs Collided
alexsci.com·20h·
Discuss: Hacker News
🧪Binary Fuzzing
Flag this post
Show HN: I built Cuiz-AI, turns documents into quizzes in seconds
cuiz-ai.com·1d·
Discuss: Hacker News
🤖AI Curation
Flag this post
Finding Order in the Mayhem: A Novel Concurrency Testing Tool that Improved the Kotlin Compiler
blog.jetbrains.com·3d·
Discuss: Hacker News
✨Effect Handlers
Flag this post
I built an faster Notion in Rust
imedadel.com·3d·
Discuss: Lobsters, Hacker News, r/rust
🦀Rust Macros
Flag this post
Gambling coin game – math and CS article
joshpearlson.com·3d·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
Thinking Clearly
lemire.me·5d·
Discuss: Hacker News
🧠Intelligence Compression
Flag this post
Well a old school flex i guess
reddit.com·9h·
Discuss: r/linux
🔌Operating system internals
Flag this post
From Data to Rewards: a Bilevel Optimization Perspective on Maximum LikelihoodEstimation
dev.to·2h·
Discuss: DEV
🧠Machine Learning
Flag this post
Building a Self-Improving RAG System with Smart Query Routing and Answer Validation
dev.to·1d·
Discuss: DEV
🔍Information Retrieval
Flag this post
My ML Learning Journey: From Confusion to Building a Working Model
dev.to·1d·
Discuss: DEV
🧠Machine Learning
Flag this post
Uncertainty-Aware Diagnostics for Physics-Informed Machine Learning
arxiv.org·1d
🧠Machine Learning
Flag this post
HOW TO BUILD A BMI (BODY MASS INDEX) CALCULATOR USING PYTHON
dev.to·1h·
Discuss: DEV
🔗Constraint Handling
Flag this post
HUME: Measuring the Human-Model Performance Gap in Text Embedding Task
dev.to·5h·
Discuss: DEV
🧠Intelligence Compression
Flag this post
BMGQ: A Bottom-up Method for Generating Complex Multi-hop Reasoning Questions from Semi-structured Data
arxiv.org·3d
🧠Computational Logic
Flag this post
Atlas & The Frontier of AI Browsing: Let's Connect!
dev.to·2h·
Discuss: DEV
🤖AI Curation
Flag this post
Stop Writing Code, Start Writing Docs
thenewstack.io·19h
⚙️TLA+
Flag this post
Condensin Complex Dynamics: A Bayesian Network Approach to Chromosome Condensation Prediction
dev.to·15h·
Discuss: DEV
🧬Copy Number Variants
Flag this post
7 AI Study Workflows Developers Use to Learn Faster (Prompt Recipes Included)
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Flag this post
The Craft vs. the Commodity: What We Lose (and Gain) When AI Writes Our Code
syntheticauth.ai·1d·
Discuss: Hacker News, r/programming
📏Code Metrics
Flag this post