[Haskell-cafe] Real-Time Intelligent Systems 2025