⚔️ Lean Theorem

Mathematical Reasoning, Interactive Proving, Type Theory, Formal Mathematics

The Liberal Misinformation Bubble About Youth Gender Medicine
theatlantic.com·2h
🔐Quantum Security
Computational phylogeny of Indo-European
languagelog.ldc.upenn.edu·2d
🔤Morphological Analysis
Open Source License Obligations Checklists
osadl.org·22h·
Discuss: Hacker News
🔓Open Source Software
Automate Data Quality Reports with n8n: From CSV to Professional Analysis
kdnuggets.com·3d
🤖Archive Automation
A brief introduction to MCP server performance optimization
catchmetrics.io·1d·
Discuss: Hacker News
👁️Observatory Systems
Refactoring English: Effective Writing for Software Developers
refactoringenglish.com·3d·
Discuss: Hacker News
🎯Gradual Typing
Notes on Epistemic Collapse
math.columbia.edu·1d·
Discuss: Hacker News
🏛️Philosophy
Threaded Code
muforth.dev·4d·
Discuss: Hacker News
🦀Rust Macros
Kumo’s ‘relational foundation model’ predicts the future your LLM can’t see
venturebeat.com·1d·
Discuss: Hacker News, Hacker News
💻Local LLMs
What Problems to Solve – By Richard Feynman
genius.cat-v.org·3d·
Discuss: Hacker News
⚛️Information Physics
Testing OpenAI Codex and Comparing It to Claude Code
thenewstack.io·23h
📜TEI Encoding
Claude Code Requirements Builder
github.com·1d·
Discuss: Hacker News
⚡Proof Automation
Optional Chaining (.?) in JS — Write Shorter & Safer Code!
dev.to·3d·
Discuss: DEV
✅Format Verification
Compose Multiplatform looks promising 🚀
dev.to·6h·
Discuss: DEV
💧Liquid Types
PhD in Copying and Pasting
dev.to·2d·
Discuss: DEV
🔩Systems Programming
COIN: Uncertainty-Guarding Selective Question Answering for Foundation Models with Provable Risk Guarantees
arxiv.org·3d
🧠Intelligence Compression
Programming, Not Prompting: A Hands-On Guide to DSPy
towardsdatascience.com·5d
🧮Z3 Solver
From Slow as Snail to Fast as Lightning My Web Framework Performance Optimization Practice Record（1751009131538400）
dev.to·2d·
Discuss: DEV
🎬WebCodecs API
Vue.js Image Optimization: Beyond the Basics
dev.to·1d·
Discuss: DEV
🖼️JPEG XL
Show HN: AI-SDK-Cpp – Unified C++ SDK for OpenAI, Anthropic, and More
github.com·1d·
Discuss: Hacker News, r/cpp
🔌Interface Evolution