🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

Always Winning: Reverse engineering a festival app's mini-games with Frida
kopanko.com·1d·
Discuss: Hacker News
🔍BitFunnel
DuckDB in Production
datamethods.substack.com·9h·
Discuss: Substack
✅Archive Fixity
Ending the long back pain saga with ... spinal stenosis surgery
notes.kateva.org·17h·
Discuss: www.blogger.com
⚙Backus-Naur Form
The accommodation crisis plaguing Cop30, Brazil's upcoming UN climate summit
phys.org·11h
⚙️Proof Engineering
Maine police officer arrested by ICE agrees to voluntarily leave the country
the-independent.com·13h
📰SGML
Viral elementary math question has stumped a teacher - can you solve it?
the-independent.com·5d
📐Interval Arithmetic
GitHub Copilot for Xcode – The Heist of the Century?
medium.com·21h·
Discuss: Hacker News
🍎XNU Internals
How we made our streaming joins 50% faster
blog.epsiolabs.com·6d·
Discuss: Hacker News
🧬PostgreSQL Forensics
The Best Dehumidifiers Rid You Home's Air of Excess Moisture—Fast
popularmechanics.com·13h
🏠Homelab
I was about to upgrade to Windows 11, but I've decided to stick with Windows 10 – here's why
techradar.com·9h
🔌Operating system internals
Build an intelligent financial analysis agent with LangGraph and Strands Agents
aws.amazon.com·5d
🌊Stream Processing
A Mutually Incomprehensible AI Conversation System
hackster.io·2d
🇯🇵Japanese Computing
[$] Simpler management of the huge zero folio
lwn.net·4d
🔩Systems Programming
Use 20+ Free High-Quality Web Tools Without Registering Anytime!
dev.to·19h·
Discuss: DEV
🔃Feed Algorithms
iota behaviours
reddit.com·5d·
Discuss: r/golang
🔤Type Theory
Unlocking Business Intelligence with Power BI
dev.to·1h·
Discuss: DEV
🔗Data Provenance
FXI: Why A Bad Chinese Economy Could Be Good For China Stocks
seekingalpha.com·11h
⚡HTMX
Expressive Speech Retrieval using Natural Language Descriptions of Speaking Style
arxiv.org·1d
🧮Vector Embeddings
How I Explained Vector Embeddings to My Mom (And She Got It)
dev.to·5d·
Discuss: DEV
🧮Vector Embeddings
Remove360: Benchmarking Residuals After Object Removal in 3D Gaussian Splatting
arxiv.org·1d
🏺Computational Archaeology