CS Theory

Feeds to Scour
SubscribedAll
Scoured 129 posts in 5.0 ms

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

 🔧Data Engineering  Content type: Academic
arxiv.org··Lobsters

Programming Languages Software Award

 💻Software Engineering
sigplan.org·

The Orchard Bug and the Unfolding Cybersecurity Reckoning

 🔀Version Control  Content type: News  Content type: Blog

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

 🗄️Big Data  Content type: Academic
nature.com·

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

 ⚙️MLOps  Content type: News  Content type: Blog

AI industry leaders urge Congress to regulate synthetic DNA to prevent bioweapons

 🌐Tech Industry
4sysops.com·

Performative prediction

 ⚙️MLOps
danmackinlay.name·

STITCH: Spatial Transcriptomics Imputation via Flow Matching with Internal Learning

 ⚙️MLOps  Content type: Academic
biorxiv.org·

The Birth of ‘Artificial Intelligence’

 ⚙️MLOps

On Architecture Research

 🔬Research
plugyawn.com·

New comment by wipaveeknecht in "Ask HN: Who is hiring? (June 2026)"

 💻Software Engineering  Content type: Discussion

Zcash teams propose Ironwood pool to restore supply verification after Orchard flaw

 🔧Data Engineering
cointelegraph.com·

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.

 ⚙️MLOps  Content type: Code
github.com··Hacker News

A New Post Quantum Cryptography Standard (Verification, etc. Included)

 🔧Data Engineering
zenodo.org··Hacker News

Sandholm Receives SIGecom Test of Time Award

 💻Software Engineering  Content type: Academic
cs.cmu.edu·

Asynchronous AI cuts computing energy by orders of magnitude while learning continuously

 ⚙️MLOps
techxplore.com·

On the Complexity of the Bi-infinite Post Correspondence Problem

 🗃️Databases  Content type: Academic
arxiv.org·

View from Bangladesh: India forcing people across the border is becoming a test of ties

 🔌API Design  Content type: News
scroll.in·

Using Ropes for Computation

 🔧Data Engineering

Programming Languages Course Reboot, 2026

 💻Software Engineering  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