@randyisrandom.bsky.social @randyisrandom.bsky.social Formal Methods/Digital Philology #OCaml #Rocq #Agda#Unix
Investigating the illusion of discreetness
Sora Morimoto @smorimoto.bsky.social OCaml, MirageOS, ECMAScript
https://www.morimoto.io
@boarders.bsky.social @boarders.bsky.social Thanks to impermanence all things are possible
Working on a book on topos theory
@mathiasbourgoin.bsky.social @mathiasbourgoin.bsky.social 
Daniel Brunner @dbrunner.de I ❤️ CS, Econ, programming in F#/🐪️ (still a fan of Common Lisp/Scheme/Racket). Located in 🇩🇪️, he/him.
https://www.dbrunner.de
Trionfi Games @trionfigames.bsky.social Talon: A Tarot Card Game, a modern tarot trick taking game, is back online!
https://www.thegamecrafter.com/games/talon:-a-tarot-card-game
KC Sivaramakrishnan @kcsrk.info Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
xvw @xvw.lol Allo. I'm Xavier Van de Woestyne from 🇧🇪, living in Nantes. I'm a wannabe software engineer who tweets in rough 🇫🇷 and catastrophic 🇬🇧! I'm interested in functional programming (with statically typed languages).
🇫🇷 https://xvw.lol, 🇬🇧 https://xvw.lol/en
David Allsopp @dra27.uk Cambridge-based, London-working software engineer; sometime classical singer. @dra27 in many places, including GitHub; OCaml maintainer; opam maintainer; Windows {apolog,evangel}ist
@tarides.com @tarides.com We’re an international software company that helps people and organisations use #OCaml to build safer & faster code. #OCaml #FunctionalProgramming #MirageOS 🐫
Perplext @perplext.com Publisher of Board Games and Card Games
{Long Shot: Dice Game, Pack O Game}
Perplext.com
Stephen Buonocore, “The Podfather of Gaming” @podfathergaming.bsky.social Game industry veteran, entrepreneur, game media personality, and vocal enthusiast of the hobby game industry.
Host of the long-running game industry podcast, Board Games Insider.
Chairman, Play to Z
Board, World Series of Board Gaming