Feeds to Scour
SubscribedAll
Scoured 16935 posts in 608.6 ms
An introduction to lockless algorithms [LWN.net]
lwn.net·1d
⚡Hardware Transactional Memory
Same Engine, Multiple Gears: Parallelizing Fixpoint Iteration at Different Granularities (Extended Version)
arxiv.org·1d
⚡Parallel Computing
Show HN: C-CMCP – Validated AI development workflow with quality gates
news.ycombinator.com·19h·
Discuss: Hacker News
📏Code Metrics
Algebraic Robustness Verification of Neural Networks
arxiv.org·1d
🔧Hardware Verification
the mathematics of compression in database systems
bitsxpages.com·16h
🌊Streaming Compression
Insecurity of Quantum Secure Computations
paperium.net·15h·
Discuss: DEV
🔐Quantum Security
Lean 4 and the Curry–Howard correspondence
wildonblog.wordpress.com·17h
⚔️Lean Theorem
Oatmeal - Constraint propagation for fun
eli.li·2d·
Discuss: Lobsters, Hacker News
🧮Z3 Solver
Proportional–integral–derivative controller
en.wikipedia.org·2d·
Discuss: Hacker News
⚙️Tape Mechanics
DSA Interview Questions: What Really Gets Asked (and How to Prepare Smart)
dsa-interview-questions.pages.dev·18h·
Discuss: Hacker News
🎯Threat Hunting
LLMs Refuse High-Cost Attacks but Stay Vulnerable to Cheap, Real-World Harm
expectedharm.github.io·6h·
Discuss: Hacker News
🛡️WASM Sandboxing
News for January 2026
ptreview.sublinear.info·4d
📐Linear Algebra
lean-phys-community/PhysLean: A project to digitalise results from physics into Lean.
github.com·3h·
Discuss: Hacker News
🔬Lean
Vibe Coding: Lessons Learned
michelenasti.com·19h·
Discuss: Hacker News
📏Code Metrics
Simplifying assertions with lenses
blog.ploeh.dk·22h
🔗Functional Compilers
Everything I know about good system design
seangoedecke.com·10h
🗄️Database Internals
Agentic Proof-Oriented Programming
risemsr.github.io·4d·
Discuss: Lobsters, Hacker News
⚔️Lean Tactics
First Proof | Research-Level Math for AI Evaluation
1stproof.org·4d·
Discuss: Hacker News
🎯Performance Proofs
The Little Book of Linear Algebra
little-book-of.github.io·3d
📐Linear Algebra
Loopy Particle Math (2019)
scientificamerican.com
·12h·
Discuss: Hacker News
📐Mathematical Art

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