cybai
Taiwanese, never Chinese!
λ. @ServoDev contributor, Mozillian.
Opinions are my own. he/him
@mrigger.bsky.social
Assistant Professor at the National University of Singapore, leading the Trustworthy Engineering of Software Technologies lab (https://nus-test.github.io/). We focus on improving data-centric systems, particularly their reliability.
@sholtzen.bsky.social
I like computers. assistant prof at northeastern https://www.khoury.northeastern.edu/home/sholtzen/
@polyroly.bsky.social
CS PhD student @ UC Santa Barbara, doing program synthesis and verification https://junrui-liu.github.io/
@ranzato.bsky.social
Professor of Computer Science, University of Padova, Italy. Research interests: Programming languages, Program analysis, Program verification.
@gleissen.bsky.social
PL and Security research at VU Amsterdam https://gleissen.github.io
@etanter.bsky.social
@veselinr.bsky.social
INSAIT, Co-founder LogicStar AI, ex: Snyk Code, founder DeepCode, PhD @ ETH Zurich - ML for code, Google Maps directions
@dangrossmanseattle.bsky.social
@borzoo.bsky.social
Associate Professor of Computer Science at Michigan State University
@awsto.bsky.social
Computer science professor University of Wisconsin–Madison https://pages.cs.wisc.edu/~aws/
@iamkale.millerti.me
#passkeys expert. Creator of SimpleWebAuthn, maintainer of py_webauthn, steward of webauthn.io. Video games and 3D printing fill my downtime. Oh and I blog sometimes over at blog.millerti.me 😎 My posts are my own.
@justinfagnani.com
Building something new... Previously at Google. Web maximalist. Web components. Creator of Lit. Oakland.
@welltypedwit.ch
When the limestone of imperative programming has worn away, the granite of functional programming will be revealed underneath -Simon Peyton Jones https://welltypedwit.ch
@alphaconvert.bsky.social
CS PhD student at Penn and NSF GRFP fellow. Types, Programming Languages, and Distance Running.
@tonofcrates.bsky.social
@itsatrapp.com
Web developer at Apple. FP enthusiast. #ElixirLang, Gleam, #Erlang, #OCaml, and JS when forced.
@gazagnaire.org
#ocaml #mirageOS - CEO of @tarides.com - CTO of https://parsimoni.co ex Docker, Unikernel Systems, Citrix DMs open for collaboration on OCaml, Irmin or MirageOS projects!
@chrisarmstrong.link
Software developer. Javascript/TypeScript, AWS. OCaml my camel. other tech stuff. 🇦🇺 🏳️🌈 Blog: https://www.chrisarmstrong.dev Twitch: https://twitch.tv/lambdalith
@krismicinski.bsky.social
kmicinski.com Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
@maxroser.bsky.social
— Founder of Our World in Data — Professor at the University of Oxford Data to understand global problems and research to make progress against them.
@simonmar.bsky.social
I write code, delete email and forget to go to meetings at Meta, mainly on glean.software. Spare time: bikes and mountains.
@ianthehenry.bsky.social
i work at the intersection of set theory and figurative language http://ianthehenry.com | http://bauble.studio | http://janet.guide | http://toodle.studio
@artem-p.bsky.social
Programmer, tinkerer, reader of Warhammer 40K books Do low-level programming stuff @ Meta
@pno.dev
Web Developer and CEO of pno. Living in beautiful Berlin. Singer and Guitarist of 19minutes. he/him.
@willybrauner.com
Front-end developer, driven by design. Former lead front-end @ cher-ami.tv. Musician, drummer. Based in Lyon, France. Freelancer ↳ https://willybrauner.com ↳ https://github.com/willybrauner
@acowley.bsky.social
Functional roboticist. Robots, Haskell, Rust, nix, emacs, FPV… and the rest of life, too.
@handle.invalid
https://github.com/jessealama Math & theorem proving. Lean, Racket, JS. American. Igalian.
@rohan.padhye.org
Computer Science professor at CMU. Doing research on automated software testing and bug finding. https://rohan.padhye.org
@mlbowers.bsky.social
PhD student at MIT studying program synthesis, probabilistic programming, and cognitive science. she/her
@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/
@paulbib.bsky.social
Present: Pursuing PL at Penn (PhD) Before: Browsing bytes at Brown (Bachelor's) paulbiberstein.me
@jkinder.bsky.social
Professor @ LMU Munich Security, Program Analysis, Machine Learning
@ilyasergey.bsky.social
Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
@tealeg.bsky.social
Husband, Father. Principal engineer @Upvest. F/OSS evangelist, sustainable computing is the future. If I have to choose sides: Everton, Emacs, OpenBSD. https://linktr.ee/tealeg
@mnwsth.bsky.social
Computer Systems Engineering, Higher Education, Public Policy, Academic Bollywood Memes. Documentation Evangelist. Here in personal capacity.
@annatsv.bsky.social
Philosophy of AI PhD @ Brown Researcher @ MIT FutureTech Lab https://annatsv.github.io/
@perezjorgea.bsky.social
Fundamental Computing (http://rug.nl/fse/fc) University of Groningen (NL) Software correctness | Concurrency, Logic, Programming (https://www.jperez.nl/) Father (x2)
@devanbu.bsky.social
Husband, Dad, Software Engineering researcher at UC Davis, Humboldtian. Loves good ideas, jokes, pranks and The Great Outdoors.
@m-dodds.bsky.social
Formal methods nitwit. https://mikedodds.github.io AI / math / formal methods paper feed: @ai-fm-papers.bsky.social
@mcarbin.bsky.social
Associate Professor in EECS at @MIT | Principal Scientist at @Databricks | Founding Advisor at @mosaicml | Programming Systems | Neural Networks | Approximate Computing