The readings shared in Bluesky on 10 October 2025 are:

• Markov kernels in Mathlib's probability library. ~ Rémy Degenne. #ITP #LeanProver #Math
• Relational divisibility (in Isabelle/HOL). ~ Walter Guttmann. #ITP #IsabelleHOL #Math
• ADTs, functions and induction. ~ Andrei Arusoaie. #ITP #LeanProver #FunctionalProgramming
• Principles of programming languages (lecture notes for CS2105O2). ~ Andrei Arusoaie. #ITP #CoqProver
• Principles of programming languages: A little bit of history. ~ Andrei Arusoaie. #Programming
• Formal methods in software engineering. ~ Andrei Arusoaie. #FormalMethods
• Languages. Formal Systems. Inference rules. Proofs. ~ Andrei Arusoaie. #FormalMethods #Logic #Dafny
• Mathematicians’ new best friend? ~ Benjamin Skuse. #AI #Math
• #Exercitium: Sustitución en una expresión aritmética. #Haskell #ProgramaciónFuncional #Matemáticas