⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

Installing SearXNG on AlmaLinux/RHEL/Rocky Linux with Podman and SELinux
neelc.org·14h
📻Homebrew Protocols
How Much Is the Treasure in the Tomb of Horrors Worth? I Did the Math
knightsdigest.com·19h·
Discuss: Hacker News
📏Linear Logic
How I provide technical clarity to non-technical leaders
seangoedecke.com·1d
⚙️Proof Engineering
LLMs and reinforcement learning
sicpers.info·3d
⚔️Lean Tactics
Introducing oavif: faster target quality image compression
giannirosato.com·20h·
Discuss: Lobsters, Hacker News
⚡Modern Compression
Show HN: AI Finance App for Sale – $19,999 Negotiable(SaaS, Ready-to-Deploy)
sideprojectors.com·1d·
Discuss: Hacker News
🎬WebCodecs
Building your MCP server with Laravel
sevalla.com·4d·
Discuss: Hacker News
🔗Constraint Handling
The Seven Trillion Dollar Scam
alilybit.com·9h·
Discuss: Hacker News
🔲Cellular Automata
Show HN: Run PyTorch locally with a remote GPU backend
github.com·14h·
Discuss: Hacker News
⚡Homebrew CPUs
Is ChatGPT-5 Able to Provide Proofs for Advanced Mathematics?
machinelearningmastery.com·6d
🎯Proof Tactics
Automated Spectral Analysis for Precision Dimension Stone Grading & Yield Optimization
dev.to·2d·
Discuss: DEV
🌈Spectroscopy
Fueling the Future: How Big Data and AI are Unlocking Green Hydrogen's Potential
dev.to·5h·
Discuss: DEV
🌊Stream Processing
Tech With Tim: My top 5 python programming course recommendations
dev.to·8h·
Discuss: DEV
🪟Awesome windows command-line
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·8h·
Discuss: DEV
📊Multi-vector RAG
Tech With Tim: Why 1M People Tried This AI Coding Tool (Full Vibe Coding Tutorial)
dev.to·4h·
Discuss: DEV
🚀Indie Hacking
Java Backend Coding Technology: Writing Code in the Era of AI #Version 1.1
dev.to·6d·
Discuss: DEV
⚡SMT Applications
Test-Time Reasoners Are Strategic Multiple-Choice Test-Takers
arxiv.org·3d
✓Automated Theorem Proving
Python 3.14 Has Arrived: A Deep Dive into the New Features
dev.to·1d·
Discuss: DEV
💻Programming languages
Beyond Words: Infusing Conversational Agents with Human-like Typing Behaviors
arxiv.org·8h
🎙️Whisper
HiPRAG: Hierarchical Process Rewards for Efficient Agentic Retrieval Augmented Generation
arxiv.org·3d
⚡Proof Automation