The readings shared in Bluesky on 6 February 2025 are

• A formalization of Borel determinacy in Lean. ~ Sven Manthe. #ITP #LeanProver #Math
• Simplifying formal proof-generating models with ChatGPT and basic searching techniques. ~ Sangjun Han, Taeil Hur, Youngmi Hur, Kathy Sangkyung Lee, Myungyoon Lee, Hyojae Lim. #LLMs #ChatGPT #ITP #LeanProver
• Elisp cheatsheet for Python programmers. ~ Charles Choi. #Python #Emacs #Elisp
• La categoría de conjuntos abstractos. ~ Luis Turcio. #CategoryTheory
• Exercitium: Diagonales principales. #Haskell #Python #CommonLisp #Math