Postdoc at @purdue_pl / PhD in CS from @neu_prl / @mmcs_sfedu alumni / Haskell enthusiast, Julia advocate
ID: 50043408
https://a.pelenitsyn.top 23-06-2009 17:40:10
45,45K Tweet
835 Takipçi
323 Takip Edilen
Graham Christensen
@grhmc
Nix! In! Spaaaaceeee!!!!! @DeterminateSys. he/him. 📻 NO5IG
Nate Foster
@natefoster
professor @cs_cornell, @p4lang enthusiast, programmer, cyclist, husband, dad.
Ilya Sergey
@ilyasergey
Associate Professor at @NUSComputing. Programming languages, verification, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.
{...} Phil de Joux
@philderbeast
Linking moves, deferring to the compilers
Bartosz Milewski
@bartoszmilewski
Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]
Kartik
@k4rtik
Quantum Compiler Engineer at @QuantinuumQC. Previously: @UChicagoCS, @BrownCSDept.
Lennart Augustsson
@augustsson
Cyrus Omar (now mainly on bsky)
@neurocy
🌱 laying foundations for the future of programming @ hazel.org 🌿 asst professor @UMichCSE 🍃 poetry 🪸 dendrites 🎶 immersion 〰️ wavy nerd crew
Denis Moskvin, ανεπιθύμητος ξένος πράκτορας
@deniok
Аny resemblance to the views of HSE University management in this Twitter account is purely coincidental.
Ben Delaware
@ghostofbendy
Professor at @PurdueCS; dad; occasional cancer fighter🎗️. Tweets about programming languages and formal methods, but mostly bird pictures.
Milind Kulkarni
@mkulkarni
Andrew Myers
@andrewcmyers
Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems.
Henrik
@hlissner
I've doomed us all.
Francisco Heron de Carvalho Junior
@heroncarvalhojr
Doctor in Computer Science / HPC and Programming Languages / Professor at Universidade Federal do Ceará
ashish mishra
@aegisashish
Assistant Professor @CSE_IITH | Earlier Postdocing @Purdue | Interested in Programming Languages, Politics, and Philosophy.
Derek Dreyer
@herrdreyer
Get used to disappointment.
Loris D'Antoni
@lorisdanto
A Professor @ucsd_cse. Visiting Academic @AWScloud. Helps people write programs they can trust.
D
@dbp__
Well-Typed
@welltyped
The Haskell Consultants
Laurence Tratt
@laurencetratt
Shopify / Royal Academy of Engineering Research Chair in Language Engineering.
Kristopher Micinski
@krismicinski
@[email protected]. Interested in automated reasoning and program analysis. Tweets do not represent anyone's views, especially mine.
Igor Strebz
@xamgore
design, plants, architecture, languages, cinema, programming, friends, techno, books, hiking, exploration, sensitivity, fun
Kirshanthan Sundararajah
@kirshanthan
Assistant Professor @VT_CS || PhD from @PurdueECE || Interested in Compilers, Programming Languages, and HPC
Guannan Wei
@guannanwei
Postdoc at INRIA/ENS Paris; incoming Asst. Prof in CS @TuftsUniversity; previously @PurdueCS @galois @SambaNovaAI @UUtah; Bluesky @guannanwei.bsky.social
пани кринжулька
@pani_cringe
жлутый
Neringa Young
@neringayoung
Founder of the largest software dev conference in Baltics--》BUILD STUFF. Conference manager at ACM Sigplan conferences--》 PLDI, POPL, ICFP, SPLASH
void.
@void9997171
i am the arm
Alexis King
@lexi_lambda
computers can be understood • DMs open (but responsiveness varies) • she/her, ⚢
Shriram Krishnamurthi (primary: Bluesky)
@shriramkmurthi
@BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Xuejing, aka Snow
@hxjxsnow
Postdoc @IRIF_Paris #MyElixirStatus / PhD #HKUPLG @HKUniversity / From Changsha Hangzhou Sthlm NY HK / 🏳️🌈 Married / ADHD is my super ability / INS @hxjxsnow
Dmitrii Kovanikov
@chshersh
Functional Programming account #1. Senior SWE at Bloomberg. I write OCaml for money. All opinions are my own.
Jonathan Aldrich
@jaldrichpl
Professor of Programming Languages and Software Engineering at CMU. ACM Publications Board. CTO of Noteful (noteful.net). He/him. Views are mine.
Greg Morrisett
@gmorrisett
Dean & Vice Provost, Cornell Tech
Mikolaj Konarski
@mikolajkonarski
#Haskell programmer, creator of @AllureRoguelike
Haskell.org Status
@haskellstatus
Status updates for Haskell.org
Nikita Frontend Developer
@nikita_frondev
💻 фронтендер • ⚽ люблю футбол и снукер • ⚠️ личное мнение • #нетвойне • #свободуПолитзаключенным
Alexander Vershilov
@qnikst
mastodon.social/@qnikst
Yao Li
@lastland0
He/Him. Assistant professor at @Portland_State. Ph.D. @Penn. Programming Languages, Formal Verification. Opinions are my own. [email protected]
J
@eremondijoey
This account is deprecated. Find me as @[email protected]
[email protected]
@purdueppda
The Purdue Postdoctoral Association (PPDA) unites postdoctoral researchers at Purdue University. #PurduePostdocs
Doom Emacs
@doomemacs
A configuration framework for GNU Emacs, maintained by @hlissner.
Vedant Paranjape
@ve0x10
Systems researcher, low level hardware geek. ex-Compilers @AMD | MS ECE @Purdue
PL Tea
@plteaforplt
Tea for PLT folks
Konstantinos Kallas
@konskallas
Assistant Professor of CS at UCLA // Systems, Compilers, PL // he/they bsky.app/profile/konsta…
Timmy ☕
@gpucowboy
computer design and prototyping @Purdue
Tom Ellis
@tomjaguarpaw
Groq, Haskell, Bluefin, Opaleye
Patrick LaFontaine
@pat_lafonta
PhD student @PurdueCS, PL & Program Synthesis & Compilers, Probably Sleeping
Vidush Singhal
@vidush_singhal
Ph.D. student at Purdue University interested in compilers, PL and functional programming.
Haskell Spotlight
@haskellspot
Let's bring better tools and documentation for Haskell together. ✌️ Support the project: ko-fi.com/visortelle ☕️
Alexander Vershilov
@qnikst_en
Head of software development department at Sirius.Courses. Making a full featured education platform. Techlist: Haskell, Nix, k8s, TypeScript, Python.
Сигнал
@meduzasignal
Имейл-рассылка «Сигнал» от создателей «Медузы». Она действительно помогает понимать новости. Подпишитесь на сайте и получите самый свежий выпуск ↓
ICFP Programming Contest 2025
@icfpcontest2025
A Programming Contest associated with @icfp_conference and organized yearly since 1998!
Yulia Navalnaya
@yulia_navalnaya
t.me/yulia_navalnay…
Alexandra Boltasseva
@aboltasseva
Dr, Prof. @PurdueECE @PurdueQuantum @QuantumSciCtr former EiC #OPG_OMEx Fellow #Optica #SPIE #IEEE #MRS @AcadofInventors, alum @DTUtweet @MIPT_eng #phystech
Satnam Singh
@satnam6502
Punjabi-Scottish-American Haskell hacker at @GroqInc, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook}
Dmitry /Undefined Behavior/ Sviridkin
@nekrolm
AWS Cloudfront Compute C/C++, Rust, Algorithms & Data Structures, DSP. std::raise(SIGSEGV) [email protected]
Leo Lampropoulos
@leolambro
Assistant Professor at UMD | Programming languages, random testing, and formal verification
PurPL
@purdue_pl
PurPL is the cross-departmental center for programming languages research at Purdue University.