🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

Review: Gustavo Dudamel Gives a Glimpse of New York’s Future
nytimes.com·2h
🎼Computational Musicology
Epistemic Collapse at the WSJ
math.columbia.edu·20h
🏛️Philosophy
Building a Synthesizer, Chapter 12: Breadboarding the VCF
craigstuntz.com·3d
⚙️DIY Electronics
As predicted
aardvark.co.nz·2d
📰RSS Archaeology
What Happens After I'm Gone? The Future of the Online Me
btxx.org·1h
🏠Personal Archives
NightMARE on 0xelm Street, a guided tour
elastic.co·17h
🧪Binary Fuzzing
PythonBPF – Writing eBPF Programs in Pure Python
xeon.me·5h·
Discuss: Hacker News
🛡️eBPF Security
AI Assistant for Statements, Invoices and Receipts
bankgpt.io·13h·
Discuss: Hacker News
🧬PostgreSQL Forensics
Tony Hoare: How did software get so reliable without proof?
blog.regehr.org·3d·
Discuss: Hacker News
⚙️Proof Engineering
Adding OR logic forced us to confront why users preferred raw SQL
signoz.io·2d·
Discuss: Hacker News
⛏️SQL Archaeology
Personal AI Integrated with WhatsApp and Telegram
news.ycombinator.com·20h·
Discuss: Hacker News
🎛️Feed Filtering
Implementing the Gaussian Challenge in Python
towardsdatascience.com·3d
📐Interval Arithmetic
Building AI-Resistant Technical Debt
oreilly.com·2d
📏Code Metrics
The End-to-End Data Scientist’s Prompt Playbook
towardsdatascience.com·4d
⚡Proof Automation
Embedding Poisoning: Bypassing Safety Alignment via Embedding Semantic Shift
arxiv.org·3d·
Discuss: Lobsters
🌳Archive Merkle Trees
AI-Integrated Smart Contracts: The Next Revolution in DeFi Automation
dev.to·9h·
Discuss: DEV
⚡SMT Integration
Using AI as my engineering copilot (not autopilot)
dev.to·3d·
Discuss: DEV
✨Effect Handlers
Are Humans as Brittle as Large Language Models?
arxiv.org·2d
📝Concrete Syntax
A Comprehensive Review of Reinforcement Learning for Autonomous Driving in the CARLA Simulator
arxiv.org·1d
🔲Cellular Automata
Feasibility-Guided Fair Adaptive Offline Reinforcement Learning for Medicaid Care Management
arxiv.org·13h
💻Local LLMs