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
🔲 Cellular Automata
Cave Generation, Conway, Emergence, Procedural Content
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
8211
posts in
129.5
ms
Technical "
whitepaper
" for
afl-fuzz
lcamtuf.coredump.cx
·
17h
·
Discuss:
Lobsters
🔧
Unikernel Development
The
Slopacolypse
is here: Karpathy warns of "
Disuse
Atrophy" in 2026 workflows. Are we becoming high-level architects or just lazy auditors?
eu.36kr.com
·
1d
·
Discuss:
r/programming
🤖
Program Synthesis
Discovering
High Level Patterns from Simulation
Traces
arxiv.org
·
2d
📚
Automata Learning
Why You Don’t Believe in
Xhosa
Prophecies
lesswrong.com
·
5h
📐
Hoare Logic
Scaling World Model for
Hierarchical
Manipulation
Policies
arxiv.org
·
1d
🤖
Robotics
Stay in your human
loop
lesswrong.com
·
10h
📵
Digital Minimalism
SpaceMolt
: An
MMORPG
for AI to Play
blog.langworth.com
·
3d
·
Discuss:
Hacker News
🌐
ActivityPub
Game Boy
Snake
: A Complete
Implementation
in Assembly
4rknova.com
·
3d
·
Discuss:
Hacker News
💾
Retro Computing
The Simulation
Argument
Revisited
in a Functional Universe
d1gesto.blogspot.com
·
1d
·
Discuss:
Hacker News
🔢
Philosophy of Mathematics
The World's Most
Satisfying
Checkbox
notbor.ing
·
23h
·
Discuss:
Hacker News
📵
Digital Minimalism
Show HN: The
Algorithm
's Favorite Child
next.chatbotkit.com
·
16h
·
Discuss:
Hacker News
⏱️
Computational Complexity
“My
Optimistic
Vision for 2050”
scottaaronson.blog
·
15h
·
Discuss:
Hacker News
🩹
Self-Healing Systems
Issue 638
datascienceweekly.substack.com
·
12h
·
Discuss:
Substack
⏱️
Computational Complexity
Show HN:
Fighting
the War Against
Expensive
Reinforcement Learning
cadenza-landing-qtu7gbjwb-akshparekh123-3457s-projects.vercel.app
·
1d
·
Discuss:
Hacker News
🔀
Brzozowski Derivatives
We're in an
Exponential
augmentcode.com
·
18h
·
Discuss:
Hacker News
🔁
Fixed-Point Theory
Dear
Agent:
Prove
it.
rijnard.com
·
1d
·
Discuss:
Hacker News
🔍
Formal Verification
EyesOff
: Why Some Models
Quantize
Better Than Others
ym2132.github.io
·
1d
·
Discuss:
Hacker News
🧮
SMT Solvers
Verified
developer
portfolios
using Code Complexity and AI
dev-proof-portfolio.vercel.app
·
1d
·
Discuss:
Hacker News
🔬
Static Analysis
Are we
losing
our
sense
of "Quality" in the age of AI agents
mcradcliffe.substack.com
·
1d
·
Discuss:
Substack
📵
Digital Minimalism
The
benefit
of
AI-assisted
coding isn't just about coding faster
johnlindblad.substack.com
·
1d
·
Discuss:
Substack
🏃
Escape Analysis
Sign up or log in to see more results
Sign Up
Login
« Page 2
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