⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

Feeds to Scour
SubscribedAll
Scoured 19485 posts in 554.3 ms
Reducing the Costs of Proof Synthesis on Rust Systems by Scaling Up a Seed Training Set
arxiv.org·1d
🦀Rust Verification
Agentic Proof-Oriented Programming
risemsr.github.io·1d·
Discuss: Lobsters, Hacker News
⚔️Lean Tactics
Build a Compiler in Five Projects
kmicinski.com·1h
🔨Compilers
Sampling the Oxford CS Library
blog.computationalcomplexity.org·3d·
Discuss: blog.computationalcomplexity.org
🔍Search Indexing
Logic for Programmers New Release and Next Steps
buttondown.com·2d
⚙️Proof Engineering
LLM Inference Benchmarking - Measure What Matters
digitalocean.com·20h
📊Performance Profiling
SEAL: Symbolic Execution with Separation Logic (Competition Contribution)
arxiv.org·1d
🧠Separation Logic
Automatic Programming
notes.billmill.org·2d
⚡Proof Automation
Boost LLM Security: automated Red Teaming at Scale with Promptfoo
blog.nviso.eu·2d
⚡Proof Automation
When a Model Finds a Bug in Cryptography, and a Cryptographer Learns New Mathematics from It
dev.to·1d·
Discuss: DEV
🎯Performance Proofs
First Proof | Research-Level Math for AI Evaluation
1stproof.org·1d·
Discuss: Hacker News
🎯Performance Proofs
10-Part Series on Breadth-First Traversals in Haskell
doisinkidney.com·1d·
Discuss: Hacker News
🔗Functional Compilers
🎲 Piecemeal Formal Verification: Cloudflare, Java Exceptions, and Rust Mutexes
gavinhoward.com·2d
🦀Rust Verification
Python’s Truthiness: A Code Smell Worth Sniffing
owl.billpg.com·17h·
Discuss: Hacker News
🧪Binary Fuzzing
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically Raft, using Lean 4 and dependen...
freederia.com·19h
🤝Consensus Protocols
Built a tiny fast library for catching obvious prompt injections
reddit.com·18h·
Discuss: r/golang
🧪Binary Fuzzing
Groverkss/mlir-tutor: Exercises for Learning MLIR (Originally written for PPoPP 2026)
github.com·2d·
Discuss: Hacker News
🎵Audio ML
Michael Tsai - Blog - LLMs and Software Development Roundup
mjtsai.com·13h
📏Code Metrics
OSTEP Chapters 6,7
muratbuffalo.blogspot.com·1d·
Discuss: Blogger
⚡CPU Microarchitecture
[RFC PATCH v1 0/4] Machine Learning (ML) library in Linux kernel
lore.kernel.org·15h·
Discuss: Lobsters, Hacker News
🎵Audio ML

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help