Feeds to Scour
SubscribedAll
Scoured 19465 posts in 150.6 ms
Agentic Proof-Oriented Programming
risemsr.github.io·1d·
Discuss: Lobsters, Hacker News
⚔️Lean Tactics
You'll never lose a file again.
dev.to·1d·
Discuss: DEV
✅Archive Fixity
SEAL: Symbolic Execution with Separation Logic (Competition Contribution)
arxiv.org·1d
🧠Separation Logic
DCP-o-matic • Re: CPL as compositions and multiple CPLs
dcpomatic.com·2h
🔗Concatenative Programming
Differential Logic • 1
inquiryintoinquiry.com·1d
📏Linear Logic
When a Model Finds a Bug in Cryptography, and a Cryptographer Learns New Mathematics from It
dev.to·1d·
Discuss: DEV
🎯Performance Proofs
Status update, January 2026
bisco.org·1d
🔌Interface Evolution
Private Data Space Model
privatedata.space·2d
✅Format Verification
Note
hsu.cy·11h
🖋Typography
Waterloo Style
theprogrammersparadox.blogspot.com·19h·
Discuss: Hacker News
🕹Emulation Theory
The path to noncommutative function theory: a research story
noncommutativeanalysis.wordpress.com·3d
💻Programming languages
Loss Distribution Collapse: A Structural Theory of Dataset Degradation
zenodo.org·1d·
Discuss: Hacker News
🌡️Preservation Entropy
OSTEP Chapters 6,7
muratbuffalo.blogspot.com·1d·
Discuss: Blogger
⚡CPU Microarchitecture
Tools for Recovering RAID5 Disasters
github.com·1d·
Discuss: Hacker News
💾Archive RAID
ArXiv future proofs access to research with third-party digital preservation
blog.arxiv.org·2d·
Discuss: Hacker News
🏛️OAIS Implementation
Building "zero-gap" secrets for a UGC platform
news.ycombinator.com·12h·
Discuss: Hacker News
🧪Binary Fuzzing
First Proof | Research-Level Math for AI Evaluation
1stproof.org·1d·
Discuss: Hacker News
🎯Performance Proofs
Things Unix can do atomically
rcrowley.org·1d·
Discuss: Hacker News
📂Directory Synchronization
Next Generation DB Ingestion at Pinterest
medium.com·1d
🗄️Database Sharding
Show HN: The Librarian creates artifacts while a model finishes its work
librarian.fieldtheory.dev·17h·
Discuss: Hacker News
📄Document Digitization

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