⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

Announcing Blackacre Labs
writing.kemitchell.com·3d
📡RSS Automation
Developer Experience at Pinterest: The Journey to PinConsole
medium.com·3d
🔌Interface Evolution
Show HN: Vibe Manager – Multi-model planning and fresh docs –> one plan (macOS)
vibemanager.app·20h·
Discuss: Hacker News
🌳Git Internals
The Gypsy document editor from Xerox PARC: celebrating 50 years
digitalseams.com·1d·
Discuss: Hacker News
📄PostScript
What's New in MetaScope 1.0.3 (Build 11)
zalodesignstudio.com·16h·
Discuss: Hacker News
🔌Operating system internals
Developing a Custom Query Language with ANTLR and Elasticsearch
blog.scottlogic.com·6d
📋Document Grammar
Coding Wedge: Are Developers and Coding Automation Key to LLM Competition?
decodingdiscontinuity.com·4d·
Discuss: Hacker News
🔓Open Source Software
Attention Is the New Big-O: A Systems Design Approach to Prompt Engineering
alexchesser.medium.com·6d·
Discuss: Hacker News
⚡Effectful Programming
DeepSite
dev.to·1d·
Discuss: DEV
📰RSS Archaeology
Building AI Products in the Probabilistic Era
giansegato.com·4d·
Discuss: Hacker News
🧠Intelligence Compression
WTF is Hierarchical Temporal Memory.?
dev.to·2d·
Discuss: DEV
⏰Time Crystals
[D] Using LLMs to extract knowledge graphs from tables for retrieval-augmented methods — promising or just recursion?
reddit.com·4d·
Discuss: r/MachineLearning
🧮Datalog
Last call for Kubernetes NYC August Meetup tomorrow, 8/26! Project Demo Night :)
reddit.com·18h·
Discuss: r/kubernetes
🌊Streaming Systems
From Fake Tutorials to Real Development: How "Tic Tac Ball" Proves the AI-SymDev Difference
dev.to·3d·
Discuss: DEV
🎯Emulator Accuracy
CarboNet: A Finite-Time Combustion-Tolerant Compartmental Network for Tropospheric Carbon Control
arxiv.org·6h
🧮Algorithmic Cooking
[R] Review advice: Well-established work published years ago on Arxiv
reddit.com·1d·
Discuss: r/MachineLearning
💧Manuscript Watermarks
Discovered Textideo: The AI Video Tool Every Creator Needs
dev.to·8h·
Discuss: DEV
🗜️LZW Variants
AGENTS.md gets it wrong in 2 ways
joshwand1.substack.com·5d·
Discuss: Substack
⚡Proof Automation
Exelixis: RCC Stronghold, NET Launch, And A CRC Readout That Matters
seekingalpha.com·12h
🌊CBOR Streaming
HHNAS-AM: Hierarchical Hybrid Neural Architecture Search using Adaptive Mutation Policies
arxiv.org·4d
🧠Learned Indexing