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
9108
posts in
136.1
ms
Generalized
Decidability
via
Brouwer
Trees
arxiv.org
·
19h
🔢
Computability Theory
The Complexity of Bayesian Network Learning:
Revisiting
the
Superstructure
arxiv.org
·
19h
🎯
Hindley-Milner
models have some pretty
funny
attractor
states
lesswrong.com
·
2h
🔲
Cellular Automata
A
Conceptual
Framework for Exploration
Hacking
lesswrong.com
·
7h
🐫
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
·
9h
·
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
·
3h
·
Discuss:
Hacker News
🧠
Automated Reasoning
The
calculus
tutorial just
shipped
!
minireference.com
·
7h
·
Discuss:
Hacker News
🔀
Brzozowski Derivatives
Exploring Chess
Positions
and
Counts
win-vector.com
·
1d
·
Discuss:
Hacker News
🎮
Verification Games
BetaZero
V2: A Diffusion Model for Setting
Boulder
Problems
evmojo37.substack.com
·
1h
·
Discuss:
Substack
📐
Linear Algebra
Python's Dynamic
Typing
Problem
whileforloop.com
·
2d
·
Discuss:
Hacker News
,
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
Self-Referential
Quantum Barriers for AGI
Containment
redact-app.com
·
1d
·
Discuss:
Hacker News
🩹
Self-Healing Systems
Hackable
Software
blog.abdellatif.io
·
2d
·
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
Large Language Models for
Mortals
book released
crimede-coder.com
·
2d
·
Discuss:
Hacker News
🎯
Hindley-Milner
LLM Performance in
Astro
, React,
Tailwind
and Cloudflare
10xbench.ai
·
2d
·
Discuss:
Hacker News
👁️
System Observability
The
Quest
for
Simplicity
prokeimenon.org
·
3d
·
Discuss:
Hacker News
📵
Digital Minimalism
First
Proof
| Research-Level
Math
for AI Evaluation
1stproof.org
·
6d
·
Discuss:
Hacker News
✓
Automated Theorem Proving
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