The readings shared in Mastodon on August 28, 2024 are

• Readings shared August 27, 2024. #ITP #IsabelleHOL #Math
• Proofs of "flatten (mirror a) = reverse (flatten a)" in Lean4 and Isabelle/HOL. ~ José A. Alonso (@Jose_AAlonso@mathstodon.xyz). #ITP #Lean4 #IsabelleHOL #Math #Calculemus
• Formalizing Mason-Stothers theorem and its corollaries in Lean 4. ~ Jineon Baek & Seewoo Lee. #ITP #LeanProver #Lean4 #Math
• On the maximum weighted irredundant set problem. ~ Ricardo D. Katz & Daniel Severín. #ITP #Coq #Math
• Compositional verification of composite byzantine protocols. ~ Qiyuan Zhao, George Pîrlea, Karolina Grzeszkiewicz, Seth Gilbert, Ilya Sergey. #ITP #Coq
• The top 100 gen AI consumer apps. ~ Olivia Moore (@omooretweets). #AI
• Conocimientos de sentido común: el obstáculo de la IA en el camino hacia la inteligencia artificial general. ~ Ramón López de Mántaras. #IA
• Las herramientas de IA que están captando la atención de la gente. ~ @Alvy #IA
• L’intelligence artificielle : Hier, aujourd’hui … et demain. ~ Jean-Paul Haton. #AI