The readings shared in Bluesky on 27 April 2025 are

• Bitcoinolog: Reason about Bitcoin addresses with Prolog. ~ Markus Triska. #Prolog #LogicProgramming
• Working with Common Lisp pathnames. ~ Nicolas Martyanoff. #CommonLisp
• AI for program verification. ~ Cristian Cadar, Abhik Roychoudhury. #AI #FormalVerification
• Introducing category theory (Version 26 Apr 2025). ~ Peter Smith. #CategoryTheory
• The levels of Emacs proficiency. ~ Vivek Haldar (2011). #Emacs