Computer Science

Feeds to Scour
SubscribedAll
Scoured 91 posts in 6.9 ms

Complexity and Algorithms for Unary Translocation Distance

 📊Algorithms  Content type: Academic
arxiv.org·

Why Compiler Engineers Rarely Use Strassen's Algorithm for Fast Matrix Multiplications

 📊Algorithms  Content type: News  Content type: Blog

Book note: The Open Logic FOL texts

 🧮CS Theory  Content type: Blog
logicmatters.net·

Amazon partnership establishes Cornell AI security initiative

 🎓PhD Research  Content type: News  Content type: Academic
news.cornell.edu·

Links 11/06/2026: LF Openwashing of Slop and "Azerbaijan Bans TikTok and Other Social Media Apps in School"

 🧮CS Theory
techrights.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.

 📊Algorithms  Content type: Code
github.com··Hacker News

A Proof on the Computational Complexity of the Traveling Salesman Problem: Why P ≠ NP

 📊Algorithms
zenodo.org··Hacker News

A deep learning framework for emotion recognition in music using multimodal data fusion

 🧮CS Theory  Content type: Academic
nature.com·

Are Neural Networks Collision Resistant?

 📊Algorithms
link.aps.org·

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

 🧮CS Theory
lesswrong.com·

Issue 528

 🧮CS Theory
haskellweekly.news·

On Architecture Research

 🏗️Systems Design
plugyawn.com·

crafting with code: how architects reinvent making through robotics and digital fabrication

 📊Algorithms
designboom.com·

Programming Languages Software Award

 🧮CS Theory
sigplan.org·

Amazon S3 Doesn't Hope Hardware Won't Fail. It Assumes It Already Has.

 🌐Distributed Systems  Content type: Video
youtube.com··DEV

Human Judgment as a Specification

 🧮CS Theory  Content type: Blog
blog.brownplt.org·

The Birth of ‘Artificial Intelligence’

 🧮CS Theory

Quasi-linear Time Multiplication of Sparse Polynomials with Integer Coefficients

 📊Algorithms  Content type: Academic
arxiv.org·

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

 🧮CS Theory  Content type: News
developing.dev·

Programming Languages Course Reboot, 2026

 🧮CS Theory  Content type: Reference

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