🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

na_eofdec finally started
codecs.multimedia.cx·14h
📺VT100 Emulation
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·22h
🏠Personal Archives
My Thoughts on Renting Versus Buying
milesbarr.me·10h·
Discuss: Hacker News
🏠Personal Archives
Consensus Reality
en.wikipedia.org·3d·
Discuss: Hacker News
🏛️Philosophy
How to Get Reddit Content Cited by ChatGPT (A Data-Driven GEO Guide)
tryzenith.ai·2d·
Discuss: Hacker News
📊Feed Optimization
30th Anniversary of the Theatrical Release of "Hackers"
en.wikipedia.org·1h·
Discuss: Hacker News
🔓Hacking
Accelerated Game of Life with CUDA / Triton
boristhebrave.com·3d·
Discuss: Hacker News
🖥️Terminal Renaissance
Rolling Stone’s parent company sues Google over AI Overviews
theverge.com·14h
🔗Online Curation
Web inventor: Berners-Lee demands micropayments as compensation for AI training
heise.de·12h
🚀Indie Hacking
LiteFS VFS SQLite Extension for Serverless Environments
github.com·12h·
Discuss: Hacker News
💾SQLite
Companies are laying off senior devs and replacing them with AI and its breaking everything
reddit.com·1d·
Discuss: r/artificial
🔓Hacking
Flow Fields: The Secret to Naturally Intelligent Motion
dev.to·1d·
Discuss: DEV
🔲Cellular Automata
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·20h·
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