⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

Podcast Episode 89: OSS vs Commercial Licensing
blog.vasi.li·3d
🏺ZIP Archaeology
Glycol, Far UVC, and CFM Measurement at BIDA
jefftk.com·3d
🧲Cassette Physics
Most: The Unix Pager on Steroids
jedsoft.org·10h·
Discuss: Hacker News
🕸️WASM Archives
How to Use Promise.any(): When First Success Is Enough
jsdevspace.substack.com·3d·
Discuss: Substack
🌊Stream Processing
Bots account for almost a third of web traffic
flowingdata.com·2d·
Discuss: Hacker News
🌐WARC Forensics
We SSH into GitHub Actions
blacksmith.sh·2d·
Discuss: Hacker News
🏠Homelab Orchestration
Show HN: I built an operating file system for my agent (CRUD)
youtube.com·2d·
Discuss: Hacker News
💾Persistence Strategies
How China’s Propaganda and Surveillance Systems Really Operate
wired.com·16h·
Discuss: r/China
🇨🇳Chinese Computing
[R] LLMs play a cooperative card game, coordination without communication
reddit.com·3d·
Discuss: r/MachineLearning
🔲Cellular Automata
Should I use this Go bi-temporal event store, pick another, or build my own?
reddit.com·3d·
Discuss: r/golang
⏱️Interval Archives
10 “I hope this email finds you well” alternatives
proton.me·8h
📡Feed Security
Is Category Theory Being Co-opted?
johncarlosbaez.wordpress.com·3d
🔀Category Theory
reDB: Go-Powered Open Source Data Mesh for Real-Time DB Interoperability
reddit.com·2d·
Discuss: r/golang
🔀CRDT
Gacua: An open-source computer use agent with one-command start
github.com·2d·
Discuss: Hacker News
📟Terminals
Math Game Monday: Fraction Catch
denisegaskins.com·3d
🔲Cellular Automata
How AI made Meet’s language translation possible
blog.google·20h
🤖AI Translation
Creating a cyber-first culture through strategic governance
techradar.com·2d
🛡Cybersecurity
The Ultimate $1 Million All-Weather Portfolio For Lifetime Wealth
seekingalpha.com·1d
🔍BitFunnel
How does AI affect how we learn? A cognitive psychologist explains why you learn when the work is hard
phys.org·1d
🤖AI Curation
SL-SLR: Self-Supervised Representation Learning for Sign Language Recognition
arxiv.org·4d
🔤Character Classification