⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

Dell's AI Server Boom: Why The Rally Still Has Room To Run
seekingalpha.com·10h
📰Feed Readers
Show HN: Sweep, AI autocomplete for JetBrains that rewrites code
sweep.dev·5d·
Discuss: Hacker News
🌳Incremental Parsing
Hacking a Game Boy Emulator to Output MIDI to Multiple Hardware Synths
dr-schlange.github.io·22h·
Discuss: Hacker News
🎮Gameboy Emulation
The Bit Shift Paradox: How "Optimizing" Can Make Code 6× Slower
hackernoon.com·4d
🧮Compute Optimization
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·5h·
Discuss: DEV
📰Content Curation
go-async, a type-Safe, retryable, and deterministic concurrency for Go
reddit.com·2d·
Discuss: r/golang
🦀Rust Borrowing
Tech With Tim: How to Build AI Agents in Python
dev.to·4h·
Discuss: DEV
🧠Intelligence Compression
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
On some 2-binomial coefficients of binary words: geometrical interpretation, partitions of integers, and fair words
arxiv.org·3d
📜Manuscript Algebras
Hyper-Personalized Cyberbullying Mitigation via Adaptive Linguistic Fingerprinting and Behavioral Anomaly Detection
dev.to·1d·
Discuss: DEV
🎛️Feed Filtering
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·1d·
Discuss: DEV
🔍Vector Forensics
Title: How I built a lightweight runtime stability layer for AI agents
dev.to·11h·
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
Enhanced SoC Design via Adaptive Topology Optimization with Reinforcement Learning
dev.to·2d·
Discuss: DEV
🧩RISC-V
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·2h·
Discuss: DEV
📊Multi-vector RAG
Tech With Tim: Why 1M People Tried This AI Coding Tool (Full Vibe Coding Tutorial)
dev.to·34m·
Discuss: DEV
🌀Brotli Internals