Conversation

Notices

1. Embed this notice
   :blobcathug: (jain@blob.cat)'s status on Wednesday, 24-Jan-2024 07:12:30 JST :blobcathug:

   in reply to

   • :anne_triangle: Anne, blessed by the Tiger God :neocat_floof:
   @Vierkantor :blobcatgooglynotlikethis:
   • Embed this notice
     :anne_triangle: Anne, blessed by the Tiger God :neocat_floof: (vierkantor@mastodon.vierkantor.com)'s status on Wednesday, 24-Jan-2024 07:12:32 JST :anne_triangle: Anne, blessed by the Tiger God :neocat_floof:

     enough of this automation game (Factorio), let's play some more of the automation game (Lean/Mathlib)