🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

The Satya of Satya’s Layoff Memo
om.co·18h
⚖️Emulation Ethics
Competing laws jam up works for hiring independent contractors
news.bloomberglaw.com·2d·
Discuss: Hacker News
⚖️Legal Compliance
A Young Parisian Chef’s Nouvelle Stodginess
newyorker.com·50m
🧮Algorithmic Cooking
Use Qwen3-Coder (Or Any Other LLM) with Claude Code
old.reddit.com·3d·
Discuss: r/LocalLLaMA
🔒Linear Types
Interactive Programming in C (2014)
nullprogram.com·3d·
Discuss: Hacker News
🔩Systems Programming
How Stack Overflow is innovating to keep up with AI disruption
leaddev.com·1d·
Discuss: Hacker News
📊Feed Optimization
AI helps Latin scholars decipher ancient Roman texts
phys.org·20h
🤖AI Paleography
How To Deploy Fluent Bit in a Kubernetes-Native Way
thenewstack.io·1d
📦Container Security
Why Is My nil Error Not nil in Go? Unpacking Nil Interfaces
dev.to·2d·
Discuss: DEV
🔧Binary Parsing
Supercomputer simulation clarifies how turbulent boundary layers evolve at moderate Reynolds numbers
phys.org·2d
🌊Stream Processing
Complexity of Abduction in \L{}ukasiewicz Logic
arxiv.org·6d
🏗️Constructive Mathematics
TSMC's second Japanese fab reportedly delayed, mass production pushed to 2029
tomshardware.com·1d
🖥️Modern Terminals
Post-Hackathon Blue Is Real😔
dev.to·1d·
Discuss: DEV
🚀Indie Hacking
F1 Belgian GP LIVE: Sprint race updates and times with Piastri on pole ahead of Verstappen
the-independent.com·1d
⚙Backus-Naur Form
SPE Acts As An All-In-One Portfolio Strategy But May Not Be Optimal
seekingalpha.com·1d
🔍BitFunnel
MedExpert AI - Specialized Medical Voice Assistant with RAG Integration
dev.to·17h·
Discuss: DEV
🤖Archive Automation
Maybe (personal finance app) v0.6.0, post-mortem
github.com·2d·
Discuss: Hacker News, Hacker News
🔍BitFunnel
Why AI Will Make Architecture Skills Critical for Software Engineers
dev.to·1d·
Discuss: DEV
🔄Language Evolution
Things I Wish I Had Known Before Starting ML
towardsdatascience.com·4d
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
IntelliSearch Hub - Conversational Search Management with Algolia MCP
dev.to·20h·
Discuss: DEV
🌐Federated Search