The readings shared in Mastodon on August 13, 2024 are

• Readings Shared August 13, 2024. #Python #Haskell #FunctionalProgramming
• An elementary proof of the FMP for Kleene algebra. ~ Tobias Kappé. #ITP #Coq #Math
• Sharing proofs with predicative theories through universe-polymorphic elaboration. ~ Thiago Felicissimo & Frédéric Blanqui. #ITP #Agda #Coq
• Bounding Euler's constant. ~ Philip Zucker (@sandmouth@types.pl). #Math #Python
• Algebra. It's powerful. But it's not what it was. ~ Keith Devlin (@KeithDevlin@fediscience.org). #Math