⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

First release: Popcorn – Bring Elixir to the browser
blog.swmansion.com·7h·
Discuss: Hacker News
🕸️WASM Archives
Interesting Number Paradox
en.wikipedia.org·12h·
Discuss: Hacker News
🔲Proof Irrelevance
Jibril Runtime Security v2.4: Programmable Reactions to OS Security Events
jibril.garnet.ai·1d·
Discuss: Hacker News
🛡️eBPF Security
DeLLMa: Decision Making Under Uncertainty with Large Language Models
dellma.github.io·3d·
Discuss: Hacker News
🔗Constraint Handling
arwen - cross-platform patching of the shared libraries ( patchelf && install_name_tool in rust)
reddit.com·23h·
Discuss: r/rust
🦀Rust Macros
Data-Driven Incremental GAS Certificate of Nonlinear Homogeneous Networks: A Formal Modular Approach
arxiv.org·2d
🎯Performance Proofs
[SHOW OSS]Claude Sub Agents – AI Development Team
github.com·8h·
Discuss: Hacker News, Hacker News
👑Isabelle
If you're interested in agentic AI, you need to read this. Stunning, original, pragmatic.
dev.to·1d·
Discuss: DEV
🔲Cellular Automata
Removing Box-Free Watermarks for Image-to-Image Models via Query-Based Reverse Engineering
arxiv.org·2d
👁️Perceptual Hashing
How to Create a Web Search AI Agent with AWS Bedrock
dev.to·1d·
Discuss: DEV
λLambda Formalization
The Polymath Tool for All Your Audio and Document Needs
dev.to·1d·
Discuss: DEV
🎙️Whisper
Neural Machine Unranking
arxiv.org·2d
🧠Learned Indexing
Percentile-Based Deep Reinforcement Learning and Reward Based Personalization For Delay Aware RAN Slicing in O-RAN
arxiv.org·2d
⧗Information Bottleneck
Using AI in Software Development: What Techniques Increase Productivity?
dev.to·23h·
Discuss: DEV
⚡Proof Automation
Building Code Craft in 6 Days: My AI Hackathon Journey with Bolt
dev.to·3d·
Discuss: DEV
🚀Indie Hacking
How to use “Caido Workflows” to scan for anything
infosecwriteups.com·3h
🌐NetworkProtocols
Transforming NLP: The Breakthrough of the 41.8 BLEU Score with Transformers
dev.to·1d·
Discuss: DEV
📝Text Parsing
All the Details and Changes That Came With Rust 1.82.0
hackernoon.com·16h
🦀Rust Borrowing
Sticking to the Mean: Detecting Sticky Tokens in Text Embedding Models
arxiv.org·2d
📝Text Parsing
🚀 Just discovered this evening productivity hack:
dev.to·9h·
Discuss: DEV
⛏️File Carving