⛏️ 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
“A Google for DNA”: Scientists Launch Groundbreaking Search Engine for Genetic Code
scitechdaily.com·5h
🔄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·9h·
Discuss: Hacker News
⚙️Proof Engineering
Godot Ruined My Sense of Speed
daymare.net·4h·
Discuss: r/SoftwareEngineering, r/godot, r/rust, r/rust_gamedev
🎮Game Decompilation
There is no singularity
gusarich.com·3h·
Discuss: Hacker News
🔲Cellular Automata
The Wild Vibe
jarv.org·1d·
Discuss: Hacker News
🌀Brotli Internals
AI can help your DevSecOps pipeline
spiceworks.com·2d·
Discuss: Hacker News
🏠Homelab Pentesting
Enhanced SoC Design via Adaptive Topology Optimization with Reinforcement Learning
dev.to·2d·
Discuss: DEV
🧩RISC-V
VibeAlive: Cleaning Up the Code Chaos of AI-Assisted Development
vibe.forem.com·4h·
Discuss: DEV
🌀Brotli Dictionary
When AI Learns to Think
dev.to·3d·
Discuss: DEV
🔲Cellular Automata
Why The Future of Code Is More Human Than Ever
dev.to·2d·
Discuss: DEV
📏Code Metrics
Tech With Tim: Python Web Scraping: A Million Dollar Project Idea - FULL Build/Tutorial
dev.to·1d·
Discuss: DEV
🕵️Feed Discovery
Tech With Tim: Python Web Scraping: A Million Dollar Project Idea - FULL Build/Tutorial
dev.to·1d·
Discuss: DEV
🕵️Feed Discovery
LexiCon: a Benchmark for Planning under Temporal Constraints in Natural Language
arxiv.org·4d
🧮Kolmogorov Complexity
Automated Phenotyping of Cardiac Fibrosis via Multi-Modal Imaging Fusion and Deep Learning
dev.to·7h·
Discuss: DEV
🤖Advanced OCR
11+ Best All-in-One AI Platforms in 2025
dev.to·3d·
Discuss: DEV
🤖AI Curation
Instructional Goal-Aligned Question Generation for Student Evaluation in Virtual Lab Settings: How Closely Do LLMs Actually Align?
arxiv.org·3d
🧮Prolog Parsing
h1: Bootstrapping LLMs to Reason over Longer Horizons via Reinforcement Learning
arxiv.org·3d·
Discuss: Hacker News
✓Automated Theorem Proving