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
9141
posts in
107.2
ms
Data
Reductions
for the Strong Maximum Independent Set Problem in
Hypergraphs
arxiv.org
·
18h
🎯
Complexity Classes
ChatGPT vs.
Logic
: Why AI Code is
Slower
dev.to
·
6d
·
Discuss:
DEV
🧠
Automated Reasoning
The Computational
Intractability
of Not Worst
Responding
arxiv.org
·
18h
📝
Weakest Precondition
(Re)
Discovering
Natural
Laws
lesswrong.com
·
1h
🎯
Hindley-Milner
The
Facade
of AI Safety Will
Crumble
lesswrong.com
·
7h
🩹
Self-Healing Systems
Extractional
AI as
Opposed
to Conversational AI
normain.com
·
2d
·
Discuss:
Hacker News
📚
Automata Learning
the
mathematics
of
compression
in database systems
bitsxpages.com
·
3d
·
Discuss:
Hacker News
🎯
GADT
Wikipedia
:AI or not
quiz
en.wikipedia.org
·
2d
·
Discuss:
Hacker News
✓
Automated Theorem Proving
lean-phys-community/PhysLean
: A project to
digitalise
results from physics into Lean.
github.com
·
2d
·
Discuss:
Hacker News
💎
Refinement Types
Computing large
Fibonacci
numbers
johndcook.com
·
4d
·
Discuss:
Hacker News
,
Hacker News
λ
Functional Programming
Expectation
and
Copysets
buttondown.com
·
3d
·
Discuss:
Hacker News
,
Hacker News
🔢
Algebraic Data Types
Geometrically
Allocated
Ads in AI Conversations
june.kim
·
2d
·
Discuss:
Hacker News
🕸️
Graph Theory
Multi-Dimensional
Computational
Library for Physics-Aware AI
splitfxm.com
·
2d
·
Discuss:
Hacker News
📐
Linear Algebra
Togelius
:
Math
and me
togelius.blogspot.com
·
3d
·
Discuss:
Hacker News
,
Hacker News
➡️
Category Theory
AI
Orchestrators
Decision
Table
gist.github.com
·
4d
·
Discuss:
Hacker News
🧠
Automated Reasoning
Oatmeal
-
Constraint
propagation for fun
eli.li
·
4d
·
Discuss:
Lobsters
,
Hacker News
🧮
SMT Solvers
Circumstantial
Complexity
, LLMs and Large Scale Architecture
datagubbe.se
·
3d
·
Discuss:
Hacker News
⚙
Operational Semantics
Show HN:
C-CMCP
–
Validated
AI development workflow with quality gates
news.ycombinator.com
·
3d
·
Discuss:
Hacker News
🧠
Automated Reasoning
The State of
Agentic
Graph
RAG
localoptimumai.substack.com
·
2d
·
Discuss:
Substack
🧩
Parser Combinators
AI
Follows
the 80/20
Rule
buchanan.one
·
3d
·
Discuss:
Hacker News
🧠
Automated Reasoning
Loading...
Loading more...
« Page 2
•
Page 4 »
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