×
You are not logged in
Bluesky Followers
ari
Followers of @ari.foo
jess
Registered:20 Nov 2024 14:49
i am here relucantly
types.pl/@ratherforky
kait/
Registered:8 Aug 2023 03:51
lost in the sauce. it's delightfully warm. but oh no! the sauce is getting stirred and I'm getting streetched.
theoretical software engineer
Atto Parsec
Registered:16 Oct 2023 05:50
hang out in the cool vcs
Henry Wallace
Registered:22 Nov 2024 02:25
Learning and hacking! ๐โก๏ธ๐ฅ๐ง๐ฑ
https://github.com/arclabs561
Eva ๐ณ๏ธโโง๏ธ
Registered:18 Oct 2024 02:12
Heyo! It's Eva! (she/her)
๐ฐ I'm an astro-bunny who codes.
๐ถ I like songs from smaller artists.
Github: https://github.com/evasquare
Sai Divvela
Registered:3 Jan 2025 19:22
Undergraduate at UMD, interested in PL, systems, and security and all things in their intersection :) also avid manga reader, cat lover, and occasional gamer
Chentian Wu
Registered:14 Apr 2024 15:43
26โ Math & CS undergrad @ UW-Madison
PL / Logic / Cat Theory ๐
https://wuct.site
Applying for PhD starting from 2026 Fall
Sharun
Registered:21 May 2023 05:13
๐จโ๐ปSoftware Engineer | ๐ฎGamer | ๐ปTech & ๐Car Enthusiast | ๐ฑCat Person
sharunkumar.com
Joe Gibbs Politz
Registered:27 Sep 2023 15:58
ionchy
Registered:11 Apr 2023 16:17
it's pronounced "yawn-chee" and the `i` is lowercase
MSc @ SPL โ UBC โฆ PhD @ PLClub โ UPenn
asian-canadian ๐จ๐ฆ๐น๐ผ๐ญ๐ฐ๐ณ๏ธโ๐
https://ionathan.ch
Ari
Registered:14 Jan 2025 11:00
CS @northeasternu.bsky.social | prev intern @ pawtograder.com & @ Lexia Learning | 4X Hackathon Winner
https://www.ari-s.dev
Nicole Heinimann
Registered:26 Jun 2023 13:14
Where are my types, I can't see without my types!
PhD student @tuberlin.bsky.social
https://ipv3.org
Ask me about EGraphs, Compilers, GPU-Computing, and Rust
SIGPLAN AV Member
Opinions are those of your pet
Elaine Zhu
Registered:1 Dec 2024 01:13
hobbyist photographer + research @ NEU + consulting @ PwC
will
Registered:8 May 2025 06:56
I do video games and music and writing among other things!!! website/portfolio/blog coming soon
Brooke Chalmers
Registered:8 Jun 2023 19:17
๐ฉโ๐ป https://breq.dev/
๐ณ๏ธโโง๏ธ she/her
๐ @avasilver.dev, @miakizz.quest, et al.
โ๏ธ boston (come say hi!) and sometimes maine
๐ช robots, radios, webdev, and more
ava :3
Registered:15 Jun 2023 21:01
meow :3 // gf @breq.dev @miakizz.quest et al. ๐ // free palestine ๐ต๐ธ // not a professional account
Henry B
Registered:14 Nov 2024 06:02
ms in cs @ neu, interested in PL/Verification/Cryptography intersection
Lucas
Registered:2 Nov 2024 00:11
Interested in Racket, Emacs, NixOS
Morgan
Registered:19 Jan 2025 03:20
A silly little programming nerd
Jay
Registered:15 Dec 2024 14:09
29 year old trans dude, building community and giving a sht. Husband, bunny dad, UU, psych survivor, IPV survivor, mental health peer advocate, and the hero of my own story.
Morgan Sterling
Registered:28 Apr 2024 17:21
๐ morgan@tech.lgbt
Discord: @morgan_rose_xo
kyleforsalem
Registered:12 Jan 2025 18:57
Salem City Councilor At Large ๐น
N.J. Gallegos is Dr. Spooky
Registered:14 Nov 2024 15:42
I like big cats. ER doc. Horror author. Artist. Cohost of The Scream Kings Podcast. Member of HWA. Pro-choice. BLM. I voted for her. Star Wars & BravoTV fanatic. She/her. ๐๐ณ๏ธโ๐
Personal site: https://njgallegos.com
Podcast: https://www.screamkingspodcast...