Ironclad – formally verified, real-time capable, Unix-like OS kernel(ironclad-os.org)

247 points

I Am Mark Zuckerberg(iammarkzuckerberg.com)

234 points

Reverse engineering Codex CLI to get GPT-5-Codex-Mini to draw me a pelican(simonwillison.net)

65 points

Largest cargo sailboat completes first Atlantic crossing(www.marineinsight.com)

229 points

Marko – A declarative, HTML‑based language(markojs.com)

286 points

Runc breaks pods when CPU requests aren't multiples of 10(github.com)

24 points

Defeating Kaslr by Doing Nothing at All(googleprojectzero.blogspot.com)

26 points

Tabloid: The Clickbait Headline Programming Language(tabloid.vercel.app)

209 points

Forth – is it still relevant?(github.com)

28 points

Study identifies weaknesses in how AI systems are evaluated(www.oii.ox.ac.uk)

345 points

Search for something

Powered by Algolia

Or browse recents submissions

Or active discussions