Latest Corrections

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.”
2 corrections →
Wikipedia Oct 14, 2026 at 06:05 PM
en.wikipedia.org/wiki/Casualties_of_the_Russo-Ukrainian_war
  • This sentence drops a crucial qualifier from the CSIS source. CSIS said the monthly rate of Russian deaths in Ukraine was 25x Chechnya and 35x Afghanistan—not the total first-year death toll.
  • The officer figure is inconsistent with published Mediazona/BBC updates and the percentage is mathematically wrong. 7,656 out of 266,032 is about 2.9%, not 3.1%.
2 corrections →
Wikipedia Oct 14, 2026 at 05:58 PM
de.wikipedia.org/wiki/Seepferdchen
  • Hippocampus denise wurde 2003 beschrieben, nicht 2002.
  • Das ist keine allgemeingültige Tragzeit für Seepferdchen. Fachquellen geben meist etwa zwei bis vier Wochen an; die Dauer variiert je nach Art und Temperatur.
2 corrections →
Wikipedia Oct 14, 2026 at 05:32 PM
en.wikipedia.org/wiki/Riemann_series_theorem
  • The correct limit is ln(2√r), not ln(2r). The square root is essential.
1 correction →
X Oct 14, 2026 at 05:31 PM
x.com/8teAPi/status/2110124977811026220
  • These companies did not all come from the same kind of spinout. Slack, in particular, was not founded by a team leaving an employer to commercialize an internal tool; it was a pivot by Tiny Speck, the same company that built the tool.
1 correction →
Wikipedia Oct 14, 2026 at 05:30 PM
en.wikipedia.org/wiki/RJ_Mitte
  • The film title is misspelled here. RJ Mitte appeared in *River Runs Red* (singular “River”), not *Rivers Run Red*.
1 correction →
X Oct 14, 2026 at 05:12 PM
x.com/LamareSaint/status/2110146211067892130
  • The word "always" is inaccurate. In 1991, U.S. policy explicitly backed continued relations with the Soviet central government and publicly warned Ukrainians against pursuing independence, so Ukraine was not consistently treated as a tool for weakening Russia.
  • This overstates Brzezinski's point. He wrote that Ukraine's independence deprived Russia of its dominant position on the Black Sea, not of all access to it.
2 corrections →
Wikipedia Oct 14, 2026 at 04:51 PM
en.wikipedia.org/wiki/.kkrieger
  • The byte count is wrong. The original release notes state that 96 kB for .kkrieger means 98,304 bytes, not 97,280 bytes.
1 correction →
X Oct 14, 2026 at 04:33 PM
x.com/adampnathan/status/2110355487896256946
  • TAP was not yet part of Lufthansa Group on October 14, 2026. Portugal had only selected Lufthansa to buy a minority stake, while the state kept 50.1% and the deal still needed regulatory approval.
1 correction →
X Oct 14, 2026 at 04:31 PM
x.com/ChristopherJM/status/2110351159147778159
  • Reports on October 14, 2026 described a partial Starlink/Starshield restriction, not a full military cutoff. The reported change was a speed-based limit affecting some military-grade terminals in motion, while ordinary terminals remained operational.
1 correction →
X Oct 14, 2026 at 04:25 PM
x.com/airkatakana/status/2110370702515999229
  • GDPR non-compliance alone does not automatically create a damages claim. Under Article 82, a claimant must show actual material or non-material damage caused by the breach.
1 correction →
X Oct 14, 2026 at 03:55 PM
x.com/danbarker/status/2110151506989392355/photo/1
  • This misstates how the device was discovered. Prosecutors say OpenAI found the recorder first, and the room did not have a camera when it was installed; a camera was added later and only captured the employee returning to check behind the TV.
1 correction →
Wikipedia Oct 14, 2026 at 03:25 PM
pl.wikipedia.org/wiki/Helmut_Knochen
  • To nie zgadza się z dostępnymi źródłami o jego powojennym życiu. Po wyjściu na wolność pracował jako makler/agent ubezpieczeniowy w Offenbach, a co najmniej od 1963 r. mieszkał w Offenbach am Main, nie w Badenii.
  • Chronologia kary jest tu podana błędnie. W 1958 r. karę śmierci zamieniono na dożywocie; obniżenie jej do 20 lat ciężkich robót nastąpiło dopiero później, w 1959 r.
2 corrections →
Wikipedia Oct 14, 2026 at 03:22 PM
en.wikipedia.org/wiki/Bone
  • The red-blood-cell and platelet numbers here are far too low. Normal adult marrow produces about 200 billion red blood cells per day and about 100 billion platelets per day.
  • This is incorrect for skeletal maturity. By and after puberty, the carpal bones and the hand bones are ossified and their growth plates are closed, not still cartilaginous.
  • This mixes up T-scores and Z-scores. The WHO osteoporosis threshold is based on a T-score relative to a healthy young-adult reference population, not an age-matched average.
3 corrections →
X Oct 14, 2026 at 02:46 PM
x.com/ethanelasky/status/2110355334556729766
  • The public evidence links the activity to Tencent Cloud infrastructure, not to a specific Tencent "evaluation research team." The researchers' own report and subsequent coverage say the operator is unknown.
1 correction →
X Oct 14, 2026 at 12:02 PM
x.com/AISafetyMemes/status/2110228697131495894
  • Authoritative accounts describe a single trip/mission to Zaire, not “years in Africa.” Sources differ on some details, but they consistently characterize this as a one-off expedition rather than years spent there.
1 correction →
X Oct 14, 2026 at 11:52 AM
x.com/AISafetyMemes/status/2110228697131495894
  • This conflates two different Aum activities. Records describe a single 1992 trip to Zaire to seek Ebola, while the oft-cited "$30m" figure refers to Aum's separate Satyan 7 sarin production plant, not an Ebola campaign in Africa.
1 correction →
LessWrong Oct 14, 2026 at 09:16 AM
www.lesswrong.com/posts/STBuKAX9kkMJunErA/your-prompt-plus-e...
  • The comparison in the Unabomber case was reported between Kaczynski’s letters/documents and the published manifesto, not a college paper; the bomber’s nickname is also spelled “Unabomber.”
1 correction →
Wikipedia Oct 14, 2026 at 09:08 AM
en.wikipedia.org/wiki/Dari%C3%A9n_Gap
  • This mislocates Puerto Obaldía. Puerto Obaldía is a Caribbean border town in Guna Yala near Colombia, while the Gulf of Parita is on Panama’s Pacific coast in Herrera/Coclé, far from the Colombia border.
1 correction →
Wikipedia Oct 14, 2026 at 09:08 AM
pl.wikipedia.org/wiki/Dari%C3%A9n_(region)
  • To nie był początek planów. Oficjalne historie projektu pokazują, że formalne prace nad połączeniem przez Darién trwały już od początku lat 50., a w 1971 r. mówiono o przyspieszeniu istniejącego projektu, nie o jego pierwszym powstaniu.
  • To zniekształca sens raportów z lat 1994–1995. Opisy ówczesnego studium mówiły przede wszystkim o deforestacji, kolonizacji i zagrożeniu dla ekosystemu oraz ludów rdzennych; kwestia pryszczycy była odrębnym, wcześniejszym argumentem weterynaryjno-handlowym.
2 corrections →