⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

RSS 23 years on
rsdoiel.github.io·3d
📡Feed Archaeology
Show HN: Countdown Builder – Create Custom Countdown Timers for Email Campaigns
countdownbuilder.com·9h·
Discuss: Hacker News
📰Feed Readers
Why serial founders still have an edge over first-timers
pitchbook.com·1d·
Discuss: Hacker News
🧬Bitstream Evolution
GOG shares their thoughts on preservation in the face of payment processor crackdowns
rockpapershotgun.com·21h·
Discuss: Hacker News
⚖️Game Preservation Ethics
Foundation season 4: everything we know so far about the Apple TV+ show's return
techradar.com·1d
⚙️Proof Engineering
I still love PHP and JavaScript
the.scapegoat.dev·4d·
Discuss: Hacker News
🔄Language Evolution
US moves to scrap emissions reporting by polluters
phys.org·1d
🌡️Preservation Physics
Famulor AI Call Center: Multi-Calendar Support
docs.famulor.io·4d·
Discuss: Hacker News
🌀Brotli Internals
IBM announced the world’s first HDD, the 3.75MB RAMAC 350 disk storage unit, 69 years ago today — unit weighed more than a ton, 50 platters ran at 1,200 RPM
tomshardware.com·3h
💿Disk Geometry
Trump is no 'strongman' when it comes to Russia or Israel. If other democracies don’t step up, anarchy awaits | Simon Tisdall
theguardian.com·11h
🔍Polish Cryptanalysis
Beast instead of for-loop: AI develops programming language in Gen-Z slang
heise.de·5d
💻Programming languages
Impersonating Google App Script projects for stealthy persistence
exaforce.com·3d·
Discuss: Hacker News
🚀Indie Hacking
Spatial Mining in Data Mining: The Basics You Should Know
dev.to·4d·
Discuss: DEV
📏Range Queries
Row Equivalence in Linear Algebra with Python
dev.to·4d·
Discuss: DEV
📐Linear Algebra
Next-generation nanoengineered switches can cut heat loss in electronics
phys.org·3h
⚛️Quantum Tape
I started using NotebookLM’s new quiz tools – and they’re actually great for learning
techradar.com·3d
🧠Personal Knowledge Base
'Gentlemen' Ransomware Abuses Vulnerable Driver to Kill Security Gear
darkreading.com·2d
🔓Hacking
Adam (YC W25) Is Hiring to Build the Future of CAD
ycombinator.com·2d·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Most optimal disc setup on HP Elitedesk 800 G4 mini with TrueNAS or Unraid
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
🚀 Introducing Toolbit.ai: Your Ultimate Gateway to 10,000+ AI Tools (No More Tool Discovery Headaches!)
dev.to·6d·
Discuss: DEV
🌀Brotli Internals