Document Verification

Feeds to Scour
SubscribedAll
Scoured 8 posts in 15.6 ms

DLR-Institute-of-Future-Fuels/rair: Research Archival & Integrity Recorder - a Simple Data Versioning Tool

 🌿git  Content type: Code
github.com··Hacker News
Less-relevant results

Successful Arbitrage, or the Art of Always Landing on Its Feet Like a Cat

 💾Binary codes  Content type: Blog
functori.com··Hacker News

Witness-split + window-cardinality refinement for $r_3(N)$: Architecture, empirical results, and a structural hard pocket

 🎯Performance Proofs  Content type: Academic
arxiv.org·

Every GPS satellite is a numbers station

 🔐Soviet Cryptography  Content type: Blog  Content type: Discussion
andreafortuna.org··Hacker News

Optimizing the Cost-Quality Tradeoff of Agentic Theorem Provers in Lean

 📋Formal Verification  Content type: Academic
arxiv.org·

Evaluation of LLMs for Mathematical Formalization in Lean

 ⚔️Lean Theorem  Content type: Academic
arxiv.org·

LeanMarathon: Toward Reliable AI Co-Mathematicians through Long-Horizon Lean Autoformalization

 🔗Topological Sorting  Content type: Academic
arxiv.org·

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study

 💻programming languages  Content type: Academic
arxiv.org·

No more posts from matmat's subscribed feeds.

Scour all 25257 feedsLearn more about Feeds

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
Save / unsave
s

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