November 2023 Archive
12121.
Former OpenAI boss Sam Altman pictured at firm's HQ amid reports of return (bbc.com)
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)
12128.
12129.
Ad blocker Uninstall Increases Following YouTube Ban; All you need to know (samrome58.substack.com)
12130.
Xerion: Out of Stealth Mode with a Major Battery Breakthrough (forbes.com)
12131.
A Cautionary Lesson from Non-Profit Organizations [pdf] (scholarlycommons.law.case.edu)
12132.
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.
Sam Altman was fundraising in the Middle East for a new chip venture (fortune.com)
12137.
Architecture Patterns: Command Query Responsibility Segregation (CQRS) (lab.scub.net)
12138.
The Theory of Interstellar Trade [pdf] (1978) (standupeconomist.com)
12139.
Show HN: New Launch OrionStar-Yi-34B-Chat beats Llama2-70B and GPT-3.5-turbo (huggingface.co)
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.
Mobslide: Open-source software to turn your smartphone into presentation remote (github.com)
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.
Jactl – a scripting language for real-time Java applications (jactl.io)
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)