The readings shared in Bluesky on 28 April 2025 are

• Tutte's theorem as an educational formalization project. ~ Pim Otte. #ITP #LeanProver #Math
• Haskelling my Python (Reimplementing Haskell lazy infinite lists using Python generators). ~ Unnamed Website. #Python #Haskell #FunctionalProgramming #Math
• Power series, power serious. ~ M. Douglas McIlroy (1998). #Haskell #FunctionalProgramming #Math
• Tree rewriting calculi for strictly positive logics. ~ Sofía Santiago-Fernández, David Fernández-Duque, Joost J. Joosten. #Logic