We are excited to welcome Luc De Raedt, KU Leuven, Leuven.AI, as a keynote speaker at #IJCAI2025 in Montreal. A leading figure in combining machine learning with symbolic reasoning, his work is shaping the future of trustworthy AI. #NeuroSymbolicAI
We are excited to welcome Luc De Raedt, KU Leuven, Leuven.AI, as a keynote speaker at #IJCAI2025 in Montreal. A leading figure in combining machine learning with symbolic reasoning, his work is shaping the future of trustworthy AI. #NeuroSymbolicAI
My post about the latest Trump indictment and about how people -- specifically the National Review -- are lying to you about it.
https://popehat.substack.com/p/people-are-lying-to-you-about-the?sd=pf
@lolgab @benjhm I am really interested in Typelevel but do not have any experience with it. It is something I want to learn more about.
I got interested in Scala in 2009 mainly because I very much liked Odersky’s approach to mixing functional and object-oriented paradigms and also Scala’s early integration of Actors. I had done functional programming since graduate school in the 1990s, pre-Haskell, but I am definitely not a purist.
@lolgab @benjhm Thanks much! I really like Li Haoyi’s libraries. The code is clean and pragmatic. In this case I was not sure if Cask supports Scala 3 and the framework does not seem to be oriented towards async programming. I plan to put most of the logic and UI in the client (Scala JS) and use the back-end for data communications and synchronization. So mainly for services.
I also wanted to also look at Vert.x .. it’s not especially a Scala project, but it seems usable from Scala.
I am hoping to build in some social features for small groups. Multiple people interacting with shared systems and spatial models. The model would run in the client but a server would receive and re-broadcast events representing user actions. Models + views in each person’s browser but synchronized.
A single language for server and client would make it easy for the server to maintain a live copy of the state. New users could “tune in” by downloading that copy and pulling missed events