⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

Flash Fiction: The AGI dream
earth.hoyd.net·16h
🖥️Terminal Renaissance
Run illumos? The Café is open!
rubenerd.com·4h
🏠Homelab Archaeology
How OpenAI Misled You on RLHF
aerial-toothpaste-34a.notion.site·2d·
Discuss: Hacker News, r/LocalLLaMA
📊Learned Metrics
Rubygems.org March 2025 Ecosystem Report
rubyelders.com·5d·
Discuss: Hacker News
❄️Nix Flakes
SonarSource Surfaces Multiple Caveats When Relying on LLMs to Write Code
devops.com·4d
📏Code Metrics
Template Literals: Why Indentation Matters (Especially for AI Prompts)
dev.to·4d·
Discuss: DEV
💻Programming languages
NZ1: A minimalist, dependency-free data compression algorithm
github.com·5d·
Discuss: Hacker News
🌊Streaming Compression
Software Engineering Laws - Risk & Security
leadership.garden·3d
🛡️CLI Security
Stop Building AI Agents! Start Building Real AI Software Instead
dev.to·5h·
Discuss: DEV
🔲Cellular Automata
How to Learn Faster Than Everyone You Know
dev.to·3d·
Discuss: DEV
🗺️Competency Maps
Expressive Speech Retrieval using Natural Language Descriptions of Speaking Style
arxiv.org·9h
🧮Vector Embeddings
A Semi-supervised Generative Model for Incomplete Multi-view Data Integration with Missing Labels
arxiv.org·9h
📊Learned Metrics
Evaluating Large Language Models as Expert Annotators
arxiv.org·6d
🤖Grammar Induction
An Unsupervised Deep XAI Framework for Localization of Concurrent Replay Attacks in Nuclear Reactor Signals
arxiv.org·4d
🔍Vector Forensics
PakBBQ: A Culturally Adapted Bias Benchmark for QA
arxiv.org·3d
🧠Intelligence Compression
GraphTreeGen: Subtree-Centric Approach to Efficient and Supervised Graph Generation
arxiv.org·4d
🔗Topological Sorting
DeputyDev -- AI Powered Developer Assistant: Breaking the Code Review Logjam through Contextual AI to Boost Developer Productivity
arxiv.org·4d
📏Code Metrics
Anomaly Detection for IoT Global Connectivity
arxiv.org·4d
📡Network Monitoring
Psyche-R1: Towards Reliable Psychological LLMs through Unified Empathy, Expertise, and Reasoning
arxiv.org·3d
🏛Digital humanities
Fuzzy-Pattern Tsetlin Machine
arxiv.org·5d
🔤Morris-Pratt