Readings shared November 28, 2024
The readings shared in Bluesky on 28 November 2024 are
- Readings shared November 27, 2024. #Haskell #FunctionalProgramming #AI #MachineLearning #Math
- Semantics for linear-time temporal logic with finite observations. ~ Rayhana Amjad, Rob van Glabbeek, Liam O'Connor. #ITP #IsabelleHOL #Logic #Math
- Competitive Programming in Haskell: stacks, queues, and monoidal sliding windows. ~ Brent Yorgey (@byorgey@mathstodon.xyz). #Haskell #FunctionalProgramming