Feeds to Scour
SubscribedAll
Scoured 3674 posts in 13.0 ms
From Convergence to Confidence: Push-Button Verification for RDTs  ✅Formal Verification
kcsrk.info·2d·Hacker News, Hacker News
Table Oriented Programming (2002)  ⚡Systems Programming
oocities.org·15h·Hacker News
What ORMs have taught me: just learn SQL (2014)  ✅Formal Verification
wozniak.ca·3h·Hacker News
CKKS — Polynomials, the Canonical Embedding, and Encoding  🔢Homomorphic Encryption
jeremykun.com·1d·Hacker News
The Alice and Bob After Dinner Speech  🔢Homomorphic Encryption
hex.ooo·6h·Hacker News
On Lisp: A review of Paul Graham's 1993 book  ✅Formal Verification
alexvear.com·3d·Hacker News
The Lightening of Intent  🌐Complex Systems
aneeshsathe.substack.com·22h·Substack
Ray's Arithmetic  📊Mathematics
raysarithmetic.wordpress.com
·2d·Hacker News
Memory Machines: Can LLMs create lasting flashcards from readers' highlights?  🧬Cognitive Science
memory-machines.com·21h·Hacker News
Introduction to Secret Sharing from First Principles - Stoffel  🔢Homomorphic Encryption
stoffelmpc.com·2d·Hacker News, r/crypto, r/programming
Generalised plusequals  🔢Homomorphic Encryption
leontrolski.github.io·6d·Hacker News
More Tokens Isn’t More Intelligence  🎯Game Theory
briannelee.substack.com·6h·Substack
Every algorithm is a natural number. Hilbert's hotel has room for all of them  📊Mathematics
darkomulej.substack.com·1d·Substack
Spell-Checking with LLMs  💻Hacking
revise.io·7h·Hacker News
Sum-Check as an Algebraic Tensor Reduction: Part 1  ✅Formal Verification
blog.zksecurity.xyz·3d·Hacker News
What Can We Gain by Losing Infinity?  📊Mathematics
quantamagazine.org·1d·Hacker News
Ashby's Law of Requisite Variety (Cybernetics)  🌐Complex Systems
en.wikipedia.org·20h·Hacker News
LLM from pre-1930 derives quantum mechanics and relativity  ⚛️Physics
michaelhla.com·2d·Hacker News
NARE – A framework that "crystallizes" LLM reasoning into fast Python scripts  ✅Formal Verification
github.com·4d·Hacker News, Hacker News
Haskell: Debugging  ✅Formal Verification
wiki.haskell.org·6h·Hacker News

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