Computer Science

Feeds to Scour
SubscribedAll
Scoured 112 posts in 6.2 ms

Turing universal neural networks do not require global clocks

 🧮Algorithms  Content type: Academic
nature.com··Hacker News

FOD#155: Continual Learning in LLMs: Why AI Models Need Sleep

 Formal Methods
turingpost.com·

Generalizing LCL Complexity Gaps to Unbounded Degree via Monadic Second-Order Properties

 🧮Algorithms  Content type: Academic
arxiv.org·

Experts weigh in on Anthropic’s Fable 5, Mythos 5 releases

 Formal Methods
sdtimes.com·

Understanding Principal Component Analysis (PCA)

 🧮Algorithms  Content type: Blog
medium.com·

Security experts warn advanced AI is about to spark a hacking crisis for both crypto and banks

 Formal Methods  Content type: News
coindesk.com·

Design Reliable, Scalable Distributed Systems

 🌐Distributed Systems
fizzbee.io·

7 Days: "Enough is enough," Computex 2026, and the next trillion-dollar company

 🐧Linux
neowin.net·

The Best Math Movies: Lives Written on the Board

 🧮Algorithms
abakcus.com·

The Orchard Bug and the Unfolding Cybersecurity Reckoning

 Formal Methods  Content type: News  Content type: Blog

Turning Cloudflare’s threat indicators into real-time WAF rules

 🧮Algorithms  Content type: Blog

Puls Security | Lead Software Engineer (Distributed Systems / Security)

 🌐Distributed Systems  Content type: Discussion

rochus-keller/EXPRESS: A parser and code model for the ISO 10303 EXPRESS language with a lot more interesting stuff to come

 Formal Methods  Content type: Code
github.com··Hacker News

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

 Formal Methods
4sysops.com·

Fly Genetics Simplifies Mammalian Neurobiology Models

 🧮Algorithms
neurosciencenews.com·

Links 05/06/2026: More GAFAM Layoffs, Google Faces Regulatory Crackdown in UK Over Plagiarism in "AI" Clothing

 🧮Algorithms
techrights.org·

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

 Formal Methods
cointelegraph.com·

Quantum Walks on Simplicial Complexes and Harmonic Homology: Application to Topological Data Analysis with Superpolynomial Speedups

 🧮Algorithms  Content type: Academic
arxiv.org·

STITCH: Spatial Transcriptomics Imputation via Flow Matching with Internal Learning

 🧮Algorithms  Content type: Academic
biorxiv.org·

🔬Scaling Past Informal AI - Carina Hong, Axiom Math

 Formal Methods
latent.space··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