Koray Al
Parent of two daughters
#electronics engineer working as a software engineer writing #haskell code
Interested in #nix , #functionalprogramming
Principal Software Engineer @ Soostone ( & contractor @ Well.co )
@meteatature.bsky.social
Professor of Physics at University of Cambridge Bilingual tweets (English & Turkish), Mostly about science, politics & cats (http://Instagram.com/meteatature)
@hemrebilgili.bsky.social
@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.
@fulden.bsky.social
풀덴 / 富尔丹 / フルデン Chinese studies addict. Korean manhwa/bl fan. Japanese manga/anime slave. I choose not to choose life.
@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.
@avmahmuttanal.bsky.social
24-25-26-27.dönem CHPİstanbul Milletvekili. 28. Dönem Şanlıurfa Milletvekili Parti meclis üyesi 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
@metcihan.bsky.social
@furkanonder.bsky.social
Python Triage Member | Focusing on CPython #LKD #Python #ArchLinux #Django #eBPF https://github.com/furkanonder/
@guillaumebogard.dev
(he/him) Developer (#RustLang 🦀/Scala/Haskell). Enjoys FP and static typing. Interested in databases and distributed systems. Theme park enthusiast 🎢 🏳️🌈 🇪🇺
@finkulturu.bsky.social
Finlandiya’dan tıp, bilim, hayat, insan, doğa, kültür, tarih... Arada eş durumundan Estonya. Blog: https://finkulturuveahlakbilgisi.wordpress.com Yazı ve videolar: https://linktr.ee/yalgin Yazan: Çağrı Yalgın
@kaanceyhan.bsky.social
@nimsi.bsky.social
@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…
@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.io
🎸 Geek, Streamer, Cloud Native Crazy Maker ☸️ 🐢 Keeping your secrets secret since 2022 ⚡️ 📡 https://spike.ist 🛰️ https://vsecm.com/ 🚀 👋 More About Me: https://volkan.io/
@keles.bsky.social
METU CENG 21' PhD Student at UMD Programming Languages/Formal Verification/Random Testing Writing at http://alpkeles99.medium.com Twitter: @keleesssss
@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.
@matthewdgreen.bsky.social
I teach cryptography at Johns Hopkins. https://blog.cryptographyengineering.com
@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/ ]
@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
@yminsky.bsky.social
Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
@yann-lecun.bsky.social
Professor a NYU; Chief AI Scientist at Meta. Researcher in AI, Machine Learning, Robotics, etc. ACM Turing Award Laureate. http://yann.lecun.com
@jelv.is
I like programming languages. A lot. Especially Haskell. Tools, types and functions.
@jkachmar.com
sounding rockets & bad computer programming formerly Groq, Soostone, NASA Wallops, among others
@julesh.mathstodon.xyz.ap.brid.gy
Applied Compositional Thinking [bridged from https://mathstodon.xyz/@julesh on the fediverse by https://fed.brid.gy/ ]
@serranofp.com
👨💻 Researcher @ Kotlin Evolution @ JetBrains 🧙♂️ Passionate about FP (mostly Arrow & Haskell) 📚 Author of 4 books
@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
@wickstrom.tech
Software engineer in rural exile. Autonomous and generative testing, PL, web, and more. wickstrom.tech
@tacticalgrace.justtesting.org
🔥 Lambda Scientist 💡 Functional programming 💡 Programming languages 💡 Cryptography 👨🏽💻 Swift, Haskell & Agda 💜 Volt 🇪🇺 policy: digital rights & economy 📍 Utrecht 🇳🇱🇩🇪🇪🇺 • Twitter: @TacticalGrace
@chrispenner.ca
FP and Programming languages nerd Building the Unison Language & Unison Share 📍Victoria BC 🇨🇦 https://chrispenner.ca
@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/
@lambdadays.bsky.social
Your favourite Functional Programming conference is here 🥳 💥 Save the date for 2025: 12-13 June! 💥 2 days of full immersion in languages like #Haskell #Scala #Elm #Gleam #Elixir and #Clojure 🔥
@mattecapu.bsky.social
🇮🇹, amateur professional poster and professional amateur mathematician (general abstract nonsensology applied to systems theory & cybernetics), aspiring psycohistorian. shitposting isn't endorsement.
@satnam6502.bsky.social
Punjabi-Scottish-American husband and father of two, Haskell hacker at Groq, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California http://satnam.raintown.org
@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
@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.