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

Study identifies weaknesses in how AI systems are evaluated
https://www.oii.ox.ac.uk/news-events/study-identifies-weaknesses-in-how-ai-systems-are-evaluated/
https://news.ycombinator.com/item?id=45856804

I Am Mark Zuckerberg
https://iammarkzuckerberg.com/
https://news.ycombinator.com/item?id=45863360

Marko – A declarative, HTML‑based language
https://markojs.com/
https://news.ycombinator.com/item?id=45858905

Ironclad – formally verified, real-time capable, Unix-like OS kernel
https://ironclad-os.org/
https://news.ycombinator.com/item?id=45860843

Largest cargo sailboat completes first Atlantic crossing
https://www.marineinsight.com/shipping-news/worlds-largest-cargo-sailboat-completes-historic-first-atlantic-crossing/
https://news.ycombinator.com/item?id=45859471

Tabloid: The Clickbait Headline Programming Language
https://tabloid.vercel.app/
https://news.ycombinator.com/item?id=45862470

Avería: The Average Font (2011)
http://iotic.com/averia/
https://news.ycombinator.com/item?id=45859243

Open-source communications by bouncing signals off the Moon
https://open.space/
https://news.ycombinator.com/item?id=45790672

Control structures in programming languages: from goto to algebraic effects
http://xavierleroy.org/control-structures/
https://news.ycombinator.com/item?id=45798068

Cloudflare scrubs Aisuru botnet from top domains list
https://krebsonsecurity.com/2025/11/cloudflare-scrubs-aisuru-botnet-from-top-domains-list/
https://news.ycombinator.com/item?id=45857836