Feeds to Scour
SubscribedAll
Scoured 17847 posts in 539.3 ms
StabOp: A Data-Driven Stabilization Operator for Reduced Order Modeling
arxiv.org·16h
✨Effect Handlers
Algebraic Robustness Verification of Neural Networks
arxiv.org·1d
🔧Hardware Verification
NUASM — Neuro‑Universal‑ASM: The World's First Native Multi‑Language Assembler
dev.to·2d·
Discuss: DEV
⚙️Modern Assembly
**Edge‑Sensor Fusion for Real‑Time Safety Monitoring in Hydrogen Storage Tanks**
dev.to·3d·
Discuss: DEV
🌊Stream Processing
Show HN: ZigZag – A Bubble Tea-Inspired TUI Framework for Zig
github.com·3d·
Discuss: Hacker News
🧮Z3 Solver
Training language models on TPUs shouldn't be scary
dogac.dev·5d·
Discuss: Hacker News
🎯Emulator Accuracy
The Missing Layer
yagmin.com·5d·
Discuss: Hacker News
⚙️Proof Engineering
As Rocks May Think
evjang.com·6d·
Discuss: Hacker News, r/programming
📼Tape Combinators
Writing an LLM from scratch, part 32b -- Interventions: gradient clipping
gilesthomas.com·5d·
Discuss: Hacker News
📊Learned Metrics
Groverkss/mlir-tutor: Exercises for Learning MLIR (Originally written for PPoPP 2026)
github.com·5d·
Discuss: Hacker News, r/Compilers
🎵Audio ML
Why Is My Code So Slow? A Guide to Py-Spy Python Profiling
towardsdatascience.com·5d
📊Count-Min Sketch
Simple vanilla restaurant booking system
vanillife.substack.com·6d·
Discuss: Substack
🧬PostgreSQL Forensics
Time in C++: Closing Thoughts
sandordargo.com·6d·
Discuss: Hacker News
🎯Emulation Accuracy
The Null Pointer Crisis: Running God-Mode Software on Legacy Hardware
news.ycombinator.com·5d·
Discuss: Hacker News
🧪Hardware Fuzzing
I Am Not a Functional Programmer
blog.daniel-beskin.com·6d·
Discuss: Hacker News, r/programming
⚔️Lean Tactics
The Engineering Discipline That Made AI Actually Useful
multigres.com·5d·
Discuss: Hacker News
🏗️Compiler Archaeology
A digital game improves the mathematical performance of children with dyscalculia
phys.org·6d
🔲Cellular Automata
Wirth's Revenge
jmoiron.net·6d·
Discuss: Lobsters, Hacker News, Hacker News
⚡Incremental Computation
How not to program in Dyalog APL
toolofthought.com·6d·
Discuss: Lobsters, Hacker News
✅Format Verification
Double Maths First Thing: Issue 4A
aperiodical.com·6d
⚙️Proof Engineering

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