Choreo: Choreograph Distributed Protocols on Quint
(quint-lang.org)
September 2025 Archive
13831.
13832.
How Do LLMs Work?
(gilesthomas.com)
13833.
Rust vs. Go
(blog.howardjohn.info)
13834.
13835.
Galactica, the doomed model launched two weeks before ChatGPT
(venturebeat.com)
13836.
13837.
How Yichao "Peak" Ji became a global AI app hitmaker
(technologyreview.com)
13838.
Terminals
(github.com)
13839.
Yay! Yogis Can Fly! (2004)
(vice.com)
13841.
13842.
13843.
Has Culture Overtaken Genes in Human Evolution?
(nautil.us)
13844.
Jane Austen's Playlist
(nytimes.com)
13845.
13846.
ctrl/tinycolor and 40+ NPM Packages Compromised
(stepsecurity.io)
13847.
13848.
Lyft and Waymo Launch Partnership in Nashville
(businesswire.com)
13849.
Edith Allonby: The Writer Who Courted Death for Her Novel
(amusingplanet.com)
13850.
13852.
13854.
Fired by the Post
(twitter.com)
13855.
13856.
Tap Code
(en.wikipedia.org)
13857.
13858.
Teardown of Apple 40W Dynamic Power Adapter with 60W Max (A3365)
(chargerlab.com)
13860.