⚔️ Lean Theorem

Mathematical Reasoning, Interactive Proving, Type Theory, Formal Mathematics

Representative Line: Not What They Meant By Watching "AndOr"
thedailywtf.com·12h
🔗Concatenative Programming
Trust Spanning Protocol (TSP) Specification
trustoverip.github.io·1d·
Discuss: Hacker News
🌳Archive Merkle Trees
Fun OCaml 2025
fun-ocaml.com·3d·
Discuss: Hacker News
🧬Functional Programming
Emulating aarch64 in software using JIT compilation and Rust
pitsidianak.is·11h·
Discuss: Lobsters, Hacker News, r/programming, r/rust
🦾ARM Assembly
Parlant - Renovation AI Open-Source framework
dev.to·11h·
Discuss: DEV
✨Effect Handlers
Claude Code Gets a Second Opinion from GPT-5
proxymock.io·1d·
Discuss: Hacker News
⚡Proof Automation
A Dynamic Approach to Collaborative Document Writing
arxiv.org·15h
🔗Parser Combinators
Which Programming Language Should I Teach First?
parentheticallyspeaking.org·2d·
Discuss: Lobsters, Hacker News, Hacker News
💻Programming languages
Why I’m Against Claude Code’s Grep-Only Retrieval? It Just Burns Too Many Tokens
milvus.io·1d·
Discuss: Hacker News
🌳Incremental Parsing
Legal Doublet (Wikipedia)
en.wikipedia.org·1d·
Discuss: Hacker News
📜Text Collation
Intuition for Pick’s Theorem
johndcook.com·2d
📐Mathematical Art
TabResFlow: A Normalizing Spline Flow Model for Probabilistic Univariate Tabular Regression
arxiv.org·15h
📊Count-Min Sketch
Rediscovering joy in learning: Jason Lengstorf on the state of development
github.blog·3h
⚙️Build Archaeology
A Tie-breaking based Local Search Algorithm for Stable Matching Problems
arxiv.org·15h
🌸Bloom Variants
Simpler Category Theory
ryanbrewer.dev·6d·
Discuss: Hacker News
🔀Category Theory
7 Steps to Mastering No Code Automation with n8n for Data Professionals
kdnuggets.com·1d
🌊Stream Processing
LLM Assertiveness can be Mechanistically Decomposed into Emotional and Logical Components
arxiv.org·15h
🧠Intelligence Compression
I don’t code much anymore.
dev.to·27m·
Discuss: DEV
🔗Concatenative Languages
Anemoi: A Semi-Centralized Multi-agent Systems Based on Agent-to-Agent Communication MCP server from Coral Protocol
arxiv.org·15h
🤝Consensus Protocols
noble-curves: audited and minimal elliptic curve cryptography in JavaScript
github.com·1d·
Discuss: Hacker News
🔱Galois Cryptography