π§ββοΈ Software engineer turned clanka babysitter.
π¨βπ» Rust // Elixir // Python
ππ» https://jbz.ee
scheme48 -> PLT Scheme -> Racket. Haven't been bored in 25+ years. Almost continuously avoiding some kind of work, often by riding and running.
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/@rust
Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
Professor in CSE, Information, and Education at
U-Michigan. Director of PCAS https://lsa.umich.edu/computingfor. Computing Ed Researcher, blogger, dad. https://computinged.wordpress.com/
Department of Computer Science at the University of Oxford, sharing news on our outstanding research across a broad spectrum of computer science #CompSciOxford
Programming Languages Researcher
https://kirancodes.me
Still ultrafinitist, but with a softer side.
https://www.kleene.church/
I do the Church of Logic podcast.
https://open.spotify.com/show/6vEh6ZpQr1Eoeoz8TbsMKx?si=3-hd-mv3ShGe2LFij4MCIQ
https://rdivyanshu.github.io/
Math, music (@patantara.com), human and computer languages, small data and natural intelligence, visiting prof of computer science at Krea University. Blog - https://sriku.org .
Does the dog have Turing nature?
Comp. sci. prof. @ American University, Washington DC. AI & games researcher with miscellaneous other interests. https://www.kmjn.org/
Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
rapid unscheduled torment nexus disassembly expert β nonbinary, she/they β works on CI platforms at Google β writes Racket elsewhere β admin of @claude.notjack.space
ACM SIGPLAN International Conference on Functional Programming. Biskweets by @shwestrick.bsky.social
https://icfp26.sigplan.org/
https://icfpconference.org/
Director of Geospatial AI @nbcuniversal.com, Brown CS PhD & SMCVT Math/Physics/CS alum, admin @cemetech.net, AFOL, SFF nerd & open-theist
Bluesky open-source contributor
Decentralizing systems (human & digital)
Opinions are my own
πVermont
Brown Computer Science / Brown University || BootstrapWorld || Pyret || Racket
I'm unreasonably fascinated by, delighted by, and excited about #compsci #education #cycling #cricket and the general human experience.
Associate Professor, IU Computer Science Β·
Core Developer, @racketlang.bsky.social Β·
Member, TC39 Β·
Handler, Gravymaker Β·
Bike Advocate, Bloomington IN
Cat feeder.
London(UK) / Garramilla (Darwin) / Naarm (Melbourne)