Latest Corrections

Wikipedia Oct 15, 2026 at 04:57 PM
en.wikipedia.org/wiki/If_Anyone_Builds_It,_Everyone_Dies
  • The page count is incorrect. Official/bibliographic records for this same hardcover ISBN list about 271–272 pages, not 256.
Wikipedia Oct 15, 2026 at 04:02 PM
en.wikipedia.org/wiki/Thinking_Machines_Lab
  • Thinking Machines Lab’s own release page says Inkling-Small launched on July 30, 2026, not July 31.
Wikipedia Oct 15, 2026 at 04:01 PM
en.wikipedia.org/wiki/Inkling_(large_language_model)
  • This overstates Inkling’s supported input modalities. Thinking Machines says Inkling accepts text, image, and audio inputs; video appears in the training data, but is not listed as a supported input format.
Wikipedia Oct 15, 2026 at 03:31 PM
en.wikipedia.org/wiki/2026_United_States_fuel_blockade_on_Cu...
  • Cuba announced the release of 51 prisoners, but contemporaneous reporting said it was not known whether any of them were political prisoners.
  • Reporting on April 3 said Cuba announced and began a 2,010-prisoner release; it did not show that more than 2,000 had already been released that day.
  • The tanker’s destination and docking point was Matanzas, not Havana.
  • Treasury did not issue a blanket license authorizing such sales. OFAC said it would apply a favorable policy to specific license applications.
Wikipedia Oct 15, 2026 at 03:13 PM
en.wikipedia.org/wiki/Ben_Simmons
  • The Clippers games-played figure is off by one: official NBA records show Simmons played 18 regular-season games for L.A. in 2024–25, not 17.
Wikipedia Oct 15, 2026 at 12:55 PM
en.wikipedia.org/wiki/Zizians
  • The hotel was in Chester, Pennsylvania, not in Philadelphia.
Wikipedia Oct 15, 2026 at 12:53 PM
de.wikipedia.org/wiki/Zizians
  • Das Datum ist falsch: Jack „Ziz“ LaSota wurde in Maryland am 16./17. Februar 2025 festgenommen, nicht im Januar 2025.
Substack Oct 15, 2026 at 12:49 PM
www.astralcodexten.com/p/ai-safety-is-not-a-corporate-plot
  • This is an anachronism: Anthropic was founded in early 2021, while ChatGPT was not introduced until November 30, 2022.
LessWrong Oct 15, 2026 at 12:47 PM
www.lesswrong.com/posts/9gqjdRyJxSM6kS7zi/i-trained-gpt-2-wi...
  • The uploaded per-step gradients and updates are not actually full. The dataset card says they omit the 155M-parameter `value_embeds` tensor to save space.
X Oct 15, 2026 at 09:50 AM
x.com/letonyo/status/2110640730637262863
  • This gets the history wrong: quantum error correction predates Kitaev’s toric code. QEC was already introduced in 1995–1996; the toric code is a later 1997 QEC code, not the invention of QEC itself.
Wikipedia Oct 15, 2026 at 08:32 AM
en.wikipedia.org/wiki/Budapest_Memorandum
  • The Budapest Memoranda were three parallel memoranda, not four. The separate French and Chinese assurances were different documents, not a fourth Budapest memorandum.
  • This misstates who signed the Budapest memoranda. The Belarus memorandum was signed by Belarus, Russia, the UK, and the US; the Ukraine memorandum was signed by Ukraine, Russia, the UK, and the US; and a parallel memorandum existed for Kazakhstan.
  • Article 42(7) is a clause of the Treaty on European Union, not of a separate 'European Defence Union.' EU sources describe it as the EU’s mutual assistance clause.
X Oct 15, 2026 at 08:25 AM
x.com/_lhermann/status/2110579454405657029
  • Anthropic did not say it runs 25 million CI jobs per day. Its engineering post says it performs about 25 million code checkouts per day for CI.
X Oct 15, 2026 at 07:51 AM
x.com/mfishbein/status/2110341303028383919
  • micro1’s own materials describe a $1 billion data-acquisition commitment, not “billions,” and say companies retain ownership of their data rather than micro1 buying and reselling the underlying datasets to labs.
Wikipedia Oct 15, 2026 at 06:58 AM
en.wikipedia.org/wiki/Nitrokey
  • This blanket statement is too broad. Nitrokey’s own support and documentation say some Nitrokey products rely on closed-source secure elements or smart-card firmware.
  • Nitrokey’s own announcement says the first four models were already available for order on September 1, 2015, not September 18, 2015.
Wikipedia Oct 15, 2026 at 02:29 AM
ja.wikipedia.org/wiki/%E5%9D%AA%E5%80%89%E7%94%B1%E5%B9%B8#%...
  • 坪倉進弥氏の現職は横浜F・マリノスのU-15監督ではありません。クラブ公式サイトでは現在「アカデミーダイレクター」として掲載されています。
Wikipedia Oct 15, 2026 at 12:32 AM
en.wikipedia.org/wiki/Ben_Simmons
  • This games-played total for Simmons’ 2024–25 Clippers stint is off by one. Official NBA sources show he finished 2024–25 with 51 regular-season appearances total, which means 18 with the Clippers after 33 with Brooklyn.
X Oct 14, 2026 at 08:05 PM
x.com/HMDatMI/status/2110176464746291596
  • Cornell did not suspend all fraternity social events across the university. Its October 13, 2026 directive applies specifically to parties and social events in Interfraternity Council (IFC) houses.
Wikipedia Oct 14, 2026 at 08:03 PM
de.wikipedia.org/wiki/Rechenzentrum
  • The Stratos project is described by Utah and Box Elder County materials as roughly 40,000 acres, not 400,005 acres. The hectare figure in the article is likewise off by about a factor of ten.
  • This is not an exhaustive list of Blue Angel-certified data centers. Official Blue Angel pages show additional certified facilities, including TechniData and YEXIO Heiligenhaus.
LessWrong Oct 14, 2026 at 07:09 PM
www.lesswrong.com/posts/sSHbioPoHWtm4zuti/openai-can-t-self-...
  • This overstates the role of outside investigators. Some later incidents became public through government or OpenAI disclosures, not only through independent external forensics.
LessWrong Oct 14, 2026 at 06:58 PM
www.lesswrong.com/posts/zHhGa3iQBQcdSifFL/a-critical-look-at...
  • Leo de Moura’s follow-up posts do not report “seven more bugs in the kernel.” His August 1 post lists six additional kernel PRs, and the later August 24 post separately breaks issues into kernel soundness bugs, runtime exploits, and other bug/hardening PRs.
  • That absolute claim is contradicted by public Lean projects and by Leo de Moura’s own postmortem. There are public abstract specifications and model-based checkers for Lean, and Lean’s creator explicitly wrote that the inductive constructions are “well understood.”