KC Sivaramakrishnan
Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
@nparikh.org
Teaching AI policy at Columbia (https://nparikh.org/sipa6545). Previously Director of AI for NYC. https://nparikh.org
@nanodijkstra.bsky.social
computer systems researcher @ NYU. I sell compilers and compiler-related accessories.
@se4fp.bsky.social
1st Workshop on Software Engineering for Functional Programming (SE4FP) In 2025, SE4FP is co-located with the @cbsoft.bsky.social Website: https://se4fp.github.io/2025/
@azariah.bsky.social
Principal SDE @ Microsoft · GenAI · FP · F#/C#/Q# · 🇮🇳 · 🇦🇺 · D93 · He/Him · http://johnazariah.github.io I try to be woke and progressive like Jesus was. Meanjin Land
@blaft.bsky.social
An independent publishing house based in Chennai, India. Indian pulp novels in translation, ghostlore, graphic novels, weird stories, & picture books about young women in love with gruesome monsters. https://blaft.com
@benjamingeer.name
Software developer and ex-academic (sociology, conceptual history, Arabic culture, etc.), sometimes publishes classical sheet music, lives in Paris, en/fr/ar/de/it, blog https://benjamingeer.name/, publications https://orcid.org/0000-0002-2449-8558
@apaszke.bsky.social
Author of PyTorch, Research Scientist at Google DeepMind. Currently working on Pallas, Mosaic and dex-lang. MIMUW CS & Math graduate.
@propl.dev
The 2nd Programming for the Planet (PROPL) workshop will be co-located with SPLASH and ICFP in Singapore (in hybrid mode) on 13th October 2025. Submit a paper, talk or provocation by the 3rd July! https://conf.researchr.org/home/icfp-splash-2025/propl-2025
@currywhiskers.bsky.social
Sound Editor | Enjoy learning about Indian Heritage | Struggling to learn Hindi | Everyone thinks I'm from Kerala | Heart & soul in Goa 📍Mumbai, India https://www.imdb.com/name/nm5064237/
@funarch.bsky.social
ACM SIGPLAN Workshop on Functional Software Architecture https://functional-architecture.org/
@apanda.me
I am A Panda. I work on systems and networking at NYU. I mostly hang out at https://discuss.systems/@apanda
@mcoblenz.bsky.social
Assistant Prof. at UC San Diego. Helping people write better software.
@dynamicaspects.org
Making software more open, explorable and self-explanatory Also: subjectivity, agency, active inference, niche construction, enactivism @plrg-bristol.bsky.social @iccscambridge.bsky.social @f.luid.org
@sudha24.bsky.social
@usainzgg.bsky.social
aficionado of computers interested in {compilers ∩ distributed computing} ∪ {quantum computing} || PhD student at UPV/EHU
@joeyeremondi.bsky.social
PL Researcher. Assistant Prof at University of Regina 🇨🇦 Trying to make dependent types a bit easier to use. Formerly Postdoc at Edinburgh with Ohad Kammar, and PhD at UBC with Ron Garcia.
@shrirambalaji.com
engineering at @microsoft.com • tinkering with systems languages, databases and things on the web • musings at http://blog.shrirambalaji.com
@schasins.bsky.social
Assistant Professor at UC Berkeley EECS. PL+HCI. Into making programming easier for social scientists and domain experts.
@jameslarus.bsky.social
Retired EPFL CS professor/dean. Retired Microsoft researcher/manager. Time to do something new….
@dangrossmanseattle.bsky.social
@gleissen.bsky.social
PL and Security research at VU Amsterdam https://gleissen.github.io
@etanter.bsky.social
@liblit.bsky.social
@alexlew.bsky.social
Theory & practice of probabilistic programming. Current: MIT Probabilistic Computing Project; Fall '25: Incoming Asst. Prof. at Yale CS
@natmote.net
@programisthefuture.com
Ω := (λx.x x) (λx.x x) To Ω and beyond! Backend developer with OCaml by day 🐫 Type theorist by night 🫣 I use Arch, (and neovim) btw 😎
@jaybosamiya.bsky.social
🦊 Software security researcher. PhD from CMU. CTFer (PPP). https://jaybosamiya.com/ For folks bridging things over: @jay_f0xtr0t on Twitter
@bashorov.com
🚀 Leading Kotlin/Wasm to the Moon at @JetBrains.com 🏷️ Kotlin, WebAssembly, VMs, compilers, interpreters ❗️ All posts and views are mine 😉 ☮️ #nowar!
@arindamkhan.bsky.social
Algorithmist CS Prof. @ IISc Bangalore. Past: Georgia Tech, IIT Kharagpur
@arnav7.bsky.social
I try to "Observe, Reflect and Explore around" in different ways My posts here will be a mishmash of personal opinions and smol curious excursions..
@jaredforsyth.com
trying to be christian. feminist. mormon. type theory, PLT Mobile dev @KhanAcademy building kipos https://github.com/kipos-lang/kipos @jaredforsyth on the dead bird site
@sheera82.bsky.social
@protz.bsky.social
I talk about Rust, verification, cryptography, programming languages… and pets