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

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 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) - Outro

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