⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

Chemistry LLM developed for faster drug discovery
phys.org·13h
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Worth Reading 081325
rule11.tech·1d
📟Historical Protocols
Compromised npm package threatens developer projects
reversinglabs.com·17h
📦Package Managers
Show HN: Interactive 3D map of 3k YC companies by similarity (Three.js and D3)
starwatcher.ai·1d·
Discuss: Hacker News
🌐WARC Mining
The AI tool that could make manufacturing faster and more efficient—by using Lego bricks
techxplore.com·19h·
Discuss: Hacker News
🏺Computational Archaeology
Program the BBC Micro in C with VBCC for 6502 on macOS Using Docker
retrogamecoders.com·21h·
Discuss: Hacker News
📟Terminals
Show HN: I "hacked" Cursor and turned it into a general-purpose AI agent
viewerkit.com·15h·
Discuss: Hacker News
🎙️Whisper
The Software of Science
mirawelner.com·1d·
Discuss: Hacker News
⚙️Proof Engineering
Recent cross-research on LLM and RL on ArXiv
github.com·4d·
Discuss: Hacker News
🔲Cellular Automata
[P] Small and Imbalanced dataset - what to do
reddit.com·17h·
Discuss: r/MachineLearning
🧠Machine Learning
[D] Beyond fine-tuning and prompting for LLMs?
reddit.com·4d·
Discuss: r/MachineLearning
✨Effect Handlers
Scaling Agentic AI – Akka Leads the Way
news.ycombinator.com·19h·
Discuss: Hacker News
🌊Streaming Systems
Go Interfaces: Favoring Composition Over Inheritance (With a Dash of Common Sense)
hackernoon.com·2d
💧Liquid Types
Google’s Agent-to-Agent (A2A) Protocol is here—Now Let’s Make it Observable
hackernoon.com·2d
🔌Interface Evolution
Enhanced Algorithmic Optimization for Sustainable Aquaculture Feed Production via Multi-Modal Data Fusion
dev.to·19h·
Discuss: DEV
📊Feed Optimization
AI-Powered Anomaly Detection & Root Cause Analysis in Automated UI Regression Testing
dev.to·3d·
Discuss: DEV
🔍Concolic Testing
Pareto Multi-Objective Alignment for Language Models
arxiv.org·3d
🔗Monadic Parsing
SEVADE: Self-Evolving Multi-Agent Analysis with Decoupled Evaluation for Hallucination-Resistant Irony Detection
arxiv.org·3d
🌳Context free grammars
AI Weekend Projects That Slash Repetitive Work
dev.to·3d·
Discuss: DEV
📡RSS Automation
Integrating Clinical Knowledge Graphs and Gradient-Based Neural Systems for Enhanced Melanoma Diagnosis via the 7-Point Checklist
arxiv.org·1d
🕸️Algebraic Topology