⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

What is SAST and DAST? Key Differences Explained
boostsecurity.io·2d
🕵️Penetration Testing
Live: Pentagon denies Marles and Hegseth meeting, says it was a 'happenstance encounter'
abc.net.au·3h
🚨Incident Response
Mini-Review: The Life and Times of the Cubic-Solving Guy
daveagp.wordpress.com·2d
🗝️Paleocryptography
Developer verification: a promised lift for Android security
malwarebytes.com·13h
🔓Open Source Software
Interpretable deep generative ensemble learning for single-cell omics with Hydra
biorxiv.org·2d·
Discuss: Hacker News
📊Count-Min Sketch
New AI browser agents create risks if sites hijack them with hidden instructions
arstechnica.com·11h·
Discuss: r/technews
🚀Indie Hacking
Scientists discover chemical ‘missing link’ that might explain origins of life on Earth
the-independent.com·3h
🔲Cellular Automata
Architecting Beliefs for a Contested World
vasily.cc·2d·
Discuss: Hacker News
⚙️systems theory
Someone made a 3D printer out of Lego — maker puts together specialist project using bricks, motors, and Python
tomshardware.com·15h
⚙️DIY Electronics
Instantaneous Polarimetry with Zak-OTFS
arxiv.org·23h
🔬Optical Physics
Antirez/sds: Simple Dynamic Strings library for C
github.com·2d·
Discuss: Hacker News
✅Format Verification
Show HN: RefForge – A WIP modern, lightweight reading list/reference manager
github.com·2d·
Discuss: Hacker News
📦Package Managers
Why Federated API Management Is Essential for Hybrid Cloud
thenewstack.io·11h
🏠Homelab Federation
[D] Too much of a good thing: how chasing scale is stifling AI innovation
reddit.com·2d·
Discuss: r/MachineLearning
🤖AI Curation
CoFE: A Framework Generating Counterfactual ECG for Explainable Cardiac AI-Diagnostics
arxiv.org·2d
🔍Vector Forensics
UMATO: Bridging Local and Global Structures for Reliable Visual Analytics with Dimensionality Reduction
arxiv.org·2d
🌀Differential Geometry
Prompting Techniques for Reducing Social Bias in LLMs through System 1 and System 2 Cognitive Processes
arxiv.org·2d
🔲Cellular Automata
Ask Me Anything: AI, Prompting & Writing
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Show HN: Tweakcc – Customize Claude Code's CLI (themes, verbs, spinner)
github.com·1d·
Discuss: Hacker News, r/ClaudeAI
⌨️Terminal Customization
MSPCaps: A Multi-Scale Patchify Capsule Network with Cross-Agreement Routing for Visual Recognition
arxiv.org·1d
🌀Riemannian Computing