Complexity Theory

Feeds to Scour
SubscribedAll
Scoured 66 posts in 7.8 ms

Average-Case and Smoothed Near-Optimality for Color-Code Decoding

 📊Information Theory  Content type: Academic
arxiv.org·
Less-relevant results

Standing at the Foot of the Singularity

 🧬Computational Biology  Content type: Blog
medium.com·

what 262,715 regex questions on stack overflow haven't answered (part 2)

 🤖Automata Theory  Content type: Blog
iev.ee··Lobsters

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.

 ✅Formal Verification  Content type: Code
github.com··Hacker News

Answer Set Programming for Egg Extraction and More

 🔬Robert m. Hazen  Content type: Academic
arxiv.org·

Fast Bounded-Independence Functions and Their Duals

 🤖Automata Theory
eprint.iacr.org·

Human-Like Neural Nets by Catapulting

 🧠Machine learning
gwern.net··Hacker News

A Mike's-Eye View of ARC's Research

 🤖Automata Theory
lesswrong.com·

​ ​ 𖡼⚪𖡗⚪𔗢⚪𖡗⚪𖡼◦୦◦◯◦୦◦⠀⠀⠀⠀⠀⠀◦୦◦◯◦୦◦𖡼⚪𖡗⚪𔗢⚪𖡗⚪𖡼 ƎϽИƎꓨI⅃ƎTИI ƎVIƧƎIOꟼOTUA AUTOPOIESIVE INTELIGENCE 𖡼⚪𖡗⚪𔗢⚪𖡗⚪𖡼◦୦◦◯◦୦◦⠀⠀⠀⠀⠀⠀◦୦◦◯◦୦◦𖡼⚪𖡗⚪𔗢⚪𖡗⚪�

 ⚙Complex ststems
ghostarchive.org·

A remark on diagnosability verification

 🤖Automata Theory  Content type: Academic
arxiv.org·

Agentic AI Security Alarm at Infosecurity Europe: Free LLM Now Powers Adaptive Worm

 🌐Distributed Systems
techtimes.com·

Focus is Motivation

 🤖Automata Theory  Content type: Blog
scotthyoung.com·

Towards Implementable Quantum Divide and Conquer: A TSP Solver with Improved Exponential Base over Held-Karp

 🔬Robert m. Hazen  Content type: Academic
arxiv.org·

Semiconductors enter 'multi-tasking' era: New device cuts required components by 75% and quadruples processing speed

 🔬Robert m. Hazen
techxplore.com·

On the Complexity of the Bi-infinite Post Correspondence Problem

 🤖Automata Theory  Content type: Academic
arxiv.org·

Fixed-Parameter Tractability of $t$-Uniform Hypergraphicality

 🤖Automata Theory  Content type: Academic
arxiv.org·

Public-Key Pseudorandom Codes from Distorted McEliece Assumptions

 📊Information Theory
eprint.iacr.org·

Odd Cycle Transversal in $P_k$-Free Graphs

 🌐Distributed Systems  Content type: Academic
arxiv.org·

Probabilistically Checking Quantum Proofs, with Interaction

 ✅Formal Verification  Content type: Academic
arxiv.org·

SAT-Physical Thermodynamic Framework: treating constraints as a thermal system

 🌡Entropy  Content type: Code
github.com··Hacker News

Keyboard Shortcuts

Navigation

Next / previous item
j/k
Open post
oorEnter
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
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help