@tortle.bsky.social

i'm trying to get back in touch with my feelings and talk about them more 🦣 [email protected] 🐤 @ohwizenedtortle

@ccmtaylor.bsky.social

@matt.problemattic.net

Developer and 3D motion artist

@qexat.com

local symbiont

@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

@danilopiazza.bsky.social

he/him or they/them | Just let me be weird sometimes. | Embrace the silliness.

@naufalauddin.bsky.social

A bimbo learning programming, Haskell, Purescript and Lean4

@shoebum.bsky.social

I might post less here and more at https://shubhamkumar13.codeberg.page

@omnisci3nce.bsky.social

Huge software nerd. Love C, Rust, OCaml Began working on an embedded system in the RFID/Access control industry but prev. worked on CAD & DFM software Outside of tech I enjoy racquet sports, pottery, and language learning 日本語OK! blog.joshrowe.dev

@fullmoon.id

Author of Dhall, http://haskellforall.com, professional doggirl, and principal engineer at Mercury I'm a midwife to the hidden beauty in everything she/her Discord: https://discord.gg/WvTtjBzMPB 💖 @ember.pet

@tsnobip.bsky.social

@rescript-lang.org contributor. Fond of geopolitics, space exploration, functional programming, typefaces and music. I know it's a bit eclectic :)

@colonelphantom.bsky.social

@amanda.systems

I’m usually on @[email protected] (Mastodon). PhD student of programming languages working on the Polonius borrow checker for Rust. Terrible philosopher. Mid Marxist. Technically a librarian.

@gay-algebraist.bsky.social

i love math and cats and penguins • she/her • 🏳️‍⚧️

@trishume.bsky.social

@apprxlinear.bsky.social

@whyareyoubuyingclothesatthesoup.store

she/her | 28 | trans dyke in chi systems/graphics programmer and textura quadrata enjoyer github.com/dataphract

@bisimulation.bsky.social

🇮🇹 • alecsferra.github.io

@brettevans.me

Functional programming, dependent types, denotational semantics, category theory, cooking, snowboarding, rugby.

@emmatyping.dev

trans, queer woman Former quantum compiler engineer, now at NVIDIA working on Python packaging. Python Core Triager & mypy project core team. Opinions my own. Maker of https://apt.cli.rs https://emmatyping.dev Profile by @li-n-arts.bsky.social she/her

@cybai.dev

Taiwanese, never Chinese! λ. @ServoDev contributor, Mozillian. Opinions are my own. he/him

@kipp.ly

worshipping the shinto god of reality kipp.ly

@germax26.net

@acfoltzer.net

fun: cats, flying, cameras, synthesizers, strategy games work: computer

@that-hatter.bsky.social

in search of a porpoise Github: https://github.com/that-hatter/ Discord: @that.hatter

@elfprince13.mumak.app

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

@redblobgames.com

Hi! I'm Amit Patel. I explain algorithms and math with interactive web pages (incl. pathfinding, hexagons, procgen maps, voronoi). Wrote Solar Realms Elite; helped w/Barren Realms Elite and Realm of the Mad God. https://www.redblobgames.com/

@kisonecat.com

associate professor in mathematics at The Ohio State University he/him https://youtube.com/kisonecat

@zoedsoupe.zeetech.io

software bricklayer | travesty | they/she/elu/dela | BS CS | pt-br/en | cohost @elixiremfoco | heated about tech & social justice may interact with soft NSFW 💜 elixir sdk dev at @supabase.com

@soamakola.bsky.social

I love things that are great. I think good things are fantastic

@godsped.com

@an.dywa.ng

@goose.art

seattle’s most businessy goose. honk i run fungi friends feed, sky.boo, and some other things looking for jobs in cybersecurity / data science if you have any leads 🙇‍♂️

@troglotit.bsky.social

🏴󠁲󠁵󠁳󠁡󠁿 he/him

@john.bsky.social

@slim.bsky.social

Pidgin algebraist https://slim.computer

@joao.omg.lol

Research Engineer at Google DeepMind A special snowflake existing in 196883 dimensions #ActuallyAutistic He/Him

@jelv.is

I like programming languages. A lot. Especially Haskell. Tools, types and functions.

@macla.ren

i like rust in my codebase but not on my cast iron current undergrad @ ucsd - future grad @ panic at 'called `Option::unwrap()` on a `None` value' she her

@benjaminreinhardt.com

Dare mighty things! Journeyman wondersmith at Speculative Technologies. 🏴‍☠️🪐🐉 https://Benjaminreinhardt.com + https://spec.tech

@sp.degabrielle.name

Cat feeder. London(UK) / Garramilla (Darwin) / Naarm (Melbourne)

@sreetamdas.com

senior senior software tinkerer @ Remote 💜 CS and mechanical keyboards!

@andymatuschak.org

More wonder, more insight, more expression, more joy! Currently exploring tools that augment human memory and attention. https://andymatuschak.org Twitter: andy_matuschak Mastodon: @[email protected]

@bdon.org

building a new map of the world at @protomaps.com cartographic tools, neogeography, systems programming, @recursecenter.bsky.social, https://80s.nyc https://bdon.org 📍 Taiwan

@miyazono.bsky.social

Presumption of innocence for people, not software

@r.whal.ing

I hack things. Data, ML, music, etc. AI governance geek. my book - "Modern Systems Programming in Scala Native" on pragprog my album - "Entropy" on Rusted Tone Recordings (band camp) I work at a tech company but represent only myself, at best.

@codyroux.bsky.social

Still ultrafinitist, but with a softer side. https://www.kleene.church/ I do the Church of Logic podcast. https://open.spotify.com/show/6vEh6ZpQr1Eoeoz8TbsMKx?si=3-hd-mv3ShGe2LFij4MCIQ

@tonofcrates.bsky.social