Sifa ID 🪿 @sifa.id We are your professional ID for the modern and open web.
Based on AT Protocol, built in Europe.
Made with 🧡 in 🇪🇺 by @singi.dev / @gui.do
Get your Sifa ID today: https://sifa.id
Standard Reader @standard-reader.app Read and discover standard.site publications on the Atmosphere. Follow the writers you love and find new long-form voices across the network.
https://standard-reader.app
Giacomo Cavalieri @giacomocavalieri.me I love functional programming and learning new things ✨ Gleam core team member 💕 (he/him)
Lewis @oyster.cafe It's me!!
working on tangled, tranquil pds, & more
ATStore @atstore.fyi ATStore is a directory for all the apps of the Atmosphere, helping users discover products that work with their Atmosphere account.
https://atstore.fyi
Tangled @tangled.org https://tangled.org is the next-generation social coding platform.
→ Docs: https://docs.tangled.org
→ Discord: chat.tangled.org
→ IRC: #tangled @ libera.chat
akshay oppiliappan @oppi.li building @tangled.org — code collaboration platform built on atproto.
rust · nix · 1-bit pixel art · plant-based · bangalore · oppi.li
BOB Konferenz @bobkonf.bsky.social The next BOB conference takes place in Berlin on 26 February 2027!
Organised by @activegroupgmbh.bsky.social
Also at @bobkonf@discuss.systems.
Abhinav 🧭 @abnv.me Programming languages aficionado, occasional runner, quantified-self enthusiast, and fervent napper. Works as senior software engineer at Google on […]
🌉 bridged from ⁂ https://fantastic.earth/@abnv, follow @ap.brid.gy to interact
Anupam 🇮🇳《ミ》λ≡ @haskman.functional.cafe.ap.brid.gy Founder Functional Programming India, Concur UI framework.
“It’s all fine, if the compiler says it’s fine”.
"Be irrational. Don't let the economists win"
"Rage […]
🌉 bridged from ⁂ https://functional.cafe/@haskman, follow @ap.brid.gy to interact
Steve Klabnik @steveklabnik.com #rustlang, #jj-vcs, atproto, shitposts, urbanism. I contain multitudes.
Working on #ruelang but just for fun.
Currently in Austin, TX, but from Pittsburgh. Previously in Bushwick, the Mission, LA.
Haskell Interlude @haskellinterlude.bsky.social The Haskell Interlude is a Haskell-focused podcast where we interview guests from the Haskell community.
Bartosz Milewski @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
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
hikikomorphism @hikikomorphism.bsky.social haskell/rust/art/shitposting/assyrian
she/her (like a ship, not like a person)
blog: recursion.wtf
Andrej Bauer @andrejbauer.mathstodon.xyz.ap.brid.gy Professor of computational mathematics at University of Ljubljana, Slovenia.
[bridged from https://mathstodon.xyz/@andrejbauer on the fediverse by https://fed.brid.gy/ ]
Dan Piponi @dpiponi.mathstodon.xyz.ap.brid.gy Disclaimer:
👽 My opinions are not my own. They're beamed to me by aliens
Current life:
⚖️ Considering new employment
Previous lives:
🍩 PhD in Riemann theta […]
🌉 bridged from ⁂ https://mathstodon.xyz/@dpiponi, follow @ap.brid.gy to interact
Vitaly Bragilevsky @bravit.bsky.social Head of Rust Ecosystem at JetBrains
John C. Baez @johncarlosbaez.bsky.social Mathematical physicist
David Picard @davidpicard.eurosky.social Professor of Computer Vision/Machine Learning at Imagine/LIGM, École nationale des Ponts et Chaussées @ecoledesponts.bsky.social Music & overall happiness 🌳🪻 Born well below 350ppm 😬 mostly silly personal views
📍Paris 🔗 https://davidpicard.github.io/
Haskell programming language @haskell.org Committed to a welcoming, vibrant & flourishing #Haskell community!
Here we talk about community updates, software engineering and the joy of programming.
Find us on https://haskell.org and https://blog.haskell.org
Chris Penner @chrispenner.ca FP and Programming languages nerd
Building the Unison Language & Unison Share
📍Victoria BC 🇨🇦
https://chrispenner.ca
Michael Chavinda @mschav.bsky.social Curious about many things
Marco Z @ocramz.bsky.social ML, λ • language and the machines that understand it • building trellis.unfoldml.com • https://ocramz.github.io
gabby @fullmoon.id Author of haskellforall.com, dhall-lang.org and @trygrace.dev, professional doggirl and endurance hunter
I'm a midwife to the hidden beauty in everything
she/her 🏳️⚧️ coworkers DNI
https://linktr.ee/gabriella439
💖 @ember.pet
Gro-Tsen @gro-tsen.bsky.social Eclectic mathematician, irritable geek, boring homosexual, procrastinator extraordinaire, overworked dilettante and full-time human being. I post in fr&en.
Evgeny Morozov @evgenymorozov.bsky.social Hater of solutionism. Books: The Net Delusion; To Save Everything Click Here. Podcasts: The Santiago Boys. A Sense of Rebellion. Founder: The Syllabus. 
Hillel is on Social Media Break @hillelwayne.com Formal methods, software history, chocolatiering. DMs open and happy to meet up in Chicago. Currently writing *Logic for Programmers* (out July-ish)
Newsletter: https://buttondown.email/hillelwayne/
David Deccache @deccache.bsky.social Doutor em Economia pela UnB. Assessor Econômico na Câmara dos Deputados (PSOL). Coautor do Livro Teoria Monetária Moderna e, o mais importante: Socialista e Botafoguense. 
Pirula @pirulla25.bsky.social O cara dos vídeo comprido
O Linck do Quadrinhos na Sarjeta @qnsarjeta.bsky.social Doutor em literatura, pesquisador de gibizinho e calvo ranzinza do Quadrinhos na Sarjeta.
Altay de Souza @altayals.bsky.social Scientist.
Podcast Naruhodo @naruhodopodcast
@cientistica (YT) http://youtube.com/@cientistica
Humor and Knowledge are the two great hopes of our culture. Konrad Lorentz
Arnaud Spiwack @aspiwack.bsky.social Multi-classed Software Engineer/Constructive Mathematician. Sometimes plays video games sort of fast. Puts topoi in your computer.
Mordz @rafaelmordente.bsky.social Artista Multimacetado → youtube.com/@rafaelmordente
🇵🇸 ☭ Gui Jong Un ☭ 🇵🇸 @stalinspears.bsky.social He/him. Psicólogo e mestre em Psicologia Social. Moro na 🇷🇺. Marxista-leninista.
🇨🇺🇰🇵
Humberto Matos @humbertomatos.bsky.social Professor e propagandista socialista
Randall Munroe @xkcd.com 
Star Trek Minus Context @nocontexttrek1.bsky.social Double dumb-ass on you. (And so fourth)
#AltText enthusiast. Also on mastodon, formerly on twitter. Other similar accounts are not me.
Daniel Bayer @danebayer.bsky.social Radialista | Locutor | Editor | Sonoplasta | Apresentador do @decrepitos.bsky.social | Editor do Bocadinhas | daniel@decrepitos.com
Ian Neves - História Pública @ianneves.bsky.social Historiador Marxista-Leninista, comunicador popular e membro da Soberana.
Samuel Braun @samuelbraun.bsky.social Cientista Político, Sociólogo, pesquisador em teoria do voto (UFRJ). Professor na UERJ. Doutorando em Economia Política Internacional.
vk.com/samuelbraun
twitter.com/samuelbraun
Hugo Albuquerque @hugoalbuquerque.bsky.social Jurista, editor (@AutonomiaLiteraria.bsky.social, @RevistaJacobina.bsky.social), sagitariano, militante.
Rodrigo Ianhez @rianhez.bsky.social Historiador e guia brasileiro na Rússia
João Carvalho @assimdisseojoao.bsky.social Aquele doido biruleibe lá. Militante MLM. O cara que sorteia dois trilhão de livro.
Contato: assimdisseojoao@gmail.com