Top stories today

Wednesday, August 19, 2026

• Palomar: A registry of Lean verified mathematics

  terrytao.wordpress.com Aug 19, 2026

• Lucid's new 1,070-hp SUV aims to change the American luxury game

  New Atlas Aug 19, 2026

• Meta's blockbuster trial draws parallels to big tobacco

  economist.com Aug 19, 2026

• OpenLogi

  openlogi.org Aug 19, 2026

• That Disgraceful, Disreputable, (Wonderful) Form of Punctuation: The Parenthesis

  lithub.com Aug 19, 2026

• Tiny satellite will use the dark side of the Moon as a shield

  cam.ac.uk Aug 19, 2026

• New paper shows that 37% of workers in US saw real wages decline from 2021-2024 [pdf]

  bfi.uchicago.edu Aug 19, 2026

• Scientists stunned by children's lung recovery in ultra low emission zone

  bbc.com Aug 19, 2026

• Cerebras CS-4

  cerebras.ai Aug 19, 2026