⚔️ Lean Theorem

Mathematical Reasoning, Interactive Proving, Type Theory, Formal Mathematics

Some Things We Can Say About the State of the Labor Market
bloomberg.com·1d
📡Information theory
I was a consultant at Accenture. Here's why I opted out of climbing the corporate ladder.
businessinsider.com·14h
⏳Time Capsule Networks
Concentration, risks and portfolio sizing
gustavsaktieblogg.blogspot.com·9h·
Discuss: gustavsaktieblogg.blogspot.com
🔍BitFunnel
Intuitions about records management for data scientists
thinkingrecords.co.uk·2d
🔗Data Provenance
The Ultimate Secure Code Review Checklist
boostsecurity.io·1d
🛡️WebAssembly Security
<p>🔗 <a href="http://scripting.com/davenet/1995/09/03/wemakeshittysoftware.html">Dave Winer: We Make Shitty Software</a></p>
lmika.org·1d
🚀Indie Hacking
Capitalization of Initialisms (2009)
teamten.com·1d·
Discuss: Lobsters, Hacker News
🔤Unicode Normalization
The Department of Amnesia
ineffectiveop.substack.com·9h·
Discuss: Substack
🔐Soviet Cryptography
Towards Rust in Windows Drivers
techcommunity.microsoft.com·2d·
Discuss: Hacker News
🦀Embedded Rust
Baby's first type checker
austinhenley.com·6d·
Discuss: Lobsters, Hacker News, Hacker News
🔤Type Theory
How AI Reasoning Mirrors Borge's Library of Babel
hackernoon.com·4d
🧮Kolmogorov Complexity
Useful Python Libraries You Might Not Have Heard Of: Freezegun
towardsdatascience.com·2d
🧪Binary Fuzzing
The Prompt Engineering Framework Every CEO Should USE
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Code Wars - 6kyu 'Split Strings' solution in Python
dev.to·3d·
Discuss: DEV
🧪Binary Fuzzing
A Machine Learning-Based Study on the Synergistic Optimization of Supply Chain Management and Financial Supply Chains from an Economic Perspective
arxiv.org·1d
🧠Machine Learning
Finding the Balance: Using AI Without Losing My Own Problem-Solving Skills
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Generalized Golub-Kahan bidiagonalization for generalized saddle point systems
arxiv.org·2d
📐Linear Algebra
AI's Great Escape: Goal-Driven Exploration of Simulated Universes
dev.to·20h·
Discuss: DEV
🔲Cellular Automata
AI-Driven Fault Prediction and Mitigation in Real-Time Embedded Systems Using Hyperdimensional Data Analysis
dev.to·3d·
Discuss: DEV
🦾ARM Cortex-M
E-ARMOR: Edge case Assessment and Review of Multilingual Optical Character Recognition
arxiv.org·1d
📄OCR