🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

We lost something along the way
citizen428.net·1d
🔄Language Evolution
The Secret Stanford Program No One's Heard About
poetsandquants.com·1d·
Discuss: Hacker News
🇩🇪German Computing
Decoding Zuck’s Superintelligence Memo
om.co·3h
🚀Indie Hacking
“Reciprocal” Digital Sovereignity
crookedtimber.org·16h
🧲Magnetic Philosophy
The Bard and The Shell
journal.bsd.cafe·2d·
Discuss: Lobsters, Hacker News
📝Shell Parsing
Optimi-Zi(n)g Sudoku-Solving
log.pfad.fr·5d·
Discuss: Lobsters, Hacker News
🧮Z3 Solver
Cognitive distortions are associated with increasing political polarization
nature.com·1d·
Discuss: Hacker News
🧠Intelligence Compression
Primitive Pythagorean triangles with the same area
johndcook.com·3h
📐Geometric Hashing
Privacy-First Research with OpenSAFELY • Eli Holderness & Hannes Lowette
youtube.com·1d
🔒Privacy Preserving
Stop Using Vulnerability Counts to Measure Software Security
cacm.acm.org·1d
🔓Hacking
How to Speed Up Your TensorFlow tf.data Pipeline
hackernoon.com·1d
🌊Stream Processing
How HackerOne’s API Pentesting Delivers A Community-Powered Model
hackerone.com·1d
🧪Protocol Fuzzing
Unveiling the Secrets of Data: Confidence Intervals and Hypothesis Testing in Machine Learning
dev.to·5d·
Discuss: DEV
🧠Machine Learning
The role of data warehousing in strategic business intelligence
dev.to·1d·
Discuss: DEV
🚚Data Migration
Coding for the Future Agentic World
addyo.substack.com·1d·
Discuss: Substack
🔄Language Evolution
Krones AG (KRNNF) Q2 2025 Earnings Call Transcript
seekingalpha.com·23m
📋PREMIS Events
A Lyapunov-Guided Diffusion-Based Reinforcement Learning Approach for UAV-Assisted Vehicular Networks with Delayed CSI Feedback
arxiv.org·2d
📡Network Archaeology
How Chain-of-Thought Works? Tracing Information Flow from Decoding, Projection, and Activation
arxiv.org·2d
🔲Cellular Automata
Graph Neural Network-Based Predictor for Optimal Quantum Hardware Selection
arxiv.org·3d
⚛️Quantum Compilers
⚡ The weekly practice that changed everything:
dev.to·2d·
Discuss: DEV
⭐Awesome lists