almac_dev @almac-dev.bsky.social I ❤️ Software Engineering • I use: Kotlin, Java, TypeScript • I learn: Scala, Clojure • Ave Christus Rex! 🕊️👑 • 🇻🇦
Learning: Making games w/ LibGDX, Self-hosting privacy, working on misc. SaaS.
Na'aman Hirschfeld @nhirschfeld.bsky.social Co-Founder & CTO @ xberg.io. Document AI and extraction, polyglot Rust cores. Building basemind. Creator of Litestar & Polyfactory. Open source. Opinionated and strongly typed.
ᴛᴏʟʟʏ ( ͡° ͜ʖ ͡°) @tolly.xyz zach • husband • dad • dev • former teacher (math/cs) • ceo of htmx • neovim btw • 𝕏 @tollyferro
Numero Zero @numer0zer0.bsky.social Lettore Modello
scrt.link @scrt.link Share sensitive information securely:
End-to-end encrypted. Ephemeral. Open source.
Try yourself: https://scrt.link
Marv @marvy.bsky.social Martian
Mighty Cat @catamight.bsky.social Hinauf! Hinauf strebt's.
Es schweben die Wolken
Abwärts, die Wolken
Neigen sich der sehnenden Liebe.
France traversée @clementd.wtf Baking biscuits at https://biscuitsec.org, Human of Puna. SWE @ datadog
tautologer @tautologer.com It's been like this since man first came and chased a wild bear and gave a part of himself to please the gods.
tyler @tylernford.bsky.social 
Wilfred @wilfredh.bsky.social Programming languages, human factors, and a healthy dose of Emacs.
@catawampless.bsky.social @catawampless.bsky.social 
Olivia @imoliviaaaaa.bsky.social Staff @AMF
new pics every hour
spicy stuff lives on my private page 👇
onlyfans.com/u592653470/c1
@randyisrandom.bsky.social @randyisrandom.bsky.social Formal Methods/Digital Philology #OCaml #Rocq #Agda#Unix
Investigating the illusion of discreetness
Cyrus Omar on sabbatical in Cambridge @neurocy.bsky.social 🌱 ruining programming forever @ hazel.org
🌱 professoring @ Michigan
🌱 poetry
🌱 dendrites
🌱 immersion
🌱 flowers
🌱 resisting idiocracy
https://web.eecs.umich.edu/~comar
Julia Sugarbaker 🇺🇸 @juliasugar.bsky.social blue dot mom in a very red state
peterb from Tea Leaves Programming @peterb.bsky.social effort + coffee = software. See also @peterb@mathstodon.xyz
Camilo de Azevedo @camilotk.ulivre.dev
- DEV #OCaml #Elixir #Clojure
- Mestrando em Engenharia de Software na UTFPR
- ADM/ORG na ulivre.dev + gambiconf.dev
fmapzz @dydxvt.bsky.social Software dev at day
And
I draw stuff at night.
https://github.com/WildSource
Matt Williams @icklematt.bsky.social Software developer/architect/lead, currently trying to fix email security with the non-trendy kind of AI. Sailing, Scouting, board games and politics geek outside office hours.
ULTRA/MAGIC @ultramagic.bsky.social 
Christopher Smith @chriscarrollsmith.bsky.social Software developer and technology consultant in Troy, NY
Doll @dollspace.gay It/Its
Senior Agent Engineer at fieldleveltech.org
Its name is doll. The system is an adult.
Creating ethical and safe AI systems. X-Risk isnt real. Calm down.
EGL Fashion posts!
Amber 🌸 @shimmermathlabs.com Indie software developer • math witch • ML builder • 49 • 🏳️⚧️ she/her
Here to make friends and have fun (not argue). DMs open.
Currently working on new transformer architectures.
h̃ₜ = tanh(Wₕ xₜ + Uₕ(rₜ ⊙ hₜ₋₁) + bₕ)
'(Robert Smith) @stylewarning.bsky.social Currently flipping bits and rotating qubits. Advocate of open-source math software. You'll often catch me Lisping (or playing piano).
Joseph Garvin @josephhgarvin.bsky.social voicecoding latency and throughput hacker. How did I get here and what am I doing in this hand basket? he/him
heartpunk (sophie!!) @heartpunk.com trying to see if we can recover programming language semantics from implementations @ patreon.com/heartpunk
39 y/o, MDNI 🔞
she/they/bitch(es)
alt for pfp: the soul of the rose by john waterhouse
alt for banner: sappho and erinna by simeon solomon
Ricardo Mapurunga Junior @ricmaps.bsky.social homoiconic
Alecs P. Hacker @bisimulation.bsky.social Unsound and incomplete
alecsferra.github.io
andrew blinn @disconcision.com https://andrewblinn.com
abstractJuiceFactory
oliver @eikopf.com absolutely will not shut up about programming languages
(he/him)
@chares8191.bsky.social @chares8191.bsky.social 
Akhil 🚀 @akhiltulluri.bsky.social tulluri.me | Software Engineer | Compilers, PL, Functional Programming, OCaml 🐫
Henry Wallace @attobop.bsky.social Learning and hacking! 🌈⚡️🔥💧🌱
https://attobop.net
https://github.com/arclabs561
Boneguts @boneguts.com I love beautiful things
nhatanh @nhatanh02.bsky.social 
Type Theory Forall @ttforall.bsky.social Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
barkmadley @barkmadley.com 
sam pocino @spocino.bsky.social 
Avishek ghosh @avishekcolours.bsky.social 
Alperen Keleş @keles.bsky.social METU CENG 21'
PhD Student at UMD
Programming Languages/Formal Verification/Random Testing
Writing at http://alpkeles99.medium.com
Twitter: @keleesssss
Skeptic @m4z1n.bsky.social 
Lélahel @lelahx.bsky.social do i look like i know what im doing
CogniDroid @cognidroid.bsky.social Failure at life and the passion I'd wanted to pursue.
M. Civi @mcividino.bsky.social Electronics, Retro Computers, Linux, 3D Printing
Ham radio EB3BRJ
Trying to get my 9 years old daughter into technology
#arduino #micropython #circuitpython #electronics #make
🚫Porn 🚫GoFundMe 🚫Crypto
Mataró, Spain
Curly Braces @loopinglife.bsky.social Daily nuggets of software wisdom.
Jansen @jnsn.in programming, electronics for fun, counter-strike global general rank 40.
Estrella @astrallexicon.com bio fail laugh at this user
20++ SEA they/any
fake fan of math, cs, music, anime (sometimes), games (usually rhythm but some others too)
μ @aripiprazole.dev 
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
@orpheee.bsky.social @orpheee.bsky.social unironically latinx
Damien @damienstanton.com 👋 hello, I build research software at PwC & am a @colorado.edu CS grad student. Code tinkerer for 12+ years; into distsys, PL/types, aviation, & practical AI.
Emma @emmatyping.dev Python Core Dev & Rust for CPython co-lead. mypy core team. Former quantum compiler engineer, now at NVIDIA working on Python & packaging. Opinions my own.
🏳️⚧️
https://emmatyping.dev
Masto: @emmatyping@hachyderm.io
Profile pic by Caleb Rippetoe
she/her
@banon4.bsky.social @banon4.bsky.social 
@temodfem.bsky.social @temodfem.bsky.social 
Loftwah @loftwah.com I like computers | https://deanlofts.xyz/guides/
My projects:
- TechDeck - https://techdeck.life
- Linkarooie - https://linkarooie.com
- Bogan Hustler - https://boganhustler.deanlofts.xyz
- Linux for Pirates! - https://linuxforpirates.deanlofts.xyz
slimmus jimmus @slimjimmydev.bsky.social like biggus dickus only bigger
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.
א @alternator2.bsky.social 
Matti Palli @mpg.is aka Dr. Matthías Páll Gissurarson | uncertified Haskell engineer
Eduardo Rafael @eduardorfs.com 27yo anti floating point developer. You can almost always find me at http://twitch.tv/eduardorfs, it's the boring side of tech.
Maya ☁️➡️🌸 @mayaofspring.bsky.social on a learning arc | also on twitter
📍Singapore (sometimes London)
KC Sivaramakrishnan @kcsrk.info Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
Peter W. @kinographer.bsky.social Breaking computers. Amateur parking warden. He/him
gosha @gosha.net Clojure, parenting, and K-Pop Demon Hunters
Building https://parts.ifs.tools
Homepage: https://gosha.net
Studio: https://a.possible.space
Christophe Favergeon @cfavergeon.bsky.social Crazy engineer. 📍Nice, France. 
David Sancho @david.sancho.dev Open Source UI infra at @ahrefs.bsky.social with OCaml
Made styled-ppx and server-reason-react
Working on Reason / Melange / reason-react and friends
Made styled-ppx and server-reason-react
Working on reason-react / Melange / Reason
Mattia Valzelli @mattia.cloud 
Sebastien Marie @semarie.kapouay.eu.org OpenBSD, programming language (c, lisp, ocaml, rust, zig, …), sysadmin, infosec and others things like that
metame メタミ @metameeee.bsky.social queer 🏳️🌈 autist 🧠 SE 🦀 J-everything ⛩️
I don't agree with any of your opinions.
はじめまして!
日本語をべんきょうします
アメリカ人、ソフトウェアエンジニア、アニオタ
よろしくお願いします
Stephen Diehl @www.stephendiehl.com Softwares, maths, compilers and bears.
https://www.stephendiehl.com/
joomy @joomy.bsky.social researcher at Bloomberg. somehow a computer doctor. posts about functional programming, dependent types, metaprogramming, linguistics, and Turkey.
🐦: http://twitter.com/joomy
🕸️: http://joomy.korkutblech.com
David Abram @abram.bsky.social Software development consultant › I fix orgs so they stop breaking prod · popularizer of the term typefuckery (http://typefuckery.com) · making the compiler ner- P @potetm.com @potetm.com
Shreyas Mididoddi @shreyascodes.tech passionate developer,
http://htmx.ceo 🤷 btw!
always happy / *never sad (same thing)
mental af ? 🤔
señor junior dev,
I'm here to have fun and make friends
* = almost
Jules @dialecticalrussell.bsky.social Eclectic Bakuninist
Math/Computer Science musings can be found over at hegeliantaco@mathstodon.xyz
chreke @chreke.com Functional programming enjoyer
Co-founder of https://functionalsoftware.se
Personal website: https://chreke.com
Sometimes I write stuff here: https://blog.snork.dev/
aron @adler.dev ⊙ software eng. FP, type systems, #LeanLang hobbyist. jewish. not a p-zombie i promise.
fj @fjzeit.bsky.social software professional • artisan bogan • os agnostic • webassembly • c++ • c# • x86 • python • langchain • semantic kernel • leadership • quality • bants & yarns
Joe Cutler @alphaconvert.bsky.social cutler.pl