⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

ProRail awards ETCS pilot project contract to BAM and Strukton
railjournal.com·8h
⏱️SMPTE Timecode
The Morning After: reMarkable’s new e-ink device is the size of a notepad
engadget.com·12h
🖥️Modern Terminals
The Rocks in the Ground Era of Fundamental Physics
4gravitons.com·8h
⏰Time Crystals
Artificial Intelligence: An AI Boss Warns About The Risks (Dario Amodei)
bbc.co.uk·1d
⚖️Lossy Compression Ethics
To what extent is the war in Gaza justified?
mathsandsoundingoff.wordpress.com·16h·
Discuss: Hacker News
🔲Cellular Automata
Anthropic agrees to pay $1.5B to settle lawsuit with book authors
nytimes.com·4h·
Discuss: Hacker News
⚖️Emulation Ethics
The Boring Future of GenAI
blog.circuitsofimagination.com·4h·
Discuss: Hacker News
📊Feed Optimization
EventSourcingDB 1.1 offers more flexible consistency control and signed events
heise.de·2d
🌊Streaming Databases
Taming The Three-Headed Dog -Kerberos Deep Dive Series
blog.compass-security.com·3d·
Discuss: Hacker News
🎫Kerberos Exploitation
Effective learning: Twenty rules of formulating knowledge (1999)
supermemo.com·4d·
Discuss: Hacker News
📚Proof Pedagogy
CodeSOD: Adding to the Argument
thedailywtf.com·2d
🐚Shell Monads
Linux Hardware Enablement Leader Hans de Goede Leaving Red Hat
phoronix.com·2d·
Discuss: Hacker News
🖥️Terminal Renaissance
Automated tool enables rapid, large-scale profiling of disease-linked RNA modifications
phys.org·2d
🚀SIMD Text Processing
Google Saved From Breakup in Antitrust Case by AI Threat
bloomberg.com·2d
🧮Kolmogorov Bounds
What Does AI Do?
joecooper.me·4d·
Discuss: Hacker News
🔲Cellular Automata
Found 2 thinkpads I bought back in 2023, what should i do with them?
reddit.com·1d·
Discuss: r/linux
🗃️ROM Preservation
Why Gaoding Technology Chose JuiceFS for AI Storage in a Multi-Cloud Architecture
dev.to·16h·
Discuss: DEV
🌊Streaming Systems
MUB Vs. VTEB: Do Not Miss VTEB's Buy Window Before Interest Rate Cuts
seekingalpha.com·12h
🔍BitFunnel
An Effective Strategy for Modeling Score Ordinality and Non-uniform Intervals in Automated Speaking Assessment
arxiv.org·1d
🗣️CMU Pronouncing
The MCP Neuron
jontysinai.github.io·3d·
Discuss: Hacker News
🔲Cellular Automata