⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

Weeknote: 25 August 2025 – Lego Soundwave, ZX Next, iOS 26, apps, VPNs and school uniforms
reverttosaved.com·8h·
Discuss: reverttosaved.com
🕹️Retro Gaming
Big tech’s selective disclosure masks AI’s real climate impact
jmason.ie·8h
🤖AI Curation
Linux Turns 34
linux.slashdot.org·54m
🔌Operating system internals
Starship to launch today in latest test of Musk’s Mars-bound rocket
the-independent.com·14h
📡RSS
Instead of age verification: Bluesky completely bans users from Mississippi
heise.de·16h
🔍BitFunnel
Cua (YC X25) Is Hiring Founding Design Engineers in SF
ycombinator.com·4d·
Discuss: Hacker News
🔌Interface Evolution
Learning to read code is more important than learning to write it (2018)
letterstoanewdeveloper.com·3d·
Discuss: Hacker News
📏Code Metrics
Do you use getters with domain structs? How to save them in the database?
reddit.com·2d·
Discuss: r/golang
🔓Reverse engineering
Why I Built an "Awesome List" for Data Analysis (And How It Can Help You)
dev.to·5d·
Discuss: DEV
🌐WARC Mining
Immersion Cooling for data centers: An exotic inevitability?
tomshardware.com·8h
🖥️Modern Terminals
Adaptive Tensegrity Locomotion via Hybrid Reinforcement Learning & Dynamic Stiffness Modulation
dev.to·2d·
Discuss: DEV
🔲Cellular Automata
A new layer of security for certified Android devices
android-developers.googleblog.com·6h·
Discuss: Hacker News, r/Android
🛡️ARM TrustZone
ClickFix Attack Tricks AI Summaries Into Pushing Malware
darkreading.com·5h
🔓Hacking
Making AI Prompts Customizable with Smart Guardrails
dev.to·5d·
Discuss: DEV
🛡️CLI Security
DARPA: Closing the Open Source Security Gap With AI
darkreading.com·4d
🏠Homelab Pentesting
OpenAI execs can't stop talking about not having enough GPUs
businessinsider.com·4h
🖥️Modern Terminals
Invincibles all-but in men's Hundred final after beating Spirit
bbc.com·4h
🐓Coq
Windsurf: Memory-Persistent Data Exfiltration (SpAIware Exploit)
embracethered.com·3d
🧠Memory Forensics
OpenJDK, Temurin, GraalVM... Which Java JDK Should You Actually Install in 2025?
dev.to·6d·
Discuss: DEV
🔄Reproducible Builds
Application Modernization: Turning Old Systems into Future-Ready Platforms
dev.to·3d·
Discuss: DEV
🔌Interface Evolution