🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

UK Firms Hire Contractors Instead of Employees to Cut Tax Bills
bloomberg.com·4h·
Discuss: Hacker News
🚀Query Optimization
AssemblyScript
assemblyscript.org·2d·
Discuss: Lobsters
🛡️WebAssembly Security
Theory of Scale-Relative Time: Derivations of the Galactic Scale Factor
zenodo.org·3d·
Discuss: Hacker News
📡Information theory
Show HN: We built Source to solve for full funnel attribution for B2B companies
source.app·12h·
Discuss: Hacker News
🔍BitFunnel
Lamport's Byzantine Generals Algorithm in Python
bytepawn.com·3d·
Discuss: Hacker News, r/programming
🤝Paxos Consensus
Take Back Our Digital Infrastructure To Save Democracy
techdirt.com·14h·
Discuss: Hacker News
🧲Magnetic Philosophy
Debugging a mysterious HTTP streaming issue
mintlify.com·14h·
Discuss: Hacker News
⚡gRPC
Deck Builder Game Template - Raylib-Go
github.com·2d
🦀Rust Macros
class 10 mathematics
dev.to·2d·
Discuss: DEV
🧮Z3 Applications
Tokens are getting more expensive
ethanding.substack.com·2d·
Discuss: Substack
🖥️Terminal Renaissance
Dear Abby: I love my wife, but I’ve met my soulmate. How can I deal with this?
mercurynews.com·13m
🗃archives
Education Minister Teuber in favor of data-driven school development
heise.de·1d
🗺️Competency Maps
Ask HN: Is fast.ai's "Deep Learning for Coders" still relevant in 2025?
news.ycombinator.com·3d·
Discuss: Hacker News
🧠Machine Learning
Opinion: All LLMs have something like Wernicke's aphasia and we should use that to define their use cases
reddit.com·4d·
Discuss: r/artificial
🌳Context free grammars
I make $22,000 a month renting out backyard pools through an app. It's an easy side hustle that only takes a few hours a week.
businessinsider.com·1d
🌊Streaming Algorithms
Asked my AI to reflect on writing clinical notes vs. coding. Here's what it said
news.ycombinator.com·6d·
Discuss: Hacker News
🛠Language Design
How AI Tools Are Transforming Critical Essay Writing for Modern Learners
dev.to·2d·
Discuss: DEV
🤖AI Curation
From Chatbots to Agents: Why Your Startup Needs a Team of Autonomous AI Workers
dev.to·12h·
Discuss: DEV
⚡Proof Automation
From Browser to Serverless: How We Protected Our AI Font Generation IP (And You Should Too)
dev.to·8h·
Discuss: DEV
🎬WebCodecs API
Minimal Convolutional RNNs Accelerate Spatiotemporal Learning
arxiv.org·4h
💻Local LLMs