🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

DCP-o-matic • Re: DCP with CPLs with different audio tracks, Verify gives an error.
dcpomatic.com·2h
✅FLAC Verification
Forest fire detection system
hackster.io·2d
⚙️DIY Electronics
Rails on SQLite: exciting new ways to cause outages
andre.arko.net·22h·
Discuss: Hacker News
🗄️SQLite Internals
Make More Money When Revenue Is Seasonal
writings.founderlabs.io·54m·
Discuss: Hacker News
🌊BitTorrent
Conway's Law and Data Modeling
practicaldatamodeling.substack.com·1d·
Discuss: Substack
🔄Lens Laws
The Treasury Is Expanding the Patriot Act to Attack Bitcoin Self Custody
tftc.io·2h·
Discuss: Hacker News
🎫Kerberos Attacks
Show HN: Carimbo now have a better stack trace and Sentry integration
nullonerror.org·1d·
Discuss: Hacker News
🎯Gradual Typing
Working in Groups
internet.place·1d·
Discuss: Lobsters, Hacker News
🔌Interface Evolution
Richard Feynman and the Connection Machine
longnow.org·1d·
Discuss: Hacker News
🎞️Tape Combinatorics
Comparing the memory implementations of Claude and ChatGPT
simonwillison.net·6h
⚡Cache Coherence
Humans as Bottleneck
shubhamg.bearblog.dev·1d·
Discuss: Hacker News
🧠Intelligence Compression
Logic Theorist
en.wikipedia.org·6d·
Discuss: Hacker News
🔬Logic in Computer Science
The Ultimate Developer's Guide to AI Tools in 2025: 247+ Curated Tools That Actually Matter
dev.to·1d·
Discuss: DEV
🔄Language Evolution
Puddin: AI-Powered Workflow Builder
dev.to·15h·
Discuss: DEV
🔄Document Workflows
Technical documentation: what it is, why it breaks, and how to keep it up to date
dev.to·2h·
Discuss: DEV
📚Documentation Archaeology
Agentic AI: A Comprehensive Guide for Python Developers
dev.to·10h·
Discuss: DEV
🌊Stream Processing
DATE: Dynamic Absolute Time Enhancement for Long Video Understanding
arxiv.org·10h
⏱️SMPTE Timecode
GmSLM : Generative Marmoset Spoken Language Modeling
arxiv.org·10h
🎙️Whisper
Risk-averse Fair Multi-class Classification
arxiv.org·3d
🧮Kolmogorov Bounds
Enhanced OLED EQE via Multi-Modal Data Fusion & Adaptive Reinforcement Learning
dev.to·1d·
Discuss: DEV
🌈Color Archaeology