Dependent Types: Universes, or types of types
(news.ycombinator.com)
24121.
24122.
A Deep Dive into Debian 13 /tmp: What's New, and What to Do If You Don't Like It
(news.ycombinator.com)
24123.
Claude Sonnet Will Ship in Xcode
(news.ycombinator.com)
24124.
Thirsty data centres boom in drought-hit Mexico
(feeds.bbci.co.uk)
24125.
24126.
Death by PowerPoint: the slide that killed seven people
(news.ycombinator.com)
24127.
24128.
24129.
24130.
24131.
24132.
AI adoption linked to 13% decline in jobs for young U.S. workers: study
(news.ycombinator.com)
24133.
A forgotten medieval fruit with a vulgar name (2021)
(news.ycombinator.com)
24134.
24135.
24136.
24137.
China is eating the world
(news.ycombinator.com)
24138.
Charting Form Ds to roughly see the state of venture capital “fund” raising
(news.ycombinator.com)
24139.
My startup banking story (2023)
(news.ycombinator.com)
24140.
Building your own CLI coding agent with Pydantic-AI
(news.ycombinator.com)
24141.
24142.
24143.
Google shares workarounds for auth failures on ChromeOS devices
(bleepingcomputer.com)
24144.
24145.
Colleges see significant drop in international students as fall semester begins
(news.ycombinator.com)
24146.
Mosh Mobile Shell
(news.ycombinator.com)
24147.
VLT observations of interstellar comet 3I/ATLAS II
(news.ycombinator.com)
24148.
24149.
24150.
There's a Stunning Financial Problem With AI Data Centers
(futurism.com)