🧵 View Thread
🧵 Thread (4 tweets)
exns@euxenus• over 5 years ago
Another new interactive graph on https://t.co/ckxuhNnf02 Formal Methods advocates: https://t.co/ukLsaQ6UKb More info here: https://t.co/JfSxTLeaTg Seed accounts: @hillelogram @pressron @HeidyKhlaaf @larsr_h @alastair_d_reid @siderealed @intoverflow @parlar https://t.co/VqppqHtOrn
exns@euxenus• over 5 years ago
Replying to @euxenus
Dodger blue: statically typed FP Big fish: @edwinbrady @pigworker @donsbot @argumatronic @puffnfresh @kmett https://t.co/YO4wRUKSxu
exns@euxenus• over 5 years ago
Replying to @euxenus
deep sky blue: PL research, type theory citron: ??? Big fish: @RanjitJhala @sigplan @PLDI, @heathercmiller @mattmight @chrisamaphone @lindsey @ShriramKMurthi https://t.co/TkLI4RAmii
exns@euxenus• over 5 years ago
Replying to @euxenus
@hillelogram but can you fit the ones on Twitter in a couple screenshots? https://t.co/xomTHzjf4B
