tttardigrade
Full time leftist, part time computer scientist and all day hip-hop head ๐ต๐ธ
@nanami.codes
"that one kotlin girl" | iโm just a cat แแแข ๐ | cat mom (Lucy: Bouba Disney ragdoll, Lily: Kiki Ghibli void)
@jimmyhmiller.bsky.social
Compiler engineer and co-host of the future of coding podcast https://jimmyhmiller.github.io https://futureofcoding.org/episodes/
@parismarx.com
i criticize the tech industry ๐๏ธ @techwontsave.us & @systemcrash.info ๐ฌ https://disconnect.blog ๐ https://roadtonowherebook.com
@julesh.mathstodon.xyz.ap.brid.gy
Applied Compositional Thinking [bridged from https://mathstodon.xyz/@julesh on the fediverse by https://fed.brid.gy/ ]
@theabigailthorn.bsky.social
Actress & Writer. Sharako Lohar in HOUSE OF THE DRAGON; Eurus in STAR WARS; Jess in DJANGO; Nocturne in BALDURโS GATE 3; Hotspur in THE PRINCE; Belle in DRACULAโS EX-GIRLFRIEND. Philosophy Tube & @KillJamesBond โจ๐
@spice8rack.bsky.social
Nice Communist. Often YouTuber. It/Them. https://linktr.ee/spice8rack
@kirancodes.me
Trans girl ๐ณ๏ธโโง๏ธ | 26 Programming Languages Postdoc @ UIUC still here~ despite it all https://kirancodes.me
@eduardorfs.com
25yo anti floating point developer. You can almost always find me at http://twitch.tv/eduardorfs, it's the boring side of tech.
@haskell.org
Committed to a welcoming, vibrant & ๏ฌourishing #Haskell community! Find us on https://haskell.org and https://blog.haskell.org
@gleam.run
Support Gleam development on GitHub sponsors! https://github.com/sponsors/lpil
@hypv.bsky.social
writer โ adult orcish female โ acct managed by @hypv.bsky.social โ they/she
@andreypopp.bsky.social
@keleshev.com
Docopt, OCaml programmer, author of Compiling to Assembly from Scratch: https://keleshev.com/cas Copenhagen
@satnam6502.bsky.social
Punjabi-Scottish-American husband and father of two, Haskell hacker at Groq, cook, cyclist, Lost In Music. โ๐ฎ๐ณ โง โ๐ฌ๐ง โง โ๐ช๐บ โง โ๐บ๐ธ #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California http://satnam.raintown.org
@chrispenner.ca
FP and Programming languages nerd Building the Unison Language & Unison Share ๐Victoria BC ๐จ๐ฆ https://chrispenner.ca
@victortaelin.bsky.social
@flaviocorpa.com
Software Engineer ๐ฆฅ Haskell & ๐ณ Elm @Scrive โ๏ธ First #chesspunks on this app ๐ฏ ๆฅๆฌ่ชใๅๅผทไธญ(N3)
@sjoerdvisscher.w3future.com
#haskell #categorytheory #lumatone ๐ซ @boekencurator.bsky.social ๐ https://sjoerdvisscher.glitch.me ๐ผ https://tweag.io ๐ฃ๏ธ https://strijpskamerkoor.nl
@sekun.net
i like learning, and making stuff with computers #rust #haskell #nix my yap collection โ https://sekun.net github โ https://github.com/sekunho
@metameeee.bsky.social
Just that typical gender non-conforming long-bearded autistic queer dude yelling at clouds (and cloud providers) that has everything and nothing figured out all at the same time. I don't agree with any of your opinions. ๐ณ๏ธโ๐
@handle.invalid
Software engineer from South Wales. OCaml and F# programmer by day. https://github.com/epmorgan https://www.monadic.sh
@leostera.com
staff eng/pm making dev tools for #ocaml at @tarides.com ๐ mission for 2025: take care of leo ๐ธ street photographer at photo.leostera.com ๐บ watch me code: twitch.tv/leostera ๐ writes at leostera.com ๐ฆ๐ท๐ธ๐ช๐ณ๏ธโ๐๐๐ผ he/they #adhd
@aripiprazole.dev
i'm an atypical antipsychotic who loves theorem provers - ๐ฅ๏ธ rust ๐ฆ & ocaml ๐ซ - ๐ type theory & hott - ๐ my name is gabrielle - ๐ง๐ท sรฃo paulo โฑ๏ธ previously @io_gabx on twitter/x
@adolfont.github.io
Software Engineering researcher; Associate Professor at UTFPR, Curitiba, Brazil. https://adolfont.github.io Post mostly in English. #ElixirLang enthusiast (I also love #LeanLang, #LuaLang, #Erlang). Podcaster. My podcasts: @redeemilias.bsky.social
@chshersh.com
๐งโ๐ป Senior Software Engineer at Bloomberg using OCaml ๐ซ โพ๏ธ Autistic ๐ฝ Content: https://youtube.com/c/chshersh All opinions are my own.
@badcop.live
professional bash enthusiast play my video games or watch me code: https://badcop.itch.io/ https://twitch.tv/badcop_
@sabine.sh
OCaml developer advocate, ๐ซ OCaml.org maintainer, RFC 3339 dating coach, web developer โจ twitch.tv/sabine_sh github.com/sabine
@ionchy.ca
it's pronounced "yawn-chee" and the `i` is lowercase MSc @ SPL โ UBC โฆ PhD @ PLClub โ UPenn asian-canadian ๐จ๐ฆ๐น๐ผ๐ญ๐ฐ๐ณ๏ธโ๐ https://ionathan.ch
@luctielen.bsky.social
I talk about functional programming and compilers. Building a high performance Datalog called โeclairโ with Haskell and LLVM.
@paulbiggar.com
Founder Tech For Palestine, Darklang, and CircleCI. Currently running Tech for Palestine https://techforpalestine.org
@dialecticalrussell.bsky.social
Eclectic Bakuninist Math/Computer Science musings can be found over at hegeliantaco@mathstodon.xyz
@stuffwithstuff.com
Dad, husband, brother, son. Working on Dart at Google, ex-game dev at EA, wrote "Game Programming Patterns" and "Crafting Interpreters". http://stuffwithstuff.com/
@fullmoon.id
Author of Dhall, http://haskellforall.com, Nix Steering Committee, and principal engineer at Mercury I'm a midwife to the hidden beauty in everything she/her Discord: https://discord.gg/WvTtjBzMPB ๐ @ember.pet
@bartoszmilewski.bsky.social
Physicist, mathematician, programmer. "The Dao of Functional Programming" Regularly updated work in progress. PDF on GitHub: https://github.com/BartoszMilewski/DaoFP/blob/master/DaoFP.pdf
@krismicinski.bsky.social
kmicinski.com Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
@welltypedwit.ch
When the limestone of imperative programming has worn away, the granite of functional programming will be revealed underneath -Simon Peyton Jones https://welltypedwit.ch
@hayleigh.dev
โจCore Team at Gleam ๐ช Founder of Lustre Labs ๐ฉโ๐ป Frontend Consultant at ???? ๐ Iโm just a ๐ณ๏ธโโง๏ธ girl learning ๐ซ๐ท and vibing in ๐ง๐ช Fuck Nazis. ACAB. Black Lives Matter. Trans Rights Now.
@giacomocavalieri.me
I love functional programming and learning new things โจ Gleam core team member ๐ (he/him)
@lpil.uk
"the maintainer is a legitimate communist. i will not be supporting this language" - some yt guy, 2024 I made @gleam.run and I do gymnastics (badly) they/them or he/him. end fossil fuels. genocide is bad. ride a bike.