⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

Analyzing the Anti-Analysis Logic of an Adware Installer
objective-see.com·4d
🦠Malware Analysis
How to do code reviews with AI tools
newsletter.techworld-with-milan.com·1d·
Discuss: r/programming
📏Code Metrics
Smooth Minimum for Signed Distance Fields (2013)
iquilezles.org·1d·
Discuss: Hacker News
🌀Differential Geometry
Looking for a simple load balancer for my homelab, anyone tried this?
github.com·1d·
Discuss: r/homelab
🏠HomeLab
Babbage – The Language of the Future
tlc-systems.com·1d·
Discuss: Hacker News
🇬🇧British Computing
Show HN: Evaluating LLMs on creative writing via reader usage, not benchmarks
narrator.sh·1d·
Discuss: Hacker News
🎯Content Recommendation
Handling long-running LLM streams in a stateful backend
blog.leap.new·1d·
Discuss: Hacker News
🌊Streaming Systems
Flexibility to Framework: Building MCP Servers with Controlled Tool Orchestration
aws.amazon.com·2d
🔌Interface Evolution
A non-uniform view of Craig interpolation in modal logics with linear frames
arxiv.org·2d
🔗Combinatory Logic
Context Misleads LLMs: The Role of Context Filtering in Maintaining Safe Alignment of LLMs
arxiv.org·1d
💻Local LLMs
Hallucination vs interpretation: rethinking accuracy and precision in AI-assisted data extraction for knowledge synthesis
arxiv.org·2d
🧠Intelligence Compression
I Built an Honest AI Agent to Fight Hallucinations. Here's How It Works.
dev.to·1d·
Discuss: DEV
🔲Cellular Automata
ComoRAG: A Cognitive-Inspired Memory-Organized RAG for Stateful Long Narrative Reasoning
arxiv.org·1d
🧮Prolog Parsing
RealAC: A Domain-Agnostic Framework for Realistic and Actionable Counterfactual Explanations
arxiv.org·1d
✨Algebraic Effects
Always Up-to-Date API Docs Are Real (And No, It’s Not AI)
dev.to·11h·
Discuss: DEV
🔌Archive APIs
Death of High-Level Design in 2025
dev.to·13h·
Discuss: DEV
🔄Language Evolution
MCP Elicitation: Human-in-the-Loop for MCP Servers
dev.to·1d·
Discuss: DEV
⚡gRPC
SKATE, a Scalable Tournament Eval: Weaker LLMs differentiate between stronger ones using verifiable challenges
arxiv.org·5d
🎯Interactive Provers
REFN: A Reinforcement-Learning-From-Network Framework against 1-day/n-day Exploitations
arxiv.org·1d
🔍BitFunnel
The Best Platforms for Evaluating AI Models in 2025
dev.to·1d·
Discuss: DEV
🔍Concolic Testing