FoFollowers Resmi @fofollowers.bsky.social Ücretsiz Bluesky için takipçi araçları: https://fofollowers.com Seni engelleyenleri gör. Takip etmeyenleri tek tıkla sil. İndirme gerekmez!
Elia Pasquali @eliapasquali.it 
Jimmy Miller @jimmyhmiller.bsky.social Compiler engineer and co-host of the feeling of computing podcast
https://jimmyhmiller.com
https://feelingof.com/episodes/
int_ijk @tbrunner.bsky.social irl i provide care to dependent adults and read algebra, logic, & code.
berkeley, maine, ithaca, eugene. nominal vet (usnr '71-73), nps, hac, sri alum
email: tbrunner@uoregon.edu
commandeer
pronouns: thee/thou
#mathsky #autism
Daniel Fernandes @danielfernand.es Software Engineer interested in chip design, compchem/bio, crypto & DWeb tech. B4: Illinois ECE / Stanford EE
Also on Farcaster! (https://farcaster.xyz/dfern.eth)
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
youssef @youssefsaleh.com i like proofs ^_^
@coeursacre.bsky.social @coeursacre.bsky.social 
Gökhan Özeloğlu @ozeloglu.io Software engineer
github.com/gozeloglu
Mighty Cat @catamight.bsky.social Hinauf! Hinauf strebt's.
Es schweben die Wolken
Abwärts, die Wolken
Neigen sich der sehnenden Liebe.
@randyisrandom.bsky.social @randyisrandom.bsky.social Formal Methods/Digital Philology #OCaml #Rocq #Agda#Unix
Investigating the illusion of discreetness
vaibhav sagar @vaibhavsagar.com future trophy husband
disco 🪩 / haskell 𝝺 / powerlifting 🏋️ / sci-fi 🚀 / scuba diving 🤿
🇦🇺🇮🇩🇮🇳
on gadigal land
vaibhavsagar.com
instagram.com/vbhvsgr
recurse.social/@vaibhavsagar
twitter.com/vbhvsgr
Solderlocks @solderlocks.bsky.social Serial pursuer of insurmountable hardware and software problems, armed primarily with unwarranted optimism.
https://github.com/solderlocks
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
Thomas Porter @thomjp.bsky.social PhD Student at the University of Michigan ❦ thomasporter522.github.io
Ridwan🧑💻 @ganiyu.bsky.social Mobile App Developer (React Native & Expo) | I build MVPs that businesses can launch fast
Tori @proof-by.bsky.social Logic and categories
https://victoriavollmer.github.io/
Daniel Temkin @dtemkin.bsky.social Forty-Four Esolangs: The Art of Esoteric Code: https://danieltemkin.com/esolangs (2025, MIT Press)
Council for Global Anthropological Linguistics @theglocal.bsky.social This is the official profile of The GLOCAL,The global council for Anthropological Linguistics
@flavia84.bsky.social @flavia84.bsky.social - I @ineol.bsky.social @ineol.bsky.social
Ersin Tepe @aetepe.dev software ⇢ ai/ml engineer
books pastry boxing and... rock 'n' roll 🤘
alptekin I. @alptekinisiklar.com Software & Web Developer (frontend-focused, full-stack curious)
Career-changer • Lifelong learner • Aspiring flautist
Father & husband
Ahmet Alphan Sabancı @ahmetasabanci.com Critical futurist, writer, technologist, generalist, philosopher of Weird and Deadly Interesting. Also runs @tuhaf.studio
Posts in ENG and TUR
ahmetasabanci.com
tuhafgelecek.com
tuhaf.studio
newslabturkey.org
Sedat Kapanoğlu @ssg.dev coder · author: @streetcoder.org · founder: @eksisozluk.com · ex-microsoft windows engineer · oldschool demoscener · guitar hobbyist · wannabe illustrator · relentless gamer · https://github.com/ssg · https://ssg.dev
📍SF bay area
Fatih Altinok @fatih.6nok.org Web dev, functional programming a11y
ADHD, he/him
blog.6nok.org
@burnius.bsky.social @burnius.bsky.social 
Alper Cugun @alper.nl Doing Platform Engineering in Berlin
Now: gym, studying Japanese, Critical Role, Cuppin.gs, Rust- P @plumenator.bsky.social @plumenator.bsky.social
Mishka @mishkaa.bsky.social Tolerating gerontocracy, housing theory of everything understander, abundant housing, abundant transit.
Also computer and math stuff
Kiran @kirancodes.me Programming Languages Researcher; in NYC
https://kirancodes.me
Apoorv @fxdpntthm.bsky.social Type systems for Programming Languages.
(Ret.) SIGPLAN conf AV/Virtualization
cs.uiowa.edu/~aningle
Dogancan Ozturan @agct.net postdoc @carldeboer.bsky.social working on regulatory genomics and gene therapy
donaldyeager 🏳️🌈💙 @dyeager64.bsky.social Blue all the way,
DON'T BLAME ME I VOTED FOR HER!
hate tRump with all my being 🇺🇦 Please no DM's unless I know you
Seriously if you DM me and i don't personally know you I will unfollow and block you
#BlueResisters
#NoDemUnder1K
Mel Andrews @bayesianboy.bsky.social I’m not like the other Bayesians. I’m different.
Thinks about philosophy of science, AI ethics, machine learning, models, & metascience. postdoc @ Princeton.
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
@bijkerhans.bsky.social @bijkerhans.bsky.social 
Lorenz Leutgeb @lorenz.leutgeb.xyz PhD student in Automation of Logic at Max Planck Institute for Informatics
Mikhail Barash @mikbar.bsky.social Programming Language Specification and Standardization. Professor at University of Bergen, Norway. TC39 Delegate. Co-convener of TC39-TG5. Ecma International Executive Committee member. Opinions are my own.
Julien Vanegue @jvanegue.bsky.social CTO Office / Head of Infrastructure & Security Research at Bloomberg. Interested in software, systems, and network verification at world scale.
Chris Ogden @ctogden.bsky.social Walton, NY
Tikhon Jelvis @jelv.is I like programming languages. A lot. Especially Haskell.
Tools, types and functions.
Based in Berkeley, CA
Sebastian Graf @fixpt.de Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet
@rtwalker.bsky.social @rtwalker.bsky.social 
Mohammad Hossein Khoshechin @khoshechin.bsky.social PhD @ MPI-SWS Working on Model Checking Distributed and Concurrent Programs / https://joulook.github.io/
Yihao Sun @stargazermiao.bsky.social The Next 700 Programmers.
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.
One Happy Fellow @onehappyfellow.bsky.social Head of The Institute for Type-Safe Memetic Research typememetics.institute
I have a blog: blog.happyfellow.dev
I like OCaml.
Nick Rioux @nickrioux.bsky.social Programming will get better.
Sjoerd Visscher @sjoerdvisscher.w3future.com #haskell #categorytheory #lumatone
👫 @boekencurator.bsky.social
🏠 https://w3future.com
💼 https://tweag.io
🗣️ https://strijpskamerkoor.nl
Chris Martens @chrisamaphone.bsky.social mostly not here, but there: https://hci.social/@chrisamaphone
Type Theory Forall @ttforall.bsky.social Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
Jasper Van der Jeugt @jaspervdj.be I like Haskell
@boarders.bsky.social @boarders.bsky.social Thanks to impermanence all things are possible
Working on a book on topos theory
Yaren @bilgem2000.bsky.social 
@hannelita.bsky.social @hannelita.bsky.social 
a public builder @publicbuilder.bsky.social doing some experiments to build something in public
Jalen @vincianroxas.bsky.social |21|
Soulaan
jrpg/square enix fan
agender + vincian
Hürriyet Fırkası @hurriyetfirkasi.bsky.social Baskıya karşı fikirle, korkuya karşı kalemle direnenlerin fırkasıdır bu.
O gün hürriyet için mücadele edenler, bugün dijital ekranlarda, meydanlarda, kitap satırlarında hâlâ aynı soruyu soruyor:
🗣️ “Özgür değilsek, neyiz?”
Düşünce Denizi @dusuncedenizi34.bsky.social 
Dila @dila2005.bsky.social Güncel Türkiye ağı profil takipçisi
Sıfır karbon, 15 dakikalık akıllı şehirler ve kentsel dönüşüm sevdalıları takip etmesin küfür ederim.
idilo @nyxieeee.bsky.social tescilli hukuk ve sinema tutkunu // ışıklar kıraathanesi’ndeki dayının deyişiyle “allahsız feminist tosbağa” // atatürk düşmanları sayfamdan ve ülkemden defolabilirler
Çapulcu Öğretmen @thechapuller.bsky.social Gezi direnişinden bu yana adımız "çapulcu matematik öğretmeni"ne çıktı, ben de onu dünyaya tanıtmaya geldim.
Since the Gezi resistance, i have been called the "looter math teacher" and I have come to introduce myself to the world.
İns: cyclistcan
Gizem @blqmedia.bsky.social #BirlikteDahaGüçlüyüz #GT
#özgürgençlertakipleşiyor
Gkhn @beyinjpg.bsky.social Hürriyet olmayan bir memlekette ölüm ve çöküntü vardır. Her ilerlemenin ve kurtuluşun anası hürriyettir.
Mustafa Kemal Atatürk
Kerem Pekçabuk @kerempekcabuk.bsky.social İş Zekası Uzman Danışmanı
Yıldız Teknik Üniversitesi Elektrik Mühendisi
Yıldız Teknik Üniversitesi Endüstri Mühendisi (Çift Anadal)
ÇEAŞ Seyhan Anadolu Lisesi
Hobilerim : Finans/Yazılım/Balık Tutmak
ensar @ensarjs.bsky.social sen yoksan bir kişi eksiğiz!
takiplere dönüş sağlayın lütfen 🙏
Mehmet Latif OĞURLU @mehmetlatifogurlu.bsky.social Müşkülpesent
@bachbirol.bsky.social @bachbirol.bsky.social 
Sezen Ünlüönen @sezenunluonen.bsky.social I write novels.
I work on Anglo-Ottoman literary interactions in the nineteenth century.
https://iletisim.com.tr/kisi/sezen-unluonen/11719
https://www.instagram.com/sezen.unluonen/
DarkwolfReborn @darkwolfreborn.bsky.social M. KEMAL ATATÜRK'ün Nökeri...
Kısa devreli sophon...
Muhalif olsun bizim olsun... sonra kavga ederiz şimdi işimiz var... siyasal islamcılar defolun amk..
Mehmet #Vandal @aragorn-elessar.bsky.social İttihatçılar ölür, İttihatçılık ölmez!
Ne Sağdan ne Soldan ATATÜRK'ün Yolundan
Ne Mutlu Türk'üm Diyene !
Azgın Azınlık ( Ama çoğaldık hem de birleşe birleşe👍)🥳😜🤡 @kuponkolik.bsky.social 
Yapay mı Zeka @yapaymizeka.bsky.social 
Recep Altun @recepaltun.bsky.social Ne bahsedeyim ?
Bach Korkut @bachkorkut.bsky.social "Bir vicdanının olması, yapabileceğin en iyi kariyerlerden biridir."
Anthony Bourdain
@dagdelenn.bsky.social @dagdelenn.bsky.social 
Süleyman Topçu @suleymantopcu.bsky.social M.K Atatürk’ün izinde
Gökhan Yağcı @luckyluketr.bsky.social 🎸 70s–90s Rock & Metal
📚 Comics | ♟️ Satranç
💛💙 Fenerbahçe
🎓 Akdeniz Üniversitesi
📍Mudanya • Antalya • Ayvalık
Hayriye @hireeyeah.bsky.social 
ÅlïWóÒD-Æœn-Bokaiyan🎭👨🎨🎨🎙️🎤🔊🎧✠❂❁🤠 @games2.com Ëñkï-soul burning through galaxies, halfway through The Milky Way, vibrating, resonating, and enjoying what the cosmos brings into focus!😎
Æœn îbn abį Ñōurî Tæłîb Śãmīī (AS)ÅłïWóÒD Pęrfėžãšīåñ(Šåms Rášhty)🔥Ÿæżdî
307AliWooD/AliWooD4Hou/StäRmäÑ/*SM*/Tech🤯🎙️🗣️
Sheera @sheera82.bsky.social 
Guannan Wei @guannanwei.bsky.social Programming languages; Assistant Professor at Tufts CS; Previously INRIA/ENS, Purdue
https://continuation.passing.style/
PLT_cheater @cheater00.bsky.social 
KC Sivaramakrishnan @kcsrk.info Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
@lambdaclaire.bsky.social @lambdaclaire.bsky.social 
~/.ð @deomorxsy.bsky.social 
Nicole Heinimann @saltypeppermint.bsky.social Where are my types, I can't see without my types!
https://ipv3.org
PhD student @tuberlin.bsky.social
Ask me about EGraphs, Compilers, GPU-Computing, and Rust
SIGPLAN AV Member
Opinions are those of your pet- S ⟦Simon Charlow⟧ @simoncharlow.com linguist
simoncharlow.com
Acans Haber @acans.bsky.social Yazılı, Görsel, Dijital Tüm Medyadan Güncel ve Önemli Haberleri Tek Hesapta Takip Edin.
@AcansHaber