@forkjoin.bsky.social
Assistant professor @ UMass Boston | https://cogumbreiro.github.io/ | Faial is a verifier for #CUDA and #WebGPU written in #OCaml https://gitlab.com/umb-svl/faial #ocaml #rocq
@paulzzy.net
@jse.li
he/him 🦠 nyc 🏙️ friend of lactobacillus 🤩🌈🏴 we do not yet know what a computer can do https://twitter.com/__jesse_li
@gowthamkaki.bsky.social
Assistant Professor at CU Boulder. Programming Languages. Formal Methods. Distributed Systems. Security. https://gowthamk.github.io
@chrislewis.au
President #chris Slack channel. Software engineer? Ex @uber, @twitter. My views are those of a mysterious glowing orb which only I can see.
@handle.invalid
AI+XR+BCI+ML, hax0r, CogSci, Science, Philosophy, Biology, Physics, Psychology, Databionics, TechWizard, Futurist, SpaceRanger, ArT, Meditation, Visionary, Inventor, Technology, Computer, Neuroscience, Machine Learning, Transhumanism, TaiChi Yoga QiGong
@rationallydense.bsky.social
@cybai.dev
Taiwanese, never Chinese! λ. @ServoDev contributor, Mozillian. Opinions are my own. he/him
@chrispenner.ca
FP and Programming languages nerd Building the Unison Language & Unison Share 📍Victoria BC 🇨🇦 https://chrispenner.ca
@mvsamuel.bsky.social
I solve large software systems problems with programming language techniques. Previously, I was the first frontend engineer on Google Calendar, and was a security engineer who worked on the industrial-strength Mad Libs undergirding Gmail.
@johnwoleary.bsky.social
@yzfang.bsky.social
Program verification/analysis, software engineering, and programming languages. PhD Student at University of Southern California. Opinions are my own.
@jaredkostrzewa.bsky.social
🚀 Co-owner Before Festival Sun Festival 💪 Manager: Natalia Sisik Ola Szkolda Julia Kostera 🤝 Wrzucam tutaj ciekawostki I fakty ze świata 😇 Na naszych festiwalach zagrali m in Oki, Quebonafide, Kuban, Bedoes #SocialMedia | #Events #Music
@language.metaproject.frl
Meta, a #HumanFriendly #Programming #Language Reducing #software waste - Productive - Highly efficient & blazingly fast - Universal, runs from #8bit #Atari 2600 to #64bit #PC, to #web #browsers, to #IBM #S390 #mainframes https://language.metaproject.frl
@eviedot.bsky.social
forever making a programming language, playing rocket league and being anxious | 🏳️⚧️🏳️🌈 she/her
@hcl.bsky.social
https://github.com/Sallie-May I respond to all pms ! main account https://bsky.app/profile/bee-lzebub.bsky.social
@abhizer.com
Compiler Engineer @ Feldera Interested in PL, Compilers, Databases and a whole lotta things that I don’t know about yet! https://abhizer.com
@slimshetty.bsky.social
PhD student @ucberkeley | Projects: Syzygy, R2E, Chatbot-Arena RepoChat | PL Tooling for AI4Code | prev @msftresearch | manishs.org
@omarfadila.bsky.social
Electrical Engineering student | Gaming enthusiast | Turning ideas into circuits and free time into epic gaming sessions
@neurocy.bsky.social
🌱 ruining programming forever @ hazel.org 🌱 professoring @ Michigan 🌱 poetry 🌱 dendrites 🌱 immersion 🌱 flowers 🌱 resisting idiocracy https://web.eecs.umich.edu/~comar
@alexlew.bsky.social
Theory & practice of probabilistic programming. Current: MIT Probabilistic Computing Project; Fall '25: Incoming Asst. Prof. at Yale CS
@asbradbury.org
Compilers at Igalia. @llvmweekly.org author. Mostly RISC-V, LLVM, and a little WebAssembly. Previously lowRISC CTO and co-founder. Blogs at https://muxup.com
@tyoverby.com
Professional OCaml enjoyer. Views expressed therein are also those of your employer.