⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

Show HN: Metal.graphics – Metal shaders course for SwiftUI
metal.graphics·2d·
Discuss: Hacker News
🌈Color Science
KDE Plasma finally brings a feature users have been requesting for 22 years
neowin.net·2h·
Discuss: Hacker News
🕸️WASM Archives
Clojure 1.12.2
clojure.org·5d·
Discuss: Hacker News
🧠Lisp Dialects
Spatial Nautilus: A Postmortem
mycophobia.org·1d·
Discuss: Lobsters, Hacker News
🧲Magnetic Philosophy
Bournemouth bring Tottenham back down to earth as Evanilson secures win
the-independent.com·16m
🧪CBOR Fuzzing
What happens next after Trump tariffs ruled illegal?
bbc.com·4h
🧮Theorem Proving
Why the foam on Belgian beers lasts so long
phys.org·2h
☕Precision Brewing
When functions dissolve
rubber-duck-typing.com·6d·
Discuss: Hacker News
🐚Shell Calculus
Alibaba looks to end reliance on Nvidia for AI inference
theregister.com·20h·
Discuss: Hacker News
🇨🇳Chinese Computing
Meta Changes Teen AI Chatbot Responses as Senate Begins Probe Into 'Romantic' Conversations
tech.slashdot.org·16h
🎙️Whisper
Agents.md may trick us into writing better docs
blog.kilocode.ai·4d·
Discuss: Hacker News
⚡Proof Automation
[P] aligning non-linear features with your data distribution
reddit.com·5d·
Discuss: r/MachineLearning
🧠Machine Learning
Going for Silver: Making the Most of Tiered Observability
thenewstack.io·1d
🌊Streaming Systems
Jailbreak or drug lab? – Anthropic and OpenAI test each other
heise.de·1d
🏺Kerberos Archaeology
Critiques of World Models
arxiviq.substack.com·2d·
Discuss: Substack
🔲Cellular Automata
Generative Artificial Intelligence and Agents in Research and Teaching
arxiv.org·4d
🔲Cellular Automata
TOMATO: Assessing Visual Temporal Reasoning Capabilities in Multimodal Foundation Models
arxiv.org·4d
🤖Advanced OCR
7 Best Bitbucket Code Review Tools to Speed Up Your Workflow in 2025
dev.to·4d·
Discuss: DEV
🌳Git Internals
First Place Solution to the MLCAS 2025 GWFSS Challenge: The Devil is in the Detail and Minority
arxiv.org·4d
🧮Kolmogorov Complexity
MTalk-Bench: Evaluating Speech-to-Speech Models in Multi-Turn Dialogues via Arena-style and Rubrics Protocols
arxiv.org·4d
🎙️Whisper