🧠 computer science - scour · Scour

a topos-oriented language with a content-addressed lattice heap

💻programming

yon-lang.org··Hacker News

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

zenodo.org··Hacker News

An Empirical Comparison of General Context-Free Parsers

🏗️software engineering Academic

arxiv.org··Hacker News

Ask HN: What has been the fate of code review?

🏗️software engineering Discussion

news.ycombinator.com··Hacker News

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

💻programming News Blog

leetarxiv.substack.com··Substack, r/programming

Turing universal neural networks do not require global clocks

🤖AI Academic

nature.com··Hacker News

Now available: Amazon EC2 M9g and M9gd instances powered by new AWS Graviton5 processors

🌐web development Blog

aws.amazon.com··Hacker News

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

🏗System Design Patterns Blog

blog.cloudflare.com··Hacker News

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.

🔌MCP Code

github.com··Hacker News

The Orchard Bug and the Unfolding Cybersecurity Reckoning

🔐Cybersecurity News Blog

bengoertzel.substack.com··Substack

CS107 Assignment 1: Reassemble

🖥️operating systems

web.archive.org··Hacker News

Where the f*ck is the Excalidraw markup table?

🤖Claude Code News Blog

larkmatter.substack.com··Substack

SETI Panel Revises Recommendations for Dealing with 'Disclosure Day'

🏗️software engineering

universetoday.com··Hacker News

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

🏗️software engineering Code

github.com··Hacker News

No more posts from scour's subscribed feeds.

Scour all 25257 feeds Learn more about Feeds

Log in to enable infinite scrolling