11.9.25 | AI evaluation weaknesses, I Am Mark Zuckerberg, Marko HTML-based language

Hacker News Highlights · Nov 9, 2025 · 11m

This is a recap of the top 10 posts on Hacker News on Nov 9, 2025.

Feel free to leave feedback on Github: https://github.com/denolfe/hacker-news-highlights

(00:00) - Intro

(00:19) - Study identifies weaknesses in how AI systems are evaluated

(01:29) - I Am Mark Zuckerberg

(02:22) - Marko – A declarative, HTML‑based language

(03:30) - Ironclad – formally verified, real-time capable, Unix-like OS kernel

(04:43) - Largest cargo sailboat completes first Atlantic crossing

(05:58) - Tabloid: The Clickbait Headline Programming Language

(06:54) - Avería: The Average Font (2011)

(07:56) - Open-source…