The readings shared in Bluesky on 24 January 2025 are

• Readings shared January 23, 2025. #ITP #IsabelleHOL #LeanProver #Python #Programming #Math #AI #LLMs
• Formally verified neurosymbolic trajectory learning via tensor-based linear temporal logic on finite traces. ~ Mark Chevallier, Filip Smola, Richard Schmoetten, Jacques D. Fleuriot. #ITP #IsabelleHOL #NeuroSymbolicAI
• A new perspective on lenses. ~ Sandy Maguire. #Haskell #FunctionalProgramming
• Fast Haskell, Redux. ~ Jared Tobin. #Haskell #FunctionalProgramming
• Making my life easier with GADTs. ~ Lucas Escot. #Haskell #FunctionalProgramming
• Making my life harder with GADTs. Matt Parsons. #Haskell #FunctionalProgramming
• Making my life easier with two GADTs. ~ borar. #Haskell #FunctionalProgramming
• Modeling dataframes in Haskell using higher-kinded types. ~ Laurent P. René de Cotret. #Haskell #FunctionalProgramming
• Supercede’s house style for Haskell. ~ Jezen Thomas. #Haskell #FunctionalProgramming
• Tracing foreign function invocations. ~ Edsko de Vries, Zubin Duggal, Matthew Pickering. #Haskell #FunctionalProgramming
• What I've learned about writing AI apps so far. ~ Laurie Voss. #AI #LLMs
• AI mistakes are very different than human mistakes. ~ Bruce Schneier, Nathan E. Sanders. #AI #LLMs #GenerativeAI
• Cómo trabajar en el día a día con una IA y no morir en el intento. ~ @Alvy. #AI #LLMs
• DeepSeek: un nuevo modelo de IA especializado en razonamiento lógico, resolución de problemas y con licencia abierta MIT. No tiene nada que envidiar a los de OpenAI. ~ @Alvy. #AI #LLMs #DeepSeek
• DeepSeek: Into the unknown (Free access to DeepSeek-V3). #AI #LLMs #DeepSeek