⛏️ 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·12h
📰Feed Readers
“A Google for DNA”: Scientists Launch Groundbreaking Search Engine for Genetic Code
scitechdaily.com·40m
🔄Burrows-Wheeler
Show HN: Sweep, AI autocomplete for JetBrains that rewrites code
sweep.dev·5d·
Discuss: Hacker News
🌳Incremental Parsing
Has anyone tried csprimer and have any reviews on it?
csprimer.com·2d·
Discuss: Hacker News
💻CS
Earning the Right to Be Illegible
joshbeckman.org·4h·
Discuss: Hacker News
⚙️Proof Engineering
I audited 47 failed startups codebases and this pattern is insane
reddit.com·1h·
Discuss: r/Entrepreneur
💿ZFS Archaeology
Hacking a Game Boy Emulator to Output MIDI to Multiple Hardware Synths
dr-schlange.github.io·1d·
Discuss: Hacker News
🎮Gameboy Emulation
The Bit Shift Paradox: How "Optimizing" Can Make Code 6× Slower
hackernoon.com·4d
🧮Compute Optimization
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·1d·
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·13h·
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
How to Manage Translations With (and Without) Artificial Intelligence
dev.to·2h·
Discuss: DEV
🤖AI Translation
After 6 months of learning Go, I built LocalDrop - my first real project (file sharing over LAN)
reddit.com·1h·
Discuss: r/golang
📻Homebrew Protocols
I was tired of regression testing, so I weekend-vibe-coded something
dev.to·8h·
Discuss: DEV
❄️Nix Flakes
Enhanced SoC Design via Adaptive Topology Optimization with Reinforcement Learning
dev.to·2d·
Discuss: DEV
🧩RISC-V