Theoretical Computer Science

Feeds to Scour
SubscribedAll
Scoured 72 posts in 38.5 ms

Show HN: TuringLLM – a LLM-powered Universal Turing machine

 💻CS  Content type: Code
github.com··Hacker News

Co-Creator of Haskell: Functional Programming, Thinking in Types, Useless Languages | Simon Jones

 🧬Functional Programming  Content type: News
developing.dev·

Fixed-Parameter Tractability of $t$-Uniform Hypergraphicality

 💻CS  Content type: Academic
arxiv.org·

Turing universal neural networks do not require global clocks

 💻CS  Content type: Academic
nature.com··Hacker News

When Types Intersect and Effects Get Handled

 💻Programming languages  Content type: Academic
arxiv.org·

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.

 ⚔️Lean Theorem  Content type: Code
github.com··Hacker News

Efficient Minimal Solvers for Visual-Inertial Relative Pose Estimation in Multi-Camera Systems

 💻CS  Content type: Academic
arxiv.org·

𝜇⁢𝜆⁢ϵ⁢𝛿-Calculus: A Self Optimizing Language that Seems to Exhibit Paradoxical Transfinite Cognitive Capabilities

 💻Programming languages  Content type: Academic
arxiv.org··Lobsters

Dimensionality Reduction for Cyberattack Classification: A Comparative Evaluation of PCA and Linear Predictive Coding

 📐Vector Dimensionality  Content type: Academic
arxiv.org·

Discovering Multiscale Deep Formulas in Complex Systems via Neural-Guided Lambda Calculus

 💻Programming languages  Content type: Academic
arxiv.org·

DBHN-Net: Dual-Branch Hybrid Neural Network For Low-Complexity Monaural Speech Enhancement

 💻CS  Content type: Academic
arxiv.org·

Odd Cycle Transversal in $P_k$-Free Graphs

 🕸️Graph Algorithms  Content type: Academic
arxiv.org·

Palindrome complexity versus factor complexity

 💻CS  Content type: Academic
arxiv.org·

Polynomial-time satisfiability for a special case of Positive$\wedge$Negative

 💻CS  Content type: Academic
arxiv.org·

Passive Learning of Symbolic Automata over Monotonic Algebras

 💻CS  Content type: Academic
arxiv.org·

Randomized separations in black-box TFNP

 💻CS  Content type: Academic
arxiv.org·

Bit-counting complexity classes

 💻CS  Content type: Academic
arxiv.org·

ATT-CR: Adaptive Triangular Transformer for Cloud Removal

 💻CS  Content type: Academic
arxiv.org·

Validation of graph databases against PG-Schema

 🕸️Neo4j  Content type: Academic
arxiv.org·

Correct-by-Construction Design of Timed Systems in Event-B

 💻CS  Content type: Academic
arxiv.org·

No more posts from matmat's subscribed feeds.

Scour all 25255 feedsLearn more about Feeds

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