⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

A buyer’s guide to CHECK in 2025
pentestpartners.com·4d
🏠Homelab Pentesting
Wireshark 4.4.9 Protocol Analyzer Released with Updated Protocols and Bug Fixes
linuxtoday.com·5d·
Discuss: Hacker News
📡Network Monitoring
New quantum sensors can withstand extreme pressure
phys.org·2d
⚛️Quantum Tape
NASA Detects New Interstellar Visitor to Our Solar System: Could It Be an Alien Probe?
scitechdaily.com·2d
🏺Kerberos Archaeology
Trusted Connections, Hidden Risks: Token Management in the Third-Party Supply Chain
unit42.paloaltonetworks.com·2d
🔗Data Provenance
The exceptionalism of software is unwarranted
overbring.com·5d·
Discuss: Hacker News
📏Code Metrics
Kwil: The Database for Web3
github.com·6d·
Discuss: Hacker News
🗄️PostgreSQL WAL
🗺️ How I Built an Interactive Heritage Sites Map in Minutes!
dev.to·5d·
Discuss: DEV
🏺Computational Archaeology
RankmyAI - Your independent guide to AI tools ranked by traffic and reviews
dev.to·4d·
Discuss: DEV
📊Count-Min Sketch
Introducing HybridPetya: Petya/NotPetya copycat with UEFI Secure Boot bypass
welivesecurity.com·2d·
Discuss: Hacker News
🔒Secure Boot
Magical systems thinking
worksinprogress.news·2d·
Discuss: Hacker News
⚙️systems theory
I'm out, says OpenSUSE: We're dropping bcachefs support from next kernel version
theregister.com·2d·
Discuss: Hacker News
🔌Operating system internals
Bi-Level Game-Theoretic Planning of Cyber Deception for Cognitive Arbitrage
arxiv.org·6d
🕵️Vector Smuggling
Rethinking LLM Parametric Knowledge as Post-retrieval Confidence for Dynamic Retrieval and Reranking
arxiv.org·6d
🔍Information Retrieval
How AI is Reshaping DevOps Efficiency from Code to Deployment
dev.to·2d·
Discuss: DEV
🌊Stream Processing
Worldcat editions and holdings release
annas-archive.li·4d
📚MARC Records
LLM Analysis of 150+ years of German Parliamentary Debates on Migration Reveals Shift from Post-War Solidarity to Anti-Solidarity in the Last Decade
arxiv.org·5d
🔤Morphological Analysis
The Augmented Connected Workforce: McLean Forrester’s Vision for Tomorrow’s Enterprise
dev.to·2d·
Discuss: DEV
🌊Stream Processing
Building an AI Store Generator with Tambo
dev.to·4d·
Discuss: DEV
🚀Indie Hacking
Double injury blow for Great Britain at World Athletics Championships
the-independent.com·4h
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing