Dependent Types: Universes, or types of types
(news.ycombinator.com)
10171.
10172.
Claude Sonnet Will Ship in Xcode
(news.ycombinator.com)
10174.
10175.
10176.
10177.
10178.
10179.
VLT observations of interstellar comet 3I/ATLAS II
(news.ycombinator.com)
10180.
I tested 15 cases for the Switch 2 and these are the best
(theverge.com)
10181.
Proton offers a new lifeline for when the unexpected happens
(androidauthority.com)
10183.
10184.
10185.
10186.
10187.
10190.
10191.
LLMs solving problems OCR+NLP couldn't
(news.ycombinator.com)
10192.
Prosper AI (YC S23) Is Hiring Founding Account Executives (NYC)
(news.ycombinator.com)
10194.
10195.
OpenRouter is down
(news.ycombinator.com)
10196.
The personhood trap: How AI fakes human personality
(arstechnica.com)
10197.
Canaries in the Coal Mine? Recent Employment Effects of AI [pdf]
(news.ycombinator.com)
10198.
Show HN: I built AI that turns 4 hours of financial analysis into 30 seconds
(news.ycombinator.com)
10199.
The Deletion of Docker.io/Bitnami
(news.ycombinator.com)
10200.
About Containers and VMs
(news.ycombinator.com)