Hacker News Highlights9 Nov 2025

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

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

Det här avsnittet är hämtat från ett öppet RSS-flöde och publiceras inte av Podme. Det kan innehålla reklam.

Avsnitt(593)

9.10.26 | iPhone Duo, Shopify acquires Tailwind, Visa and Mastercard card networks

This is a recap of the top 10 posts on Hacker News on Sep 10, 2026.Feel free to leave feedback on Github: https://github.com/denolfe/hacker-news-highlights(00:00) - Intro (00:16) - iPhone Duo (01:55) ...

10 Sep 13min

9.9.26 | Navier–Stokes Millennium Prize Problem, AlphaGenome Atlas human DNA map, house built for LAN parties 2024

This is a recap of the top 10 posts on Hacker News on Sep 9, 2026.Feel free to leave feedback on Github: https://github.com/denolfe/hacker-news-highlights(00:00) - Intro (00:14) - On the Navier–Stokes...

9 Sep 12min

9.8.26 | LG Spy TVs problem, Mistral raises €3B, Jellyfin 12.0

This is a recap of the top 10 posts on Hacker News on Sep 8, 2026.Feel free to leave feedback on Github: https://github.com/denolfe/hacker-news-highlights(00:00) - Intro (00:16) - 216M Spy TVs – The L...

8 Sep 14min

9.7.26 | Nitter and XCancel resume service, Keep Our Servers Running, Asahi Linux on M3

This is a recap of the top 10 posts on Hacker News on Sep 7, 2026.Feel free to leave feedback on Github: https://github.com/denolfe/hacker-news-highlights(00:00) - Intro (00:19) - Nitter and XCancel r...

7 Sep 13min

9.6.26 | Nitter has more instances, German rocket reaches orbit from Europe, Chrome exempts Google from data settings

This is a recap of the top 10 posts on Hacker News on Sep 6, 2026.Feel free to leave feedback on Github: https://github.com/denolfe/hacker-news-highlights(00:00) - Intro (00:15) - Nitter has more work...

6 Sep 13min

9.5.26 | OpenAI agent message board, Fermat's Last Theorem formalized, Chromium sandbox RCE exploited

This is a recap of the top 10 posts on Hacker News on Sep 5, 2026.Feel free to leave feedback on Github: https://github.com/denolfe/hacker-news-highlights(00:00) - Intro (00:18) - Discovery of a new O...

5 Sep 13min

9.4.26 | .name Termination, GPT-6 Astra, Any Human Ever life selection

This is a recap of the top 10 posts on Hacker News on Sep 4, 2026.Feel free to leave feedback on Github: https://github.com/denolfe/hacker-news-highlights(00:00) - Intro (00:19) - .name Termination (0...

4 Sep 14min

9.3.26 | Gemini 3.8 Flash and Cyber, Muse Spark 1.3, opt out of training data

This is a recap of the top 10 posts on Hacker News on Sep 3, 2026.Feel free to leave feedback on Github: https://github.com/denolfe/hacker-news-highlights(00:00) - Intro (00:19) - Gemini 3.8 Flash and...

3 Sep 13min