⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

RedExt – Browser Extension-Based C2 Framework for Red Team Recon
darknet.org.uk·1d
🚀Indie Hacking
Block ads and trackers
lichess.org·1d·
Discuss: Lobsters
🏴‍☠️Piracy
The Hacker Pager
hackerpager.net·14h·
Discuss: Hacker News
🔓Hacking
SilverBullet v2 released: open-source, self hosted, programmable notes
community.silverbullet.md·14h·
Discuss: Hacker News
🔓Open Source Software
Japan Launches its First Homegrown Quantum Computer
hardware.slashdot.org·1d
⚛️Quantum Circuits
OAuth is not a good fit for MCP
linkedin.com·1d·
Discuss: Hacker News
📡Feed Security
First known AI-powered ransomware uncovered by ESET Research
welivesecurity.com·3d
🌳Archive Merkle Trees
Go Struct Alignment: a Practical Guide
medium.com·2d·
Discuss: r/golang
🔧Binary Parsers
Google Advances Its Layer-1 Blockchain
coindesk.com·1d·
Discuss: Hacker News
⏳Time Capsule Networks
First week lessons learned from marketing a product as a developer
inventronix.club·1d·
Discuss: Hacker News
🎯Recommendation Metrics
Montech HS01 Pro Case Review: excellent GPU cooling and dual exhaust
tomshardware.com·16h
🔌Operating system internals
How UIUC is teaching AI in their CS 101 Classes
cs124.org·3d·
Discuss: Hacker News
💻CS
Show HN: Turn Any File into an Image
github.com·8h·
Discuss: Hacker News
📸PNG Optimization
System Initiative Adds AI Agents to Infrastructure Automation Platform
devops.com·2d·
Discuss: Hacker News
🏠Homelab Orchestration
AI unlocks secrets of rice yield sustainability after 50 years of continuous cropping
phys.org·1d
☕Precision Brewing
Understanding Generative AI Models: How They Create New Content and Transform Industries
dev.to·2d·
Discuss: DEV
🧠Learned Codecs
Format as a Prior: Quantifying and Analyzing Bias in LLMs for Heterogeneous Data
arxiv.org·5d
🧠Machine Learning
Hierarchical Contextual Grounding LVLM: Enhancing Fine-Grained Visual-Language Understanding with Robust Grounding
arxiv.org·4d
🤖Advanced OCR
Securing the AI Revolution: Introducing Cloudflare MCP Server Portals
blog.cloudflare.com·3d·
Discuss: Hacker News, Hacker News
🌐DNS Security
Stress-testing cross-cancer generalizability of 3D nnU-Net for PET-CT tumor segmentation: multi-cohort evaluation with novel oesophageal and lung cancer dataset...
arxiv.org·3d
🧠Machine Learning