Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Complexity Theory
🧮 Complexity Theory
NP-Completeness, Computational Complexity, P vs NP
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
105
posts in
9.1
ms
The Future Is Undecidable. Duty Is Not.
➗
math
Content type:
Blog
dhanjit.me
·
2d
2 days ago
·
Hacker News
Actions for The Future Is Undecidable. Duty Is Not.
Average-Case and Smoothed Near-Optimality for Color-Code Decoding
⚙️
Algorithms
Content type:
Academic
arxiv.org
·
18h
18 hours ago
Actions for Average-Case and Smoothed Near-Optimality for Color-Code Decoding
TiruArt/Pedigree-Polytopes-Lean4: Lean 4
machine-verified
proof that Membership Problem for Pedigree Polytopes, M3P ∈ P and P =
NP
via properties of Pedigree Polytopes.
➗
math
Content type:
Code
github.com
·
5d
5 days ago
·
Hacker News
Actions for TiruArt/Pedigree-Polytopes-Lean4: Lean 4 machine-verified proof that Membership Problem for Pedigree Polytopes, M3P ∈ P and P = NP via properties of Pedigree Polytopes.
crafting with code: how architects reinvent making through robotics and digital fabrication
✍️
Prompt Engineering
designboom.com
·
1d
1 day ago
Actions for crafting with code: how architects reinvent making through robotics and digital fabrication
Infinite precision intermediate arithmetic: how much would break?
λ
Functional Programming
internals.rust-lang.org
·
2d
2 days ago
·
Hacker News
Actions for Infinite precision intermediate arithmetic: how much would break?
Less-relevant results
A Mike's-Eye View of ARC's Research
🤖
AI
lesswrong.com
·
1d
1 day ago
Actions for A Mike's-Eye View of ARC's Research
Links 05/06/2026: More GAFAM Layoffs, Google Faces Regulatory Crackdown in UK Over Plagiarism in "AI" Clothing
🕸️
Network Effects
techrights.org
·
5d
5 days ago
Actions for Links 05/06/2026: More GAFAM Layoffs, Google Faces Regulatory Crackdown in UK Over Plagiarism in "AI" Clothing
Sim2Schedule: A Simulator-Guided LLM Framework for Autonomous Open-Pit Mine Scheduling
💬
LLMs
Content type:
Academic
arxiv.org
·
18h
18 hours ago
Actions for Sim2Schedule: A Simulator-Guided LLM Framework for Autonomous Open-Pit Mine Scheduling
what 262,715 regex questions on stack overflow haven't answered (part 2)
🔗
Concatenative Languages
Content type:
Blog
iev.ee
·
2d
2 days ago
·
Lobsters
Actions for what 262,715 regex questions on stack overflow haven't answered (part 2)
Standing at the Foot of the Singularity
🔬
Anthropic
Content type:
Blog
medium.com
·
2d
2 days ago
Actions for Standing at the Foot of the Singularity
𖡼⚪𖡗⚪𔗢⚪𖡗⚪𖡼◦୦◦◯◦୦◦⠀⠀⠀⠀⠀⠀◦୦◦◯◦୦◦𖡼⚪𖡗⚪𔗢⚪𖡗⚪𖡼 ƎϽИƎꓨI⅃ƎTИI ƎVIƧƎIOꟼOTUA AUTOPOIESIVE INTELIGENCE 𖡼⚪𖡗⚪𔗢⚪𖡗⚪𖡼◦୦◦◯◦୦◦⠀⠀⠀⠀⠀⠀◦୦◦◯◦୦◦𖡼⚪𖡗⚪𔗢⚪𖡗⚪�
🎯
AI Agents
ghostarchive.org
·
6d
6 days ago
Actions for 𖡼⚪𖡗⚪𔗢⚪𖡗⚪𖡼◦୦◦◯◦୦◦⠀⠀⠀⠀⠀⠀◦୦◦◯◦୦◦𖡼⚪𖡗⚪𔗢⚪𖡗⚪𖡼 ƎϽИƎꓨI⅃ƎTИI ƎVIƧƎIOꟼOTUA AUTOPOIESIVE INTELIGENCE 𖡼⚪𖡗⚪𔗢⚪𖡗⚪𖡼◦୦◦◯◦୦◦⠀⠀⠀⠀⠀⠀◦୦◦◯◦୦◦𖡼⚪𖡗⚪𔗢⚪𖡗⚪�
Guidance For AI Startups In 2026
💬
LLMs
forbes.com
·
1d
1 day ago
Actions for Guidance For AI Startups In 2026
Human-Like Neural Nets by Catapulting
💬
LLMs
gwern.net
·
3d
3 days ago
·
Hacker News
Actions for Human-Like Neural Nets by Catapulting
The AI Agent Reckoning (2026): Why Most Agents Fail in Production, and What Actually Makes Them…
🎯
AI Agents
Content type:
Blog
medium.com
·
2d
2 days ago
Actions for The AI Agent Reckoning (2026): Why Most Agents Fail in Production, and What Actually Makes Them…
Answer Set Programming for Egg Extraction and More
🔗
Concatenative Languages
Content type:
Academic
arxiv.org
·
18h
18 hours ago
Actions for Answer Set Programming for Egg Extraction and More
The SEI CERT Coding Standard for Fortran | CMU Software Engineering Institute
💻
Programming Languages
Content type:
Academic
Content type:
Blog
sei.cmu.edu
·
1d
1 day ago
Actions for The SEI CERT Coding Standard for Fortran | CMU Software Engineering Institute
Turning Cloudflare’s threat indicators into
real-time
WAF rules
🔐
Hardware Security
Content type:
Blog
blog.cloudflare.com
·
2d
2 days ago
·
Hacker News
Actions for Turning Cloudflare’s threat indicators into real-time WAF rules
Focus is Motivation
λ
Functional Programming
Content type:
Blog
scotthyoung.com
·
6d
6 days ago
Actions for Focus is Motivation
7 Days: "Enough is enough,"
Computex
2026, and the next trillion-dollar company
🤖
Machine Learning
neowin.net
·
2d
2 days ago
Actions for 7 Days: "Enough is enough," Computex 2026, and the next trillion-dollar company
Generalizing LCL
Complexity
Gaps to Unbounded Degree via Monadic Second-Order Properties
⚙️
Algorithms
Content type:
Academic
arxiv.org
·
18h
18 hours ago
Actions for Generalizing LCL Complexity Gaps to Unbounded Degree via Monadic Second-Order Properties
« Page 1
·
Page 3 »
Log in to enable infinite scrolling
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
Save / unsave
s
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