Dependent Types: Universes, or types of types
(news.ycombinator.com)
5011.
5012.
The sisters “paradox” – counter-intuitive probability
(news.ycombinator.com)
5013.
Today’s hottest foldable phone deals come from Samsung and Motorola
(androidauthority.com)
5014.
Some thoughts on LLMs and software development
(news.ycombinator.com)
5015.
Affiliates Flock to ‘Soulless’ Scam Gambling Machine
(krebsonsecurity.com)
5016.
5017.
VLT observations of interstellar comet 3I/ATLAS II
(news.ycombinator.com)
5018.
PinePhone Pro [GNU/Linux smartphone] has been discontinued
(news.ycombinator.com)
5019.
5020.
This contentiously-thin, Galaxy Z Fold 7 competitor is now available in more regions
(androidauthority.com)
5021.
Honor’s Magic V5 foldable almost feels too thin
(engadget.com)
5022.
Google Debuts Device-Bound Session Credentials Against Session Hijacking
(news.ycombinator.com)
5023.
Investors are loving Lovable
(techcrunch.com)
5024.
The sisters "paradox" – counter-intuitive probability
(news.ycombinator.com)
5025.
Like Intel before it, AMD blames motherboard makers for burnt-out CPUs
(news.ycombinator.com)
5026.
Prosper AI (YC S23) Is Hiring Founding Account Executives (NYC)
(news.ycombinator.com)
5028.
OpenRouter is down
(news.ycombinator.com)
5029.
5030.
5031.
Canaries in the Coal Mine? Recent Employment Effects of AI [pdf]
(news.ycombinator.com)
5032.
Show HN: I built AI that turns 4 hours of financial analysis into 30 seconds
(news.ycombinator.com)
5033.
The Deletion of Docker.io/Bitnami
(news.ycombinator.com)
5034.
Today’s hottest foldable phones come from Samsung and Motorola
(androidauthority.com)
5035.
Your favorite e-ink sketchbook might be getting smaller
(androidauthority.com)
5036.
Yamanot.es: A music box of train station melodies from the JR Yamanote Line
(news.ycombinator.com)
5037.
5038.
Kiwi.com flight search MCP server
(news.ycombinator.com)
5039.
Unexpected productivity boost of Rust
(news.ycombinator.com)
5040.
Kiwi.com releases the first commercial Flight Search MCP server
(news.ycombinator.com)