⚔️ Lean Theorem

Mathematical Reasoning, Interactive Proving, Type Theory, Formal Mathematics

The polycrisis theory of Brexit
economist.com·19h
🔲Proof Irrelevance
Epidemiology models explain rumour spreading during France’s Great Fear of 1789
nature.com·20h
🧬Bitstream Evolution
Fact-checking when blogging
perrotta.dev·4h
🔗Online Curation
AIAI Seminar-Friday 3rd October 2025 by Visiting Speaker: Marija Slavkovik
informatics.ed.ac.uk·1d
🌍Cultural Algorithms
Binary Exploitation 101 - Introduction
r1ru.github.io·1d
📼Cassette Hacking
Sacrificing Humans for Insects and AI: A Critical Review
schwitzsplinters.blogspot.com·20h·
Discuss: www.blogger.com
🔲Cellular Automata
Breaking AI Testing Barriers: Dynamic Assertions and AI Automation Deliver 1000%+ Productivity Gains
engineering.salesforce.com·16h
🔍Concolic Testing
(繁中) The Art of PHP — My CTF Journey and Untold Stories!
blog.orange.tw·1d
🇨🇳Chinese Computing
Explaining Fully Homomorphic Encryption to My Mom
olshansky.medium.com·2d·
Discuss: Hacker News
🔐Homomorphic Encryption
Introducing TypeKro
yehudacohen.substack.com·12h·
Discuss: Substack
🏠Homelab Orchestration
OpenAI and Anthropic share findings from a joint safety evaluation
openai.com·19h·
Discuss: Hacker News
📏Code Metrics
Code Surgery: How AI Assistants Make Precise Edits to Your Files
fabianhertwig.com·11h·
Discuss: Hacker News
🔄Language Evolution
Researchers propose heat engine that surpasses classical thermodynamic limits
phys.org·19h
⚛️Information Physics
7 Steps to Mastering No Code Automation with n8n for Data Professionals
kdnuggets.com·3d
🌊Stream Processing
Tutorial: Dynamic Class Discovery and Loading in Python
dev.to·2h·
Discuss: DEV
🎯Gradual Typing
Generalizing Monocular 3D Object Detection
arxiv.org·8h
🕳️Persistent Homology
Reducing Biases towards Minoritized Populations in Medical Curricular Content via Artificial Intelligence for Fairer Health Outcomes
arxiv.org·8h
🗺️Competency Maps
I've Seen the Future of UI Development. It's Insane, Written in Rust, and Rendered by an AI.
dev.to·4h·
Discuss: DEV
🦀Rust Macros
Reimagining Web3 Interactions: How Gaia Powers Smart Token Creation on Linea with MetaMask Delegation Toolkit
dev.to·1d·
Discuss: DEV
🔒WASM Capabilities
Solving advection equations with reduction multigrids on GPUs
arxiv.org·2d
⚡Parallel Computing