⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

Making RFCs easier to find and use through a re-imagined RFC Editor website
ietf.org·3d
📝ABNF Parsing
Show HN: BacklinkHelper – Chrome Extension to Automate Link Building
backlinkhelper.com·10h·
Discuss: Hacker News
📰RSS Reading Practices
This Week in Plasma: KDE Initial System Setup
blogs.kde.org·1d·
Discuss: r/linux
🔌Operating system internals
A brief history of SIP
eclecticlight.co·1d·
Discuss: Hacker News
🍎Apple Archive
Better Control over Your Copilot Code Suggestions
devblogs.microsoft.com·1d·
Discuss: Hacker News
🪟Awesome windows command-line
OSS under attack: four lessons in how trust gets exploited"
open-source-ward.com·3d·
Discuss: Hacker News
❄️Nix Adoption
Stream Integration
feldera.com·6d·
Discuss: Hacker News
🌊Stream Processing
NASA’s Parker Solar Probe Just Solved a 70-Year Solar Mystery
scitechdaily.com·14h
⚙️Tape Engineering
None the Wiser
harpers.org·22h·
Discuss: Hacker News
🏛️Philosophy
Seda – Discovery Engine for the Internet – Co-Founder/CTO – Raising $15M
news.ycombinator.com·2d·
Discuss: Hacker News
🧭Content Discovery
Show HN: Filelock – AES-GCM file&folder encryption with hardware acceleration
github.com·2d·
Discuss: Hacker News
🔐Archive Encryption
ASP-Completeness Proofs of Puzzles Using the T-Metacell Framework
arxiv.org·6d
🧮SMT Solvers
Perspt: Your Terminal's New AI Powerhouse!
dev.to·5d·
Discuss: DEV
📊Performance Profiling
ChatLoopBackOff: Episode 68 (KANISTER)
youtube.com·1d·
Discuss: DEV
🌊Streaming Systems
Label Uncertainty for Ultrasound Segmentation
arxiv.org·2d
🧠Machine Learning
Script-Strategy Aligned Generation: Aligning LLMs with Expert-Crafted Dialogue Scripts and Therapeutic Strategies for Psychotherapy
arxiv.org·4d
🛠Language Design
The 3 AI Tools That Helped Me Go From $0 to $10k/Month
dev.to·2d·
Discuss: DEV
🎯Content Recommendation
XDR-LVLM: An Explainable Vision-Language Large Model for Diabetic Retinopathy Diagnosis
arxiv.org·2d
🤖Advanced OCR
The Enemy from Within: A Study of Political Delegitimization Discourse in Israeli Political Speech
arxiv.org·2d
📝Concrete Syntax
The Secret Behind RAG AI Agents and How to Build in n8n
dev.to·2d·
Discuss: DEV
🌀Brotli Internals