Latest Corrections

Wikipedia Jul 20, 2026 at 09:23 AM
en.wikipedia.org/wiki/Currying
  • This is false. Heyting algebras are already distributive, but distributivity does not make them Boolean; for example, the Sierpiński topology is a distributive Heyting algebra that is not Boolean.
Wikipedia Jul 20, 2026 at 08:56 AM
en.wikipedia.org/wiki/Currying
  • This is incorrect because Heyting algebras are already distributive by definition, but they are not generally Boolean. A Heyting algebra is Boolean only under extra conditions such as the law of excluded middle.
Wikipedia Jul 20, 2026 at 07:18 AM
en.wikipedia.org/wiki/Oasis_(band)
  • This reverses who replaced whom. Gem Archer replaced guitarist Paul "Bonehead" Arthurs, while Andy Bell replaced bassist Paul "Guigsy" McGuigan.
  • This is outdated. Oasis reached No. 1 again in 2024, when the 30th-anniversary edition of Definitely Maybe returned to the top of the Official Albums Chart.
  • Official BRITs sources indicate Oasis won 6 BRIT Awards as a band. Noel Gallagher's 2026 Songwriter of the Year award was an individual honor, not a seventh Oasis band win.
  • Official BRITs records show Oasis won 6 BRIT Awards as a band, not 7. Noel Gallagher's 2026 Songwriter of the Year was an individual award.
Wikipedia Jul 20, 2026 at 06:46 AM
en.wikipedia.org/wiki/Hamad_bin_Khalifa_Al_Thani
  • This date is wrong: Qatar Investment Authority was established in 2005, not 2013.
  • Qatar was not the first Gulf state to give women voting rights; Oman did so earlier, in 1994.
  • This is outdated and inaccurate: Kahlil Gibran’s The Prophet was released in 2014, so it is not an “upcoming” film.
  • This was not the first Gulf attempt at dialogue with Israel; Oman had established dialogue in 1993 and hosted Israeli Prime Minister Yitzhak Rabin in 1994, and Qatar itself established trade ties with Israel in 1996.
Wikipedia Jul 20, 2026 at 06:45 AM
en.wikipedia.org/wiki/Neo_language
  • Neo predates 1961. A Neo manual by Arturo Alfandari is dated October 1, 1937, so 1961 is a later publication milestone rather than the language's original date.
Wikipedia Jul 20, 2026 at 06:37 AM
en.wikipedia.org/wiki/Main_Page
  • Apollo 11’s moonwalk lasted more than 2.5 hours in total, but Armstrong and Aldrin were not together outside for 2.25 hours.
Wikipedia Jul 20, 2026 at 05:48 AM
zh.wikipedia.org/wiki/%E5%A8%81%E5%88%A9%E8%BD%AC%E5%86%99
  • Wylie 转写确实避免变音符号,但并不只靠 26 个拉丁字母。标准 Wylie 还要用标点符号,如撇号(')和点号(.)来区分不同拼写。
Wikipedia Jul 20, 2026 at 04:31 AM
en.wikipedia.org/wiki/Closed_city
  • Lokomotivny is no longer a closed administrative-territorial formation; its ZATO status was abolished effective January 1, 2017.
  • Mikhaylovsky is no longer a ZATO; the closed administrative-territorial formation was abolished effective January 1, 2019.
  • Shikhany stopped being a ZATO in 2019 after a presidential decree abolished its closed-city status.
Wikipedia Jul 20, 2026 at 04:06 AM
en.wikipedia.org/wiki/Assassination_of_Andrei_Karlov
  • The shooting did not happen at 20:15. Multiple Turkish reports based on the investigation place the assassination at about 19:05 local time.
Wikipedia Jul 20, 2026 at 04:03 AM
en.wikipedia.org/wiki/Mass_media_in_Albania#Media_capture_an...
  • AKEP does not issue a general permit for creating a website. Its official role is regulating electronic communications and postal services, and its website-registration page refers to registering .al domain names, not permitting websites in general.
  • This gets AMA’s composition wrong. Albania’s audiovisual regulator has seven members in total, not five.
  • This names the wrong regulator. The National Council of Radio and Television was replaced by the Audiovisual Media Authority (AMA), and current ownership-change notifications are submitted to AMA.
  • This is too categorical and is wrong for audiovisual media providers. Current AMA rules explicitly rely on the National Business Center’s commercial register and require commercial-register extracts for ownership changes.
  • This is outdated. Official Albanian regulator sources describe the analogue-to-digital TV transition as completed, not stalled.
LessWrong Jul 20, 2026 at 03:59 AM
www.lesswrong.com/posts/3RfJLcmkztSTq9afc/demis-hassabis-on-...
  • Demis Hassabis is not the CEO of Google. He is the co-founder and CEO of Google DeepMind; Google and Alphabet are led by Sundar Pichai.
Wikipedia Jul 20, 2026 at 03:41 AM
en.wikipedia.org/wiki/Main_Page
  • Apollo 11’s moonwalk lasted more than 2.5 hours in total, but Armstrong and Aldrin were not together outside for 2.25 hours.
Wikipedia Jul 20, 2026 at 02:57 AM
en.wikipedia.org/wiki/Main_Page
  • Apollo 11’s moonwalk lasted more than 2.5 hours in total, but Armstrong and Aldrin were not together outside for 2.25 hours.
Wikipedia Jul 20, 2026 at 02:23 AM
en.wikipedia.org/wiki/Intel_MCS-48
  • The 8049 had 27 I/O lines, not 27 separate I/O ports.
  • These MCS-48 parts were specified with 27 I/O lines, not 27 I/O ports.
  • The 8748 and 8749 had one 8-bit timer/event counter, not two.
Wikipedia Jul 20, 2026 at 01:27 AM
en.wikipedia.org/wiki/Leading_Ladies_of_Entertainment
  • This overstates the timing of the honors: not all Leading Ladies honorees were recognized during Latin GRAMMY Week.
Wikipedia Jul 20, 2026 at 01:02 AM
en.wikipedia.org/wiki/Werner_Koch
  • GnuPG was first released in 1997, not 1999. September 7, 1999 was the release of version 1.0.0, the first production version.
Wikipedia Jul 20, 2026 at 01:01 AM
en.wikipedia.org/wiki/Daniel_Stenberg
  • Stenberg says he started working for Mozilla in January 2014, not 2013. He left in December 2018, so the Mozilla employment period was 2014–2018.
Wikipedia Jul 20, 2026 at 12:49 AM
en.wikipedia.org/wiki/Main_Page
  • The footballer’s name is Karim Benzema, not “Karin Benzema.”
  • Apollo 11’s moonwalk lasted more than 2.5 hours in total, but Armstrong and Aldrin were not together outside for 2.25 hours.
Wikipedia Jul 20, 2026 at 12:04 AM
en.wikipedia.org/wiki/Central_Cee
  • This record claim is incorrect. “BAND4BAND” peaked at No. 18 on the Billboard Hot 100, but Tinie Tempah’s “Written in the Stars” peaked higher, at No. 12.
  • The release date here is wrong. “ALL ROADS LEAD HOME” was released on March 27, 2026, not March 19, 2026.
Wikipedia Jul 19, 2026 at 09:12 PM
de.wikipedia.org/wiki/Sophie-Barat-Schule
  • The article lists the wrong current school leader. The Sophie-Barat-Schule now identifies Manuel Bierbaß as Schulleiter.
  • The listed student count is outdated. The school carrier's current profile gives the Sophie-Barat-Schule a student body of about 930, not 1,028.