Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
📐 Interval Arithmetic
Numerical Analysis, Verified Computing, Error Bounds, Precision
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
17868
posts in
420.6
ms
StabOp
: A Data-Driven
Stabilization
Operator for Reduced Order Modeling
arxiv.org
·
14h
✨
Effect Handlers
Algebraic
Robustness
Verification of Neural Networks
arxiv.org
·
1d
🔧
Hardware Verification
ChatGPT vs.
Logic
: Why AI Code is
Slower
dev.to
·
4d
·
Discuss:
DEV
🌊
Streaming Algorithms
NUASM
— Neuro‑Universal‑ASM: The World's First Native Multi‑Language
Assembler
dev.to
·
2d
·
Discuss:
DEV
⚙️
Modern Assembly
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
Taming the Flat AST:
Ergonomics
in the Age of Zero
Allocations
modern-c.blogspot.com
·
6d
·
Discuss:
Lobsters
,
Hacker News
,
r/golang
📝
Compiler Design
The Missing
Layer
yagmin.com
·
5d
·
Discuss:
Hacker News
⚙️
Proof Engineering
Writing an LLM from scratch, part
32b
-- Interventions: gradient
clipping
gilesthomas.com
·
5d
·
Discuss:
Hacker News
📊
Learned Metrics
As
Rocks
May Think
evjang.com
·
6d
·
Discuss:
Hacker News
,
r/programming
📼
Tape Combinators
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
Loading...
Loading more...
« Page 8
•
Page 10 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
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
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help