×
You are not logged in
Bluesky Follows
Rachit Nigam
Follows by @notypes.bsky.social
rtjoa.bsky.social
Registered:19 Nov 2024 01:38
Follow date:2 Jan 2026 15:57
karima-ma.bsky.social
Registered:24 Jul 2025 17:39
Follow date:2 Jan 2026 15:57
Rust Language
Registered:28 Jun 2023 20:17
Follow date:6 Apr 2025 02:38
A programming language empowering everyone to build reliable and efficient software.
Website: https://rust-lang.org/
Blog: https://blog.rust-lang.org/
Mastodon: https://social.rust-lang.org/@...
Charlie Marsh
Registered:15 Apr 2023 22:52
Follow date:29 Jan 2025 17:56
Building Astral: Ruff, uv, and other high-performance Python tools, written in Rust.
Jocelyn Chen
Registered:2 Dec 2024 15:40
Follow date:23 Jan 2025 21:06
Ray Myers
Registered:18 Nov 2023 00:48
Follow date:20 Jan 2025 03:06
Retrofuturist software mender / Legacy Code Rocks / Empathy in Tech
jan Pana Suno li toki pona
Mary Sheeran
Registered:16 Nov 2024 17:09
Follow date:13 Jan 2025 03:20
Functional programmer, community builder, professor of CS, emerita, keen to get more women into CS and tech, lecturer, photographer, baker, table tennis player
Zack Eisbach
Registered:12 Jan 2025 00:00
Follow date:13 Jan 2025 03:20
Undergraduate programming languages researcher @ Northeastern PRL
Logic, types, compilers, categories
Josh Gancher
Registered:18 Nov 2024 22:26
Follow date:13 Jan 2025 03:20
Assistant Prof @ Northeastern. Formal verification + security + crypto. https://gancher.dev
Cody
Registered:28 Aug 2023 21:37
Follow date:6 Jan 2025 03:25
Still ultrafinitist, but with a softer side.
https://www.kleene.church/
I do the Church of Logic podcast.
https://open.spotify.com/show/...
Adam Leventhal
Registered:30 Apr 2023 00:38
Follow date:2 Jan 2025 20:22
Vibeless coding enthusiast. Indifferent to antipathy. Opinionated on neutrality.
asker the gauche, glycojohn destroyer of carbs
Registered:7 Jul 2023 03:39
Follow date:1 Jan 2025 11:20
Formal verification researcher at Sandia National Labs. Much too excited about bikes. Bread is my loaf language.
Xavier Leroy
Registered:30 Nov 2024 15:45
Follow date:30 Dec 2024 18:15
Computer scientist. Programming geek. Amateur mathematician. Concerned citizen.
Sam Lindley
Registered:1 Dec 2024 20:16
Follow date:27 Dec 2024 07:51
Katherine Mohr
Registered:20 Nov 2023 16:49
Follow date:27 Dec 2024 07:50
mit '23 | meng '24 | stanford phd ???
your friendly neighborhood PL enjoyer
she/her
Tiago Cogumbreiro
Registered:23 Nov 2024 17:25
Follow date:27 Dec 2024 07:50
Associate professor @ UMass Boston | https://cogumbreiro.github.io/ | Faial is a verifier for #CUDA and #WebGPU written in #OCaml https://gitlab.com/umb-svl/fai... #ocaml #rocq
Michael 🅱️ James
Registered:27 Aug 2023 22:11
Follow date:27 Dec 2024 07:50
AI research scientist @ Sailplane. He/him
Usability of AI-based Programming Tools.
PL/HCI
🏳️🌈🏺
Pierce Darragh
Registered:4 Dec 2024 05:41
Follow date:27 Dec 2024 07:49
he/him/his. PhD student in computer science at UMD known for bad food takes. CS interests in PL, CS Ed, SE, and HCI.
Mastodon: https://types.pl/@pdarragh
Andy Pavlo
Registered:30 May 2023 18:25
Follow date:27 Dec 2024 07:49
Associate Prof. of Databases @ Carnegie Mellon.
titzerbl.bsky.social
Registered:18 Nov 2024 19:49
Follow date:27 Dec 2024 07:49
Daniel Litt
Registered:27 Apr 2023 15:19
Follow date:27 Dec 2024 07:49
Assistant professor (of mathematics) at the University of Toronto. Algebraic geometry, number theory, forever distracted and confused, etc. He/him.
Natacha Crooks
Registered:17 Nov 2024 01:11
Follow date:27 Dec 2024 07:49
CS prof at UC Berkeley. Distributed Systems and Databases. Baking, handball and football enthusiast. Avid cheese eater.
Alexis King
Registered:13 Feb 2024 16:34
Follow date:27 Dec 2024 07:49
computers can be understood • she/her, ⚢ • Chicago
Shrutarshi Basu
Registered:27 Aug 2023 12:04
Follow date:27 Dec 2024 07:49
Programmer, writer, lapsed academic computer scientist. Formerly Cornell CIS & Harvard SEAS.
Marcel Böhme
Registered:17 Nov 2024 07:13
Follow date:27 Dec 2024 07:49
Software Security @ MPI for Security and Privacy
Spokesperson for Max Planck Research Group Leads at CPTS
PhD @NUS, Dipl.-Inf. @TUDresden
Research Group: http://mpi-softsec.github.io
Caroline Lemieux
Registered:25 Nov 2024 04:52
Follow date:27 Dec 2024 07:49
now: Assistant Professing™ in Software Practices Lab at UBC. was: postdoc MSR NYC, phd UC Berkeley. also at https://mastodon.acm.org/@cest... she/her.
Mike Dodds
Registered:21 Nov 2024 21:22
Follow date:27 Dec 2024 07:49
Formal methods nitwit. https://mikedodds.github.io
AI / math / formal methods paper feed: @ai-fm-papers.bsky.social
George Porter
Registered:14 Nov 2024 18:21
Follow date:27 Dec 2024 07:49
AWS S3 & UC San Diego professor
Building networks and systems that enable high-performance, scalable, and sustainable computing and storage.
https://www.cs.ucsd.edu/~gmpor...
Bill Pugh
Registered:16 Nov 2024 13:08
Follow date:27 Dec 2024 07:49
Retired Professor of computer science at UMD, and engineer at Apple on exposure notifications.
Active maker, burner, traveler, husband, father.
Michael Coblenz
Registered:20 Nov 2024 20:37
Follow date:27 Dec 2024 07:49
Assistant Prof. at UC San Diego. Helping people write better software.
Sarah E. Chasins
Registered:26 Nov 2024 21:39
Follow date:27 Dec 2024 07:49
Assistant Professor at UC Berkeley EECS. PL+HCI. Into making programming easier for social scientists and domain experts.
Toby Murray
Registered:8 Aug 2023 13:36
Follow date:27 Dec 2024 07:48
Professor at University of Melbourne and School of Computing and Information Systems cyber lead; Director @dsi-vic.bsky.social; Oxford DPhil (@compscioxford.bsky.social; @hertfordcollege.bsky.social). Cyber, verification, etc. He/him
Matthew Parkinson
Registered:15 Nov 2024 06:26
Follow date:27 Dec 2024 07:48
Programming language researcher at Microsoft.
Eva Darulova
Registered:13 Nov 2024 12:02
Follow date:27 Dec 2024 07:48
Assoc. prof. at Uppsala University, working in programming languages and verification
Andy Gill
Registered:16 Nov 2024 17:22
Follow date:27 Dec 2024 07:48
Principal Software Engineer at Flex. True Scotsman. Former professor at the University of Kansas. Former Googler. Jayhawk fan. Long time functional programmer.
Rupak Majumdar
Registered:7 Nov 2024 01:03
Follow date:27 Dec 2024 07:48
New blue sky. Same old troll.
Richard Jones
Registered:14 Nov 2024 13:56
Follow date:27 Dec 2024 07:48
Emeritus Professor at U. Kent, computer scientist, GC researcher, author of The Garbage Collection Handbook (2012, 2023), Garbage Collection (1996). Opinions are my own.
Joe Gibbs Politz
Registered:27 Sep 2023 15:58
Follow date:27 Dec 2024 07:48
Eric Eide
Registered:20 Nov 2024 00:17
Follow date:27 Dec 2024 07:47
Research Associate Professor, University of Utah Kahlert School of Computing • Personal account • Opinions my own, not employer's • RTs not endorsements
Soham Sankaran
Registered:10 Sep 2023 12:07
Follow date:25 Dec 2024 15:05
I run @popvax.com (https://popvax.com). We develop mRNA vaccines using computational protein design, including a broadly-protective COVID-19 vax to preempt new variants. I write at https://infinitesunrise.com, and I used to build robots (https://soh.am).
Clash Language
Registered:28 Nov 2024 12:58
Follow date:11 Dec 2024 16:40
A modern functional hardware description language
https://clash-lang.org/
https://github.com/clash-lang/...
Racket
Registered:16 Nov 2024 10:44
Follow date:8 Dec 2024 06:21
Racket is...
* A language-oriented programming project
* a family of programming languages
* a native code compiler and other tools,
* a diverse community 😁
Join us at https://racket.discourse.group...
https://racket-lang.org/
mflatt.bsky.social
Registered:7 Dec 2024 20:28
Follow date:8 Dec 2024 04:08
Caleb Stanford
Registered:2 Nov 2023 21:37
Follow date:4 Dec 2024 04:26
Assistant Professor at UC Davis. Programming languages, formal methods, systems. https://github.com/DavisPL
TheZoq2
Registered:21 Sep 2023 10:46
Follow date:29 Nov 2024 10:49
Developing http://spade-lang.org and the Surfer waveform viewer. Post doc at Hochschule München
Usually at https://mastodon.social/@thezo...
swyx
Registered:11 Apr 2023 19:41
Follow date:29 Nov 2024 10:48
i want everyone to aspire to integrity, intensity, and intentionality. see also @latent.space
David Darais
Registered:9 Nov 2024 17:13
Follow date:28 Nov 2024 12:17
Principal Scientist at Galois. Former computer science professor. Research in programming languages, networks, security and privacy. david.darais.com
ccadar.bsky.social
Registered:28 Nov 2024 07:33
Follow date:28 Nov 2024 09:46
Edwin Brady
Registered:17 Nov 2024 12:05
Follow date:27 Nov 2024 19:36
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....