Hacker News Highlights

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


Listen Later

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

  • 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

    ...more
    View all episodesView all episodes
    Download on the App Store

    Hacker News HighlightsBy Hacker News Highlights