11.9.25 | AI evaluation weaknesses, I Am Mark Zuckerberg, Marko HTML-based language
Manage episode 518515071 series 3641526
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
299 ตอน