rdtennent

Haken and co-author Kenneth Appel produced the first proof of the 4-color conjecture, using computers to verify portions. Haken died at his home in Illinois with many of his family in attendance for a celebration of a wedding of a granddaughter. His daughter, computer scientist Dorothea Blostein, reports that Haken was discussing mathematics with her via Zoom only 10 days ago.

The Globe and Mail reports that the Citizen Lab at the University of Toronto has analyzed the My2022 app that Olympians are required to install on their device and found that encryption protecting users' audio and file transfers can be sidestepped and that keywords such as Tiananmen can easily be censored. These flaws violate Google and Apple's App store guidelines as well as China's laws and standards.

The Canadian Olympic organizers have advised olympians to leave their devices at home but apparently olympians are being required to install the My2022 app on their devices.