The readings shared in Bluesky on 15 June 2025 are

• BiCoq: Bigraphs formalisation with Coq. ~ Cécile Marcon et als. #ITP #CoqProver #Rocq #Math
• Introduction to competitive programming in Haskell. ~ Brent Yorgey. #Haskell #FunctionalProgramming
• Data structures and algorithms for competitive programming in Haskell. ~ Soumik Sarkar. #Haskell #FunctionalProgramming
• Hardest problems in mathematics, physics & the future of AI. ~ Terence Tao, Lex Fridman. #ITP #LeanProver #AI #Math #AIforMath
• Hablemos de LISP. ~ Manuel Rubio, Antonio Rubio. #Lisp #Programming
• Reseña de «Hardest problems in mathematics, physics & the future of AI». #ITP #LeanProver #AI #Math #AIforMath
• Reseña de «Hablemos de Lisp». #Lisp #FunctionalProgramming