Stories by mindcrime

Mornington Crescent

OpenGauss: An open source, state of the art autoformalization harness for Lean

A2A Protocol Ships v1.0: Production-Ready Standard for Agent-to-Agent

Cisco Donates Project CodeGuard to Coalition for Secure AI

David Shapiro - We Just Took the Dark Timeline [video]

Running a One Trillion-Parameter LLM Locally on AMD Ryzen AI Max+ Cluster

ArXiv preprint server clamps down on AI slop

AMD ROCm 7.2 Released

The Sandman – E.T.A. Hoffmann

AI and the Next Economy

Free Universal Construction Kit

Venture capital outlook for 2026: 5 key trends

A Message from AI Research Leaders: Join Us in Supporting OpenReview

Yale Shooting Problem

Intercepting Satellite Data with Trash – Gabe Emerson – SecretCon 2025 [video]

What Really Happens at Defcon ( @NetworkChuck) [video]

Index of /Ufocollect/UFO

Algebraic Curves: An Introduction to Algebraic Geometry. William Fulton [pdf]

Rule-Based Expert Systems: The Mycin Experiments (1984)

Amber and Valhalla – Incremental Design and Feature Arcs – Inside Java Podcast [video]

1 2 3 4 5 6 7 8 9 10