🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

Reverse Engineering a Siemens Programmable Logic Controller for Funs and Vulns (CVE-2024-54089, CVE-2024-54090 & CVE-2025-40757)
trebledj.me·3d
🔓Hacking
Dear Abby: They seem to think I should be happy with a potato
mercurynews.com·20h
🏠Personal Archives
My Thoughts on Renting Versus Buying
milesbarr.me·8h·
Discuss: Hacker News
🏠Personal Archives
Consensus Reality
en.wikipedia.org·2d·
Discuss: Hacker News
🏛️Philosophy
An ER Trip in Ireland Taught Me Why Convex Is Saving Startups from Themselves
hackerpug.ghost.io·3d·
Discuss: Hacker News
🌀Brotli Internals
Web inventor: Berners-Lee demands micropayments as compensation for AI training
heise.de·10h
🚀Indie Hacking
Stay vs. Live: How Verb Choice Reveals Cultural Maps of Rootedness
zakelfassi.com·2d·
Discuss: Hacker News
📼Tape Linguistics
LiteFS VFS SQLite Extension for Serverless Environments
github.com·10h·
Discuss: Hacker News
💾SQLite
Federal Digital Minister: "The cards are being reshuffled"
heise.de·2d
⚖️Legal Compliance
Lessons learned from a 100 blog posts on AI
frontierai.substack.com·3d·
Discuss: Substack
🤖AI Curation
Companies are laying off senior devs and replacing them with AI and its breaking everything
reddit.com·1d·
Discuss: r/artificial
🔓Hacking
Dicio: Open-Source Voice Assistant for Android
github.com·3d·
Discuss: Hacker News
🔗Concatenative Programming
The problem with Rust and open source rewrites
reddit.com·2d·
Discuss: r/rust
🦀Rust Borrowing
What I Wanted, What I Got
newyorker.com·18h·
Discuss: r/longform
📼Cassette Culture
The Sound of Silence in Social Networks
arxiv.org·3d
🤝Consensus Networks
I’m 20, close to becoming a Rust compiler team member - what would you do in my place?
reddit.com·5d·
Discuss: r/rust
🦀Rust Macros
SWE-Mirror: Scaling Issue-Resolving Datasets by Mirroring Issues Across Repositories
arxiv.org·4d
🎓Academic Torrents
CancerGUIDE: Cancer Guideline Understanding via Internal Disagreement Estimation
arxiv.org·5d
🧠Machine Learning
Refurb weekend: Silicon Graphics Indigo² IMPACT 10000
oldvcr.blogspot.com·23h·
Discuss: Lobsters, Hacker News
🧲RISC-V Archaeology
Enhanced Transient Plasma Thruster Modeling via Reinforcement Learning and Multi-fidelity Simulations
dev.to·1d·
Discuss: DEV
⚙️Cassette Mechanics