⛏️ 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
Looking for a simple load balancer for my homelab, anyone tried this?
github.com·1d·
Discuss: r/homelab
🏠HomeLab
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·21h·
Discuss: Hacker News
🌀Differential Geometry
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
Lessons learned from implementing SIMD-accelerated crypto algorithms (ChaCha20 / ChaCha12) in pure Rust
kerkour.com·2d·
Discuss: Hacker News
🦀Rust Macros
Handling long-running LLM streams in a stateful backend
blog.leap.new·1d·
Discuss: Hacker News
🌊Streaming Systems
Show HN: MCP Security – Don't Blind Trust, Verify
github.com·23h·
Discuss: Hacker News
🛡️CLI Security
Show HN: Project Chimera – AI Debates Itself for Better Code and Reasoning
github.com·20h·
Discuss: Hacker News
⚡Proof Automation
FIRESPARQL: A LLM-based Framework for SPARQL Query Generation over Scholarly Knowledge Graphs
arxiv.org·15h
🕸️Knowledge Graphs
Your RAG is Basic. Here's the KG-RAG Pattern We Used to Build a Real AI Agent.
dev.to·1d·
Discuss: DEV
🕸️Neo4j
A non-uniform view of Craig interpolation in modal logics with linear frames
arxiv.org·1d
🔗Combinatory Logic
Context Misleads LLMs: The Role of Context Filtering in Maintaining Safe Alignment of LLMs
arxiv.org·15h
💻Local LLMs
Hallucination vs interpretation: rethinking accuracy and precision in AI-assisted data extraction for knowledge synthesis
arxiv.org·1d
🧠Intelligence Compression
RealAC: A Domain-Agnostic Framework for Realistic and Actionable Counterfactual Explanations
arxiv.org·15h
✨Algebraic Effects
ComoRAG: A Cognitive-Inspired Memory-Organized RAG for Stateful Long Narrative Reasoning
arxiv.org·15h
🧮Prolog Parsing
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·4d
🎯Interactive Provers
REFN: A Reinforcement-Learning-From-Network Framework against 1-day/n-day Exploitations
arxiv.org·15h
🔍BitFunnel