⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

LFCS Seminar Friday 27th June: John Longley
informatics.ed.ac.uk·4d
💻Programming languages
Issue 716
iosdevweekly.com·21h
🔌Interface Evolution
Undertrained Tokens in DeepSeek R1
tokencontributions.substack.com·3h·
Discuss: Substack
✅Format Verification
First NetHack ascension, and insights into the AI capabilities it requires
mikaelhenaff.substack.com·1d·
Discuss: Substack
🔲Cellular Automata
Institutional Knowledge Is Walking Out the Door–Capture It Before It's Gone
ordinalforgov.com·5h·
Discuss: Hacker News
🔗Constraint Handling
PJ5 TTL CPU
pj5cpu.wordpress.com·14h·
Discuss: Hacker News
⚡Circuit Archaeology
The Cost of AI-Generated Code: Detection vs. Remediation
rsolv.dev·1d·
Discuss: Hacker News
📏Code Metrics
How to Learn AI for Data Analytics in 2025
kdnuggets.com·9h
🤖Archive Automation
AsmJit: Lightweight C++ library for low-latency machine code generation
asmjit.com·2d·
Discuss: Hacker News
🦀Rust Macros
Scrape Trending Keywords, Auto-Write Posts, Earn Traffic—This System Works – Suhaib Bin Younis
dev.to·13h·
Discuss: DEV
🕵️Feed Discovery
Single Core Hundred Thousand Concurrency（1750947668443300）
dev.to·1d·
Discuss: DEV
🌊Stream Processing
How I Built a Smarter ZIP Engine with AI: My Day 9 & 10 Journey (Pagonic Project)
dev.to·1d·
Discuss: DEV
👁️Observatory Systems
Where to find Grokking in LLM Pretraining? Monitor Memorization-to-Generalization without Test
arxiv.org·17h
🧠Intelligence Compression
Machine Learning Fundamentals: accuracy with python
dev.to·3d·
Discuss: DEV
👁️Observatory Systems
CEGA: A Cost-Effective Approach for Graph-Based Model Extraction and Acquisition
arxiv.org·3d
🧮Prolog Parsing
Zero-Cost Abstractions: What It Really Means in Rust
dev.to·8h·
Discuss: DEV
🦀Rust Borrowing
From Manual to AI: My Journey with Keploy Chrome Extension
dev.to·12h·
Discuss: DEV
🎬WebCodecs API
Machine Learning Fundamentals: adam optimizer tutorial
dev.to·6h·
Discuss: DEV
📊Feed Optimization
Extreme Left Shifting
dev.to·25m·
Discuss: DEV
❄️Nix Adoption
Our Coding Adventure: Using LLMs to Personalise the Narrative of a Tangible Programming Robot for Preschoolers
arxiv.org·17h
🎙️Whisper