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: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 communications by bouncing signals off the Moon(08:50) - Control structures in programming languages: from goto to algebraic effects(09:57) - Cloudflare scrubs Aisuru botnet from top domains list(11:03) - OutroStudy 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