×
You are not logged in
Bluesky Followers
rntz
Followers of @rntz.net
Thomas Porter
Registered:29 Mar 2025 01:11
thomasporter522.github.io
Anshu Sharma
Registered:17 Nov 2023 15:24
Studying quantum computing and software semantics. YIMBY, anti-ethnonationalisms, pro open borders. ‘Anarchist’ is not a slur. He/him. Adult.
Linkedin: https://www.linkedin.com/in/an...
Facebook: https://www.facebook.com/anshu...
Tori
Registered:11 Feb 2026 18:27
Logic, 2-categories, and graded monads, but like mostly 2-categories. I made an account to look employable. Offer me a postdoc position
Aaron Eline
Registered:18 May 2023 13:56
joelmccracken.bsky.social
Registered:7 Jul 2025 16:03
tarena.bsky.social
Registered:19 Jan 2026 12:56
plumenator.bsky.social
Registered:7 Feb 2024 18:12
Chase Bussey
Registered:8 Dec 2024 16:04
Software engineer, mainly .NET
Experimenting with Learning in Public at chasebussey.com
Edoardo Vacchi
Registered:26 May 2023 19:16
Programming Language Nerd, PhD in C.S. — Compilers, WebAssembly, Java, Rust, Go — prev: wazero, Chicory @ Dylibso, Tetrate, RedHat, UniCredit — organizer Papers We Love Milano
evacchi.dev
Internet Hedgehog 🦔
Registered:1 Jul 2023 17:26
A hedgehog in Tokyo.
🦔🦔🦔🦔🦔
End-user programming believer.
日本語OK
https://ezhik.jp
https://mastodon.social/@Ezhik
Mike Samuel 🟣
Registered:21 Aug 2023 06:40
Programming languages person focused on software systems problems.
Previously, first frontend engineer on Google Calendar, and was a security engineer who worked on the industrial-strength Mad Libs undergirding Gmail.
Pro-trans-rights is pro-family.
David Justo
Registered:26 Apr 2023 04:04
PL fool and DB theory nerd. Working on the C++ Address Sanitizer for Windows these days (dynamic analysis for memory safety), still a Durable Functions nerd.
Stephen
Registered:30 Jul 2023 20:23
Cat feeder.
London(UK) / Garramilla (Darwin) / Naarm (Melbourne)
Bruno Gavranović
Registered:11 Aug 2023 23:13
I'm building neural networks that generate provably correct code, and the software infrastructure for training them.
Recently experimenting with TensorType: https://github.com/bgavran/Ten...
www.brunogavranovic.com
wasabi
Registered:9 Feb 2024 09:35
:: (PhD Student at ScienceTokyo, traP, Haskell, Agda, OCaml)
https://wasabi315.github.io/en...
Isaiah Norton
Registered:22 Jun 2023 12:00
Arrays and scientific data at TileDB. Past #julialang contributor. Interested in systems, software and otherwise.
https://github.com/ihnorton
delob.bsky.social
Registered:11 Aug 2024 23:32
Tiago Cogumbreiro
Registered:23 Nov 2024 17:25
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
Max
Registered:22 Jun 2023 04:30
Baking bread and compilers are kinda similar if you think about it
@tekknolagi elsewhere
bernsteinbear.com
em
Registered:6 Oct 2023 16:53
girls are getting into abstract analysis
Alecs P. Hacker
Registered:20 Nov 2024 22:16
liquid type in liquid type connoisseur
alecsferra.github.io
Get Launched
Registered:20 Apr 2025 02:13
Make yourself the 'Go To' person in any industry and earn a side income from running small networking events.
Earn through entrance fees, membership fees, sponsorships & deals. GetLaunched.org
Al Merose
Registered:6 Jul 2023 16:07
Technical staff @OpenAthena.ai, community member @pangeo.io & @m2lines.bsky.social. Weather, Climate, Oceans Research. Programming, Politics, Postmodernism (oPinions are my own). He/him.
Julie
Registered:6 Sep 2023 09:13
Poet. Mom.
She/her
Against white supremacy, genocide, and generally pro human rights
bolusmjak.bsky.social
Registered:18 Nov 2024 00:44
dubious-brackets.bsky.social
Registered:12 Apr 2023 19:38
Wild pentachoron correspondent
Registered:14 Apr 2023 00:20
Amethyst, orchid, mulberry, midnight blue, navy blue, electric blue, sapphire, turquoise, cyan, aqua, olive green, pine green, sea green.
とどまりたる例なし。
43 years old.
Alex Wykoff
Registered:5 Mar 2023 23:04
I do decentralized & distributed things, mostly product.
Working on a p2p stack for funsies.
Austin, TX
Zachary 🦋
Registered:23 Apr 2023 06:27
Cyber-Social Infrastructure
| Digital Policy & Adaptive Governance
| Protocols for a New Millennium
| Webs of Trust
Nathaniel Virgo
Registered:13 Nov 2024 11:55
Researcher in applied category theory at Hertfordshire, UK, formerly at ELSI, Japan. Maths, science and random creative projects.
🦋BlueAngel69🦋
Registered:15 Feb 2025 20:28
Zelensky have a spine 💪🏻
Fuck Poutin 'n Krasnov 🖕🏽 TSLA💩
🚫Maga/Republican/Nazi/Facist
🚫Gofundme/Money request/Crypto
🚫Empty profil/OnlyFans
Reposts and likes are not endorsements
💙 🇺🇦 🇨🇦 🇲🇽 🇩🇪 🇵🇱 🇨🇵 🇪🇺 🇫🇮 🇬🇧 🇧🇪 🇳🇿 🇺🇸
I block in return all accounts that blocked me
Nathan🌸
Registered:9 Jan 2025 16:55
Indie software developer • math lover • ML builder • 48 • NB they/them
Currently working on audio circuit simulation.
asa
Registered:28 Mar 2025 03:35
nix shill, radical anti-unix extremist
I work on robots
https://anglesideangle.dev/
UndergroundMan
Registered:9 Nov 2023 15:27
Fighting coverage denials at @persiusorg.bsky.social and @healthaccessorg.bsky.social.
Math PhD, physics defector. Now cat servant, soccer, health access and machine learning.
Oisín Kidney
Registered:16 Nov 2024 13:58
PhD student in functional programming.
doisinkidney.com
Camdar
Registered:8 Oct 2024 01:40
phd student, pl person. i do cool things, occasionally.
Webmaster @ https://feuniverse.us
https://camdar.io
Jodi
Registered:18 Nov 2024 21:39
Searching for beauty, goodness and truth. I am a non-apologetic liberal. Don't bother trying to DM. Also, for fuck's sake, spare me the porn. I love art, photography, poetry. Here's a few of my photos. https://www.jodicombsfineartph...