⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

Show HN: Universal Profile Scraper
profilespider.com·3h·
Discuss: Hacker News
👤Search Personalization
Opengrep Adds Apex Support and New Rule Controls in Latest Updates
socket.dev·2d·
Discuss: Hacker News
🔓Open Source Software
“I Have a Theory Too”: The Challenge and Opportunity of Avocational Science
writings.stephenwolfram.com·3h
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
I moved my server out of my attic!
reddit.com·7h·
Discuss: r/homelab
🏠HomeLab
AI’s Serious Python Bias: Concerns of LLMs Preferring One Language
medium.com·10h·
Discuss: r/programming
🦀Rust Macros
Java 25 puts 32-bit x86 out to pasture, adds 17 shiny new features
theregister.com·2d
💧Liquid Types
Can modern LLMs actually count the number of b's in "blueberry"?
minimaxir.com·2d·
Discuss: Hacker News
🧪Binary Fuzzing
Harnessing AI's potential on the mainframe
techradar.com·11h
🏢IBM Mainframes
Day 28: GraphQL in System Design – A Beginner-Friendly Guide
dev.to·12h·
Discuss: DEV
📊Graph Databases
How is the Repository pattern usually used in Rust?
reddit.com·1d·
Discuss: r/rust
🦀Rust Borrowing
Merge Strategies To Keep Builds Green in Large Monorepos
thenewstack.io·1d
🔄Reproducible Builds
Hyperdimensional Tensor Network Encoding for Quantum Federated Learning
dev.to·3h·
Discuss: DEV
🕸️Tensor Networks
From Backlinks to Data Depth: How LLMs Are Rewriting Content Authority
hackernoon.com·1d
🌀Brotli Internals
How I Used Claude to Create and Assign Issues in Linear
dev.to·2d·
Discuss: DEV
👑Isabelle
5 Best AI Tool Directories to Launch Your App in 2025
dev.to·8h·
Discuss: DEV
🌀Brotli Internals
Is AI Replacing Developers? The Role of Code Generators in 2025
dev.to·17h·
Discuss: DEV
📏Code Metrics
Personalized Feature Translation for Expression Recognition: An Efficient Source-Free Domain Adaptation Method
arxiv.org·21h
📊Learned Metrics
🚀 Python for DevOps Week 2 & Week 3: Automating Daily Ops & Containerizing with Docker
dev.to·1d·
Discuss: DEV
🔩Systems Programming
What Happens When AI Gets Really Good at Programming?
dev.to·2d·
Discuss: DEV
🔄Language Evolution
Exploring Traces: Agent trajectory walkthroughs from interesting examples
theori.io·5d·
Discuss: Hacker News
🧬Bitstream Evolution