×
You are not logged in
Bluesky Follows
Koray Al
Follows by @koray.al
Mete Atature
Registered:1 Jul 2023 18:33
Follow date:13 Apr 2025 23:47
Professor of Physics at University of Cambridge Bilingual tweets (English & Turkish), Mostly about science, politics & cats (http://Instagram.com/meteatatu...
Emre Bilgili
Registered:25 Nov 2024 19:27
Follow date:13 Apr 2025 23:47
doliincapax.bsky.social
Registered:7 Apr 2025 07:30
Follow date:13 Apr 2025 23:47
Tolga Mırmırık
Registered:10 Aug 2023 15:05
Follow date:4 Apr 2025 22:02
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 풀덴
Registered:1 Jul 2023 17:00
Follow date:4 Apr 2025 22:01
풀덴 / 富尔丹 / フルデン
Chinese studies addict. Korean manhwa/bl fan. Japanese manga/anime slave.
I choose not to choose life.
Ailenizin Fato'su
Registered:20 Jul 2023 12:40
Follow date:4 Apr 2025 22:00
Fato işte
Andrew Boardman
Registered:20 Mar 2025 16:24
Follow date:3 Apr 2025 23:36
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
Registered:3 Apr 2025 22:19
Follow date:3 Apr 2025 22:25
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
CHP
Registered:28 Apr 2023 23:17
Follow date:3 Apr 2025 22:23
Türkiye’nin Birinci Partisi
metin cihan
!! Invalid Handle !!
Registered:26 May 2023 16:06
Follow date:8 Feb 2025 22:45
Furkan Onder
Registered:19 Dec 2024 00:49
Follow date:8 Feb 2025 22:16
Python Triage Member | Focusing on CPython #LKD #Python #ArchLinux #Django #eBPF
https://github.com/furkanonder...
Guillaume Bogard
Registered:23 Dec 2023 16:16
Follow date:16 Jan 2025 11:11
(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
Registered:18 Sep 2024 19:05
Follow date:12 Jan 2025 18:58
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
Registered:18 Nov 2024 07:48
Follow date:11 Jan 2025 13:41
şeyhmus
Registered:22 Jun 2023 08:26
Follow date:10 Jan 2025 22:24
karanlık yollardan geçtik!
hepkahiring
Registered:22 Oct 2023 13:21
Follow date:10 Jan 2025 22:24
kahrolarak geldim
Kaan CEYHAN
Registered:7 Aug 2023 12:12
Follow date:10 Jan 2025 22:23
Nimsi
Registered:21 Oct 2024 00:13
Follow date:10 Jan 2025 22:23
Tantek Çelik
Registered:22 Sep 2024 18:00
Follow date:10 Jan 2025 22:11
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
Registered:3 Dec 2024 18:56
Follow date:10 Jan 2025 21:51
Bot publishing merged #nixpkgs pull-request with a security label
Managed by @thomas.gerbet.me / 🦣 https://social.gerbet.me/@Le_s...
Also on 🦣 https://social.gerbet.me/@nixp...
Volkan Özçelik
Registered:25 Aug 2023 08:43
Follow date:10 Jan 2025 21:29
🎸 Geek, Streamer, Cloud Native Crazy Maker ☸️
🐢 Keeping your secrets secret since 2022 ⚡️
📡 https://spike.ist 🛰️ https://vsecm.com/ 🚀
👋 More About Me: https://volkan.io/
Alperen Keleş
Registered:26 May 2023 17:17
Follow date:10 Jan 2025 21:28
METU CENG 21'
PhD Student at UMD
Programming Languages/Formal Verification/Random Testing
Writing at http://alpkeles99.medium.com
Twitter: @keleesssss
SwiftOnSecurity
Registered:25 Apr 2023 03:22
Follow date:10 Jan 2025 21:19
computer security person. former helpdesk
Oxide Computer Company
Registered:1 May 2023 04:50
Follow date:10 Jan 2025 21:18
The cloud you own. https://oxide.computer/bio
Bryan Cantrill
Registered:28 Apr 2023 19:23
Follow date:10 Jan 2025 21:18
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
Registered:28 Apr 2023 16:15
Follow date:10 Jan 2025 21:18
I teach cryptography at Johns Hopkins. https://blog.cryptographyengin...
Jepsen
Registered:30 Apr 2024 15:10
Follow date:10 Jan 2025 21:17
Breaking distributed systems, one fault at a time.
[bridged from https://mastodon.jepsen.io/@je... on the fediverse by https://fed.brid.gy/ ]
Mark Wotton
Registered:11 Apr 2023 11:24
Follow date:10 Jan 2025 21:17
freelance goblin technologist
Martin Kleppmann
Registered:18 Nov 2022 10:22
Follow date:10 Jan 2025 21:17
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
Registered:24 Nov 2023 23:30
Follow date:10 Jan 2025 21:15
Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
Paul Chiusano
Registered:21 Nov 2024 14:55
Follow date:10 Jan 2025 21:15
Working on @unison-lang.org
Yann LeCun
Registered:24 Nov 2024 20:56
Follow date:10 Jan 2025 21:14
Professor a NYU; Chief AI Scientist at Meta.
Researcher in AI, Machine Learning, Robotics, etc.
ACM Turing Award Laureate.
http://yann.lecun.com
Tikhon Jelvis
Registered:15 Nov 2024 02:46
Follow date:10 Jan 2025 21:14
I like programming languages. A lot. Especially Haskell.
Tools, types and functions.
skyking
Registered:7 Jun 2023 12:41
Follow date:10 Jan 2025 21:13
sounding rockets & bad computer programming
formerly Groq, Soostone, NASA Wallops, among others
ZuriHac
Registered:11 Dec 2024 22:28
Follow date:10 Jan 2025 21:12
The official Bluesky account for ZuriHac
zurihac.info
Zanzi Tangle
Registered:5 Jul 2023 00:04
Follow date:10 Jan 2025 21:12
I research programming languages and turn Category Theory into code
julesh
Registered:17 Nov 2024 19:24
Follow date:10 Jan 2025 21:12
Applied Compositional Thinking
🌉 bridged from ⁂ https://mathstodon.xyz/@julesh... follow @ap.brid.gy to interact
Alejandro Serrano Mena
Registered:19 Nov 2024 20:03
Follow date:10 Jan 2025 21:08
👨💻 Researcher @ Kotlin Evolution @ JetBrains
🧙♂️ Passionate about FP (mostly Arrow & Haskell)
📚 Author of 4 books
Unison
Registered:6 Nov 2024 17:39
Follow date:10 Jan 2025 21:07
Friendly programming language from the future
Open source http://github.com/unisonweb/un...
Cloud platform: https://unison.cloud
Community: https://unison-lang.org/discor...
Oskar Wickström
Registered:5 Jul 2023 04:15
Follow date:10 Jan 2025 21:04
Software engineer in rural exile. Autonomous and generative testing, PL, web, and more.
wickstrom.tech
Manuel Chakravarty
Registered:3 Jul 2023 10:41
Follow date:10 Jan 2025 21:03
🔥 Lambda Scientist
💡 Functional programming
💡 Programming languages
💡 Cryptography
👨🏽💻 Swift, Haskell & Agda
💜 Volt 🇪🇺 policy shaper: digital affairs
📍 Utrecht 🇳🇱🇩🇪🇪🇺
Chris Penner
Registered:15 Nov 2024 19:40
Follow date:10 Jan 2025 21:03
FP and Programming languages nerd
Building the Unison Language & Unison Share
📍Victoria BC 🇨🇦
https://chrispenner.ca
Edwin Brady
Registered:17 Nov 2024 12:05
Follow date:10 Jan 2025 21:03
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...
https://www.lambda-miners.org....
Jasper Van der Jeugt
Registered:18 Nov 2024 22:22
Follow date:10 Jan 2025 21:03
I like Haskell
karpathy
Registered:2 Mar 2023 22:30
Follow date:10 Jan 2025 21:03
AI @ OpenAI, Tesla, Stanford
Lambda Days
Registered:25 Nov 2024 17:38
Follow date:10 Jan 2025 21:03
Matteo Capucci
Registered:15 Nov 2024 14:31
Follow date:10 Jan 2025 21:03
🇮🇹, amateur professional poster and professional amateur mathematician (general abstract nonsensology applied to systems theory & cybernetics), aspiring psycohistorian. shitposting isn't endorsement.
Satnam Singh
Registered:17 Aug 2024 22:30
Follow date:10 Jan 2025 21:02
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
Registered:15 Nov 2024 15:53
Follow date:10 Jan 2025 21:02
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
Registered:25 Jul 2023 19:27
Follow date:10 Jan 2025 21:02
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.