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
✅ formal methods
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
3750
posts in
53.7
ms
Expectation
and
Copysets
buttondown.com
·
3d
·
Discuss:
Hacker News
,
Hacker News
⚙️
systems programming
the
mathematics
of
compression
in database systems
bitsxpages.com
·
3d
·
Discuss:
Hacker News
⚡
query optimization
I
vibecoded
a production grade
internationalization
library in 2 days
sklivvz.com
·
3d
·
Discuss:
Hacker News
🔄
compilers
Context Is Part of the Game
joy.pm
·
4d
·
Discuss:
Hacker News
⚙️
systems programming
Oatmeal
-
Constraint
propagation for fun
eli.li
·
4d
·
Discuss:
Lobsters
,
Hacker News
⚡
query optimization
Controlled
Cot
: A
SystemLevel
Design for LLM's Reliable Reasoning
sruthipoddutur.substack.com
·
6d
·
Discuss:
Substack
⚙️
systems programming
Learning Rust:
Custom
Error
types
that actually work!
rup12.net
·
2d
·
Discuss:
Lobsters
,
Hacker News
🐫
ocaml
My Experience at the North American
Haskell
Hackathon
AmeriHac
thedeveloper101.github.io
·
3d
·
Discuss:
Hacker News
🔄
compilers
Testing software in the era of coding agents
garymm.org
·
3d
·
Discuss:
Hacker News
⚙️
systems programming
DSA
Interview Questions: What Really Gets Asked (and How to
Prepare
Smart)
dsa-interview-questions.pages.dev
·
3d
·
Discuss:
Hacker News
⚙️
systems programming
Railway
Oriented
Programming
fsharpforfunandprofit.com
·
6d
·
Discuss:
Hacker News
🐫
ocaml
The
Styx
Architecture for
Distributed
Systems (1999)
inferno-os.org
·
3d
·
Discuss:
Hacker News
⚙️
systems programming
OCapN
and
Structural
Authority in Agentic AI
serefayar.substack.com
·
3d
·
Discuss:
Substack
,
r/programming
⚙️
systems programming
Introduction to
Abject-Oriented
Programming (2007)
typicalprogrammer.com
·
4d
·
Discuss:
Hacker News
⚙️
systems programming
Opus
4.5 really
changed
things
kylerush.org
·
3d
·
Discuss:
Hacker News
⚙️
systems programming
Using Claude Code as a general agent
raahelbaig.com
·
3d
·
Discuss:
Hacker News
⚙️
systems programming
Enterprise AI Agent
Stack
: Agentic AI Architecture Where Context
Beats
Models
philippdubach.com
·
2d
·
Discuss:
Hacker News
⚙️
systems programming
Code only says what it does
brooker.co.za
·
4d
·
Discuss:
Hacker News
⚙️
systems programming
Turn any
codebase
into interactive, multi-level
documentation
revibe.codes
·
3d
·
Discuss:
Hacker News
⚙️
systems programming
Software
Factories
and the
Agentic
Moment
factory.strongdm.ai
·
5d
·
Discuss:
Hacker News
⚙️
systems programming
Loading...
Loading more...
« Page 6
•
Page 8 »
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