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
⏱️ Computational Complexity
P vs NP, NP-Complete, Time Complexity, Reducibility
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
9154
posts in
206.4
ms
Generalized
Decidability
via
Brouwer
Trees
arxiv.org
·
16h
🔢
Computability Theory
The Complexity of Bayesian Network Learning:
Revisiting
the
Superstructure
arxiv.org
·
16h
🎯
Hindley-Milner
Basic
Legibility
Protocols
Improve Trusted Monitoring
lesswrong.com
·
3h
🔒
Protocol Verification
A
Conceptual
Framework for Exploration
Hacking
lesswrong.com
·
5h
🐫
OCaml
I
benchmarked
4 CLI coding agents on an
NP-hard
optimization problem I solved by hand 8 years ago. One of them beat me.
charlesazam.com
·
6h
·
Discuss:
Hacker News
🧠
Automated Reasoning
Verified
developer
portfolios
using Code Complexity and AI
dev-proof-portfolio.vercel.app
·
1d
·
Discuss:
Hacker News
🔬
Static Analysis
Defining
Technologies
of Our Time: AI
aspendigital.org
·
1h
·
Discuss:
Hacker News
🧠
Automated Reasoning
The
calculus
tutorial just
shipped
!
minireference.com
·
5h
·
Discuss:
Hacker News
🔀
Brzozowski Derivatives
Exploring Chess
Positions
and
Counts
win-vector.com
·
1d
·
Discuss:
Hacker News
🎮
Verification Games
Self-Referential
Quantum Barriers for AGI
Containment
redact-app.com
·
1d
·
Discuss:
Hacker News
🩹
Self-Healing Systems
Python's Dynamic
Typing
Problem
whileforloop.com
·
2d
·
Discuss:
Hacker News
,
r/programming
🔀
Brzozowski Derivatives
Compare
up to 5 LLMs side-by-side, then
fuse
the best answers
llmcode.ai
·
2d
·
Discuss:
Hacker News
🧩
SAT Solvers
the
mathematics
of
compression
in database systems
bitsxpages.com
·
3d
·
Discuss:
Hacker News
🎯
GADT
The State of
Agentic
Graph
RAG
localoptimumai.substack.com
·
2d
·
Discuss:
Substack
🧩
Parser Combinators
Hackable
Software
blog.abdellatif.io
·
1d
·
Discuss:
Hacker News
🔬
Reverse Engineering
Faster
than
Dijkstra
?
systemsapproach.org
·
3d
·
Discuss:
Hacker News
📡
Network Protocol Design
How to Prove the
Correctness
of AI-Generated Code Using
Formal
Methods
adacore.com
·
2d
·
Discuss:
Hacker News
🤖
Program Synthesis
LLM Performance in
Astro
, React,
Tailwind
and Cloudflare
10xbench.ai
·
2d
·
Discuss:
Hacker News
👁️
System Observability
Large Language Models for
Mortals
book released
crimede-coder.com
·
2d
·
Discuss:
Hacker News
🎯
Hindley-Milner
The
Quest
for
Simplicity
prokeimenon.org
·
3d
·
Discuss:
Hacker News
📵
Digital Minimalism
Loading...
Loading more...
« Page 1
•
Page 3 »
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