Feeds to Scour
SubscribedAll
Scoured 16843 posts in 175.1 ms
Math Game Monday: What’s My Rule?
denisegaskins.com·1d
🔲Cellular Automata
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·22h·
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·18h
🌊Streaming Compression
Lean 4 and the Curry–Howard correspondence
wildonblog.wordpress.com·19h
⚔️Lean Theorem
Oatmeal - Constraint propagation for fun
eli.li·2d·
Discuss: Lobsters, Hacker News
🧮Z3 Solver
DSA Interview Questions: What Really Gets Asked (and How to Prepare Smart)
dsa-interview-questions.pages.dev·20h·
Discuss: Hacker News
🎯Threat Hunting
Proportional–integral–derivative controller
en.wikipedia.org·3d·
Discuss: Hacker News
⚙️Tape Mechanics
LLMs Refuse High-Cost Attacks but Stay Vulnerable to Cheap, Real-World Harm
expectedharm.github.io·8h·
Discuss: Hacker News
🛡️WASM Sandboxing
News for January 2026
ptreview.sublinear.info·4d
📐Linear Algebra
January 2026 Monthly report | Alternative Rust Compiler for GCC
rust-gcc.github.io·1h·
Discuss: r/rust
🦀Rust Macros
Loopy Particle Math (2019)
scientificamerican.com
·14h·
Discuss: Hacker News
📐Mathematical Art
I got bored and had Claude design and implement a programming language
github.com·4h·
Discuss: Hacker News
🔗Concatenative Programming
Vibe Coding: Lessons Learned
michelenasti.com·21h·
Discuss: Hacker News
📏Code Metrics
Simplifying assertions with lenses
blog.ploeh.dk·1d
🔗Functional Compilers
Everything I know about good system design
seangoedecke.com·12h
🗄️Database Internals
First Proof | Research-Level Math for AI Evaluation
1stproof.org·4d·
Discuss: Hacker News
🎯Performance Proofs
Agentic Proof-Oriented Programming
risemsr.github.io·4d·
Discuss: Lobsters, Hacker News
⚔️Lean Tactics

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