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
3743
posts in
83.3
ms
Mathematical Resolution of P vs NP through
Informational
Noise
Subtraction
and Linear O(n) Mapping
zenodo.org
·
5d
·
Discuss:
Hacker News
⚡
query optimization
I
Wrote
a
Scheme
in 2025
maplant.com
·
3d
·
Discuss:
Lobsters
,
Hacker News
⚙️
systems programming
AI Agents are shipping code
faster
than we can test
christopherhwood.com
·
3d
·
Discuss:
Hacker News
⚙️
systems programming
Rule
#1 for coding with AI agents
zknill.io
·
3d
·
Discuss:
Hacker News
⚙️
systems programming
Sid
Meier
's System for Real-Time Music Composition and Synthesis
patents.google.com
·
5d
·
Discuss:
Hacker News
🐫
ocaml
Manufacturing
as Code Is the Future, and the Future Is Now
blog.makerrepo.com
·
3d
·
Discuss:
Hacker News
⚙️
systems programming
I don't like
imports
kevincox.ca
·
2d
·
Discuss:
Hacker News
🐫
ocaml
Expectation
and
Copysets
buttondown.com
·
2d
·
Discuss:
Hacker News
,
Hacker News
⚙️
systems programming
CSCI
49201 - Functional Programming in
OCaml
a-nikolaev.github.io
·
6d
·
Discuss:
Hacker News
🐫
ocaml
the
mathematics
of
compression
in database systems
bitsxpages.com
·
2d
·
Discuss:
Hacker News
⚡
query optimization
Agent Systems Fail
Quietly
: Why
Orchestration
Matters More Than Intelligence
bnjam.dev
·
3d
·
Discuss:
Hacker News
⚙️
systems programming
what a software factory can
teach
creatives
about working with AI
codeforcreatives.com
·
3d
·
Discuss:
Hacker News
⚙️
systems programming
AI
Orchestrators
Decision
Table
gist.github.com
·
3d
·
Discuss:
Hacker News
⚙️
systems programming
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
·
5d
·
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
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