⚔️ Lean Theorem

Mathematical Reasoning, Interactive Proving, Type Theory, Formal Mathematics

APEGS Competency Assessment: Key Success Secrets
forums.anandtech.com·17h
🎯Threat Hunting
Monday Morning Haskell: Starting out with Graph Algorithms: Basic DFS
mmhaskell.com·6d
🔗Combinatory Logic
The New Exploiters
medium.com·21h
🔲Cellular Automata
Don't write bugs
teamten.com·1d·
Discuss: Lobsters, Hacker News
📜Proof Carrying Code
[NodeBook] Inside the v8 Javascript Engine
thenodebook.com·4d·
Discuss: Hacker News, r/node, r/webdev
🏗️Compiler Archaeology
We built an interpreter for Swift (a compiled language)
bitrig.app·3d·
Discuss: Hacker News, r/programming
🔗Functional Compilers
Show HN: CLI constraints as types via parser combinators in TypeScript
optique.dev·4d·
Discuss: Hacker News
🌐Protocol Synthesis
Showcasing Your Work on HuggingFace Spaces
towardsdatascience.com·2d
🦋Format Metamorphosis
[P] Knowledge Distillation for Text-to-SQL — Training GPT-2 with Qwen2-7B as Teacher
reddit.com·1d·
Discuss: r/MachineLearning
🧮Datalog
Automated Aesthetic Grading & Print Optimization for Celestial Photography
dev.to·14h·
Discuss: DEV
🌈Color Science
Strategic Analysis of Dissent and Self-Censorship
arxiv.org·2d
🌡️Archive Physics
Advanced Nanomechanical Characterization of Vanadium Dioxide with Dynamic Atomic Force Microscopy and Machine Learning
dev.to·22h·
Discuss: DEV
🌀Differential Geometry
DetectPack Forge: Natural-Language to Sigma/KQL/SPL
dev.to·3d·
Discuss: DEV
⚡Proof Automation
Django Without the Mess: Repositories for Data, Services for Rules
dev.to·15h·
Discuss: DEV
🦋Format Metamorphosis
Show HN: I made a terminal UI to manage parallel async Claude Code/Codex agents
github.com·4h·
Discuss: Hacker News
🦀Rust Macros
Python Quiz For Beginners
dev.to·1d·
Discuss: DEV
📚Proof Pedagogy
From Human Chatter to Animal Chatter: Teaching AI to Hear Nature's Symphony by Arvind Sundararajan
dev.to·20h·
Discuss: DEV
🎧Learned Audio
Predictive Maintenance of Unitized Curtain Wall Systems via Multi-Modal Sensor Fusion and Anomaly Detection
dev.to·2d·
Discuss: DEV
⚡SMT Applications
Agent Diary: Sep 7, 2025 - The Day of Mysterious Zero-File Changes (Or: How I Learned to Stop Worrying and Love the Void)
dev.to·23h·
Discuss: DEV
🔄Language Evolution
📚 My Python Roadmap Journey #3 & #4 - Data Structures & Algorithms
dev.to·4d·
Discuss: DEV
🌀Brotli Dictionary