Las lecturas compartidas en Mastodon el 14 de junio de 2024 son

• Lecturas compartidas el 13 de junio de 2024. #ITP #Lean4 #IsabelleHOL #Math
• #Calculemus: Demostraciones con Lean4 e Isabelle/HOL de "Las funciones con inversa son biyectivas". #ITP #Lean4 #IsabelleHOL #Math
• Data structures and algorithms, correctly. ~ Jeremy Siek (@jeremysiek@types.pl). #Algorithms #FunctionalProgramming #ITP #Deduce
• Deduce: A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs. ~ Jeremy Siek (@jeremysiek@types.pl). #Algorithms #FunctionalProgramming #ITP #Deduce
• Formalizing Coppersmith's method (in Isabelle/HOL). ~ Katherine Kosaian, Yong Kiam Tan. #ITP #IsabelleHOL #Math
• Computation, AI and the future of mathematics. ~ David H Bailey. #Math #CompSci #ITP #AI
• The Haskell Unfolder Episode 27: Duality. ~ Edsko de Vries (@EdskoDeVries), Andres Löh (@kosmikus@functional.cafe). #Haskell #FunctionalProgramming
• The rise of the AI co-pilot: Lessons for design from aviation and beyond (Building on cross-disciplinary insights to shape the future of human-AI interaction). ~ Abigail Sellen, and Eric Horvitz. #AI