×
You are not logged in
Bluesky Follows
SE4FP Workshop
Follows by @se4fp.github.io
AnalyticSort
Registered:5 Sep 2024 22:42
Follow date:14 Oct 2025 22:52
Formal methods enthusiast and wannabe logician.
Fronteiras da Engenharia de Software
Registered:29 Dec 2024 23:56
Follow date:21 Sep 2025 23:15
Podcast (https://fronteirases.github.io... da Rede Emílias de Podcasts @redeemilias.bsky.social
Linguagem Potigol
Registered:13 Apr 2024 16:43
Follow date:18 May 2025 00:35
Linguagem de Programação
https://potigol.github.io
Nubank Ultravioleta
Registered:17 Sep 2024 17:20
Follow date:15 May 2025 20:40
A experiência exclusiva para clientes de Alta Renda do Nubank. Como deveria ser.
Nubank
Registered:10 Sep 2024 14:32
Follow date:15 May 2025 20:40
Nubank. Faz Valer.
Elixir Carajás Meetup
Registered:10 Apr 2025 18:05
Follow date:15 May 2025 00:03
Comunidade Elixir/Erlang da região de Carajás, Pará, BR
Dhony
Registered:10 Sep 2024 00:41
Follow date:15 May 2025 00:03
|> Erlang
|> Elixir
|> Phoenix
@elixircarajas.bsky.social organizer
Victor Osório
Registered:6 Feb 2024 16:59
Follow date:14 May 2025 22:27
Tentando aprender umas coisas aí… | #Java | #ApacheKafka | Mestrando em Sistemas Distribuídos | Software Development Specialist
https://youtube.com/@victor.os... 🚩🚩
A propaganda cessa quando um simples diálogo se inicia. #JacquesEllul
Jeff Silksong Coelho
Registered:3 Sep 2024 22:47
Follow date:14 May 2025 22:27
Content on pt-br, sometimes en
Caerbannog-lang
Minha toca => https://computaria.gitlab.io/b...
Javeiro falhando miseravelmente em ficar fora de redes sociais =/
Bora aprender ciência da computação ou matemática? @ulivre.dev
Camilo de Azevedo
Registered:27 Jun 2023 20:50
Follow date:14 May 2025 22:21
LambdaConf 2025
Registered:26 Feb 2025 21:19
Follow date:22 Apr 2025 10:36
A mind-blowing programming conference, held in Estes Park, CO.
https://www.lambdaconf.us/
Marko Bajlovic
Registered:19 Oct 2024 06:04
Follow date:20 Apr 2025 00:00
pragmatic, progressive, multidisciplinary creative, data scientist & full stack dev. occasional avid beach goer. always learning.
🔗 https://marko.tech 🏠 https://startyparty.dev
Michel Albonico
Registered:1 Sep 2024 01:13
Follow date:18 Apr 2025 10:25
SE/Robotics Professor@UTFPR, Francisco Beltrão, Paraná.
Leftist/Antifa
TypeScript
Registered:1 Jun 2023 20:45
Follow date:16 Apr 2025 18:15
TypeScript is JavaScript with types and type-checking.
Compiles down to JavaScript, runs where JavaScript runs.
∃ugene -Yokota 🥙
Registered:26 Jun 2023 06:18
Follow date:16 Apr 2025 18:15
enjoys music, good food, coding, and talking about them.
learning machines at employer. sbt core dev. he/him
Clojure Jobs - ClojureJobboard.com
Registered:21 Feb 2024 11:48
Follow date:16 Apr 2025 18:15
The job board dedicated to clojure developer jobs, i.e. job ads where companies are looking for developers that know Clojure / Clojurescript.
Find your next job at https://ClojureJobboard.com
RustTrending
Registered:1 May 2023 12:24
Follow date:16 Apr 2025 18:15
Automated bot posting trending Rust repositories on GitHub.
Made by @pbzweihander.dev, but not curated by.
Source code: https://github.com/pbzweihande...
Deno
Registered:21 Oct 2024 16:45
Follow date:16 Apr 2025 18:15
A modern runtime for JavaScript and TypeScript
https://deno.com
Don Syme
Registered:27 May 2023 19:14
Follow date:16 Apr 2025 18:15
GitHub Next. Visiting Professor Kings College London.
https://dsyme.net
https://linktr.ee/dsyme
Michael Pilquist
Registered:9 Oct 2023 13:28
Follow date:16 Apr 2025 18:15
Functional programmer, runner, cyclist. Author of Functional Programming in Scala 2nd Edition. Engineering Fellow
@comcast
working in video. He/him.
Unison
Registered:6 Nov 2024 17:39
Follow date:16 Apr 2025 18:15
Friendly programming language from the future
Open source http://github.com/unisonweb/un...
Cloud platform: https://unison.cloud
Community: https://unison-lang.org/discor...
Michał Płachta
Registered:15 Nov 2024 13:25
Follow date:16 Apr 2025 18:15
λ coder • 📙 Author of "Grokking Functional Programming" • #Scala • Learning through teaching • https://michalplachta.com
Racket
Registered:16 Nov 2024 10:44
Follow date:16 Apr 2025 18:15
Racket is...
* A language-oriented programming project
* a family of programming languages
* a native code compiler and other tools,
* a diverse community 😁
Join us at https://racket.discourse.group...
https://racket-lang.org/
Paul Chiusano
Registered:21 Nov 2024 14:55
Follow date:16 Apr 2025 18:15
Working on @unison-lang.org
Louis Pilfold
Registered:25 Apr 2023 13:47
Follow date:16 Apr 2025 18:13
"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.
hayleigh
Registered:25 Apr 2023 13:42
Follow date:16 Apr 2025 18:13
• Drawing boxes and writing words at xyflow
• Core Team at Gleam
• Author of Lustre
I’m just a 🏳️⚧️ girl learning 🇫🇷 and vibing in 🇧🇪🇬🇧
Fuck Nazis. ACAB. Black Lives Matter. Trans Rights Now.
sekun
Registered:6 Feb 2024 17:22
Follow date:16 Apr 2025 18:13
zelda fan | i like learning, and making stuff with computers
currently building: @remotehiro.com
website (and blog) → https://www.sekun.net
git → https://git.tacohiro.systems
github → https://github.com/sekunho
pfp by @yamazatomorito.bsky.social
Hazel Weakly
Registered:5 May 2023 14:12
Follow date:16 Apr 2025 18:13
I have thoughts. Lots of thoughts. They never stop thinking. Never stop thunking.
hachyderm.io/@hazelweakly
Andres Löh
Registered:25 Jul 2023 19:27
Follow date:16 Apr 2025 18:13
Partner and Haskell Consultant at Well-Typed LLP. Board member of the Haskell Foundation. Co-host of the Haskell Interlude and the Haskell Unfolder.
Posts mostly about Haskell, and occasionally about books, video games, and other things that interest me.
Thomas Dickerson
Registered:8 May 2023 13:43
Follow date:16 Apr 2025 18:13
Director of Geospatial AI @nbcuniversal.com, Brown CS PhD & SMCVT Math/Physics/CS alum, admin @cemetech.net, AFOL, SFF nerd & open-theist
Bluesky open-source contributor
Decentralizing systems (human & digital)
Opinions are my own
📍Vermont
Cameron Presley
Registered:1 Jul 2023 13:48
Follow date:16 Apr 2025 18:13
Software Engineer and Leadership Coach by day, burgeoning carpenter, boardgame, reader, and knitter by night.
https://blog.thesoftwarementor...
Beatrix
Registered:2 May 2023 13:53
Follow date:16 Apr 2025 18:13
I’m a New Deal Democrat
doesn't bite
but may hold forth about trains, politics, or computers
consider yourself warned!
Somerville, MA
justin
Registered:2 Oct 2023 14:41
Follow date:16 Apr 2025 18:13
I work on web, compilers, and type systems | he/him
Matias Klemola
Registered:6 Dec 2023 04:42
Follow date:16 Apr 2025 18:13
Software developer @ the Finnish Broadcasting Company (Yleisradio). I mostly write about video games, music and tech. Father of two.
🕹️🚙 Liikennematto - build the roads and the town comes to life! https://yourmagicisworking.itc...
Brooklyn Zelenka
Registered:24 Nov 2022 01:16
Follow date:16 Apr 2025 18:13
🇨🇦 Vancouver
💍 @katiewilde.com
🏢 @inkandswitch.com
🎟️ @ucan.xyz
🔰 Always learning
💡 Woke AF
🏳️🌈 Heckin' sapphic
🏳️⚧️ Protect trans kids
✊ BLM/Land Back/Antifa
📝 notes.brooklynzelenka.com
🐘 types.pl/@expede
👩🏼💻 github.com/expede
🏔️ codeberg.org/expede
Martin Janiczek
Registered:9 May 2023 10:54
Follow date:16 Apr 2025 18:13
Functional programming / Making a browser game NuAshworld / Programming language design (cara-lang.com) / Property based testing / Music making. He/him.
Anjana Vakil
Registered:11 May 2023 15:55
Follow date:16 Apr 2025 18:13
coding & teaching & learning ✨ adventuring & exploring & healing ✨ bicontinental & biracial & bisexual ✨ she & her & hers
Steve Canon
Registered:8 May 2023 16:22
Follow date:16 Apr 2025 18:13
Not-a-number sommelier, purveyor of fine zeros and infinities.
Stephen
Registered:30 Jul 2023 20:23
Follow date:16 Apr 2025 18:13
Cat feeder.
London(UK) / Garramilla (Darwin) / Naarm (Melbourne)
Alexa VanHatttum
Registered:20 Jun 2023 05:04
Follow date:16 Apr 2025 18:13
Asst. Professor of Computer Science at Wellesley. Cornell PhD. Compilers, systems programming languages, lightweight formal methods. she/her.
https://cs.wellesley.edu/~avh/
Kartik
Registered:3 Jul 2023 12:08
Follow date:16 Apr 2025 18:13
Compiler Engineer at Quantinuum. Quantum Computation, Programming Languages & Software Engineering.
Chicago
Sami Badawi
Registered:19 Oct 2024 08:04
Follow date:16 Apr 2025 18:13
Coder monkey 🐒 - aerospace amateur 🚀
Alexandru Nedelcu
Registered:1 Jul 2023 08:02
Follow date:16 Apr 2025 18:13
Software developer, FP, Scala, Kotlin, Java / JVM, Haskell, Rust; contributor to https://alexn.org, https://monix.io, https://typelevel.org.
🌍 Bucharest, Romania
https://alexn.org/about/
Angel Munoz
Registered:8 Aug 2023 04:41
Follow date:16 Apr 2025 18:13
One of the 12 #fsharp devs in the world, trying out kotlin and #buildinginpublic fun, I started this journey around 2013.
https://linktr.ee/angel_d_muno...
Other social media, not an OF 😆
Mexican, so spanish sometimes
badcop
Registered:30 Jul 2023 01:25
Follow date:16 Apr 2025 18:13
professional bash enthusiast
play my video games or watch me code:
https://badcop.itch.io/
https://twitch.tv/badcop_
Raúl Marín
Registered:6 Feb 2024 20:04
Follow date:16 Apr 2025 18:13
Software Engineer @SFTec (TypeScript, Python, Scala)
😸 Proud cat dad
💚 Callisthenics, Nature, Books, BCN
🐙 https://github.com/raulmarinde...
♥️ @erikavega.com
Florian
Registered:4 Nov 2024 08:14
Follow date:16 Apr 2025 18:13
ReScript enthusiast and core contributor
fham.dev
Sam Minnée
Registered:19 Aug 2023 03:23
Follow date:16 Apr 2025 18:13
Techie, dad, Wellingtonian. Building with AI, trying to do so thoughtfully. Loves nuanced discussion of complex topics, and toilet humour.
Founded Silverstripe in a past life, now CTO for tellfrankie.com and askastro.ai
Josh Vlk
Registered:4 Jun 2023 14:50
Follow date:16 Apr 2025 18:13
Dad of 2, software developer, functional programming enthusiast, PC gamer, and very into Pathfinder.
Contributor to @rescript-lang.org.