November 2023 Archive
12122.
The Cocktail Revolution
(worksinprogress.co)
12123.
Microsoft Infrastructure – AI and CPU Custom Silicon Maia 100, Athena
(semianalysis.com)
12124.
The GHC typechecker is Turing-complete (2006)
(mail.haskell.org)
12125.
Apple exec defends 8GB $1,599 MacBook Pro, claims it's like 16GB in a PC
(theregister.com)
12126.
The Big TDD Misunderstanding
(linkedrecords.com)
12127.
RustGPT: My Journey Using Rust and HMTX for Web Dev
(bitswired.com)
12129.
Ad blocker Uninstall Increases Following YouTube Ban; All you need to know
(samrome58.substack.com)
12130.
12131.
A Cautionary Lesson from Non-Profit Organizations [pdf]
(scholarlycommons.law.case.edu)
12133.
Mystery of Egyptian treasures found buried in grounds of Scottish school
(theguardian.com)
12134.
Vogt resigns as CEO of Cruise following safety questions
(seattletimes.com)
12135.
SN Utils Browser Extension for ServiceNow
(github.com)
12136.
12137.
12138.
The Theory of Interstellar Trade [pdf] (1978)
(standupeconomist.com)
12139.
12140.
Sam Altman and Greg Brockman are joining Microsoft
(twitter.com)
12141.
Cruise CEO Kyle Vogt Resigns
(theverge.com)
12142.
Sam Altman and Greg Brockman Will Join Microsoft
(blogs.microsoft.com)
12143.
12144.
MPA Recognizes France, Italy and Philippines for Site Blocking Innovations
(torrentfreak.com)
12145.
OpenBSD: OpenIKED 7.3 Released
(undeadly.org)
12146.
Graphic Presentation (1939)
(archive.org)
12147.
Formalizing the proof of PFR in Lean4 using Blueprint
(terrytao.wordpress.com)
12148.
12149.
Sam Altman takes helm of Microsoft's new AI team following OpenAI departure
(timesofindia.indiatimes.com)
12150.
OpenAI's new CEO is Twitch co-founder Emmett Shear
(theverge.com)