⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

Show HN: I built an AI for divination practice
shefu.org·2d·
Discuss: Hacker News
📐Proof Assistants
Best gel nail kits for salon-quality manicures at home
the-independent.com·5h
⭐Awesome lists
Judge overturns Trump administration funding cuts to Harvard
bbc.com·3h
💧Manuscript Watermarks
Wake VMs in 200ms with Light Sleep, eBPF, and Snapshots
koyeb.com·2d·
Discuss: Hacker News, Hacker News
🌊Streaming Systems
AMD MI300X for LLM Serving Disaggregating Prefill and Decode with SGLang
rocm.blogs.amd.com·6d·
Discuss: Hacker News
🌊Streaming Compression
I Manage My Dotfiles
jvt.me·3d·
Discuss: Hacker News
❄️Nix Flakes
Writing in Djot
pdx.su·3d·
Discuss: Hacker News
📝Concrete Syntax
DDoS is the neglected cybercrime that's getting bigger. Let's kill it off
theregister.com·2d·
Discuss: Hacker News, Hacker News
🔓Hacking
Are we approaching the vision of 'malleable software'?
news.ycombinator.com·1d·
Discuss: Hacker News
🌊Streaming Systems
GitLab Inc. (GTLB) Q2 2026 Earnings Call Transcript
seekingalpha.com·1h
🔍BitFunnel
2025-08-29: DAAD RISE Professional Research Internship Experience - Summer in Germany
ws-dl.blogspot.com·5d·
Discuss: ws-dl.blogspot.com
🏛Digital humanities
The Ultimate AI Coding Grok Code Fast 1 vs GPT-5 High vs Claude Sonnet 4 – Which One Is Actually Faster?
dev.to·4d·
Discuss: DEV
📏Code Metrics
Unlocking Multimodal Video Transcription with Gemini
towardsdatascience.com·5d
✅Verification Codecs
Show HN: P2party – Encrypted WebRTC Room URLs
github.com·5d·
Discuss: Hacker News
⚡gRPC
Generate Expressive, Long Form Multi-Speaker Audios & Podcasts with Microsoft's VibeVoice
dev.to·8h·
Discuss: DEV
🔄Sync Engine
AI Agent for Google Play Review Monitoring
dev.to·3d·
Discuss: DEV
🌀Brotli Internals
Charles Misner & Patrick Cooney
deprogrammaticaipsum.com·2d
📐Mathematical Art
What Can We Learn from Harry Potter? An Exploratory Study of Visual Representation Learning from Atypical Videos
arxiv.org·2d
📊Learned Metrics
Why enterprise independence matters more than ever in DevSecOps
about.gitlab.com·2d
🔄Language Evolution
What AI chatbots are doing under the hood
gilesthomas.com·5d·
Discuss: Hacker News
🎙️Whisper