Feeds to Scour
SubscribedAll
Scoured 16800 posts in 442.4 ms
An attempt at a First-Proof AI challenge
abhvio.us·2d·
Discuss: Hacker News
🎯Performance Proofs
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
Algebraic Robustness Verification of Neural Networks
arxiv.org·1d
🔧Hardware Verification
Sneaky quokka: Testing and debugging with LLMs
honnibal.dev·7h
🧪Binary Fuzzing
the mathematics of compression in database systems
bitsxpages.com·20h
🌊Streaming Compression
Show HN: C-CMCP – Validated AI development workflow with quality gates
news.ycombinator.com·23h·
Discuss: Hacker News
📏Code Metrics
Lean 4 and the Curry–Howard correspondence
wildonblog.wordpress.com·21h
⚔️Lean Theorem
Oatmeal - Constraint propagation for fun
eli.li·2d·
Discuss: Lobsters, Hacker News
🧮Z3 Solver
Proportional–integral–derivative controller
en.wikipedia.org·3d·
Discuss: Hacker News
⚙️Tape Mechanics
Large Language Models for Mortals book released
crimede-coder.com·1h·
Discuss: Hacker News
λLambda Formalization
January 2026 Monthly report | Alternative Rust Compiler for GCC
rust-gcc.github.io·2h·
Discuss: r/rust
🦀Rust Macros
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·7h·
Discuss: Hacker News
🔬Lean
DSA Interview Questions: What Really Gets Asked (and How to Prepare Smart)
dsa-interview-questions.pages.dev·22h·
Discuss: Hacker News
🎯Threat Hunting
Vibe Coding: Lessons Learned
michelenasti.com·23h·
Discuss: Hacker News
📏Code Metrics
Simplifying assertions with lenses
blog.ploeh.dk·1d
🔗Functional Compilers
LLMs Refuse High-Cost Attacks but Stay Vulnerable to Cheap, Real-World Harm
expectedharm.github.io·10h·
Discuss: Hacker News
🛡️WASM Sandboxing
Everything I know about good system design
seangoedecke.com·14h
🗄️Database Internals

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