×
You are not logged in
Bluesky Follows
Shadaj Laddad
Follows by @shadaj.me
Dan Plyukhin
Registered:19 Nov 2024 20:45
Follow date:22 Apr 2025 01:54
β οΈIβm on the job market for 2026!β οΈ
PL researcher thinking about the future of distributed systems
> PhD from UIUC
> Postdoc at SDU
> Cohost of the Type Theory Forall podcast
> dplyukhin.github.io
BART
Registered:20 Nov 2024 17:56
Follow date:12 Apr 2025 00:25
This is the official account for BART. We provide train service throughout the San Francisco Bay Area and connect people to places they love.
For automated service updates go to @alerts.bart.gov
Visit us at bart.gov ππ
BART Alert
Registered:30 Jan 2025 23:13
Follow date:12 Apr 2025 00:25
Automated alerts from @bart.gov.
Download the BART Watch App to report suspicious or criminal activity. For non-emergency needs you can text BART PD at 510-200-0992.
Rust Language
Registered:28 Jun 2023 20:17
Follow date:5 Apr 2025 17:51
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/@...
Stu Hood
Registered:24 Dec 2024 21:33
Follow date:23 Mar 2025 21:32
Working on transactional, Elastic-quality search for Postgres at https://www.paradedb.com/ - ζ₯ζ¬θͺγεεΌ·γγ¦γγΎγ
Matthew Weidner
Registered:22 Mar 2025 14:31
Follow date:23 Mar 2025 21:31
Collaborative software at Common Curriculum / CMU
I write about CRDTs etc: https://mattweidner.com/
Barack Obama
Registered:20 Mar 2025 16:38
Follow date:23 Mar 2025 21:31
Dad, husband, President, citizen. barackobama.com
George Zakhour
Registered:13 Dec 2024 17:37
Follow date:6 Feb 2025 21:19
PhD student at @prg-grp.bsky.app
Interested in PL and Type Systems.
Programmer for more than 10 years.
Based in π¨π from π±π§
(he/him)
https://grgz.me
Preetum Nakkiran
Registered:14 Nov 2024 21:45
Follow date:18 Jan 2025 16:19
ML Research @ Apple.
Understanding deep learning (generalization, calibration, diffusion, etc).
preetum.nakkiran.org
Sam Arch
Registered:5 Dec 2024 20:49
Follow date:7 Dec 2024 16:47
PhD Student in Databases @ CMU-DB
Previously a Compiler Engineer @ Apple
Julian Hyde
Registered:14 Nov 2024 01:15
Follow date:6 Dec 2024 18:04
On a mission to tame data. (Ex-Google, always ASF, working on something new.)
Cody
Registered:28 Aug 2023 21:37
Follow date:6 Dec 2024 18:04
Still ultrafinitist, but with a softer side.
https://www.kleene.church/
I do the Church of Logic podcast.
https://open.spotify.com/show/...
Sarah E. Chasins
Registered:26 Nov 2024 21:39
Follow date:3 Dec 2024 20:48
Assistant Professor at UC Berkeley EECS. PL+HCI. Into making programming easier for social scientists and domain experts.
Manish Shetty
Registered:20 Nov 2024 20:08
Follow date:27 Nov 2024 18:52
PhD student @ucberkeley | Projects: Syzygy, R2E, Chatbot-Arena RepoChat | PL Tooling for AI4Code | prev @msftresearch | manishs.org
Konstantinos Kallas
Registered:20 Nov 2024 19:42
Follow date:20 Nov 2024 21:47
Assistant Professor of CS at UCLA // Systems, Compilers, PL // he/they Website: https://angelhof.github.io/
Lalith Suresh
Registered:9 Nov 2024 22:42
Follow date:13 Nov 2024 02:03
CEO @ feldera.com, the incremental compute engine for AI, ML and data teams.
Formerly a systems researcher in distributed systems, databases, cloud, OS, PL, and networking. Sci-fi and gaming nerd.
lalith.in/research
Joe Hellerstein
Registered:30 Aug 2023 16:23
Follow date:13 Nov 2024 02:02
Computer things @Berkeley and music things elsewhere.
James
Registered:7 Feb 2024 22:28
Follow date:13 Nov 2024 00:55
I wish I was a farmer. he/him
Current Vice President of Engineering at Homeaglow. Co-creator of Apollo Federation. Prev @apollographql @carbonhealth
Heather Miller
Registered:1 Jun 2023 16:07
Follow date:13 Nov 2024 00:55
Professing computery things at CMU, doing science at Two Sigma. Co-founder & former Executive Director of the Scala Center at EPFL. Past life: artist @ Cooper Union
May-Li Khoeβ¨
Registered:27 Apr 2023 19:45
Follow date:13 Nov 2024 00:55
used to be @mayli in the old place.
hello! π maylikhoe.com
tin house winter workshop 2025
Interdisciplinary designer writer artist musician dancer inventor educator. vp of design and former dj. mfa candidate.
Manish
Registered:19 Apr 2023 21:29
Follow date:13 Nov 2024 00:55
unmappable territory
please leave a message after the beep
Aditya Parameswaran
Registered:22 Oct 2024 16:06
Follow date:13 Nov 2024 00:54
Prof @ UC Berkeley. Codirector @ EPIC data lab. Cofounder @ Ponder (Acq. Snowflake). Interested in data, systems, and people. More at: adityagp.net
parkie-doo
Registered:27 Jun 2023 19:14
Follow date:13 Nov 2024 00:54
PhD Candidate at UC Berkeley EECS // Programming Languages β’ Human-Computer Interaction β’ Visualization β’ Cartography // Building alpha.cartokit.dev
Software Engineer at @gristnews.bsky.social // Maps β’ Data β’ Graphics β’ Code
Patrick Walton
Registered:24 Jul 2023 17:27
Follow date:13 Nov 2024 00:54
Programming languages and graphics person. Rust compiler, Firefox, and Bevy contributor. Currently working on an unannounced project!
Shane Carr
Registered:10 Jun 2023 07:55
Follow date:13 Nov 2024 00:54
I18n, ECMAScript, board game design, curling, music, photography, travel, and the great outdoors. Staff Software Engineer at Google. sffc.xyz
Internal Tech Emails
Registered:26 Apr 2023 22:59
Follow date:13 Nov 2024 00:54
Internal tech industry emails that surface in public records. π https://techemails.com
Tailscale
Registered:24 Apr 2023 14:23
Follow date:13 Nov 2024 00:54
Your private programmable network.
Bryan Cantrill
Registered:28 Apr 2023 19:23
Follow date:13 Nov 2024 00:54
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.
Ali Partovi
Registered:28 Apr 2023 13:37
Follow date:13 Nov 2024 00:54
Rolando Garcia
Registered:3 Sep 2024 19:35
Follow date:13 Nov 2024 00:54
academic in tech, databases
Chicano πΊπΈπ²π½ boy dad π yogi π
Antony Courtney
Registered:21 Apr 2023 04:43
Follow date:13 Nov 2024 00:54
SF-based SW dev working at intersection of UI, Programming Languages and Data. Founding Engineer at MotherDuck. Toddler dad.
Mingwei Samuel ηΏζδΌ
Registered:8 Oct 2023 21:49
Follow date:13 Nov 2024 00:54
Yining Karl Li
Registered:6 Feb 2024 19:21
Follow date:13 Nov 2024 00:53
Rendering Engineer at Disney Animation working on Disney's Hyperion Renderer. Previously at Pixar, Dreamworks, Cornell, Penn. Views here are my own.
https://www.yiningkarlli.com
https://mastodon.gamedev.place...
amos
Registered:24 Apr 2023 19:41
Follow date:13 Nov 2024 00:53
hi, I'm amos! π they/them π« open-source witch & maker of snappy videos and articles at @bearcove.eu β¨ be kind, be curious
articles: https://fasterthanli.me
videos: https://youtube.com/@fastertha...
podcast: https://sdr-podcast.com
pronouns: they/them
Rachit Nigam
Registered:11 Aug 2023 17:15
Follow date:13 Nov 2024 00:53
incoming MIT prof. & director of FLAME lab (https://flame.csail.mit.edu/).
building new languages and compilers to make hardware design fast, fun, and correct
Geoffrey Litt
Registered:11 Apr 2023 14:11
Follow date:13 Nov 2024 00:53
Malleable software @inkandswitch.com
prev PhD @csail.mit.edu
geoffreylitt.com
π―π΅πΊπΈ
Renee Shah
Registered:27 Oct 2024 01:19
Follow date:13 Nov 2024 00:53
Partner at Redpoint focused on AI, infra, security, and developer tools β‘οΈ
Jon Kuroda (ι»η°γΈγ§γ³)
Registered:22 Aug 2023 06:36
Follow date:13 Nov 2024 00:53
ResearchOps UCBerkeley EECS. Words here are mine, not necc my employer's. He/him/his.
pvh
Registered:26 Sep 2023 02:02
Follow date:13 Nov 2024 00:53
just this guy, you know? (director of research @ ink & switch, coined "local-first", contributor to automerge, former postgres guy, heroku staff, ex-game developer, arctic oceanographer.)
Charlie Marsh
Registered:15 Apr 2023 22:52
Follow date:13 Nov 2024 00:53
Building Astral: Ruff, uv, and other high-performance Python tools, written in Rust.
Kayo Yin
Registered:21 Aug 2023 22:32
Follow date:13 Nov 2024 00:53
PhD student at UC Berkeley. NLP for signed languages and LLM interpretability. kayoyin.github.io
ππΉπ΅ββοΈπ₯
Phil Eaton
Registered:4 Aug 2023 09:52
Follow date:13 Nov 2024 00:53
Research and analysis for experienced programmers @theconsensus.bsky.social.
eatonphil.com
Andy Pavlo
Registered:30 May 2023 18:25
Follow date:13 Nov 2024 00:53
Associate Prof. of Databases @ Carnegie Mellon.
Murat (Distributolog)
Registered:30 Aug 2023 14:50
Follow date:13 Nov 2024 00:53
Distributed systems,Database systems, Lightweight formal methods, TLA+
https://muratbuffalo.blogspot....
Marc Brooker
Registered:26 Sep 2023 21:58
Follow date:13 Nov 2024 00:52
Serverless, databases, and serverless databases at AWS. Views my own.
Check out my blog: https://brooker.co.za/blog/
Natalie Vais
Registered:5 Aug 2023 20:25
Follow date:13 Nov 2024 00:52
gp at spark capital β¨ databases, infra, dev tools
typedfemale
Registered:10 Apr 2023 03:03
Follow date:13 Nov 2024 00:52