Andrew Helwer personal blog

Google Groups has been left to die

ahelwer.ca published 2023-03-083 min read

Where should the formal methods community move?

Points

507

HN comments

294

Submissions

1

Cited by

0 commenters

Society, Policy & CultureWeb & Frontend2023

Related posts from the same era

Google Search Is Dying

DKB20223,636 points1,561 commentscited by 6 details

My First Impressions of Web3

Moxie Marlinspike20223,393 points1,127 commentscited by 54 details

Bing: “I will not harm you unless you harm me first”

Simon Willison20233,363 points1,673 commentscited by 6 details

Apple announces changes to iOS, Safari, and the App Store in the European Union

Apple Newsroom20242,108 points2,485 commentscited by 8 details

My students cheated... a lot

MMatt Crump20221,840 points1,402 comments details

Institutions try to preserve the problem to which they are the solution

Effectiviology20241,620 points1,125 comments details