The readings shared in Mastodon on August 23, 2024 are

• Readings shared August 22, 2024. #ITP #Agda #HoTT #Haskell #FunctionalProgramming
• Lean: First steps (06 - Intermediate results). ~ Tariq Rashid (@rzeta0@mastodon.social). #ITP #Lean4 #Math
• How to make mathematicians into programmers (and vice versa). ~ Will Crichton. #ITP #LeanProver #Math
• Michael John Caldwell Gordon (FRS 1994), 28 February 1948 - 22 August 2017. ~ Lawrence C Paulson (@LawrPaulson@mathstodon.xyz). #ITP #HOL
• Coproduct measure (in Isabelle/HOL). ~ Michikazu Hirata. #ITP #IsabelleHOL #Math
• A survey on deep learning for theorem proving. ~ Zhaoyu Li, Jialiang Sun, Logan Murphy, Qidong Su, Zenan Li, Xian Zhang, Kaiyu Yang & Xujie Si. #AI #DeepLearning #ITP
• Property-based testing for the people. ~ Harrison Goldstein. #PhDThesis #Haskell #FunctionalProgramming
• Boolean matrix logic programming. ~ Lun Ai & Stephen H. Muggleton. #LogicProgramming
• Ordinals aren't much worse than Quaternions. ~ Philip Zucker (@sandmouth@types.pl). #Python #Math