⚔️ Lean Theorem

Mathematical Reasoning, Interactive Proving, Type Theory, Formal Mathematics

The Earliest Known Appearance of the F‑Word (1310)
openculture.com·4h
📜Medieval Computing
A profile in courage
denovo.substack.com·2d·
Discuss: Substack
🔲Cellular Automata
Summer Q3 2025 books
scottlocklin.wordpress.com·1d
🌳B-tree Archaeology
Atlassian says its 'Don't F– the Customer' principle drove cloud-only decision
computerworld.com·16h·
Discuss: Hacker News
🏠Homelab Orchestration
Book of All-Pairs Shortest Paths
olegkarasik.wordpress.com·4d·
Discuss: Hacker News
🕸️Graph Algorithms
Dressing Up by Harvey C. Mansfield
juandavidcampolargo.com·1d·
Discuss: Hacker News
⬜Minimalism
Final Message: "Before the Battery Dies"
news.ycombinator.com·23h·
Discuss: Hacker News
🧲Magnetic Philosophy
Show HN: Modular, LLM-optimized OpenAPI docs – deterministic URLs
news.ycombinator.com·2d·
Discuss: Hacker News
🧩WASM Modules
Data-morph: Morph a dataset into select shapes, while preserving the statistics
github.com·1d·
Discuss: Hacker News
🦋Format Metamorphosis
Philosophy Departments as Sites of Collective Intellectual Activities: A Follow-Up to the Poll
dailynous.com·39m
🌱Personal Wikis
A Spatiotemporal Adaptive Local Search Method for Tracking Congestion Propagation in Dynamic Networks
arxiv.org·2d
🕸️Network Topology
K2 Think: Abu Dhabi's Efficient AI Model Challenges Industry Giants
dev.to·1d·
Discuss: DEV
🧠Intelligence Compression
Automated Fault Identification in Shell-and-Tube Heat Exchangers via Spectral Analysis and Deep Learning
dev.to·3d·
Discuss: DEV
🌊Stream Processing
Sparsity Unleashed: Democratizing Simulations with Function-Space Autoencoders by Arvind Sundararajan
dev.to·3d·
Discuss: DEV
📊Quantization
Anchoring Refusal Direction: Mitigating Safety Risks in Tuning via Projection Constraint
arxiv.org·2d
✨Effect Handlers
Maximally Useful and Minimally Redundant: The Key to Self Supervised Learning for Imbalanced Data
arxiv.org·9h
🧠Machine Learning
Asymmetry Vulnerability and Physical Attacks on Online Map Construction for Autonomous Driving
arxiv.org·2d
📊Computational Geometry
TubeForge - From Video to Knowledge: AI-Powered Notes, Blogs, and Quizzes Instantly
dev.to·14h·
Discuss: DEV
🌀Brotli Internals
DEPF: A UAV Multispectral Object Detector with Dual-Domain Enhancement and Priority-Guided Mamba Fusion
arxiv.org·1d
👁️OCR Enhancement
Split Conformal Prediction in the Function Space with Neural Operators
arxiv.org·3d
🧮Kolmogorov Bounds