Jesรบs Torres @jesustorres.es ๐ฉโ๐ Director Acadรฉmico del Mรกster Universitario en Desarrollo de Videojuegos de la ULL
๐ฎ Unreal Authorized Instructor
Also ๐ง linuxero, ๐ปprofesor de sistemas operativos, investigador en IA ๐ค escorรกndome hacia los videojuegos lo que puedo
PC GatOS @pcgatos.bsky.social Informรกtico nostรกlgico y amante de los gatos.
https://pcgatos.neocities.org/
Yilin Xia @yilinxia.com A Graph Farmer ๐งโ๐พ
Ph.D. student #uiuc
Contributor #Logica #ArviZ
yilinxia.com
@bolusmjak.bsky.social @bolusmjak.bsky.social Currently programming in #elm and #prolog. (Be safe or be all powerful, no fence sitting).
Game Design & Analysis.
Photography #Sigma DP2 Merrill, #Fuji X, #Olympus TG-5
OpenMP ARB @openmp-arb.bsky.social The OpenMP Architecture Review Board's mission is to standardize directive-based multi-language high-level parallelism that is performant, productive and portable.
Christophe Grand (cgrand) @cgrand.net โค๏ธ #clojure since 2008 | #clojuredart maintainer | Principal Consultant at t10s.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/
Drew (parody) @dezren39.dev twitter.com/dezren39 (parody)
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
Mario Izquierdo @mariodebian.bsky.social 
madeofmistake @madeofmistake.bsky.social world renowned webcomic maker and sage
@elgolpista.bsky.social @elgolpista.bsky.social 
jnpn @jnpn.bsky.social Lisp / FP / Logic programming / APL
Applied Math / Comp bio wannabee
looking for projects in MDD/MDA, RO, DX, cs.PLT- M Mร riรฉ @mariziv.bsky.social Math enthusiast
@mariziv@mastodon.social
๐๐ธ๐๏ธฮฉZhSigma@332ppmโ
ฮฃx,xโS{๐ฑ๐๐ช๐บฮปP(ฮธ|y)โ}learn-languages-world-life @stphrolland.bsky.social S.L. Rolland@332ppm
RepostReadLearn:
Rom ๐ซ๐ท๐ช๐ธ๐ช๐จ๐ฒ๐ฝ๐ฎ๐น๐ต๐น๐ง๐ทGalCat๐ท๐ด
Germ ๐ฌ๐ง๐จ๐ฆ๐ณ๐ฑ๐ง๐ช๐ฟ๐ฆ๐ฉ๐ช๐ธ๐ช๐ฉ๐ฐ๐ณ๐ดNno;๐ซ๐ด๐ฎ๐ธ
Slv ๐ต๐ฑ๐บ๐ฆ๐ท๐บ๐จ๐ฟ๐ธ๐ฐ;๐ง๐ฌ๐ญ๐ท๐ท๐ธ/๐ง๐ฆ๐ฒ๐ช๐ง๐พ๐ธ๐ฎ
IE ๐ฌ๐ท๐ฎ๐ท HanZ ๐จ๐ณ๐น๐ผ๐ญ๐ฐ๐ฏ๐ต Aggl Eo๐น๐ท๐ซ๐ฎ;๐ช๐ช๐ญ๐บ๐ฐ๐ท๐ฒ๐ณ
Poly ๐ฌ๐ฑ Aus ๐ฎ๐ฉ๐ฒ๐พ๐ต๐ญ๐ฒ๐ฌ Sem ๐ฎ๐ฑ๐ฑ๐ง๐ฒ๐ฆ Cel ๐ด๓ ง๓ ข๓ ท๓ ฌ๓ ณ๓ ฟ๐ฎ๐ชGd
Linguistics
ClimateAgnotologyDisinformation
SentientismFlexitarian
Astro๐๐๐๐Calligraphy๐ชถ
Linux
fwrret @firmware.blog 24 | ๐ฎ๐จ | ๐ณ๏ธโ๐ | breaking things(reverse engineering) is fun
more technical posts: https://firmware.blog/
@mastema98.bsky.social @mastema98.bsky.social 
Relationship Boss @handle.invalid randohead
Zachary ๐ฆ @zed.earth Cyber-Social Infrastructure
Program Language Designerโฆ
PrologInfo @prologinfo.bsky.social News, info, links, gossip, anything about Prolog, Constraint/Logic programming, Answer Set Programming, and beyond!
A @llaisdy project.
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