Tom Bear (Productions)© @artisttom.eurosky.social Demokratie und Menschenrechte und Mitmenschlichkeit, Verantwortung sind unsere wichtigsten Themen oder Werte.
Irgendwie halte ich mich über Wasser.
ME/CFS ist eine scheiß Krankheit.
https://www.paypal.me/TomBear
#Niedersachsen
🌈🐻
Startupmac @thestartupmac.com Get the most important tech news, founder stories and startup insights delivered directly to your inbox I https://www.thestartupmac.com
Curly Braces @loopinglife.bsky.social Daily nuggets of software wisdom.
Mae Milano @mpmilano.bsky.social Computer Science professor at Princeton. Loves all things programming languages and distributed systems. Including YOU! https://languagesforsyste.ms
Artem Pelenitsyn @pelenitsyn.top Incoming Assist. Prof. of CS at Commonwealth U (Bloomsburg). PhD in CS from Northeastern. Interests: programming languages and compilers, types, Haskell, Julia. https://a.pelenitsyn.top/
Alex Knauth @alexknauth.bsky.social I like programming languages and functional programming, music, art, math-as-an-art-form, lakes, and other random
he/him | they/them & 29
http://pronoun.is/he?or=they
Adrian Sampson @samps.phd actually just on Mastodon: https://discuss.systems/@adrian
Konstantinos Kallas @konstantinoskallas.bsky.social Assistant Professor of CS at UCLA // Systems, Compilers, PL // he/they Website: https://angelhof.github.io/- R rntz @rntz.net Michael Arntzenius irl. Postdoc at UC Berkeley doing PL + DB + incremental computation. PL design, math, calligraphy, idle musings, &c.
rntz.net
🐘 @rntz@recurse.social
🐦 @arntzenius
Attempting to use bsky more now that people are showing up.
Cyrus Omar on sabbatical in Cambridge @neurocy.bsky.social 🌱 ruining programming forever @ hazel.org
🌱 professoring @ Michigan
🌱 poetry
🌱 dendrites
🌱 immersion
🌱 flowers
🌱 resisting idiocracy
https://web.eecs.umich.edu/~comar- M @mkolosick.bsky.social @mkolosick.bsky.social
ionchy @ionchy.ca it's pronounced "yawn-chee" and the `i` is lowercase
MSc @ SPL ∈ UBC ⊦ PhD @ PLClub ∈ UPenn
asian-canadian 🇨🇦🇹🇼🇭🇰🏳️🌈
I inherited https://types.pl
⍼ https://ionathan.ch
🇨🇦 Joey Eremondi @joeyeremondi.bsky.social 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.
Chris Martens @chrisamaphone.bsky.social mostly not here, but there: https://hci.social/@chrisamaphone
joomy @joomy.bsky.social researcher at Bloomberg. somehow a computer doctor. posts about functional programming, dependent types, metaprogramming, linguistics, and Turkey.
🐦: http://twitter.com/joomy
🕸️: http://joomy.korkutblech.com
Sam Westrick @shwestrick.bsky.social assistant professor @NYU Courant CS :: programming languages :: parallel computing :: music :: lead dev of the MaPLe compiler (https://github.com/mpllang/mpl)
https://cs.nyu.edu/~shw8119/
Max S. New @maxsnew.com Professional computer scientist, unprofessional mathematician
Joe Cutler @alphaconvert.bsky.social cutler.pl