×
You are not logged in
Bluesky Follows
jhemann.bsky.social
Follows by @jhemann.bsky.social
Tori
Registered:11 Feb 2026 18:27
Follow date:26 Feb 2026 12:10
Last post:25 Feb 2026
Logic, 2-categories, and graded monads, but like mostly 2-categories. I made an account to look employable. Offer me a postdoc position
rain 🌦️
Registered:15 Apr 2023 01:48
Follow date:10 Jan 2026 13:29
Last post:14 hours ago
Last like given:11 hours ago
Last like received:3 hours ago
(gender)queer transsexual / they/them / eng @oxide.computer / atheist and scientific humanist / 🦀 #rustlang / https://nexte.st / https://sunshowers.io
also on mastodon: @rain@hachyderm.io / https://hachyderm.io/@rain
Jevin Sweval
Registered:30 Apr 2023 23:21
Follow date:10 Jan 2026 02:05
Last post:4 hours ago
Last like given:4 hours ago
KEYWORDS ➡︎ cats, hacking, reverse engineering, llvm, binary analysis, side channel analysis, FPGAs, NFC/EMV tricks
Previously Apple Pay Security
he/him 🏳️🌈
Lafayette, Indiana
Nicole Heinimann
Registered:26 Jun 2023 13:14
Follow date:10 Dec 2025 12:52
Last post:2 days ago
Last like given:4 hours ago
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
Leah Reich
Registered:25 Apr 2023 19:03
Follow date:24 Oct 2025 03:16
Last post:20 hours ago
Last like given:11 hours ago
Last like received:4 hours ago
I write about humans, tech, and culture, and about what I learned working for Slack, Spotify, and Instagram. But you’re probably here for photos of my cat Lumpy.
You should go read my newsletter at www.leahreich.com
emmatyping
Registered:1 Nov 2023 03:54
Follow date:14 Oct 2025 22:26
Last post:5 days ago
Last like given:19 hours ago
CPython Core Dev & mypy core team. Rust for CPython co-lead. Former quantum compiler engineer, now at NVIDIA working on Python. Opinions my own.
🏳️⚧️
https://emmatyping.dev
Profile by @li-n-arts.bsky.social
Mastodon: @emmatyping@hachyderm.io
she/her
Traces of Texas
Registered:3 Nov 2023 02:38
Follow date:14 Oct 2025 21:19
Last post:20 hours ago
Last like given:19 hours ago
Last like received:40 minutes ago
Purveyor of Texas history and culture. Cowboy boots junkie and chronicler of all things Lone Star. 100% organic, free-range Texas content. A politics-free feed. DON'T get political! Buy me a coffee? Click here: https://buymeacoffee.com/trace...
Lily, Lesbian Deer 🏳️⚧️🦌
Registered:29 Apr 2023 02:10
Follow date:7 Oct 2025 12:28
Last post:6 hours ago
Last like given:6 hours ago
Last like received:4 hours ago
she/it | 🏳️⚧️🏳️🌈 | deer ΘΔ | plural
I write rust and nix
waffle/0
Registered:18 Oct 2024 14:17
Follow date:26 Sep 2025 11:23
Last post:19 hours ago
Last like given:14 hours ago
Last like received:19 hours ago
blog.ihatereality.space; github.com/wafflelapkin; i do stuff sometimes; it/its
Savannah Ostrowski
Registered:26 Apr 2023 05:28
Follow date:8 Jul 2025 18:19
Last post:1 day ago
Last like given:1 day ago
Last like received:15 hours ago
Python 3.16 & 3.17 Release Manager. Python Steering Council member. CPython Core Developer. "JIT infra team". Building @fastapicloud.com. Likes containers, compilers, open source, film, physical computing + cats.
savannah.dev
github.com/savannahostrowski
JA Westenberg
Registered:1 Sep 2024 07:32
Follow date:29 Jun 2025 00:03
Last post:5 hours ago
Last like received:8 minutes ago
I write about tech + humans + philosophy
https://www.joanwestenberg.com...
tenuretracker.info
Registered:27 Feb 2025 09:05
Follow date:28 Jun 2025 23:02
Last post:16 minutes ago
Last like given:12 hours ago
Last like received:2 hours ago
See https://tenuretracker.info/ for the most complete & worldwide overview of open postdoc, tenure track, (junior) professor, and lecturer positions.
Visit the site to search for specific positions and subscribe to email notifications
Meredith Whittaker
Registered:1 May 2023 20:26
Follow date:28 Jun 2025 09:22
Last post:7 days ago
Last like given:37 minutes ago
President of Signal, Chief Advisor to AI Now Institute
Frank McSherry
Registered:28 Oct 2024 23:26
Follow date:27 Jun 2025 08:32
Last post:5 Mar 2026
Last like received:1 day ago
Mike Dodds
Registered:21 Nov 2024 21:22
Follow date:25 Jun 2025 02:10
Last post:5 Mar 2026
Formal methods nitwit. https://mikedodds.github.io
AI / math / formal methods paper feed: @ai-fm-papers.bsky.social
Vova Dem
Registered:12 Feb 2024 03:42
Follow date:21 Jun 2025 23:28
alex jegtnes
Registered:14 Jun 2023 07:06
Follow date:19 Jun 2025 21:43
Last post:20 Feb 2026
Last like given:2 hours ago
london freelance web dev 👨🏼💻 https://jegtnes.com/work-with-...
thought leader in yak shaving
cheap wine & cheaper shitposts
photography • travel • hiking • gaming • cocktails • weightlifting • kidney transplantee
but first and foremost, silly goose
🇳🇴
Jo
Registered:17 Jun 2023 18:47
Follow date:13 Jun 2025 07:46
Last post:1 day ago
Last like given:3 hours ago
Last like received:21 hours ago
Software developer specializing in security. Lots of GoLang and C++. Usually gaming or cooking otherwise. KdReserved0 was my fault.
She/They
Fenner Tanswell
Registered:7 Sep 2023 10:05
Follow date:6 Jun 2025 16:18
Last post:6 days ago
Last like given:1 day ago
Philosopher of Mathematics and Logic working at TU Berlin. Also into epistemology, science, Xphi and the philosophy of extinction. Flightfree and carfree fennertanswell.com
Andy Gordon
Registered:7 Feb 2024 19:07
Follow date:31 May 2025 23:37
f4mi ‼️
Registered:27 Apr 2023 14:50
Follow date:31 May 2025 23:21
Last post:2 days ago
Last like given:1 hour ago
Last like received:54 minutes ago
i am a creative mess who lives in the EU and [insert the rest of a cool funny description here] www.f4mi.com
Artem Pelenitsyn
Registered:26 Nov 2024 01:41
Follow date:30 May 2025 04:39
Last post:6 days ago
Last like given:14 hours ago
Incoming Assist. Prof. of CS at Commonwealth U (Bloomsburg). PhD in CS from Northeastern. Interests: programming languages and compilers, types, Haskell, Julia.
Grandiloquent Word of the Day
Registered:13 Jun 2023 19:05
Follow date:27 May 2025 02:50
Last post:12 hours ago
Last like given:12 hours ago
Last like received:26 minutes ago
Fancy words, witty descriptions, and vintage illustrations to educate and entertain.
My Book!
https://wwnorton.com/books/978...
Calendars!
https://grandiloquent-word-of-...
emma 🍞
Registered:8 Jun 2023 16:42
Follow date:23 May 2025 19:54
Last post:11 hours ago
Last like given:9 hours ago
Last like received:4 hours ago
❧ 26
♡ she · her
◇ english · portuguese
✦ computer stuff and yapping mostly
Dominik Winterer
Registered:4 Dec 2024 12:46
Follow date:22 May 2025 23:23
Assistant Professor (Lecturer) at University of Manchester
Formal Methods Engineering Lab: https://manchester-fme.github....
Lucas Vegi
Registered:4 Sep 2024 16:32
Follow date:20 May 2025 20:57
Assistant Professor at DPI/UFV (Brazil)
Ph.D. in Computer Science (ASERG/DCC/UFMG)
Software Engineering |> Code smells |> Refactoring |> Elixir
https://linktr.ee/lucasvegi
Post mostly in English. Sometimes in Portuguese.
Bret Victor
Registered:7 Nov 2024 22:41
Follow date:15 May 2025 22:24
Last post:24 Feb 2026
Last like given:14 hours ago
worrydream.com
dynamicland.org
Björkus "No time_t to Die" Dorkus
Registered:26 Apr 2023 01:49
Follow date:14 May 2025 07:19
Last post:2 days ago
Last like given:11 hours ago
Last like received:2 days ago
💀 The C Standard Cannot Be Replaced And Will Never Be Destroyed. 💀
✍ Writing: http://thephd.dev
📷 Avatar KIINGKISMET (https://kiingkiismet.com/)
🖼 Banner WusdisWusdat (https://wusdiswusdat.crd.co/)
Sy Brand
Registered:28 Apr 2023 20:25
Follow date:14 May 2025 07:17
Last post:7 days ago
Last like given:21 hours ago
bit wrangler ~ poet ~ film/noisemaker ~ mask enthusiast ~ they/them
webassembly @fastly
📍🏴 edinburgh
Maggie Tate
Registered:23 Aug 2023 01:13
Follow date:7 May 2025 02:30
Last post:4 days ago
Last like given:11 hours ago
Documenting life’s beautiful things 🚲🛶 🐕 and having puppy adventures, working in the Elixir community with grox.io and GigCityElixir.com
patrick
Registered:26 Jan 2025 12:45
Follow date:5 May 2025 23:32
Last post:2 Mar 2026
PhD Student @ Uni of Cam
https://patrick.sirref.org
https://github.com/patricoferr...
Anja Surina
Registered:18 Mar 2025 14:08
Follow date:27 Apr 2025 17:01
PhD student at EPFL interested in LLM cognition & scientific discovery with AI.
Phil Nguyen
Registered:1 Dec 2024 18:15
Follow date:13 Apr 2025 23:34
Likely just stalking people for doomscrolling content, and posting 😺s
Monoid Mary
Registered:24 Nov 2024 19:56
Follow date:3 Mar 2025 22:04
Last post:2 days ago
Last like given:20 hours ago
Last like received:2 days ago
just a solarpunk hillbilly living in the gasoline crack of history
i get my glory in the desert rain
Marcin Krzyzanowski
Registered:24 Apr 2023 11:00
Follow date:3 Mar 2025 14:38
Last post:2 days ago
Last like received:1 day ago
Hacker without
Bozhidar Batsov (a.k.a. Bug)
Registered:27 Sep 2023 07:42
Follow date:28 Feb 2025 21:32
Last post:19 hours ago
Last like given:23 hours ago
Last like received:1 hour ago
Hacker. Emacs Zealot. Lover of parentheses. Firebrand. Bulgarian. Not necessarily in that order.
The artist formerly known as @bbatsov.
Personal blog: https://batsov.com
FOSS projects blog: https://metaredux.com
Emacs blog: https://emacsredux.com
Lean Focused Research Organization
Registered:14 Feb 2025 23:08
Follow date:27 Feb 2025 09:48
Last post:27 Feb 2026
Supporting the Formal Mathematics revolution
Aaron Turon 🪷🦀
Registered:10 May 2023 04:01
Follow date:26 Feb 2025 20:30
Buddhism, #rustlang, mental health / CPTSD, kids, photos, music, nerdy earnest wholesome vibes
Steve Klabnik
Registered:10 Apr 2023 22:57
Follow date:26 Feb 2025 20:28
Last post:18 hours ago
Last like given:11 hours ago
Last like received:11 hours ago
Garfield and Friends Screens
Registered:2 Jan 2024 01:19
Follow date:25 Feb 2025 20:25
Last post:2 minutes ago
Last like received:8 minutes ago
A random screen grab from the cartoon series Garfield and Friends every 30 minutes! | run by @garfdude.com
Caroline Lemieux
Registered:25 Nov 2024 04:52
Follow date:24 Feb 2025 18:32
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.
/etc/motd 🤖
Registered:28 Apr 2023 06:49
Follow date:22 Feb 2025 19:23
Last post:24 hours ago
Last like received:22 hours ago
A bot that posts a "message of the day" taken from @jackrusher.com's curated fortune file.
Maynard
Registered:9 Dec 2024 23:25
Follow date:19 Feb 2025 10:05
Maynard
Furkan Onder
Registered:19 Dec 2024 00:49
Follow date:17 Feb 2025 21:37
Last post:26 Jan 2026
Python Triage Member | Focusing on CPython #LKD #Python #ArchLinux #Django #eBPF
https://github.com/furkanonder...
Guannan Wei
Registered:17 Feb 2025 20:58
Follow date:17 Feb 2025 21:37
Programming languages; Assistant Professor at Tufts CS; Previously INRIA/ENS, Purdue
https://continuation.passing.s...
Conor Mc Bride
Registered:13 Nov 2024 20:43
Follow date:17 Feb 2025 16:25
Last post:18 hours ago
Last like given:6 hours ago
Last like received:9 hours ago
they/them
I'm Conor. I'm a nonbinary
Computer Scientist. God loves irony.
Femme presenting apartheid target. Cardiac outpatient. Hatstand owner. Tomato grower. Doctor Who fan.
@pigworker@types.pl on fedi
Don't call me Sir.
Chris Martens
Registered:27 Jan 2025 15:51
Follow date:17 Feb 2025 15:52
mostly not here, but there: https://hci.social/@chrisamaph...
Frog and Toad Bot
Registered:13 Sep 2024 01:09
Follow date:15 Feb 2025 00:06
Last post:1 hour ago
Last like received:6 seconds ago
Cozy random passages from Arnold Lobel's Frog and Toad books. Posts auto-delete.
CF Bolz-Tereick
Registered:18 Nov 2024 06:02
Follow date:9 Feb 2025 12:01
Last post:22 Jan 2026
PyPy/RPython contributor. Half time teaching at Uni Düsseldorf. Works on dynamic language implementations. Love street art and art in public spaces, hiking, reading.
they/them