⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

Friday 12 September, 2025
memex.naughtons.org·48m
📡RSS
Akademy 2025
blog.broulik.de·2d
🐧FOSS
Brazil’s Supreme Court Is On Course to Convict Bolsonaro in Coup Plot
nytimes.com·4h
📼Cassette Hacking
Stumbling upon
thehistoryoftheweb.com·2d·
Discuss: Hacker News
📰RSS Archaeology
Cowboy Coders and the Shift to Structure – How Teams Grow
codecube.net·2d·
Discuss: Hacker News
🔄Language Evolution
FedCM: A New Proposed Identity Standard That Could Change How We Log in On
infoq.com·2d·
Discuss: Hacker News
🌐Web Standards
‘Borderlands 4′ Is a Solid Looter Shooter That Overcorrects the Series’ Mistakes
rollingstone.com·10h
🏺Gaming Archaeology
What does the government think an algorithm is?
tommorris.org·5d·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Eureka J15 Pro Ultra Review: This Robot Vacuum Mops and Actually Keeps Up With Pets and Messy Floors
popularmechanics.com·4h
🏠Home Automation
Reflections on Random Kitchen Sinks
archives.argmin.net·6d·
Discuss: Hacker News
🧮Kolmogorov Bounds
Americans' knowledge of civics increases, survey finds
phys.org·10h
🗃archives
Measuring the OneWeb satellite network
blog.apnic.net·1d
📡Network Protocol Design
'Bottlebrush' particles deliver big chemotherapy payloads directly to cancer cells
phys.org·2d
🧬Copy Number Variants
Flight of Dynamic Targeting on the CogniSAT-6 Spacecraft
arxiv.org·2d
👁️Observatory Systems
Nano-switch achieves first directed, gated flow of excitons
phys.org·4h
⚛️Information Physics
My homelab (2025 snapshot)
reddit.com·8h·
Discuss: r/homelab
🏠HomeLab
AURAD: Anatomy-Pathology Unified Radiology Synthesis with Progressive Representations
arxiv.org·3d
🦴Binary Paleontology
Lennox International Inc. (LII) Presents At Morgan Stanley's 13th Annual Laguna Conference (Transcript)
seekingalpha.com·18m
🖥️Modern Terminals
BIDO: A Unified Approach to Address Obfuscation and Concept Drift Challenges in Image-based Malware Detection
arxiv.org·6d
🔗Binary Similarity
Getting Started with API Testing in Python using PyTest
dev.to·2d·
Discuss: DEV
🏠Homelab Pentesting