⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

Adapting classical deception theory to cyber counterintelligence: challenges and opportunities
tandfonline.com·1d
🇸🇪Swedish Cryptanalysis
Dell's AI Server Boom: Why The Rally Still Has Room To Run
seekingalpha.com·5h
📰Feed Readers
Toy Binary Decision Diagrams
philipzucker.com·6d
🧮Algebraic Datatypes
Move over, Alan Turing: meet the working-class hero of Bletchley Park you didn’t see in the movies
theguardian.com·2h·
Discuss: Hacker News
🔍Polish Cryptanalysis
Hacking a Game Boy Emulator to Output MIDI to Multiple Hardware Synths
dr-schlange.github.io·17h·
Discuss: Hacker News
🎮Gameboy Emulation
Show HN: Sweep, AI autocomplete for JetBrains that rewrites code
sweep.dev·4d·
Discuss: Hacker News
🌳Incremental Parsing
Has anyone tried csprimer and have any reviews on it?
csprimer.com·2d·
Discuss: Hacker News
💻CS
The Wild Vibe
jarv.org·18h·
Discuss: Hacker News
🌀Brotli Internals
Latest Software Development News: Mid-October 2025 Roundup
dev.to·10h·
Discuss: DEV
🔄Language Evolution
go-async, a type-Safe, retryable, and deterministic concurrency for Go
reddit.com·2d·
Discuss: r/golang
🦀Rust Borrowing
Retentive Relevance: Capturing Long-Term User Value in Recommendation Systems
arxiv.org·2d
🎯Content Recommendation
Why Wikipedia cannot claim the Earth is not flat
dev.to·53m·
Discuss: DEV
📰Content Curation
Junie Starter’s Pack: AI Coding Agent Explained
dev.to·2d·
Discuss: DEV
⚡Proof Automation
Get RICH or Die Scaling: Profitably Trading Inference Compute for Robustness
arxiv.org·3d
🧠Intelligence Compression
On some 2-binomial coefficients of binary words: geometrical interpretation, partitions of integers, and fair words
arxiv.org·3d
📜Manuscript Algebras
Beyond the Final Answer: Evaluating the Reasoning Trajectories of Tool-Augmented Agents
arxiv.org·6d
🔍Concolic Testing
Real-time Anomaly Detection in Financial Transactions via Hybrid Reinforcement Learning and Graph Neural Networks
dev.to·21h·
Discuss: DEV
🔍Vector Forensics
Title: How I built a lightweight runtime stability layer for AI agents
dev.to·6h·
Discuss: DEV
👁️System Observability
Detecting Semantic Clones of Unseen Functionality
arxiv.org·5d
🔗Binary Similarity
Scaling LLM Multi-turn RL with End-to-end Summarization-based Context Management
arxiv.org·3d
💻Local LLMs