🔍 Chip Verification - nmarshall · Scour

Formal verification of the S-two AIR

🔨Compilers Academic

Less-relevant results

Disturbance In Verification

semiengineering.com·

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

🔍Code Review Discussion

news.ycombinator.com··Hacker News

The Orchard Bug and the Unfolding Cybersecurity Reckoning

⛓️Blockchain News Blog

bengoertzel.substack.com··Substack

Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs

🔗Dependent Types

lix.polytechnique.fr·

ICYMI: May 2026 @AWS Security

☁️Cloud Computing Blog

aws.amazon.com·

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

🔨Compilers Code

github.com··Hacker News

🔬Scaling Past Informal AI - Carina Hong, Axiom Math

🤖Reinforcement Learning

latent.space··Hacker News

Abduction Prover in Isabelle/HOL

∀Lean4 Academic

Can AI answer open questions in physics?

🤖AI agents Blog

m-malinowski.github.io··Hacker News

Where the f*ck is the Excalidraw markup table?

🎨Generative Art News Blog

larkmatter.substack.com··Substack

SETI Panel Revises Recommendations for Dealing with 'Disclosure Day'

📣Gossip Protocols

universetoday.com··Hacker News

posix_spawn syscall added (2012)

💻Operating Systems Blog

blog.netbsd.org··Hacker News

It's good enough to ship Direction.Blog

🔧Software Engineering Blog

givedirection.com··Hacker News

No more posts from nmarshall's subscribed feeds.

Scour all 25255 feeds Learn more about Feeds

Log in to enable infinite scrolling