⚔️ Lean Theorem

Mathematical Reasoning, Interactive Proving, Type Theory, Formal Mathematics

Hacker pleads guilty to breaching company networks to pitch his own services
techradar.com·3h
🔓Hacking
After 45 Years, 74-Year-Old Spreadsheet Legend/EFF Cofounder Mitch Kapor Gets His MIT Degree
yro.slashdot.org·9h
📡RSS
The Case for Zohranomics
newyorker.com·4h
💻Local first
Context extraction from image files in Amazon Q Business using LLMs
aws.amazon.com·19m
🤖Archive Automation
New Proof Dramatically Compresses Space Needed for Computation
scientificamerican.com·3d·
Discuss: Hacker News
🎯Performance Proofs
Blazing matrix products
panadestein.github.io·3d·
Discuss: Lobsters, Hacker News
⚡SIMD Optimization
Context engineering
simonwillison.net·2d·
Discuss: Hacker News
🔍Archive Semantics
[D] SAMformer -- a lesson in reading benchmarks carefully
reddit.com·1d·
Discuss: r/MachineLearning
📈Time Series
Simplicity, Agility, and Agency
articles.pragdave.me·4d·
Discuss: Hacker News
⬜Minimalism
Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions
arxiv.org·6d
🎯Performance Proofs
Top Data Exploration Tools in the AI Era (2025)
dev.to·4h·
Discuss: DEV
🤖Archive Automation
One click k8s deploy!
reddit.com·18h·
Discuss: r/kubernetes
🐚Shell Automation
Beyond the Hype: A Deep Dive into Generative AI's Latest Advancements
dev.to·1d·
Discuss: DEV
🧭Content Discovery
🔥 Claude + Filesystem MCP: Superpower File Management Using AI
dev.to·3h·
Discuss: DEV
🪟Awesome windows command-line
Another Go variable dumper and interface/types explorer!
reddit.com·3d·
Discuss: r/golang
🔧Binary Parsing
Partial CLIP is Enough: Chimera-Seg for Zero-shot Semantic Segmentation
arxiv.org·10h
📄Semantic Chunking
Structuralist Approach to AI Literary Criticism: Leveraging Greimas Semiotic Square for Large Language Models
arxiv.org·3d
📜Digital Philology
Dive Deep into Higher-Order Functions: Essential Resources for Functional Programmers
dev.to·6d·
Discuss: DEV
🧬Functional Programming
Uncovering smooth structures in single-cell data with PCS-guided neighbor embeddings
arxiv.org·10h
🌀Hyperbolic Geometry
Improving Stochastic Cubic Newton with Momentum
arxiv.org·3d
🧠Machine Learning