🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

The Dutch are Working Four Days a Week
250bpm.com·1d
⬜Minimalism
AUSNOG 2025
potaroo.net·2d
🕸️Mesh Networking
Plant Care Tips for the Winter, According to Experts (2025)
wired.com·1h
🧊Arctic Storage
Build, run and debug iOS and Mac apps in Zed instead of Xcode
luxmentis.org·1d·
Discuss: Hacker News
🍎XNU Internals
Semantic Line Breaks
irreal.org·2d
📜TEI Encoding
Shamir's Secret Sharing
en.wikipedia.org·4d·
Discuss: Hacker News
🔐Hash Functions
Mathematical 'sum of zeros' trick exposes topological magnetization in quantum materials
phys.org·2d
⏰Time Crystals
Getting Started with Cluster Analysis in Data Mining
dev.to·2d·
Discuss: DEV
📚Document Clustering
Join me at the AI Coding Summit
dev.to·1d·
Discuss: DEV
🎙️Whisper
MailPit client for Go
reddit.com·4h·
Discuss: r/golang
⚡gRPC
Kriging prior Regression: A Case for Kriging-Based Spatial Features with TabPFN in Soil Mapping
arxiv.org·2d
🌀Differential Geometry
HISPASpoof: A New Dataset For Spanish Speech Forensics
arxiv.org·2d
🔍FLAC Forensics
The Four Fallacies of Modern AI
blog.apiad.net·3d·
Discuss: Hacker News
🔲Cellular Automata
Low-Resource Fine-Tuning for Multi-Task Structured Information Extraction with a Billion-Parameter Instruction-Tuned Model
arxiv.org·3d
📋Document Grammar
Autonomous Algal Biofuel Optimization via Multi-Modal Data Fusion & Predictive Modeling
dev.to·3d·
Discuss: DEV
☕Precision Brewing
Bi-Level Game-Theoretic Planning of Cyber Deception for Cognitive Arbitrage
arxiv.org·5d
🕵️Vector Smuggling
Ask HN: Getting over Burnout with Imposter Syndrome
news.ycombinator.com·1d·
Discuss: Hacker News
🔩Systems Programming
Enhanced Sentiment Pattern Profiling via Multi-modal Data Fusion and HyperScore Evaluation
dev.to·4d·
Discuss: DEV
🎛️Feed Filtering
Point Linguist Model: Segment Any Object via Bridged Large 3D-Language Model
arxiv.org·4d
🌀Hyperbolic Geometry
Unlocking Sonic Speed: How Deconstructed AI is Revolutionizing Voice Agents
dev.to·8h·
Discuss: DEV
🎙️Whisper