🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

The Web That Was, Is
cogdogblog.com·16h
🔗Online Curation
Leonardo Da Vinci’s To-Do List from 1490: The Plan of a Renaissance Man
openculture.com·4h·
Discuss: Hacker News
🧠Personal Knowledge Base
<p>🔗 <a href="https://robinrendle.com/notes/ditch-those-words/">Ditch those words!</a></p>
lmika.org·1d
🖋Typography
Large-scale semi-discrete optimal transport with distributed Voronoi diagrams
sciencedirect.com·18h·
Discuss: Hacker News
📊Computational Geometry
Password1: how scammers exploit variations of your logins
theguardian.com·1d·
Discuss: Hacker News
🔓Password Cracking
ChatGPT Sent Me to the ER
benorenstein.substack.com·1d·
Discuss: Substack
📡Information theory
Top running coach shares three easy technique tweaks to help you run further, faster and reduce your risk of injury
the-independent.com·8h
⚔️Lean Tactics
Title: Patrick Witt: Trump's New Senior Adviser on Crypto
dev.to·12h·
Discuss: DEV
🔗Data Provenance
Get ahead with future-proofed higher education courses
the-independent.com·3d
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Letters from Our Readers
newyorker.com·2h
📡RSS Readers
Don't Wait for PythonAnywhere. Here's How to Deploy FastAPI Project Online
dev.to·1d·
Discuss: DEV
⚙️WASM Runtime
“Our Elsewhere,” by Maxine Scates
newyorker.com·2h
📼Cassette Culture
Is Rust Really the Hardest Programming Language? 🤔
dev.to·3d·
Discuss: DEV
🦀Rust Borrowing
Drone-Based Multispectral Imaging and Deep Learning for Timely Detection of Branched Broomrape in Tomato Farms
arxiv.org·8h
📄OCR
GeminiLens: The Photo Editing Revolution You Need to See
dev.to·5h·
Discuss: DEV
📸PNG Optimization
Is 'learn to code' still good advice? 8 executives weigh in.
businessinsider.com·3d
🔄Language Evolution
Turning Images Into Recipes with RecGen
dev.to·1d·
Discuss: DEV
🧮Algorithmic Cooking
Quantifying REM-NREM Sleep Cycle Coordination via Bayesian Dynamic Networks
dev.to·3d·
Discuss: DEV
🧠Machine Learning
Drone-Borne Hyperspectral Raman Analysis for Precision Agriculture Chemical Mapping
dev.to·1d·
Discuss: DEV
🌈Spectroscopy
AppWeaver AI
dev.to·19h·
Discuss: DEV
📄Document Streaming