Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
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
5465
posts in
16.3
ms
Formal
Verification: The Ultimate
Fitness
Function
lesswrong.com
·
9h
🔍
Formal Verification
Utterly
useless
yet fun sorting algorithms
github.com
·
31m
·
Discuss:
r/programming
🎯
Complexity Classes
An Exponential Separation between Deterministic
CDCL
and
DPLL
Solvers
arxiv.org
·
1d
🧩
SAT Solvers
Infinitely
many
primes
end in a 7
hidden-phenomena.com
·
1h
·
Discuss:
Hacker News
🔗
Curry-Howard
Data is Code (2016)
haskellforall.com
·
5h
·
Discuss:
Lobsters
🧮
Lambda Calculus
Are Large Language Models
Truly
Smarter
Than Humans?
arxiv.org
·
1d
📚
Automata Learning
Vector
, the Journal of the British
APL
Association
web.archive.org
·
13h
·
Discuss:
Hacker News
🧮
Lambda Calculus
In search of
falsehood
– using
Opus
4.6 to prove False
tristan.st
·
13h
·
Discuss:
Hacker News
📐
Hoare Logic
The AI
revolution
will be open
sourced
thenewstack.io
·
15h
🔬
Unikernels
The
Paxos
algorithm, when
presented
in plain English, is very simple
mydistributed.systems
·
1d
·
Discuss:
Lobsters
,
r/programming
🌲
CTL
An alternative
derivation
of
Shannon
entropy.
iczelia.net
·
10h
·
Discuss:
Hacker News
🧮
Lambda Calculus
Latent Reasoning
Sprint
#2: Token-Based Signals and Linear
Probes
lesswrong.com
·
5h
📚
Automata Learning
Adopting
AI in Local Government with Privacy and Equity in Mind: A Case Study of the City of
Oakland
usenix.org
·
13h
🛡️
Privacy Engineering
Math
in the AI Era
3quarksdaily.com
·
1d
·
Discuss:
Hacker News
🧠
Automated Reasoning
Bio-Sovereign
AI Infrastructure
loopchii.com
·
37m
·
Discuss:
r/programming
🖥️
Self-hosted Infrastructure
Optimization lessons from a
Minecraft
structure
locator
purplesyringa.moe
·
1d
·
Discuss:
Hacker News
🔲
Cellular Automata
The
joy
of
reading
the code
pdole.ga
·
1d
·
Discuss:
Lobsters
🎯
GADT
Polynomial
Time
Factoring
Algorithm
geohot.github.io
·
3d
·
Discuss:
Hacker News
🧮
Z3 Solver
Less-relevant results
The Talk Show: ‘The
Pogue
Feature’
daringfireball.net
·
10h
📺
Vintage Apple
DIY
Reflow
Plate
Runs On USB Power Delivery
hackaday.com
·
6h
🖥️
KVM
Loading...
Loading more...
Page 2 »
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