⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

Computer Architecture Lessons from the Kitchen
sigarch.org·2d
🧮Algorithmic Cooking
SRE Weekly Issue #491
sreweekly.com·2d
👁️System Observability
The Cybersecurity Psychology Framework: A Pre-Cognitive Vulnerability Assessment
cpf3.org·50m·
Discuss: Hacker News
🎯Threat Hunting
Racket 8.18 Released
blog.racket-lang.org·5d·
Discuss: Hacker News
🧠Lisp Dialects
20% of Americans use AI tools 10x+/month, but traditional search hasn't dipped
sparktoro.com·1d·
Discuss: Hacker News
🔃Feed Algorithms
Security Flaws in the WebMonetization Site
shkspr.mobi·1d·
Discuss: Hacker News, shkspr.mobi
📡Feed Security
Reliable
catherinejue.com·3d·
Discuss: Hacker News
💾Persistence Strategies
Docker fixes critical Desktop flaw allowing container escapes
securityaffairs.com·2d
📦Container Security
Are we creating intelligence, or discovering it?
medium.com·2d·
Discuss: Hacker News, r/LLM
🧠Intelligence Compression
Otium: The AI Copilot for Linux & DevOps | Built by Engineers, for Engineers
dev.to·2d·
Discuss: DEV
❄️Nix Adoption
Wavelet-Enhanced PaDiM for Industrial Anomaly Detection
arxiv.org·2d
🧠Machine Learning
U.S. CISA adds Citrix NetScaler flaw to its Known Exploited Vulnerabilities catalog
securityaffairs.com·5h
🔓Hacking
GLM-4.5V: The World's Leading Open-Source Vision Reasoning Model Now on SiliconFlow
dev.to·2d·
Discuss: DEV
⚡LZ4 Streaming
TaDiCodec: Text-aware Diffusion Speech Tokenizer for Speech Language Modeling
arxiv.org·1d
🎙️Whisper
Tech With Tim: How to Build an Advanced AI Agent with Search (LangGraph, Python, Bright Data & More)
dev.to·3d·
Discuss: DEV
🤖AI Curation
From Idea to MVP: Building Our Own Platform for Old Game Mods
dev.to·2d·
Discuss: DEV
🎮Game Decompilation
Refactoring 032 - Apply Consistent Style Rules
dev.to·3d·
Discuss: DEV
📐Delta Encoding
10 Tips for Efficient Test Case Management in Agile Projects
dev.to·3d·
Discuss: DEV
🔍Concolic Testing
How scientists are using exoplanets to map out 'polka dots' on stars
space.com·8h
🔬Optical Physics
Marvell Shows Dense SRAM Custom HBM and CXL with Arm Compute at Hot Chips 2025
servethehome.com·1d·
Discuss: Hacker News, r/hardware
🖥️Hardware Architecture