Skip to main content
Scour
Browse
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, Algorithm Analysis, Time Complexity, Big O
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
80787
posts in
565.6
ms
**Abstract:** This paper introduces a novel approach to augmenting automated theorem
provers
(
ATPs
) using hyperdimensional semantic encoding to improve logic...
freederia.com
·
9h
📋
Formal Verification
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Golang
vs Rust vs Python
dev.to
·
7h
·
Discuss:
DEV
🔗
Dependent Types
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
On the
Computational
Complexity of
Performative
Prediction
arxiv.org
·
17h
📊
Optimization
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Abdul Rahman
Sibahi
| Knuth's
Linebreaking
Algorithm for non-Programmers
blog.ar-ms.me
·
1h
🔗
Dependent Types
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
If it
compiles
, it is correct (almost): an introduction to Lean 4 for
ZK
systems and Engineering
blog.lambdaclass.com
·
5h
🔗
Dependent Types
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Analysis: The
Mathematics
Behind Pokemon Type
Combinations
news.ycombinator.com
·
15h
·
Discuss:
Hacker News
🎲
Game Theory
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
The
KNN
Algorithm
(№ 01)
wellactuarially.com
·
1d
📊
Optimization
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
TongGeometry
:
Proposing
and solving olympiad geometry with guided tree search
nature.com
·
2d
·
Discuss:
Hacker News
🔗
Dependent Types
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Python⇒Speed: Speeding up
NumPy
with
parallelism
pythonspeed.com
·
3h
🔗
Dependent Types
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
How to Build a
Recommendation
System at Scale: Insights from
Instacart
datatinkerer.io
·
1h
🔧
Data Engineering
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Fact checking
Moravec
's
paradox
normaltech.ai
·
23m
🤔
AI philosophy
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Opinion: Impact of AI on
Networking
Engineers
blog.ipspace.net
·
15h
💻
AI
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
From Pratt parsing to the
Dijkstra
shunting
yard
matklad.github.io
·
10h
·
Discuss:
Hacker News
🔗
Dependent Types
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
The Semantic Police: Stop or my
compiler
will prove a
theorem
kp9.in
·
3d
·
Discuss:
Hacker News
🔗
Dependent Types
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
The
difference
between "chaos" and "
randomness
"
tywkiwdbi.blogspot.com
·
1h
·
Discuss:
tywkiwdbi.blogspot.com
🌀
Complexity
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Pipelining
and
prefetching
: a 45% speedup story
sebastiano.tronto.net
·
1d
·
Discuss:
Hacker News
🔧
Data Engineering
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Learning to
Execute
paperium.net
·
8h
·
Discuss:
DEV
💻
AI
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
A
Bisimulation-Invariance-Based
Approach to the Separation of Polynomial Complexity Classes
arxiv.org
·
1d
🔗
Dependent Types
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Deploy Kimi
K2.5
on a Mac mini M4 Cluster and Call
Penligent.ai
: The Minimal Local-First Agentic Hacker Tutorial
penligent.ai
·
13h
·
Discuss:
Hacker News
💻
AI
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Anti-Work | AI Coding
Assistant
Comparison
glia.ca
·
15h
🎭
Anthropic Claude
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
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