⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

Acenta Group: Executing on the Swedish overestablishment
kalqyl.se·1d
🐚Nordic Shell
Your elected leaders: Taiji Kimura, Routing Security SIG Acting Chair
blog.apnic.net·1d
🌐Network Security
Pumpkin Coloring Book
guidedmath.wordpress.com·1d
⭐Awesome lists
Is a ‘Nuclear Renaissance’ Possible in the United States?
undark.org·1d
📡RSS
Chatbots to be banned from talking sex or suicide with Australian kids
abc.net.au·1d
🎙️Whisper
Show HN: Tablemd – canvas-based Markdown table editor
tablemd.app·15h·
Discuss: Hacker News
📲Digitization
What Amsterdam's Prostitution Taught Me About B2B SaaS Sales
eidel.io·21h·
Discuss: Hacker News
🎫Kerberos Attacks
Show HN: CLI constraints as types via parser combinators in TypeScript
optique.dev·5d·
Discuss: Hacker News
🌐Protocol Synthesis
<img src="https://cdn.uploads.micro.blog/25293/2025/share-3492805009512651338.png" width="600" height="500" alt="A Bluesky modal announcing the released of save...
lmika.org·19h
📰RSS Feed Discovery
AI agent that any beginner can use.
reddit.com·2d·
Discuss: r/artificial
🚀Indie Hacking
It's not always DNS..
reddit.com·19h·
Discuss: r/homelab
🌐DNS Security
New Linux Patches Enhance Intel Nested Virtualization Performance On Linux
phoronix.com·19h·
Discuss: Hacker News
🖥️Modern CPU
Definite Rust bugs found by the Miri UB detector
github.com·6d·
Discuss: Hacker News
🦀Rust Macros
Boffins build automated Android bug hunting system
theregister.com·4d·
Discuss: Hacker News
🚀Indie Hacking
6*6 Sudoku solver
dev.to·4d·
Discuss: DEV
⚡Proof Automation
Are We in an AI Bubble?
theatlantic.com·2d·
Discuss: Hacker News
🧠Intelligence Compression
For 2 years my api testing was a mess of go scripts. so I merged them into 'apter', a single binary tool.
reddit.com·5d·
Discuss: r/golang
❄️Nix Flakes
AI is creating code faster - but this also means more potential security issues
techradar.com·4d
📏Code Metrics
ResearchQA: Evaluating Scholarly Question Answering at Scale Across 75 Fields with Survey-Mined Questions and Rubrics
arxiv.org·6d
🔍Information Retrieval
Near-Duplicate Text Alignment under Weighted Jaccard Similarity
arxiv.org·6d
🔍MIN-Hash