The readings shared in Mastodon on September 14, 2024 are

• Readings shared September 13, 2024. #Haskell #FunctionalProgramming #LiquidHaskell #Emacs #OrgMode
• AI for Mathematics: Mathematical formalized problem solving and theorem proving in different fields in Lean 4. ~ Xichen Tang. #ITP #LeanProver #Lean4 #Math
• Better-performing “25519” elliptic-curve cryptography (Automated reasoning and optimizations specific to CPU microarchitectures improve both performance and assurance of correct implementation). ~ Torben Hansen, John Harrison. #ITP #HOL_Light
• A simple proof that π is irrational (in Isabelle/HOL). ~ Manuel Eberl (@pruvisto@graz.social). #ITP #IsabelleHOL #Math
• Decidable equality for indexed data types. ~ Brent Yorgey (@byorgey@mathstodon.xyz). #ITP #Agda #FunctionalProgramming
• Why Haskell? ~ Gideon Farrell (@gideonfarrell). #Haskell #FunctionalProgramming
• Type-theoretic considerations in functional language software development. ~ David Michael Roberts (@highergeometer@mathstodon.xyz). #Haskell #FunctionalProgramming #ITP #IsabelleHOL
• Simulation of lambda terms in lambda calculus. ~ Helmut Brandl. #LambdaCalculus
• Estrenando el nuevo modelo de OpenAI: o1-preview. Resolviendo con ChatGPT un problema de Matemáticas II de la Prueba de Acceso a la Universidad EBAU. ~ Luis M. Iglesias (@luismiglesias). #LLMs #Matemáticas