Luc Tielen @luctielen.bsky.social I talk about functional programming and compilers. Building a high performance Datalog called “eclair” with Haskell and LLVM.
José F. Morales @notjfmc.bsky.social I work on http://github.com/ciao-lang/ciao, a modern Prolog system.
You can also find me on http://mastodon.social/@jfmc
IMDEA Software Institute & UPM
Philip Zucker @sandmouth.bsky.social Computer Friend, Not a Bird
www.philipzucker.com
Hakan Kjellerstrand @hakankj.bsky.social Swedish software developer (retired), Independent Researcher mostly in in Constraint Programming and Logic Programming, esp. Picat and Prolog. Also interested in probabilistic programming, inductive programming, math, AI.
Homepage: http://hakank.org/
@ciao-prolog.bsky.social @ciao-prolog.bsky.social 
Ivan Uemlianin @llaisdy.bsky.social Vygotsky, Lukacs, Ilyenkov, Levinas, Proust, Ashbery, and all that.
Yilin Xia @yilinxia.com A Graph Farmer 🧑🌾
Ph.D. student #uiuc
Contributor #Logica #ArviZ
yilinxia.com
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
José A. Alonso @jalonso.eurosky.social Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Homepage: https://jaalonso.github.io
Sevilla, Spain