⚔️ Lean Theorem

Mathematical Reasoning, Interactive Proving, Type Theory, Formal Mathematics

Biology Department
xkcd.com·1d
🖋Typography
After Flight
nybooks.com·1d
🎯Gradual Typing
Keeping the Dream Alive: The Power and Promise of Federally Funded Research
cacm.acm.org·8h
⏳Time Capsule Networks
Plover 5 Officially Released!!
plover.stenoknight.com·22h·
Discuss: www.blogger.com
🌀Brotli Internals
Blabbing About Blogging for Reclaim Hosting’s “On Writing”
cogdogblog.com·6h
📰RSS Feed Discovery
Substrates ’25 Vision Statement
programmingmadecomplicated.wordpress.com·5d
⚖️Emulation Ethics
NVIDIA Accelerated IO (XLIO)
docs.nvidia.com·3h·
Discuss: Hacker News
🛡️eBPF Programs
Center for the Alignment of AI Alignment Centers
alignmentalignment.ai·14h·
Discuss: Hacker News
🌍Cultural Algorithms
Automating Firmware Security: CI for DBX and Microcode Updates in Dasharo
blog.3mdeb.com·2d·
Discuss: Hacker News
🔒Secure Boot
Type Checking is a Symptom, Not a Solution
programmingsimplicity.substack.com·6d·
Discuss: Substack
🎯Gradual Typing
AI Agents vs. Agentic AI: A Kubernetes Developer’s Guide
thenewstack.io·1d
⚙️TLA+
Billion-Line Days Demand Billion-Test Nights
momentic.ai·2d·
Discuss: Hacker News
📏Code Metrics
ImageSlim, an open-source, free Mac compression tool on GitHub
github.com·56m·
Discuss: Hacker News
🍎Apple Archive
Is the "overly helpful and overconfident idiot" aspect of existing LLMs inherent to the tech or a design/training choice?
reddit.com·2d·
Discuss: r/artificial
💻Local LLMs
Meet ArchiSprk, your personal Architect
dev.to·20h·
Discuss: DEV
📟CLI Design
🧠Loop of Truth: From Loose Tricks to Structured Reasoning
dev.to·4d·
Discuss: DEV
📏Linear Logic
UOPSL: Unpaired OCT Predilection Sites Learning for Fundus Image Diagnosis Augmentation
arxiv.org·22h
🧠Machine Learning
Experiment with gopls MCP: Improving Agent Context for Go Development
dev.to·2d·
Discuss: DEV
📋Protocol Buffers
Yet Another TypeSafe and Generic Programming Candidate for C
github.com·6d·
Discuss: Hacker News
🧬Functional Programming
Automated Life Support System Analysis: Predicting & Mitigating Physiological Drift
dev.to·23h·
Discuss: DEV
🛡️Error Boundaries