🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

Eric Schoedon – Certified Expert In IT, Automotive Engineering, And Emerging Forensic Technologies
forensicfocus.com·2d
🔬Hardware Forensics
A non-digital service example of working in the open
blog.ldodds.com·1d
🏺Media Archaeology
CodeSOD: The Getter Setter Getter
thedailywtf.com·2d
🔓Reverse engineering
Use the Force (Feedback) to Solder Small Things
bunniestudios.com·5h·
Discuss: Hacker News
⚙️Cassette Mechanics
Show HN: Mathpad, a hardware keypad for typing math symbols (24 hours left)
crowdsupply.com·3d·
Discuss: Hacker News
⌨️Mechanical Keyboards
TIL Engineers at Apple spent years trying to fix the Apple Newton because of The Simpsons' "Eat Up Martha" scene.
cnet.com·7h·
Discuss: Hacker News, r/todayilearned
🍎Apple Archive
Show HN: Writing – How to make a computer browser internet automatically
news.ycombinator.com·3h·
Discuss: Hacker News
🪟Awesome windows command-line
Stop Outsourcing Thinking
vaibhawvipul.github.io·2d·
Discuss: Lobsters, Hacker News
🔩Systems Programming
'The models are really devious': Sam Altman's hardware chief says OpenAI wants kill switches built into hardware in case things go wrong
techradar.com·23h
🖥️Modern Terminals
The Expression Problem and its solutions
eli.thegreenplace.net·6d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
💻Programming languages
How We Built Our Model-Agnostic Agent for Log Analysis
blog.runreveal.com·3d·
Discuss: Hacker News
🎯Threat Hunting
Beyond Markdown (2018)
johnmacfarlane.net·5d·
Discuss: Lobsters, Hacker News, Hacker News
📝Concrete Syntax
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
Futurism.com: “Exactly Six Months Ago, the CEO of Anthropic Said That in Six Months AI Would Be Writing 90 Percent of Code”
reddit.com·1d·
Discuss: r/artificial
🧮Theoretical Computer Science
Automated Life Support System Analysis: Predicting & Mitigating Physiological Drift
dev.to·2d·
Discuss: DEV
🛡️Error Boundaries
Top 11 Document Parsing AI Tools for developers in 2025
dev.to·12h·
Discuss: DEV
📄Document Digitization
Automated Artifact Mitigation in High-Resolution ECG via Adaptive Spectral Filtering and Deep Learning
dev.to·23h·
Discuss: DEV
🌊Digital Signal Processing
Math Moments: Amie Wilkinson
kidswholovemath.substack.com·4d·
Discuss: Substack
📚Archive Mathematics
Stop Optimizing Code You Should Delete
dev.to·4d·
Discuss: DEV
🏗️Compiler Archaeology