Gorgi Kosev @spiun.bsky.social Fullstack software person. ex-Apple. Prefer insightful discussion over debate. Rust, TypeScript, localfirst, SolidJS, devops, keto, stats/science, audio/DSP.
donaldyeager ๐ณ๏ธโ๐๐ @dyeager64.bsky.social Blue all the way,
DON'T BLAME ME I VOTED FOR HER!
hate tRump with all my being ๐บ๐ฆ Please no DM's unless I know you
Seriously if you DM me and i don't personally know you I will unfollow and block you
#BlueResisters
#NoDemUnder1K
a public builder @publicbuilder.bsky.social doing some experiments to build something in public
Oisterwijk Nieuws @oisterwijknieuws.bsky.social Nieuws en Uitpunt voor Oisterwijk, Moergestel, Heukelom en Haaren
Edwin Brady @edwin.type-driven.org.uk Reader in Computer Science at the University of St Andrews. Will play ukulele for free, will stop for money. Cricket. Go. Woke Prick. He/him. Avatar by Joo (www.siajoohiang.com)
https://www.type-driven.org.uk/edwinb/
https://www.lambda-miners.org.uk/- M Mร riรฉ @mariziv.bsky.social Math enthusiast
@mariziv@mastodon.social
cronopio @cronopiob.bsky.social Books, maths, thinking.
sander @sandydoo.me code janitor / big doofus / rust ยท haskell ยท elm ยท nix & everything nice / swe @ cachix.org
๐จ๐ฆ Joey Eremondi @joeyeremondi.bsky.social PL Researcher. Assistant Prof at University of Regina ๐จ๐ฆ
Trying to make dependent types a bit easier to use.
Formerly Postdoc at Edinburgh with Ohad Kammar, and PhD at UBC with Ron Garcia.
Cirno @cirno.quest I have permission to post all Cirnos. Feel free to ask for source.
I have a website: https://cirno.quest/
Not sure what to do with it though
pixiv: https://www.pixiv.net/en/users/59337025
๐๐ธ๐๏ธฮฉ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
Tom Harding @beef.cat Trying my best
Maynard @quelklef.bsky.social Maynard
๐ฒ druth ๐ @massivefermion.bsky.social Giskardian Robot, Marxist Human, Communist Comrade
๐ป github.com/massivefermion
๐ธ instagram.com/massivefermion
Jan @janschulte.com indiehacker, solopreneur, deep learning
building: https://searchattention.com (launching soon!)
consulting: https://betalyra.pt
Ned Letcher @ned.sh Data science, AI/ML, analytics, visualisation. Naarm/Melbourne @thoughtworks, #dataBS, #Python, #NLP, #DuckDB, & assorted whimsical miscellania
Slasher Film | Horror Movie @slasherfilm2024.bsky.social WATCH THE TEASER TRAILER NOW on YouTube: https://tinyurl.com/ebbrwb6f (Warning: 18+)
Movie coming soon. Calling all #HORROR fans.
#horrorcommunity
Ottawa, ON, Canada ๐จ๐ฆ
Instagram: https://tinyurl.com/yf2e6vr8
FB page: https://tinyurl.com/mwwrf68e
Dan Piponi @dpiponi.bsky.social Disclaimer: My opinions are not my own. They're beamed to me by aliens.
twitchard @twitchard.bsky.social Software hot takes, shower thoughts, and parenting tales.
Kris Nuttycombe @nutty.land Haskell, climbing, blacksmithing; occasional SCAdian, compiler-induced psychosis. I work on the core Zcash team at https://zodl.com and build software for worker-owned cooperatives at https://aftok.com by night.
Signal: @nuttycom.01
Matteo Capucci @mattecapu.bsky.social ๐ฎ๐น, amateur professional poster and professional amateur mathematician (general abstract nonsensology applied to systems theory & cybernetics), aspiring psycohistorian. shitposting isn't endorsement.
You can't find me here, I'm on @mc@mathstodon.xyz
@anttih.com @anttih.com 
Kris Jenkins @krisajenkins.bsky.social Lifelong Programmer, Host of the Developer Voices podcast.
Oisรญn Kidney @doisinkidney.com Functional programming researcher.
doisinkidney.com
(Personal site: doisinkidney.com/personal)
larrytheliquid @larrytheliquid.bsky.social Formal Methods / Programming Language Theory / Neuro-Symbolic AI
Founder at colimit.ai / @colimit.bsky.social
Kaushik Chakraborty @kaushikc.org A foolish & hungry dev
๐
@kaychaks
๐@kaychaks@types.pl
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 
Eric Torreborre @etorreborre.blog Haskell / Scala / Rust developer (author of the specs2 and registry libraries)
github.com/etorreborre
etorreborre.blog
Chris Penner @chrispenner.ca FP and Programming languages nerd
Building the Unison Language & Unison Share
๐Victoria BC ๐จ๐ฆ
https://chrispenner.ca
Sonobacter resonans @sonobacter.bsky.social I try to treat people the way I would like to be treated.
Vote blue! I make music that's usually calm, but not always.
I do not avoid machines, but I do deny them my essence.
Manuel Chakravarty @tacticalgrace.justtesting.org ๐ฅ Lambda Scientist
๐ก Functional programming
๐ก Programming languages
๐ก Cryptography
๐จ๐ฝโ๐ป Swift, Haskell & Agda
๐ Volt ๐ช๐บ policy shaper: digital affairs
๐ Utrecht ๐ณ๐ฑ๐ฉ๐ช๐ช๐บ
Conor Titania Mc Bride @pigworker.bsky.social I'm a trans-femme poly
Computer Scientist.
Apartheid target. Cardiac outpatient. Hatstand owner. Tomato grower. Doctor Who fan.
I do not trust this place.
@pigworker@types.pl on fedi
Don't call me Sir. Do call me "her" personally, or "them" professionally.
Justin Garcia @purefunctor.me 23, product and compiler engineering
Oskar Wickstrรถm @wickstrom.tech Software engineer in rural exile. Autonomous and generative testing, PL, web, and more.
Blog at wickstrom.tech, work at antithesis.com
Susan Potter @susanpotter.net Anti-fascist, anti-authoritarian, pro-privacy, pro-speech, investor, trader, polyglot software engineer (Haskell, Erlang, Scala, Nix, NixOS, F#) with a systems reliability and security focus. Recovering SRE.
https://www.susanpotter.net/
milia @milia.bsky.social mostly retweet โด fr, en โด feminism โด programming โด cosplay โด do stuff at @guerilla.studioโฌ
I mlem.
Brett Evans @brettevans.me Functional programming, dependent types, denotational semantics, category theory, cooking, snowboarding, rugby.
Edward Kmett @kmett.ai Founder/Chief Scientist @ positron.ai
I like to write about Haskell, category theory, AI, and safety, and a whole lot of low level SIMD stuff for some reason
http://calendly.com/ekmett
http://github.com/ekmett
http://x.com/kmett
http://comonad.com/reader
derekๅฟ่ฑช @mrufrufin.bsky.social AI PhD student working on machine learning in audio and music (+ went through music school as a percussionist) | (he/him)
Toni @tonijs.com ๐จ๐ปโ๐ปLondon based tech guy
Daniel Harvey @danieljharvey.bsky.social Discontent farm
Joรฃo Pais @jmmmp.bsky.social Composition, Notation, Programing
Click Tracker - https://bit.ly/click-tracker
Steve Jones @sjfloat.bsky.social Types, Principles, Creation, Humanity
Scala's been paying the bills.
I respectfully disagree.
@fghibellini.bsky.social @fghibellini.bsky.social 
Satnam Singh @satnam6502.bsky.social Punjabi-Scottish-American husband and father of two, Haskell hacker, cook, cyclist, Lost In Music. โ๐ฎ๐ณ โง โ๐ฌ๐ง โง โ๐ช๐บ โง โ๐บ๐ธ #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California
http://raintown.org
gelisam @gelisam.bsky.social professional Haskeller
France traversรฉe @clementd.wtf Baking biscuits at https://biscuitsec.org, Human of Puna. SWE @ datadog
Greg Uzelac @gregrex.bsky.social S/W engineer (currently C# React TS EF, previously C# ASP.NET JS SQL Azure, previously C# WPF SQL, previously C++ MFC, previously C & asm, previously C FORTRAN YACC asm, previously machine code), DIY handyman, husband, dad, repair vs replace, dog lover
@piq9117.me @piq9117.me We the People
April aka cyberglot @cyberglot.bsky.social PL nerd, digital artist. Making programs typecheck in the UK.
Tsubasa @tsukkun.bsky.social Software Engineer
https://x.com/javascripter (same thing)
Sjoerd Visscher @sjoerdvisscher.w3future.com #haskell #categorytheory #lumatone
๐ซ @boekencurator.bsky.social
๐ https://w3future.com
๐ผ https://tweag.io
๐ฃ๏ธ https://strijpskamerkoor.nl
Zanzi Tangle @zanzi.bsky.social I research programming languages and turn Category Theory into code
sabine ๐ซ๐ฆ / "use ocaml"; @sabine.sh OCaml developer advocate, ๐ซ OCaml.org maintainer, RFC 3339 dating coach, web developer โจ
twitch.tv/sabine_sh
github.com/sabine
nihil2501 @nihil2501.bsky.social 
skyking @jkachmar.com sounding rockets & bad computer programming
formerly Groq, WeWork, NASA Wallops, among others
Joe Hall @halll.bsky.social Music and mince pies.
soundcloud.com/jose-hinch
Jonathan King @jlk.co Iโm Interested in functional programming and programming languages. Software engineer from London.