Neosis @neosis-strategy.bsky.social Strategy for the world that is coming
@lesormonde.bsky.social @lesormonde.bsky.social Programmer since 1970, currently using Clojure and Julia; sometime project manager. Interests are functional programming, applied maths, mathematical modelling , simulation and Scottish terriers.
Th. Ma. @thierry.marianne.io 
@jaens.bsky.social @jaens.bsky.social 
Anna Esteroid @anna-esteroid.bsky.social A student who is trying to get better at English. Interested in Math, Programming, and VTubers, but doesnโt know much about any. Likes to use C++ and Mercury. 
@mciccale.bsky.social @mciccale.bsky.social 
Vishal @vishalbelsare.bsky.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
Hayden Evans @haydenbeamit.bsky.social Founder of Beam it ๐ & Rust Rec ๐ฆโ๏ธ
I recruit for Elixir, Erlang & Rust
Beamrec.com
Need help hiring? Beamrec.com/employers
Help with job hunting? Beamrec.com/employability- M Mร riรฉ @mariziv.bsky.social Math enthusiast
@mariziv@mastodon.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
@richdijk.bsky.social @richdijk.bsky.social 
@mpotanin.bsky.social @mpotanin.bsky.social 
@mgxm.me @mgxm.me 
Daniel MARGERIT @danielmargerit.bsky.social Docteur Engineer in fluid mechanics
France
https://danielmargerit.github.io/papers/
fpjos @fpjos.bsky.social Functional Programming brings some sanity in this quick&dirty IT world. Scala3 (ZIO, KYO), Learning Rust & Ocaml. Constantly learning. Fighting entropy. X: @scalajos mastodon: @fpjos@fosstodon
@dgnach.bsky.social @dgnach.bsky.social 
Pietro Loffredi @pitloffredi.bsky.social Software architect. Multi-platform developer. Committed to become a FP alchemist #Scala #Elixir #Rust. Passionate lifelong learner
@tuxified.bsky.social @tuxified.bsky.social Fullsnack dev(He/him) | @elixir.amsterdam meetup
co-organiser | currently interested in Elixir, Elm, Rust, Gleam, ML/AI, Perl6, Ruby, Pony, FP, ML
https://twitter.com/tuxified
https://mastodon.social/@tuxified
Johann Stromberger @jsnst01.bsky.social SQL the universe is relational
Soares Chen @maybevoid.com Rust Nerd โ Creator of Context-Generic Programming @contextgeneric.dev โ Interested in Haskell, functional programming, type theory, category theory, programming language theory โ https://maybevoid.com โ https://contextgeneric.dev
Luc Tielen @luctielen.bsky.social I talk about functional programming and compilers. Building a high performance Datalog called โeclairโ with Haskell and LLVM.
Philip Zucker @sandmouth.bsky.social Computer Friend, Not a Bird
www.philipzucker.com
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
@hagarsamhain.bsky.social @hagarsamhain.bsky.social 
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/
Ivan Uemlianin @llaisdy.bsky.social Vygotsky, Lukacs, Ilyenkov, Levinas, Proust, Ashbery, and all that.- G gschenner @gschenner.bsky.social Symbolic AI (logic, constraints, ASPโฆ), configuration, dobro, mandolin, soccer sissy, walking footballโฆ
Matthew Waddington @mattwadd.bsky.social Legislative drafter. Computational law & Rules as Code - lead Jerseyโs Computer-Readable Legislation Project https://crlp-jerseyldo.github.io/ @crlp-jerseyldo.bsky.social
Drafting; small jurisdictions; ethics, logic, philosophy
linktr.ee/MatthewWaddington
@samwalrus.bsky.social @samwalrus.bsky.social 
Steve Jones @sjfloat.bsky.social Types, Principles, Creation, Humanity
Scala's been paying the bills.
I respectfully disagree.
@tejus.bsky.social @tejus.bsky.social 
Yilin Xia @yilinxia.com A Graph Farmer ๐งโ๐พ
Ph.D. student #uiuc
Contributor #Logica #ArviZ
yilinxia.com
Joseph Garvin @josephhgarvin.bsky.social voicecoding latency and throughput hacker. How did I get here and what am I doing in this hand basket? he/him
@jhemann.bsky.social @jhemann.bsky.social 
Gรถrkem Paรงacฤฑ @gorkempacaci.bsky.social Relational Programming, Symbolic AI
Atabey Kaygun @atabeykaygun.bsky.social Mathematician. Frankenstein's monster. Incongruous bits and pieces coalesced accidentally instead of a plan. Apparently, also includes batteries.
https://kaygun.github.io
madeofmistake @madeofmistake.bsky.social world renowned webcomic maker and sage- A Alex Soares @alexsoares.bsky.social
Jip J. Dekker @dekker.one OPTIMA Research Fellow working on Modelling Decision/Optimization problems, Programming Languages, and AI at Monash University, Melbourne, Australia.
MiniZinc developer, CP and SAT researcher.
I also talk about music, birds, cycling, and cricket.
Zachary ๐ฆ @zed.earth Cyber-Social Infrastructure
Program Language Designerโฆ
Adriรกn Arroyo Calle @aarroyoc.bsky.social https://adrianistan.eu
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