CS Concepts

Feeds to Scour
SubscribedAll
Scoured 134 posts in 17.9 ms

Lightweight metal surface defect detection algorithm based on pruning and knowledge distillation

 🔒Digital Privacy  Content type: Academic
nature.com·

Toward a Kantian refutation of Agent Foundations

 🕹️Game Dev
lesswrong.com·

Architect Labs nabs $24M to speed up chip design projects with AI

 🕹️Game Dev
siliconangle.com·

A comparison of contact patterns derived from the population structure in agent-based models and empirical contact survey data

 🕹️Game Dev
journals.plos.org·

Looking for a cryptography audit? Here's where to go

 🔒Digital Privacy
cryptologie.net·

Computing Twin-Width via Treedepth and Vertex Integrity

 🔒Digital Privacy  Content type: Academic
arxiv.org·

Cadence ChipStack AI Super Agent Achieves Full Autonomy For Chip Development

 🕹️Game Dev
pokde.net·

AWS rolls the dice for faster, more efficient networking

 📰Indie Web  Content type: News

Pramaana Labs raised $27M to wrap AI in mathematical proof for law, tax, and drug discovery

 🕹️Game Dev  Content type: News
thenextweb.com·

Links 18/06/2026: UK Social Media Ban for Minors, Finland Lifts a Nuclear Weapons Ban

 📰Indie Web
techrights.org··Covers 6 stories

A Lean 4-verified Balansis lib to eliminate NaN and make zero-division safe

 🌐Open Source  Content type: Code
github.com··Hacker News

Papers from the Lost Culture of Array Languages (2011)

 💻Software Dev

"AF needs empirical grounding" is a meaningless valley of compromise

 🕹️Game Dev
lesswrong.com·
Less-relevant results

Perplexity's Bumblebee, Evading Cloud Logging, AI Vuln Hunting Spec

 🔒Digital Privacy
tldrsec.com··Covers 8 stories

Linear Thinking, Nonlinear Costs

 💻Software Dev  Content type: Blog
oreilly.com·

The French School of Programming

 💻Software Dev  Content type: Academic  Content type: Reference

Learning Alternating Real-Time Automata

 🕹️Game Dev  Content type: Academic
arxiv.org·

Allstate explores quantum computing for insurance portfolios

 🔒Digital Privacy
ibm.com·

A Unified Operator Framework for Resolving Contradictions Across Domains

 🕹️Game Dev
zenodo.org··Hacker News

Reproducing a String Theory Vacuum in Rust

 🌐Open Source
madebynathan.com·

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