🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

Strategies to make family dinners stress-free every night
creators.yahoo.com·11h·
Discuss: Hacker News
🧮Algorithmic Cooking
Prediction of evolutionarily conserved RNA secondary structures from sequences
academic.oup.com·1d·
Discuss: Hacker News
🕳️Persistent Homology
TIL Engineers at Apple spent years trying to fix the Apple Newton because of The Simpsons' "Eat Up Martha" scene.
cnet.com·11h·
Discuss: Hacker News, r/todayilearned
🍎Apple Archive
All You Need Is MCP – LLMs Solving a DEF Con CTF Finals Challenge
wilgibbs.com·2d·
Discuss: Hacker News
🧪Binary Fuzzing
Stop Outsourcing Thinking
vaibhawvipul.github.io·2d·
Discuss: Lobsters, Hacker News
🔩Systems Programming
Chemists weigh in on hydrogen water
phys.org·1d
🌈Spectroscopy
Handling the Loads (2001)
news.slashdot.org·1d·
Discuss: Hacker News
🌲B-tree Forensics
How Database DevOps Makes Life Easy for DB Admins
hackernoon.com·1d
🌊Streaming Databases
Show HN: Vibe Code Kit code with confidence
vibecodekit.dev·2d·
Discuss: Hacker News
⚡Proof Automation
OpenAI has launched Developer Mode for ChatGPT with full access to Model Context Protocol
the-decoder.com·2d
🔓Open Source Software
Day 2 of My Golang Journey
dev.to·5d·
Discuss: DEV
📜Proof Carrying Code
Unlock model insights with log probability support for Amazon Bedrock Custom Model Import
aws.amazon.com·1d
✅Format Verification
LangGraph 201: Adding Human Oversight to Your Deep Research Agent
towardsdatascience.com·4d
🔗Constraint Handling
Code's Hidden Structure: How Graph AI is Revolutionizing Software Development by Arvind Sundararajan
dev.to·5d·
Discuss: DEV
🔗Topological Sorting
DIY-AI Fix-It: A Conversational Assistant for Household Repairs
dev.to·21h·
Discuss: DEV
🎙️Whisper
Automated Regulatory Impact Assessment via Multi-Modal Decomposition and HyperScore Evaluation
dev.to·4d·
Discuss: DEV
✨Effect Handlers
Automated Life Support System Analysis: Predicting & Mitigating Physiological Drift
dev.to·2d·
Discuss: DEV
🛡️Error Boundaries
Automated Artifact Mitigation in High-Resolution ECG via Adaptive Spectral Filtering and Deep Learning
dev.to·1d·
Discuss: DEV
🌊Digital Signal Processing
5 AI Prompting Secrets: What Big Techs Know About Talking to AI
dev.to·4d·
Discuss: DEV
⚡Proof Automation
Voice AI: The 24/7 Restaurant Revolution with Pannalabs.ai
dev.to·2h·
Discuss: DEV
🎛️Feed Filtering