🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

The Best Ruin Bars of Budapest
nomadicmatt.com·17h
📱QR Archaeology
Practice Mock Quiz for Driving
likhitnepal.com·7h·
Discuss: Hacker News
👁️OCR Verification
Volkswagen gates a new vehicle's full horsepower behind monthly subscription
dexerto.com·9h·
Discuss: Hacker News
⚡Z3 Optimization
BCI robotic hand control reaches new finger-level milestone
cmu.edu·3h·
Discuss: Hacker News
✋Tactile Computing
Those who stay will be champions
tombrady.com·15h·
Discuss: Hacker News
🔲Cellular Automata
Why Nim?
undefined.pyfy.ch·1d·
Discuss: Hacker News
🧩WASM Modules
Intel Graphics Compiler 2.16 Fixes PyTorch For Battlemage GPUs, Adds BMG-G31 + WCL
phoronix.com·17h
🖥️Modern Terminals
Elon Musk and Sam Altman's AI Feud Gets Nasty
time.com·13h·
Discuss: Hacker News
🖥️Modern Terminals
I let LLMs write an Elixir NIF in C; it mostly worked
overbring.com·3d·
Discuss: Hacker News
💧Liquid Types
AMD ZenDNN 5.1 Released For Enhancing AI Inference Performance On EPYC CPUs
phoronix.com·7h
🧠Neural Codecs
Claude AI Can Now End 'Harmful' Conversations
lifehacker.com·11h
🎙️Whisper
Data that taxpayers have paid for and rely on is disappearing. Here's how it's happening and what you can do about it
phys.org·11h
💾Data Preservation
The Insidious Creep of Trump’s Speaking Style
nytimes.com·1d
📼Tape Linguistics
Hamas accepts an Arab ceasefire proposal as the Palestinian death toll exceeds 62,000
lemonde.fr·7h
🛡Cybersecurity
ESP32 Modbus gateway handles RTU, TCP/IP, and MQTT for industrial IoT
cnx-software.com·3h
🔌Microcontrollers
Asking Eric: I had to quit yoga class because the teacher kept mocking me
mercurynews.com·1d
🏠Personal Archives
Optimized Spectral Tuning for High-Throughput LED Horticulture via Adaptive Interference Pattern Analysis
dev.to·13h·
Discuss: DEV
🌈Color Archaeology
Automated Prioritization of Clinical Trial Endpoint Validation Using Bayesian HyperNetworks
dev.to·3d·
Discuss: DEV
⚙️Proof Engineering
Scalable Failure Mode Prediction via Multi-Modal Data Fusion and Deep Temporal Analysis in Aging Infrastructure
dev.to·5d·
Discuss: DEV
⚙️Proof Engineering
Fabrinet (FN) Q4 2025 Earnings Call Transcript
seekingalpha.com·4h
📋PREMIS Events