🔬 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
FBI warns of Salesforce attacks by UNC6040 and UNC6395 groups
securityaffairs.com·3h
🎫Kerberos Exploitation
Use the Force (Feedback) to Solder Small Things
bunniestudios.com·7h·
Discuss: Hacker News
⚙️Cassette Mechanics
TIL Engineers at Apple spent years trying to fix the Apple Newton because of The Simpsons' "Eat Up Martha" scene.
cnet.com·9h·
Discuss: Hacker News, r/todayilearned
🍎Apple Archive
Show HN: Writing – How to make a computer browser internet automatically
news.ycombinator.com·5h·
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·1d
🖥️Modern Terminals
How Database DevOps Makes Life Easy for DB Admins
hackernoon.com·1d
🌊Streaming Databases
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
AdVariant Pro: Your AI Creative Agency in a Click
dev.to·1h·
Discuss: DEV
🏛Digital humanities
The Hanamaruki Method for AI Dialogue Design — 02
dev.to·3d·
Discuss: DEV
🌍Cultural Algorithms
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
Automated Regulatory Impact Assessment via Multi-Modal Decomposition and HyperScore Evaluation
dev.to·4d·
Discuss: DEV
✨Effect Handlers
Understanding MCP (Model-Context Protocol)
dev.to·3d·
Discuss: DEV
🔲Cellular Automata
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
Stop Optimizing Code You Should Delete
dev.to·4d·
Discuss: DEV
🏗️Compiler Archaeology