Formal methods enthusiast and wannabe logician.
Podcast (https://fronteirases.github.io/) da Rede Emílias de Podcasts @redeemilias.bsky.social
Linguagem de Programação
https://potigol.github.io
A experiência exclusiva para clientes de Alta Renda do Nubank. Como deveria ser.
Comunidade Elixir/Erlang da região de Carajás, Pará, BR
|> Erlang
|> Elixir
|> Phoenix
@elixircarajas.bsky.social organizer
Tentando aprender umas coisas aí… | #Java | #ApacheKafka | Mestrando em Sistemas Distribuídos | Software Development Specialist
https://youtube.com/@victor.osorio 🚩🚩
A propaganda cessa quando um simples diálogo se inicia. #JacquesEllul
Content on pt-br, sometimes en
Caerbannog-lang
Minha toca => https://computaria.gitlab.io/blog/
Javeiro falhando miseravelmente em ficar fora de redes sociais =/
Bora aprender ciência da computação ou matemática? @ulivre.dev
- DEV #OCaml #Elixir #Clojure
- Mestrando em Engenharia de Software na UTFPR
- ADM/ORG na ulivre.dev + gambiconf.dev
A mind-blowing programming conference, held in Estes Park, CO.
https://www.lambdaconf.us/
pragmatic, progressive, multidisciplinary creative, data scientist & full stack dev. occasional avid beach goer. always learning.
🔗 https://marko.tech 🏠 https://startyparty.dev
SE/Robotics Professor@UTFPR, Francisco Beltrão, Paraná.
Leftist/Antifa
TypeScript is JavaScript with types and type-checking.
Compiles down to JavaScript, runs where JavaScript runs.
enjoys music, good food, coding, and talking about them.
learning machines at employer. sbt core dev. he/him
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
Automated bot posting trending Rust repositories on GitHub.
Made by @pbzweihander.dev, but not curated by.
Source code: https://github.com/pbzweihander/rust-trending
A modern runtime for JavaScript and TypeScript
https://deno.com
GitHub Next. Visiting Professor Kings College London.
https://dsyme.net
https://linktr.ee/dsyme
Functional programmer, runner, cyclist. Author of Functional Programming in Scala 2nd Edition. Engineering Fellow
@comcast
working in video. He/him.
Friendly programming language from the future
Open source http://github.com/unisonweb/unison
Cloud platform: https://unison.cloud
Community: https://unison-lang.org/discord
λ coder • 📙 Author of "Grokking Functional Programming" • #Scala • Learning through teaching • https://michalplachta.com
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/
Working on @unison-lang.org
"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.
• 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.
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
I have thoughts. Lots of thoughts. They never stop thinking. Never stop thunking.
hachyderm.io/@hazelweakly
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.
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
Software Engineer and Leadership Coach by day, burgeoning carpenter, boardgame, reader, and knitter by night.
https://blog.thesoftwarementor.com
I’m a New Deal Democrat
doesn't bite
but may hold forth about trains, politics, or computers
consider yourself warned!
Somerville, MA
I work on web, compilers, and type systems | he/him
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.itch.io/liikennematto
🇨🇦 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
Functional programming / Making a browser game NuAshworld / Programming language design (cara-lang.com) / Property based testing / Music making. He/him.
coding & teaching & learning ✨ adventuring & exploring & healing ✨ bicontinental & biracial & bisexual ✨ she & her & hers
Not-a-number sommelier, purveyor of fine zeros and infinities.
Cat feeder.
London(UK) / Garramilla (Darwin) / Naarm (Melbourne)
Asst. Professor of Computer Science at Wellesley. Cornell PhD. Compilers, systems programming languages, lightweight formal methods. she/her.
https://cs.wellesley.edu/~avh/
Compiler Engineer at Quantinuum. Quantum Computation, Programming Languages & Software Engineering.
Chicago
Coder monkey 🐒 - aerospace amateur 🚀
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/
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_munoz
Other social media, not an OF 😆
Mexican, so spanish sometimes
professional bash enthusiast
play my video games or watch me code:
https://badcop.itch.io/
https://twitch.tv/badcop_
Software Engineer @SFTec (TypeScript, Python, Scala)
😸 Proud cat dad
💚 Callisthenics, Nature, Books, BCN
🐙 https://github.com/raulmarindev
♥️ @erikavega.com
ReScript enthusiast and core contributor
fham.dev
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
Dad of 2, software developer, functional programming enthusiast, PC gamer, and very into Pathfinder.
Contributor to @rescript-lang.org.
I like building stuff. I mainly tweet about ReScript, Relay and GraphQL. ReScript core contributor. @arizon_ab.
I might post less here and more at https://shubhamkumar13.codeberg.page
Watch me on : twitch.tv/shoe_bum
@rescript-lang.org core contributor.
Fond of geopolitics, space exploration, functional programming, typefaces and music.
I know it's a bit eclectic :)
Founder @mangacollec.com
Front-end Mobile and Web App Developer
I use @reactnative.dev & @rescript-lang.org
frontend engineer, ai hater, chief shitpost officer.
organizer @ https://parisjs.org, co-creator and podcast host @ https://putaindecode.io
https://bloodyowl.io
Open-source developer | Full stack Web | Self-employed | Hire me to move your favorite OSS forward!
life long learner 🖖
Software engineer, rust 🦀, rescript, elixir
she/her 🏳️⚧️🏳️🌈| 22y | princess bubblegum fan | software engineer @ifood.com.br | member at @He4rtDevs | trying to be a tech writer at http://dev.to/cherryramatis
Soziologie, Antisemitismus- und Nahostdebatten, Protest und Polizei, akademischer Kapitalismus. Intradisziplinäre Interpretationselite (c)
@ TU Berlin & @rosaluxstiftung.bsky.social
⚗️ Just another #ElixirLang dev
👉 he/him
🔗 https://katafrakt.me
🥌 curling in my free time
FOSS Necromancer at @herodevs. @faker_js, @cypress_io alum, @vuejs ecosystem.
✨ Weird CAD and graphics research
⚙️ Embedded software and Rust
🌎 Cambridge, MA
🏠 mattkeeter.com
QA de inputs obcenos, mas na vida real não sou QA. Anti-java só por piada. Já ensinei matemáticos a andar de bicicleta.
não reviso nada quee escrevo aqui.
ele/o
ilustra do perfil feita por @zerolimoes.bsky.social
I research programming languages and turn Category Theory into code
I love functional programming and learning new things ✨ Gleam core team member 💕 (he/him)
Integration engineer / Open source hitchhiker / DX enthusiast
@rescript-lang.org committer
Scala / Java / Python Engineer based in San Francisco Bay Area. Interests in NixOS, Functional Programming , Haskell, Swift Lang, ML/AI & Distributed Systems.
My blog: https://www.softinio.com
Partner at Underscore, Typelevel cofounder, Scala SIP committee alumnus. Type astronaut, grackle/shapeless/scalac/dotty hacker. He/him. Brighton, UK. Internationalist.
Principal Engineer. Consultant. Builder. Some AI.
Born at 340ppm
“It's said your life flashes before your eyes just before you die. That's true, it's called Life” – Terry Pratchett.
Location: 🇪🇸
Languages spoken: English, Spanish, Catalan, German
Programmer (mostly Scala), Pianist, Composer of Baroque Musick
Scala dev, unison-lang wannabe dev, amateur pianist, dad, husband, and keeper of six small furry beasts.
🏡 https://roe.dev
➕ building @nuxt.com • @npmx.dev • @nitro.build • https://elk.zone
💝 https://page-speed.dev • https://firstcommit.is • https://react-to-nuxt.com
🏅 Google GDE • Microsoft MVP • GitHub ⭐️
he/him
signal: danielroe.57
🧗♂️ ⛷️ 🚴♂️ ✝️
📍 edinburgh 🏴
Programming languages person focused on software systems problems.
Previously, first frontend engineer on Google Calendar, and was a security engineer who worked on the industrial-strength Mad Libs undergirding Gmail.
Pro-trans-rights is pro-family.
Senior Engineering Manager @ ferguson.com
Cofounder @ williamsandholmes.com
CEO | founder @ kaidev.io: Evolve Your Software With Purpose
👨🍼>> λ >>☕️>>🚴♂️
Senior Data Scientist @ UChicago Biostats Lab & Neuro Dept | prev @ JHU & ITAM | Music & Philosophy Lover | Building musicosphères @ http://stell-r.com & http://synff.co
👩💻 Tech Lead Manager @Busbud 🇨🇦 • 📢 Meetups creator & BDX I/O president • ✍️ Sketchnoter
Developer of #ElixirLang, LEGO builder, pun enthusiast
💻 Pursuing the Future of Computing
🔬 PhD Student @ University of Michigan (Future of Programming Lab)
🪄 Building Hazel: Live Functional Programming & Malleable Systems
🐾 Dog Parent
🛠️ Ex-Software Engineer
🌟 Computing Maximalist
https://andrewblinn.com
abstractJuiceFactory
🌱 ruining programming forever @ hazel.org
🌱 professoring @ Michigan
🌱 poetry
🌱 dendrites
🌱 immersion
🌱 flowers
🌱 resisting idiocracy
https://web.eecs.umich.edu/~comar
Professional computer scientist, unprofessional mathematician
Associate Professor at @cst.cam.ac.uk, researching decentralised systems and security protocols. Advisor to the Bluesky team. Wrote “Designing Data-Intensive Applications” (O’Reilly). he/him
Malleable software @inkandswitch.com
prev PhD @csail.mit.edu
geoffreylitt.com
🇯🇵🇺🇸
i want to squish software between my fingers
@inkandswitch.com Δ feelingof.com Δ ivanish.ca
profile photo by @seaofclouds.com
Founder Tech For Palestine, Darklang, and CircleCI. Currently running Tech for Palestine https://techforpalestine.org
Compiler engineer and co-host of the feeling of computing podcast
https://jimmyhmiller.com
https://feelingof.com/episodes/
PhD UMich • building http://tylr.fun http://hazel.org • dmoon.info
Dissident computer scientist
joshuahhh.com
t-shirt size: medium
You'd be surprised how much gray matter is dedicated to the analysis of facial imagery. Shame to waste it on anything as—counterintuitive as residual plots or contingency tables.
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 🏳️⚧️
https://linktr.ee/gabriella439
💖 @ember.pet
Professor @ University of Washington Information School. Computing, learning, design, justice, kitties, tacos, coffee, gender, politics, and transit. I write at amyjko.medium.com. I maintain wordplay.dev, bookish.press, adminima.app, reciprocal.reviews.