Feeds to Scour
SubscribedAll
Scoured 18272 posts in 335.7 ms
Time-Complexity Characterization of NIST Lightweight Cryptography Finalists
arxiv.org·3d
🌊Stream Ciphers
Surgery for quantum bits: Bit-flip errors corrected during superconducting qubit operations
phys.org·3d
⚛️Quantum Error Correction
Waterloo Style
theprogrammersparadox.blogspot.com·2d·
Discuss: Hacker News
🕹Emulation Theory
Quantization-Aware Distillation
ternarysearch.blogspot.com·1d·
Discuss: Hacker News
📊Quantization
Oatmeal - Constraint propagation for fun
eli.li·1d·
Discuss: Lobsters, Hacker News
🧮Z3 Solver
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically Raft, using Lean 4 and dependen...
freederia.com·2d
🤝Consensus Protocols
Portable C Compiler
en.wikipedia.org·1d·
Discuss: Hacker News
🏗️Compiler Archaeology
From Prediction to Compilation: A Manifesto for Intrinsically Reliable AI
news.ycombinator.com·17h·
Discuss: Hacker News
⚖️Hoare Logic
Human-like Search for Modern Applications
anvitra.ai·1d·
Discuss: Hacker News
🗂️Vector Search
Podcast Spotlight: The Threat from Quantum Computers
assured.se·3d
🔐Quantum Security
Building Reliable AI Applications: A Validation Strategy
dev.to·19h·
Discuss: DEV
✅Format Verification
Same Surface, Different Weight
robpanico.com·1d·
Discuss: Hacker News
🎯Gradual Typing
The Little Book of Linear Algebra
little-book-of.github.io·2d
📐Linear Algebra
Performance Tip of the Week #62: Identifying and reducing memory bandwidth needs
abseil.io·1d
💨Cache Analysis
Private Data Space Model
privatedata.space·3d
✅Format Verification
News for January 2026
ptreview.sublinear.info·3d
📐Linear Algebra
Agentic Proof-Oriented Programming
risemsr.github.io·3d·
Discuss: Lobsters, Hacker News
⚔️Lean Tactics
Pieter Belmans—Postdoc position in algebraic geometry
pbelmans.ncag.info·4d
🕸️Algebraic Topology
Both GCC and Clang generate strange/inefficient code
codingmarginalia.blogspot.com·2d·
Discuss: Hacker News, Hacker News
🚀Compiler Optimizations
Understanding LLM Inference Engines: Inside Nano-vLLM (Part 2)
neutree.ai·2d·
Discuss: Hacker News
💻Local LLMs

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