×
You are not logged in
Bluesky Follows
rntz
Follows by @rntz.net
SE Gyges
Registered:13 Aug 2023 21:30
Follow date:27 Feb 2026 00:58
Como todos los hombres de Babilonia, he sido procónsul; como todos, esclavo; también he conocido la omnipotencia, el oprobio, las cárceles.
very sane ai newsletter: verysane.ai
random bloggy bits: segyges.leaflet.pub
Max
Registered:22 Jun 2023 04:30
Follow date:18 Dec 2025 20:53
Baking bread and compilers are kinda similar if you think about it
@tekknolagi elsewhere
bernsteinbear.com
mcc
Registered:22 Apr 2024 17:57
Follow date:3 Dec 2025 00:38
glitch girl — I do not trust this place and would prefer you follow me on Mastodon: https://mastodon.social/@mcc — Daily music posts: https://bsky.app/profile/dryad... — Avatar by @urnash.com — 🏳️⚧️🏳️🌈 — she/her
Eric Zhang
Registered:1 May 2023 19:30
Follow date:31 May 2025 19:21
computer systems nerd, interaction designer
work @ https://www.ekzhang.com
“i see nothing but the candle in the mirror”
miniKanren.org
Registered:27 Apr 2025 17:07
Follow date:12 May 2025 16:51
A little constraint logic programming language and associated community of researchers!
Nick Rioux
Registered:12 May 2025 00:07
Follow date:12 May 2025 16:51
Programming will get better.
rapparu
Registered:20 Sep 2023 09:14
Follow date:18 Mar 2025 15:33
✒️ 2D animator
web: http://rapparu.nl
instagram: https://www.instagram.com/rapp...
patreon: https://www.patreon.com/rappar...
Chris Martens
Registered:27 Jan 2025 15:51
Follow date:27 Jan 2025 23:08
mostly not here, but there: https://hci.social/@chrisamaph...
Edwin Brady
Registered:17 Nov 2024 12:05
Follow date:27 Jan 2025 23:08
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....
Ernest Ng
Registered:18 Jan 2025 16:28
Follow date:19 Jan 2025 23:30
PL/Systems PhD student at Cornell
ngernest.github.io
Stephanie Weirich
Registered:17 Jan 2025 12:04
Follow date:17 Jan 2025 20:42
Tell me about types
tom larkworthy
Registered:17 Nov 2024 15:41
Follow date:5 Jan 2025 02:29
Computers and decentralization.
Kartik Agaram
Registered:6 Apr 2023 04:09
Follow date:2 Jan 2025 05:56
Programmer building programs that are useful, easy to install, easy to run, easy to modify, easy to share. https://akkartik.name/freewhee...
Brendan Zab
Registered:11 Aug 2023 11:34
Follow date:2 Jan 2025 05:56
Thinking about programming languages and imaginary landscapes. he/him
- https://types.pl/@brendan (preferred)
- https://github.com/brendanzab
Tikhon Jelvis
Registered:15 Nov 2024 02:46
Follow date:2 Jan 2025 00:13
I like programming languages. A lot. Especially Haskell.
Tools, types and functions.
Brett Evans
Registered:12 Nov 2024 05:41
Follow date:1 Jan 2025 20:53
Functional programming, dependent types, denotational semantics, category theory, cooking, snowboarding, rugby.
Pete Vilter
Registered:27 Oct 2024 14:45
Follow date:1 Jan 2025 20:53
Working on grid interconnection at Pearl Street Technologies. Prev databases and things at RelationalAI, Bubble, Cockroach.
https://petevilter.me
J. Ryan Stinnett
Registered:7 May 2023 23:45
Follow date:30 Dec 2024 05:56
Exploring how to make programs more malleable and computing more humane | My communities: Malleable Systems, Matrix, Mozilla | He/him
Paul Biberstein
Registered:18 Nov 2024 14:53
Follow date:25 Dec 2024 03:01
Present: Pursuing PL at Penn (PhD)
Before: Browsing bytes at Brown (Bachelor's)
paulbiberstein.me
🇨🇦 Joey Eremondi
Registered:20 Dec 2024 06:25
Follow date:22 Dec 2024 21:32
PL Researcher. Assistant Prof at University of Regina 🇨🇦
Trying to make dependent types a bit easier to use.
Formerly Postdoc at Edinburgh with Ohad Kammar, and PhD at UBC with Ron Garcia.
Sebastian Graf
Registered:22 Dec 2023 22:12
Follow date:22 Dec 2024 21:32
Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet
Evan Patterson
Registered:2 Oct 2023 18:30
Follow date:22 Dec 2024 21:29
Applied mathematician and technologist. Research scientist at @toposinstitute.bsky.social
Yaron Minsky
Registered:24 Nov 2023 23:30
Follow date:10 Dec 2024 05:05
Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
mflatt.bsky.social
Registered:7 Dec 2024 20:28
Follow date:8 Dec 2024 04:57
Aws Albarghouthi
Registered:23 May 2023 14:45
Follow date:2 Dec 2024 18:17
Computer science professor
University of Wisconsin–Madison
https://pages.cs.wisc.edu/~aws...
Jannis Harder
Registered:22 Oct 2024 13:20
Follow date:2 Dec 2024 18:17
open source dev, inactive demoscener, occasional CTF crypto challenge solver
working on SAT solving, HW formal verification tools, yosys
https://jix.one/
they/them
Sam Lindley
Registered:1 Dec 2024 20:16
Follow date:2 Dec 2024 18:17
David Tate | cat profile.txt | grep aws
Registered:7 Sep 2023 14:41
Follow date:2 Dec 2024 18:17
work in software - http://blog.davidtate.org
Bad Software Advice
https://badsoftwareadvice.subs...
I have 1 more cat than the guidelines recommend.
dwarfofyore.bsky.social
Registered:28 Nov 2024 20:41
Follow date:29 Nov 2024 04:34
Compilers, formal logic, blacksmithing, robots, roleplaying games
went to cranberry melon
IHTI
Registered:13 Mar 2024 08:07
Follow date:29 Nov 2024 04:34
Mathematics & CS Researcher
Musa al-Gharbi
Registered:21 Nov 2024 18:20
Follow date:28 Nov 2024 00:18
Asst. Professor of Communication, Journalism and (by courtesy) Sociology at Stony Brook University. Author of, "We Have Never Been Woke: The Cultural Contradictions of a New Elite" -- out now via Princeton University Press.
Konstantinos Kallas
Registered:20 Nov 2024 19:42
Follow date:27 Nov 2024 05:32
Assistant Professor of CS at UCLA // Systems, Compilers, PL // he/they Website: https://angelhof.github.io/
Artem Pelenitsyn
Registered:26 Nov 2024 01:41
Follow date:27 Nov 2024 05:32
Postdoc at Purdue ON ACADEMIC JOB MARKET for 2026. PhD in CS. Interests: programming languages and compilers, types. Languages: Haskell, Julia.
vaibhav sagar
Registered:25 Apr 2023 00:56
Follow date:27 Nov 2024 05:32
future trophy husband
disco 🪩 / haskell 𝝺 / powerlifting 🏋️ / sci-fi 🚀 / scuba diving 🤿
🇦🇺🇮🇩🇮🇳
on gadigal land
vaibhavsagar.com
instagram.com/vbhvsgr
recurse.social/@vaibhavsagar
twitter.com/vbhvsgr
Amy J. Ko
Registered:26 Nov 2023 14:58
Follow date:24 Nov 2024 05:55
Professor @ University of Washington Information School. Computing, learning, design, justice, kitties, tacos, coffee, gender, politics, and transit. I write at amyjko.medium.com. I maintain wordplay.dev, bookish.press, adminima.app, reciprocal.reviews.
gabby
Registered:7 Nov 2024 01:58
Follow date:24 Nov 2024 05:55
Author of haskellforall.com, dhall-lang.org and @trygrace.dev, professional doggirl and endurance hunter
I'm a midwife to the hidden beauty in everything
she/her 🏳️⚧️
https://linktr.ee/gabriella439
💖 @ember.pet
Josh Horowitz
Registered:22 Apr 2023 01:18
Follow date:24 Nov 2024 05:55
joshuahhh.com
t-shirt size: medium
Anil Madhavapeddy
Registered:21 Jun 2023 04:30
Follow date:24 Nov 2024 05:55
Professor of Planetary Computing at the University of Cambridge @cst.cam.ac.uk, where I co-lead the @eeg.cl.cam.ac.uk and work on computing for global biodiversity and climate change with @conservation.cam.ac.uk.
Homepage at https://anil.recoil.org
Jack Rusher
Registered:13 Apr 2023 11:35
Follow date:24 Nov 2024 05:55
Ex-Bell Labs/AT&T Research'er making art & technology in Berlin.
🐘@jack@jackrusher.com
🐦@jackrusher
Geoffrey Litt
Registered:11 Apr 2023 14:11
Follow date:24 Nov 2024 05:54
Malleable software @inkandswitch.com
prev PhD @csail.mit.edu
geoffreylitt.com
🇯🇵🇺🇸
Alexander Bandukwala
Registered:1 Jul 2023 17:59
Follow date:24 Nov 2024 05:54
💻 Pursuing the Future of Computing
🔬 PhD Student @ University of Michigan (Future of Programming Lab)
🪄 Building Hazel: Live Functional Programming & Malleable Systems
🐾 Dog Parent
🛠️ Ex-Software Engineer
🌟 Computing Maximalist
Cyrus Omar
Registered:2 May 2023 19:48
Follow date:24 Nov 2024 05:54
🌱 ruining programming forever @ hazel.org
🌱 professoring @ Michigan
🌱 poetry
🌱 dendrites
🌱 immersion
🌱 flowers
🌱 resisting idiocracy
https://web.eecs.umich.edu/~co...
Steven Holtzen
Registered:17 Nov 2024 19:56
Follow date:24 Nov 2024 05:54
I like computers.
assistant prof at northeastern https://www.khoury.northeaster...
jeremysiek.bsky.social
Registered:16 Nov 2024 21:18
Follow date:24 Nov 2024 05:54
Kristopher Micinski
Registered:13 Nov 2024 06:06
Follow date:24 Nov 2024 05:54
kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Loris D'Antoni
Registered:2 Aug 2023 19:11
Follow date:24 Nov 2024 05:48
Professor @ucsd & Visiting Academic @AWScloud. Helps people write code they can trust
Tim Vieira
Registered:16 Nov 2024 18:28
Follow date:24 Nov 2024 05:46
ozy
Registered:22 Nov 2024 15:51
Follow date:22 Nov 2024 21:46
David Darais
Registered:9 Nov 2024 17:13
Follow date:22 Nov 2024 21:38
Principal Scientist at Stealth Software.
larrytheliquid
Registered:5 Nov 2024 22:03
Follow date:22 Nov 2024 05:47
Formal Methods / Programming Language Theory / Neuro-Symbolic AI
Founder at colimit.ai / @colimit.bsky.social