🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

Consistent MySQL Structure.sql Diffs for Rails
lovro-bikic.github.io·21h·
Discuss: Hacker News
🗄️Database Internals
Wireframer 7 days by a 21 y/o college student (100 users, 2 paid)
wireframer.site·2d·
Discuss: Hacker News
🦋Format Metamorphosis
Raspberry Pi RP2350 A4 Stepping Addresses E9 Current Leakage Bug
hackaday.com·1d
🔌Single Board PC
MLCommons Releases MLPerf Client v1.0
mlcommons.org·23h·
Discuss: Hacker News
🎙️Whisper
Benchmarking MicroPython
blog.miguelgrinberg.com·1d·
Discuss: Hacker News, r/programming
🎯Emulator Accuracy
Online Software for an Interstellar Civilization
gatlin.io·2d·
Discuss: Hacker News
⏰Time Crystals
Build Your Own Minisforum N5 Inspired Mini NAS: A Comprehensive Guide
jackharvest.com·2d·
Discuss: Lobsters, Hacker News
🔌Operating system internals
Australia vs British & Irish Lions prediction: 3rd Test betting tips & best bets
the-independent.com·23h
⚙Backus-Naur Form
How many NYT spelling bees are left?
gauthamsk.substack.com·4d·
Discuss: Substack
🌳Trie Structures
Gemini Embedding: Powering RAG and context engineering
developers.googleblog.com·2d·
Discuss: Hacker News
🌀Brotli Internals
Equivalence between commonly used elliptic curves
johndcook.com·4d
🔢Reed-Solomon Math
The Book That Explains JD Vance’s Worldview
nytimes.com·21h
🧲Magnetic Philosophy
Show HN: AgentSmith-HUB – Real-time security data pipeline and detection engine
github.com·21h·
Discuss: Hacker News
🎯Threat Hunting
5 Java Performance Pitfalls and How Real-World Profiling Can Fix Them
hackernoon.com·3d
📏Code Metrics
LLMs and Mental Health
towardsdatascience.com·1d
🎵Audio ML
Context Engineering: The Hidden Superpower Fueling Next-Gen AI
dev.to·2d·
Discuss: DEV
🌀Brotli Internals
I tried ChatGPT’s new Study Mode and it’s so good it made me wish I’d had something like this when I was at school
techradar.com·2d
🧠Personal Knowledge Base
Deep Dive into Transformer’s Attention: Scale, Mask, Dropout and More
dev.to·2d·
Discuss: DEV
📊Learned Metrics
RAG to Riches: Transforming AI with Smarter Context
dev.to·2d·
Discuss: DEV
🌀Brotli Internals
DeepC4: Deep Conditional Census-Constrained Clustering for Large-scale Multitask Spatial Disaggregation of Urban Morphology
arxiv.org·2d
🔶Voronoi Diagrams