The readings shared in Bluesky on 16 February 2025 are

• The relationship between category theory, lambda calculus, and functional programming in Haskell. ~ Antonio Montano. #Haskell #FunctionalProgramming #CategoryTheory #LambdaCalculus
• Logical reasoning in large language models: A survey. ~ Hanmeng Liu et als. #LLMs #Logic #Reasoning