Las lecturas compartidas en Mastodon el 18 de julio de 2024 son

• Lecturas compartidas el 16 de julio de 2024. #ITP #Lean4 #Coq #LLMs #Programming #Emacs
• Functional Pearl: Short and mechanized logical relation for dependent type theories. ~ Yiyun Liu, Stephanie Weirich. #ITP #Coq
• HHLPar: Automated theorem prover for parallel hybrid communicating sequential processes. ~ Xiangyu Jin, Bohua Zhan, Shuling Wang, Naijun Zhan. #ITP #IsabelleHOL
• Molly: A verified compiler for cryptographic roles. ~ Daniel J. Dougherty, Joshua D. Guttman. #ITP #Coq
• Formalizing operads for a categorical framework of DSL composition. ~ Zachary Flores, Angelo Taranto, Yakir Forman, Eric Bond. #ITP #Coq
• Modular implementation and formalization of dynamic policies (Work in progress). ~ Antonio Zegarelli, Niki Vazou, Marco Guarnieri. #FunctionalProgramming #LiquidHaskell
• Demystifying Artificial Intelligence (Symbolic, data-driven, statistical and ethical AI). ~ Emmanuel Gillain (ed.). #eBook #AI
• Using ChatGPT as a proof assistant in a mathematics pathways course. ~ Hyejin Park, Eric D. Manley. #ChatGPT #Math #Reasoning
• The Haskell Unfolder Episode 29: Exceptions, annotations and backtraces. ~ Edsko de Vries (@EdskoDeVries), Andres Löh (@kosmikus@functional.cafe). #Haskell #FunctionalProgramming