The readings shared in Bluesky on 19 January 2025 are

• Readings shared January 18, 2025. #Haskell #Python #CommonLisp #ITP #Coq #Rocq #Logic #Math #AI #MachineLearning #LLMs
• A toy example of a verified compiler. ~ Marcus Rossel. #ITP #LeanProver
• A new perspective on lenses. ~ Sandy Maguire. #Haskell #FunctionalProgrammingo
• Foundations of Large Language Models. ~ Tong Xiao, Jingbo Zhu. #eBook #AI #LLMs
• Language models and structured data. ~ Mehwish Alam. #LLMs