Skip to main content
Scour
Discover
Docs
Login
Sign Up
Discover
About
Docs
Changelog
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Back to article
Max Bernstein's blog
2w
2 weeks ago
Checking assembly with Z3
(opens in new tab)
Discussed on
Hacker News
and
Hacker News
Love
Like
Not for me
Save
|
|
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Feeds
Max Bernstein's blog
bernsteinbear.com
A survey of inlining heuristics
2w
2 weeks ago
Checking assembly with Z3
2w
2 weeks ago
Travel notes: RubyKaigi Hakodate
4w
4 weeks ago
Hacker News: Newest
hnrss.org
CTOs Agree: Cognitive Debt Is the New Technical Debt
30m
30 minutes ago
Form Before Data: The Real Bottleneck for Physical AI
1h
1 hour ago
Steve Gull's Challenge
1h
1 hour ago
+258 more in the past day
Hacker News: Newest
hnrss.org
Hidden Tunnels Dating Back to Henry VIII's Reign Were Discovered at This English Boarding School, Where the King Once Lived
34m
34 minutes ago
POSBox – Free Open Source Point of Sale System
35m
35 minutes ago
Building a Swarm of Telescopes to Find Life
39m
39 minutes ago
+373 more in the past day
linearizable's Likes
scour.ing
Passing DBs Through Continuations
2w
2 weeks ago
An ode to self-optimizing query plans
2w
2 weeks ago
Checking assembly with Z3
2w
2 weeks ago
jhash's Scour Feed Today (scouring all feeds)
scour.ing
5 DNS Servers Every Home Lab Should Know About (2026 Guide)
22h
22 hours ago
Temporary Cloudflare Accounts for AI agents
1d
1 day ago
Life is too short for lowercase ASCII
2d
2 days ago
+6 more in the past week
Keyboard Shortcuts
Navigation
Next / previous post
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s
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
Discover
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
Like
Save
Not for me
Report