⚔️ Lean Theorem

Mathematical Reasoning, Interactive Proving, Type Theory, Formal Mathematics

The capitalism of fools
doctorow.medium.com·44m
🧲Magnetic Philosophy
Uncertain< T >: A First-Order Type for Uncertain Data (2014)
microsoft.com·4d·
Discuss: Hacker News
🧪Binary Fuzzing
The Curse of Bigness: Antitrust in the new Gilded Age (2018)
kirkusreviews.com·1d·
Discuss: Hacker News
🌍Cultural Algorithms
Almost everything is downstream of integrity
econlib.org·1d·
Discuss: Hacker News
🧲Magnetic Philosophy
Why Radiology AI Didn't Work and What Comes Next
outofpocket.health·1h·
Discuss: Hacker News
⚡Proof Automation
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
jacobasper.com·2d·
Discuss: Hacker News
🦀Rusty Databases
5 Tokens to Invest In as the Fed Ends Program That Increased Bank Scrutiny of Crypto
hackernoon.com·1d
🔗Hash Chains
Q&A: Math education and the importance of memory and problem solving
phys.org·2d
📚Proof Pedagogy
[P] aligning non-linear features with your data distribution
reddit.com·3d·
Discuss: r/MachineLearning
🧠Machine Learning
Claude Code Gets a Second Opinion from GPT-5
proxymock.io·3d·
Discuss: Hacker News
⚡Proof Automation
Climate-Resilient Ports and Waterborne Transport Systems: Current Status and Future Prospects
arxiv.org·14h
🌊Stream Processing
Harnessing Receptor Kinase Dynamics for Predictive Self-Incompatibility Allele Pairing
dev.to·8h·
Discuss: DEV
💎Information Crystallography
Is data-efficient learning feasible with quantum models?
arxiv.org·14h
⚛️Quantum Information
A Feminist Account of Intersectional Algorithmic Fairness
arxiv.org·2d
🌍Cultural Algorithms
Why “One Prompt Workspaces” Could Be the Next Productivity Shift
dev.to·12h·
Discuss: DEV
🌱Personal Wikis
Minimal Multi-Stage Form Wizard with AI Review
dev.to·2d·
Discuss: DEV
✨Effect Handlers
CLARIFY: A Specialist-Generalist Framework for Accurate and Lightweight Dermatological Visual Question Answering
arxiv.org·1d
🔍Information Retrieval
RLMR: Reinforcement Learning with Mixed Rewards for Creative Writing
arxiv.org·1d
🔲Cellular Automata
noble-curves: audited and minimal elliptic curve cryptography in JavaScript
github.com·3d·
Discuss: Hacker News
🔱Galois Cryptography
Democracy-in-Silico: Institutional Design as Alignment in AI-Governed Polities
arxiv.org·14h
🔲Cellular Automata