⛏️ 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
Toy Binary Decision Diagrams
philipzucker.com·6d
🧮Algebraic Datatypes
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·20h·
Discuss: Hacker News
🌀Brotli Internals
AI can help your DevSecOps pipeline
spiceworks.com·2d·
Discuss: Hacker News
🏠Homelab Pentesting
Tech With Tim: How to Build AI Agents in Python
dev.to·1h·
Discuss: DEV
🧠Intelligence Compression
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·3h·
Discuss: DEV
📰Content Curation
Junie Starter’s Pack: AI Coding Agent Explained
dev.to·3d·
Discuss: DEV
⚡Proof Automation
Get RICH or Die Scaling: Profitably Trading Inference Compute for Robustness
arxiv.org·3d
🧠Intelligence Compression
Real-time Anomaly Detection in Financial Transactions via Hybrid Reinforcement Learning and Graph Neural Networks
dev.to·23h·
Discuss: DEV
🔍Vector Forensics
On some 2-binomial coefficients of binary words: geometrical interpretation, partitions of integers, and fair words
arxiv.org·3d
📜Manuscript Algebras
Title: How I built a lightweight runtime stability layer for AI agents
dev.to·8h·
Discuss: DEV
👁️System Observability
Beyond the Final Answer: Evaluating the Reasoning Trajectories of Tool-Augmented Agents
arxiv.org·6d
🔍Concolic Testing
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
I was tired of regression testing, so I weekend-vibe-coded something
dev.to·3h·
Discuss: DEV
❄️Nix Flakes
Enhanced SoC Design via Adaptive Topology Optimization with Reinforcement Learning
dev.to·2d·
Discuss: DEV
🧩RISC-V
When AI Learns to Think
dev.to·3d·
Discuss: DEV
🔲Cellular Automata