🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

Practice Mock Quiz for Driving
likhitnepal.com·5h·
Discuss: Hacker News
👁️OCR Verification
Volkswagen gates a new vehicle's full horsepower behind monthly subscription
dexerto.com·7h·
Discuss: Hacker News
⚡Z3 Optimization
BCI robotic hand control reaches new finger-level milestone
cmu.edu·1h·
Discuss: Hacker News
✋Tactile Computing
Why Nim?
undefined.pyfy.ch·1d·
Discuss: Hacker News
🧩WASM Modules
I let LLMs write an Elixir NIF in C; it mostly worked
overbring.com·3d·
Discuss: Hacker News
💧Liquid Types
Leeds vs Everton prediction, best bets & predicted line-ups
the-independent.com·1d
🔃Feed Algorithms
AMD ZenDNN 5.1 Released For Enhancing AI Inference Performance On EPYC CPUs
phoronix.com·5h
🧠Neural Codecs
Claude AI Can Now End 'Harmful' Conversations
lifehacker.com·9h
🎙️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·9h
💾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·5h
🛡Cybersecurity
FantasyTalking2: Timestep-Layer Adaptive Preference Optimization for Audio-Driven Portrait Animation
arxiv.org·22h
🎧Learned Audio
ESP32 Modbus gateway handles RTU, TCP/IP, and MQTT for industrial IoT
cnx-software.com·1h
🔌Microcontrollers
Analysis: The big question facing the government on childcare safety reform
abc.net.au·1d
💣ZIP Vulnerabilities
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·11h·
Discuss: DEV
🌈Color Archaeology
Assessing Protein Interaction Dynamics with DNA Origami Nanoweights: A High-Throughput Single-Molecule Approach
dev.to·23h·
Discuss: DEV
🧬Palindrome Codes
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
Build a Real-World IROPS Re-accommodation Workflow with KaibanJS
dev.to·5d·
Discuss: DEV
🌊Streaming Systems