@06jank.bsky.social @06jank.bsky.social
Mete Atature @meteatature.bsky.social Professor of Physics at University of Cambridge Bilingual tweets (English & Turkish), Mostly about science, politics & cats (http://Instagram.com/meteatature)
Emre Bilgili @hemrebilgili.bsky.social
@doliincapax.bsky.social @doliincapax.bsky.social
Tolga Mırmırık @mirmirik.bsky.social Sceptic, software quality guy. An ordinary dot in an observable universe. I love peopleware, software, cats! IT Consultant, BirGün writer. Trainer. Metalhead.
Milky Way 풀덴 @fulden.bsky.social 풀덴 / 富尔丹 / フルデン
Chinese studies addict. Korean manhwa/bl fan. Japanese manga/anime slave.
I choose not to choose life.
Ailenizin Fato'su @bilimhatunu.bsky.social Fato işte
Andrew Boardman @myshoggoth.bsky.social I love music, stories, infrastructure, logistics, technology, and building community. Based in SE Portland, Oregon.
Senior Director of Engineering at Well.co, FP enthusiast. All opinions are mine and not my employer's.
Av.Mahmut TANAL @avmahmuttanal.bsky.social 28. Dönem YENİ Parti Şanlıurfa Milletvekili-PM ÜYESİ
TürkCezaHukukçular Der. Türk Hukuk Der. /ÇYD/TÜKODER Üyesi. Atatürkçü Düşünce Derneği üyesi.
Resmi hesabım.
Instagram.mahmuttanal 03124205560
CHP @herkesicinchp.bsky.social Türkiye’nin Birinci Partisi
metin cihan @handle.invalid
Furkan Onder @furkanonder.bsky.social Python Triage Member | Focusing on CPython #LKD #Python #ArchLinux #Django #eBPF
https://github.com/furkanonder/
Guillaume Bogard @guillaumebogard.dev (he/him) Developer (Haskell, Rust). Enjoys FP and static typing. Interested in databases and distributed systems. Theme park enthusiast 🎢 🏳️🌈 🇪🇺
Fin Kültürü ve Ahlâk Bilgisi @finkulturuveahlakbilgisi.com Finlandiya’dan tıp, bilim, hayat, insan, doğa, kültür, tarih... Arada eş durumundan Estonya. 🔴 Yazı ve videolar: https://linktr.ee/yalgin 🔴 Yazan: Çağrı Yalgın
Canberk Ovayurt @covayurt.bsky.social Software Engineer l #CTF l #Android l Drummer
şeyhmus @seyhmus.bsky.social karanlık yollardan geçtik!
hepkahiring @kahiring.bsky.social kahrolarak geldim
Kaan CEYHAN @kaanceyhan.bsky.social
Nimsi @nimsi.bsky.social
Tantek Çelik @tantek.com.web.brid.gy Hello
Hi. I work on web standards and the IndieWeb. I like to run trails, practice yoga, go bouldering, code & design my website, and write when I can. My pronouns are he/him. 🏠 📺 🥏
💬 Contact 👏 Tip Founder at IndieWeb Founder at microformats.org Web Stan…
nixpkgs security changes @nixpkgssecuritychanges.gerbet.me Bot publishing merged #nixpkgs pull-request with a security label
Managed by @thomas.gerbet.me / 🦣 https://social.gerbet.me/@Le_suisse
Also on 🦣 https://social.gerbet.me/@nixpkgssecuritychanges
Volkan Özçelik @volkan.io 🎸 Geek, Streamer, Cloud Native Crazy Maker ☸️
🐢 Keeping your secrets secret since 2022 ⚡️
📡 https://spike.ist 🛰️ https://ctx.ist/ 🚀
👋 More About Me: https://volkan.io/
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
SwiftOnSecurity @swiftonsecurity.com computer security person. former helpdesk
Oxide Computer Company @oxide.computer The cloud you own. https://oxide.computer/bio
Bryan Cantrill @bcantrill.bsky.social Co-founder and CTO of Oxide Computer Company. According to Field of Schemes, "tech exec and Oakland A's fan" -- but more of an Oakland Ballers fan now.
Matthew Green @matthewdgreen.bsky.social I teach cryptography at Johns Hopkins. https://blog.cryptographyengineering.com
Jepsen @jepsen.mastodon.jepsen.io.ap.brid.gy Breaking distributed systems, one fault at a time.
[bridged from https://mastodon.jepsen.io/@jepsen on the fediverse by https://fed.brid.gy/ ]
Mark Wotton @mwotton.bsky.social freelance goblin technologist
Martin Kleppmann @martin.kleppmann.com 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
Yaron Minsky @yminsky.bsky.social Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
Paul Chiusano @pchiusano.bsky.social Working on @unison-lang.org
Yann LeCun @yann-lecun.bsky.social Professor a NYU; Executive Chairman at AMI Labs..
Researcher in AI, Machine Learning, Robotics, etc.
ACM Turing Award Laureate.
http://yann.lecun.com
Tikhon Jelvis @jelv.is I like programming languages. A lot. Especially Haskell.
Tools, types and functions.
skyking @jkachmar.com sounding rockets & bad computer programming
formerly Groq, WeWork, NASA Wallops, among others
ZuriHac @zurihac.bsky.social The official Bluesky account for ZuriHac
zurihac.info
Zanzi Tangle @zanzi.bsky.social I research programming languages and turn Category Theory into code
julesh @julesh.mathstodon.xyz.ap.brid.gy Applied Compositional Thinking
🌉 bridged from ⁂ https://mathstodon.xyz/@julesh, follow @ap.brid.gy to interact
Alejandro Serrano Mena @serranofp.com 👨💻 Researcher @ Kotlin Evolution @ JetBrains
🧙♂️ Passionate about FP (mostly Arrow & Haskell)
📚 Author of 4 books
Unison @unison-lang.org Friendly programming language from the future
Open source http://github.com/unisonweb/unison
Cloud platform: https://unison.cloud
Community: https://unison-lang.org/discord
Oskar Wickström @wickstrom.tech Software engineer in rural exile. Autonomous and generative testing, PL, web, and more.
Blog at wickstrom.tech, work at antithesis.com
Manuel Chakravarty @tacticalgrace.justtesting.org 🔥 Lambda Scientist
💡 Functional programming
💡 Programming languages
💡 Cryptography
👨🏽💻 Swift, Haskell & Agda
💜 Volt 🇪🇺 policy shaper: digital affairs
📍 Utrecht 🇳🇱🇩🇪🇪🇺
Chris Penner @chrispenner.ca FP and Programming languages nerd
Building the Unison Language & Unison Share
📍Victoria BC 🇨🇦
https://chrispenner.ca
Edwin Brady @edwin.type-driven.org.uk Reader in Computer Science at the University of St Andrews. Will play ukulele for free, will stop for money. Cricket. Go. Woke Prick. He/him. Avatar by Joo (www.siajoohiang.com)
https://www.type-driven.org.uk/edwinb/
https://www.lambda-miners.org.uk/
Jasper Van der Jeugt @jaspervdj.be I like Haskell
karpathy @karpathy.bsky.social AI @ OpenAI, Tesla, Stanford
Lambda Days @lambdadays.bsky.social Lambda Days is taking a break in 2026.
Your favourite Functional Programming conference is here 🥳
2 days of full immersion in languages like #Haskell #Scala #Elm #Gleam #Elixir and #Clojure 🔥
Matteo Capucci @mattecapu.bsky.social 🇮🇹, amateur professional poster and professional amateur mathematician (general abstract nonsensology applied to systems theory & cybernetics), aspiring psycohistorian. shitposting isn't endorsement.
You can't find me here, I'm on @mc@mathstodon.xyz
Satnam Singh @satnam6502.bsky.social Punjabi-Scottish-American husband and father of two, Haskell hacker, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California
http://raintown.org
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
Andres Löh @kosmikus.bsky.social 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.
gelisam @gelisam.bsky.social professional Haskeller
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
Avi Press @avi.press Founder of Scarf (https://scarf.sh)
Board @ Haskell Foundation
Startups and open source analytics
Simon Marlow @simonmar.bsky.social I write code, delete email and forget to go to meetings at Meta, mainly on glean.software. Spare time: bikes and mountains.
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
Rebecca Skinner @cercerilla.bsky.social Programmer, Parrot Mom, Free Software Enthusiast, and author of Effective Haskell. https://www.pragprog.com/titles/rshaskell/effective-haskell/
Alexis King @lexi-lambda.bsky.social computers can be understood • she/her, ⚢ • Chicago
Susan Potter @susanpotter.net Anti-fascist, anti-authoritarian, pro-privacy, pro-speech, investor, trader, polyglot software engineer (Haskell, Erlang, Scala, Nix, NixOS, F#) with a systems reliability and security focus. Recovering SRE.
https://www.susanpotter.net/
Eric Torreborre @etorreborre.blog Haskell / Scala / Rust developer (author of the specs2 and registry libraries)
github.com/etorreborre
etorreborre.blog
Arian van Putten @arianvp.me Working on banking infra at @mercury@twitter.com
prev: @feeldco@twitter.com, @wire@twitter.com
Opinions are my own and do not reflect that of my (past) employer(s)
@alanz.bsky.social @alanz.bsky.social
Justin @jusle.bsky.social haskell and stuff
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
Brad Fitzpatrick @bradfitz.com I do computers. Married to @radkat.fitzpat.com. Three kids. Xoogler.
Go (#golang) team 2010~2020. Made LiveJournal, OpenID, memcached. Currently at @Tailscale.com making WireGuard easy.
Seattle, WA // Bainbridge
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.
Hazel Weakly @hazelweakly.me I have thoughts. Lots of thoughts. They never stop thinking. Never stop thunking.
hachyderm.io/@hazelweakly
adafruit @adafruit.com Engineer - Founder of Adafruit - Brooklyn, NY USA - Manufacturer, open-source hardware, certified Minority and Woman-owned Business Enterprise (M/WBE) https://adafruit.com - support https://forums.adafruit.com & order/customer help support@adafruit.com
Jaana Dogan ヤナ ドガン @rakyll.org Principal Engineer at Google. Simplicity and optimism. Personal opinions.
Julia Evans @b0rk.jvns.ca programming and exclamation marks
blog: jvns.ca
zines: wizardzines.com
Kadin Yazilimci / Women Developers of Turkey @kadinyazilimci.bsky.social Yazılım sektöründe çalışan gönüllülerin yönettiği bağımsız topluluk / An independent community managed by volunteers within the software industry
ahmet alp balkan @ahmet.dev working on inference infra @ baseten.co
ex-linkedin/twitter/googlecloud/azure
dist sys enthusiast
github.com/ahmetb
Gergely Orosz @gergely.pragmaticengineer.com Writing The Pragmatic Engineer (@pragmaticengineer.com), the #1 technology newsletter on Substack. Author of The Software Engineer's Guidebook (engguidebook.com). Formerly at Uber, Skype, Skyscanner. More at pragmaticengineer.com
Yaman Akdeniz @cyber-rights.org Academic, cyber-rights activist, and trouble-maker :) AYM tescilli "kamu gözcüsü"
Kemal Akkoyun @kakkoyun.me GIF Monger, builder, tinkerer and geek.
Observability, Reliability, Performance. Mostly focused on #Go, #eBPF and #OpenTelemetry
@prometheus.io, and @opentelemetry.io team member.
#profiling #kubernetes #golang #zig #linux #perf
Naber Dergi @naberdergi.bsky.social https://www.patreon.com/Naber_Dergi
NetBlocks @netblocks.org The Internet's Observatory: Tracking cybersecurity and digital governance • connectivity and democracy • tools and policy for change • https://netblocks.org
Burak Bayburtlu @burak.com Tech geek & watch nerd. 🏴☠️
https://burak.com
https://instagram.com/burak
https://x.com/burak
Kutsal Bayraktar @mortifera.bsky.social hiçbir akü mutlu değildir- G @gorkemcetin.bsky.social @gorkemcetin.bsky.social
Kemal @disq.bsky.social
jörmün @jormun.bsky.social Jor Mungan 🇬🇱 fleksitaryen reformist pis black metalci. istatistikçi. seçim entüziyast. çevirmen. norv muhibi. 🇸🇯
@felo.bsky.social @felo.bsky.social
Özer Dölekoğlu @wrzl.bsky.social c:\internet .zip, geek, baba, guitar hero, bir de komik.
Bu profil tam bir boş zaman geçirgecidir (limk ❤️)
Çağatay Aktürk @cagatayakturk.bsky.social Sana degil, sana da degil, hah sana diyorum.!
Elif T. Kuş @elifkus.bsky.social Yazılımcı. Hatta @kadinyazilimci . Bilişsel Bilimsever. / Software Engineer. Blogs at @kadinyazilimci Cognitive Science Enthusiast
Gundi @gundiefendi.bsky.social Kaliteli pide kaliteli yoğadan evladır.
Necdet Yücel @nyucel.bsky.social Özgür yazılım insanı
Barış Büyükakyol @buyukakyol.com Siyah Fes Manifestosu eşliğinde Gece Okulu iştiraki
Orkut Murat Yılmaz @orkutmuratyilmaz.bsky.social GIS, Geodesy, Remote Sensing, Drupal, OpenStreetMap, GNU/Linux, PostGIS & Large Language Models. #teamADHD
Bilge Şenyüz @bilgesenyuz.bsky.social Communication studies
https://bilgesenyuz.com
Kaan Öztürk @mkozturk.com "Çok kez gerçekler yüzünden değil yanlış kanılar yüzünden acı çekeriz."
https://mkozturk.com/
Mehmet Hakan Satman @jbytecode.bsky.social Professor of Numerical Methods @ Istanbul University | Associate Editor @ Journal of Open Source Software (JOSS)
Alper Cugun @alper.nl Doing Platform Engineering in Berlin
Now: gym, studying Japanese, Critical Role, Cuppin.gs, Rust
umut şirin @usir.in senior engineer | design systems & accessibility at @discord.com
building for web since 2000
my own opinions, not my employer’s
#AuDHD
Özgür Öztürk @ozgurozturk.net Geek in Chief @aytitech | http://ayti.tech | http://youtube.com/@aytitech
Cuneyt Ozdas @cozdas.com Principle Engineer at Autodesk. Mostly working with photons, electrons, human visual system and their interactions with each other. 🫖
San Francisco Bay Area, CA
Egemen İmre @uyducusirin.bsky.social Satellites, data privacy, open source... and rants.
https://github.com/egemenimre
Serkan Sevilgen @serkansevilgen.bsky.social Director of Engineering (https://temblor.net)
/ Electroacoustic music composer / programmer
https://serkansevilgen.com/