Feeds to Scour
SubscribedAll
Scoured 17843 posts in 497.8 ms
A Unifying Framework for Doubling Algorithms
arxiv.org·16h
🎯Performance Proofs
Craig Interpolation in Program Verification
arxiv.org·16h
⚖️Verification Calculi
Vibe Coding: Lessons Learned
michelenasti.com·1d·
Discuss: Hacker News
📏Code Metrics
Everything I know about good system design
seangoedecke.com·20h
🗄️Database Internals
First Proof | Research-Level Math for AI Evaluation
1stproof.org·4d·
Discuss: Hacker News
🎯Performance Proofs
LLMs Refuse High-Cost Attacks but Stay Vulnerable to Cheap, Real-World Harm
expectedharm.github.io·16h·
Discuss: Hacker News
🛡️WASM Sandboxing
Agentic Proof-Oriented Programming
risemsr.github.io·5d·
Discuss: Lobsters, Hacker News
⚔️Lean Tactics
Insecurity of Quantum Secure Computations
paperium.net·1d·
Discuss: DEV
🔐Quantum Security
Large Language Models for Mortals book released
crimede-coder.com·6h·
Discuss: Hacker News
λLambda Formalization
The Little Book of Linear Algebra
little-book-of.github.io·4d
📐Linear Algebra
Property-based testing as executable specs for agentic coding
kiro.dev·19h·
Discuss: Hacker News
🧪Property-Based Testing
Manufacturing QMS Software
samrian.com·1d·
Discuss: Hacker News
⚙️Proof Engineering
Expectation and Copysets
buttondown.com·1d·
Discuss: Hacker News, Hacker News
🧮Kolmogorov Complexity
Neural Bitcoin Small Class Number Attack
leetarxiv.substack.com·6d·
Discuss: Substack
🔢Bitwise Algorithms
Further Meditation on Taylor Series
alexkritchevsky.com·5d
⚔️Lean Theorem
What Functional Programmers Get Wrong About Systems
iankduncan.com·1d·
Discuss: Lobsters, Hacker News, r/programming
⚖️Verification Calculi
Weeknotes 2026-W06 › Project Pterodactyl: incremental architecture
jonmsterling.com·3d·
Discuss: Hacker News, r/Compilers
⚡Incremental Computation
Testing 80 LLMs on spatial reasoning on grids
mihai.page·1d·
Discuss: Hacker News
🧮Prolog Parsing
Reverse Engineering the Prom for the SGI O2
mattst88.com·1d·
Discuss: Lobsters, Hacker News
⚡Circuit Archaeology
Pydantic Performance: 4 Tips on How to Validate Large Amounts of Data Efficiently
towardsdatascience.com·4d
✅Format Verification

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