Robert Harper @existentialtype

Not really Professor Robert Harper of CMU cs.cmu.edu/~rwh/ Pittsburgh, PA Joined June 2015

Tweets

0
Followers

64
Following

0
Likes

0

No recent Tweets. New Tweets will appear here.

🧫🧫 @Vreeoqui621805

65 Followers 2K Following Gods determine what you're going to be。

Chelsei Miltier @CMiltiet

96 Followers 393 Following I’m sorry I don’t link that I am

Theo Wang @TheoWang14

16 Followers 196 Following

PhD candidate and TA at @CmuScience. Computational Quantum Chemist. Julia/Rust developer in Scientific Computing tools. 🤓 💻🧪⚛️✝️🙋🏻‍♀️

Leticia Madureira @LetciaMariaPeq1

3K Followers 5K Following PhD candidate and TA at @CmuScience. Computational Quantum Chemist. Julia/Rust developer in Scientific Computing tools. 🤓 💻🧪⚛️✝️🙋🏻‍♀️

Shelia stan @SheliaStan40563

52 Followers 270 Following Digital creator

Patrick LaFontaine @Pat_Lafonta

136 Followers 216 Following PhD student @PurdueCS, PL & Program Synthesis & Compilers, Probably Sleeping

Justin @TheorySeekingHo

3 Followers 72 Following CS undergrad @CMU, Interested in Error Correcting Codes

Dr Valeria dePaiva @valeriadepaiva

3K Followers 2K Following Logician, category theorist, semanticist. Likes to understand life mathematically. She/Her

raul.ferreira @_raufer

2 Followers 173 Following

whatsgoingon @zhunzhun19

0 Followers 397 Following

sora @chenyivvv

0 Followers 2K Following loving @kuankuaan

Marcin @Marcin90963844

212 Followers 786 Following Chmmm

ELD-R-ESH-2 @eldesh

1K Followers 1K Following アレゲを目指すMLプログラマ https://t.co/qB4g5GNPbn

denny @denny3141

3 Followers 89 Following

🪬 Former CTO of @haskellfound
🧘 Advisor/Core Eng Honcho @kadena_io
🐎 Horse and dairy lover
🤠 Cowgirl Utahn

Return to pasture. Ask me about my cows!

Emily Pillmore 🐑�... @yandereidiot

6K Followers 875 Following 🪬 Former CTO of @haskellfound 🧘 Advisor/Core Eng Honcho @kadena_io 🐎 Horse and dairy lover 🤠 Cowgirl Utahn Return to pasture. Ask me about my cows!

Gabe Sibley @GabeSibley

52 Followers 125 Following

Bill Kunyiha @bkunyiha

273 Followers 342 Following

Marina Matin @matin_marina

8 Followers 48 Following

Google Director of Engineering, @android Platform Tools & Libraries. @rust_foundation & @risc_v Board of Directors. Powerlifter. (he/him)

Lars Bergstrom @larsberg_

3K Followers 3K Following Google Director of Engineering, @android Platform Tools & Libraries. @rust_foundation & @risc_v Board of Directors. Powerlifter. (he/him)

DrNO @_Dr_NO__

277 Followers 1K Following PhD in philosophy - Half kantian - Software engineer - Punk is not dead, neither is type theory ! Views are my own.

PhD student @ Uni of Edinburgh.
Previous coq'aine addict, now seizing the means of production (code) with Agda
& formalizing UTxO blockchains / smart contracts.

Orestis Melkonian @omelkoni

151 Followers 387 Following PhD student @ Uni of Edinburgh. Previous coq'aine addict, now seizing the means of production (code) with Agda & formalizing UTxO blockchains / smart contracts.

Ilya Yanok @IlyaYanok

10 Followers 112 Following

Lunchtime type theory reading/study group in Sydney.
We're currently reading the Homotopy Type Theory book. Tweets by @antiselfdual

Sydney Type Theory @SydneyTypes

232 Followers 253 Following Lunchtime type theory reading/study group in Sydney. We're currently reading the Homotopy Type Theory book. Tweets by @antiselfdual

A @mwetter

5 Followers 383 Following

Slavomir Kaslev @skaslev

436 Followers 2K Following

Oskar Wickström @owickstrom

5K Followers 737 Following Software engineer in rural exile by the sea.

Xuan Bi @IMZJUer

88 Followers 406 Following Haskell developer at Standard Chartered

Venkatesh Halli @venkateshhalli

155 Followers 1K Following

Juan Bono @JuanBono

587 Followers 4K Following

Emre Sevinç @EmreSevinc

@[email protected] @mietek

1K Followers 419 Following

🐦‍⬛ @glaebhoerl

571 Followers 660 Following nonblack nonraven

Computer scientist. Programmer specializing in weird languages. Ex-mathematician. Loves cooking. Dabbles with quantum. Uses generative techniques everywhere.

Jacques Carette @jjcarett2

2K Followers 932 Following Computer scientist. Programmer specializing in weird languages. Ex-mathematician. Loves cooking. Dabbles with quantum. Uses generative techniques everywhere.

Vikraman @identitytype

40 Followers 147 Following PhD student, type theory and category theory

Proof_by@mathstodon.xyz
Tori@types.pl

I'm Tori. I like weird math, pl, & old school proof theory. I only post pictures of my cat now
She/her

Tori Vollmer @Proof_by

450 Followers 504 Following [email protected] [email protected] I'm Tori. I like weird math, pl, & old school proof theory. I only post pictures of my cat now She/her

omissis @omissis@live... @omissis

700 Followers 1K Following geek by day, nerd by night. making cloud stuff @sighup_

Arun Lakshman @arun_lakshman

414 Followers 2K Following Engineer @awscloud

matt @themattchan

648 Followers 417 Following meat robot

• Stop Killing Games and ECI co-founder
• Available for analyst, bizdev, and software dev work, just DM me
• Haskell and FP maxi
• Coined

Multiple Systems @PLT_cheater

1K Followers 2K Following • Stop Killing Games and ECI co-founder • Available for analyst, bizdev, and software dev work, just DM me • Haskell and FP maxi • Coined "baking"

Soares Chen @soareschen

2K Followers 2K Following Find me on #BlueSky at https://t.co/UWKMDbv9aJ ∘ Haskell ∘ Rust ∘ @MaybeVoid ∘ Programming Language Theory

Jeff Olson @paracompact

14 Followers 198 Following

aaron_s_hawley @aaron_s_hawley

111 Followers 81 Following

Blake La Pierre @BlakeLaPierre

2K Followers 5K Following "democracy is the worst form of government" -- defeator of hitler

Christophe De Troyer @cdetroyer

130 Followers 404 Following Technology addict, hip-hop and jazz, tv shows.

PL/FM researcher @this_is_STR and PhD student @neu_prl. Former BS/MS student @uwplse, intern @bedrocksystems, intern @IMDEA_Software. @nyazdani@types.pl

Nathaniel (Nate) Yazd... @nate_yazdani

276 Followers 422 Following PL/FM researcher @this_is_STR and PhD student @neu_prl. Former BS/MS student @uwplse, intern @bedrocksystems, intern @IMDEA_Software. @[email protected]

Echo Nolan @enolan

421 Followers 763 Following The world might end soon, let's have a good time in the meantime. Machine learning, pictures of my cats, other stuff.

Research Engineer @galois, previously PhD @umdcs and @plumlab with @michael_w_hicks. Interested in language-based security.

Ian Sweet @completelysound

439 Followers 344 Following Research Engineer @galois, previously PhD @umdcs and @plumlab with @michael_w_hicks. Interested in language-based security.