The readings shared in Bluesky on 28 October 2025 are:

• Formalization of Walsh-Fourier series. ~ Izabela Maria Mandla. #ITP #LeanProver #Math
• Towards a verified compiler for Distributed PlusCal. ~ Ghilain Bergeron, Horatiu Cirstea, Stephan Merz. #ITP #LeanProver
• A deterministic descent framework for the Collatz conjecture. ~ Ünver Çiftçi. #ITP #LeanProver #Math
• How important are formal methods and formal logic for software engineering education? ~ Antti Valmari, Veikko Halttunen. #FormalMethods #Logic
• The art and discipline of prompt engineering. ~ Shilpa Shastri. #AI
• #Exercitium: Máximo de una función. #Haskell #ProgramaciónFuncional #Matemáticas