Jeremy Siek
@jeremysiek
Prof. at IU, dad, runner, cook, programming language design, gradual typing, generic programming, type systems, mechanized proofs. @[email protected]
ID:58605190
http://homes.soic.indiana.edu/jsiek/ 20-07-2009 22:02:31
1,6K Tweets
2,7K Followers
366 Following
Shriram Krishnamurthi 🟤 🏴☠️ 👨🏽🏫 🚴♂️ 🏏
@ShriramKMurthi
🦣: @[email protected] ••• @BrownCSDept / @BrownUniversity || @BootstrapWorld || @PyretLang || @racketlang || compsci || education || cycling || cricketSatnam Singh
@satnam6502
Punjabi-Scottish-American Haskell hacker at @GroqInc, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook}Talia Ringer 🟣 🎗️
@TaliaRinger
Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, & justice. They/היא, ND, bi. די לכיבושKristopher Micinski
@krismicinski
@[email protected]. Tweets do not represent anyone's views, especially mine.Graham Hutton
@haskellhutt
Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴Derek Dreyer (@[email protected])
@HerrDreyer
Get used to disappointment.Andrew Myers
@AndrewCMyers
Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems.Sam Tobin-Hochstadt
@samth
Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @NaptownUltimate · @[email protected]Ilya Sergey
@ilyasergey
Associate Professor at @NUSComputing. Member of @nus_plse. Programming languages, verification, distributed systems. Ex-@uclcs, @IMDEA_Software, @jetbrains.Bartosz Milewski
@BartoszMilewski
Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]Erik Meijer
@headinthebox
Mike Hicks
@michael_w_hicks
Senior principal scientist@AWS & emeritus prof@UMD. Programming languages and security. Cedar https://t.co/5X4WKErcqQ. Inactive: see my WWW for new locationRon Garcia
@rg9119
Transmogrifies coffee into LaTeX at University of British ColumbiaWill Crichton
@tonofcrates
Cognitive engineer, incoming assistant professor @BrownUniversity.Yaron (Ron) Minsky
@yminsky
Occasional OCaml programmer. Host of @signalsthreads. @[email protected] https://t.co/kiUGRvWOO2Laurence Tratt
@laurencetratt
Shopify / Royal Academy of Engineering Research Chair in Language Engineering.Max ⊶ New @[email protected]
@ProfMaxNew
Professor of Computer Science @umich, tweets about programming language design, semantics and ̶c̶a̶t̶e̶g̶o̶r̶y̶ ̶t̶h̶e̶o̶r̶y̶ profunctors. Louisiana ex-pat ⚜️Ben L. Titzer
@TitzerBL
Director of the WebAssembly Research Center at Carnegie Mellon University. Principal Researcher. Wasm co-founder. Former V8 engineer. Compilers!✨ Jean Yang ✨
@jeanqasaur
New Product @getpostman. Founded @akitasoftware. Programming, APIs, and developer experience. Former programming languages professor @CSDatCMU.Edward Kmett⏏️
@kmett
Founder/CTO of @Positron_AI Helping @ToposInstitute I tend to talk about Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/oP135HK8LMSteve Sanders
@SteveSSanders
Law prof, Indiana U Maurer School of Law. Con law, family law, LGBT issues, civil rights/liberties, journalism, higher ed, academic freedom.Jason Tennessen
@TennessenLab
Bring Your Own Mech | BYOM🤠🦾🚀👊🍸
@OwnMech
A queer #LancerRPG podcast. Batteries are not included. GM'd by @ReedPlays, logo by @dustehill, banner art @akinomii_art. https://t.co/ck3MoCebSHMatthew Mercer
@matthewmercer
Storyteller, VO Guy, Vincent Valentine, Minsc, Thirst Trap Ganondaddy, #TheLegendOfVoxMachina, CCO/DM of @CriticalRole. He/Him. Icon-@sephiramy.Matt Colville?
@mattcolville
Writer. contact: [email protected]Ed Greenwood
@TheEdVerse
Creator of the Forgotten Realms® and a myriad of other worlds, universes, and shared settings. Avid tea-drinker and swashbuckler. He/him, accepting of all.James J. Haeck
@jamesjhaeck
ENnie Award-winning game designer. Freelancer: Critical Role. Darrington Press. Wizards of the Coast. Kobold Press. Ghostfire Gaming. (They/them)D&D Beyond
@DnDBeyond
Official digital toolset and game companion for Dungeons & Dragons - The World’s Greatest Roleplaying Game!Dungeons & Dragons
@Wizards_DnD
The World’s Greatest Roleplaying Game.Jenna DiVincenzo
@wise_jenna
Assistant Professor in @PurdueECE, @purdue_pl. PhD in Software Engineering from @S3DatCMU, @CarnegieMellon. She/her.Metis Creative
@media_metis
ENNIE Winning TTRPG Studio. Creators of the Historica Arcanum series.Ningning Xie
@xnningxie
Having fun with types! @UofTCompSci @GoogleDeepMindLars Bergstrom
@larsberg_
Google Director of Engineering, @android Platform Tools & Libraries. @rust_foundation & @risc_v Board of Directors. Powerlifter. (he/him)Critical Role
@CriticalRole
#CriticalRole airs on Thursday nights at 7pm Pacific on https://t.co/GypYd1tjgN and https://t.co/OnFH1Me5tB! Nonprofit: @CriticalRoleFDN Publishing: @DarringtonPressAlexa VanHattum
@avanhatt
Assistant Professor @Wellesley computer science. @CornellCIS PhD. Compilers + lightweight formal methods. she/her. [email protected] https://t.co/9UVghNn4e5Yao Li
@lastland0
He/Him. Assistant professor at @Portland_State. Ph.D. @Penn. Programming Languages, Formal Verification, Interactive Theorem Proving. [email protected]Alex Kavvos
@lambdabetaeta
computer scientist (moonlighting as category theorist). lecturer at @bristolcs @BristolUniPaolo G. Giarrusso
@Blaisorblade
@[email protected] PhD in ProgLang. Formalizing C++ and formally verifying a microkernel-based C++ hypervisor @bedrock_systems — Coq/Scala/Haskellrntz
@arntzenius
Michael Arntzenius irl. PL design, math, calligraphy, &c. 🐘 @[email protected] 🟦 https://t.co/Eyu5aSd3L8…alcides
@alcides
Typing types. Associate Professor at the University of Lisbon.José A. Alonso
@Jose_A_Alonso
Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.Hila Peleg is not here 🦋
@HilaCodes
Assistant Professor at @TechnionLive CS. Researches program synthesis and hopes to bring about the robot apocalypse. (she/her)Manuel Eberl
@pruvisto
CS postdoc in Innsbruck. Likes climbing and Esperanto. Gets paid to explain proofs to computers. Mastodon: @[email protected] @[email protected]Oliver Bračevac
@etaconversion
Programming Languages Researcher. Compilers, Effects, Ownership, and other crazy type systems. I simply don't pop the stack. Free haček included (1x).Type Theory Forall
@ttforall
Making Type Theory, Programming Languages and Formal methods more accessible! https://t.co/g5sMaOyKHMDingwen Tao
@dingwen_tao
Associate Professor, Director of HiPDAC Lab @IULuddy. IEEE TCHPC Early Career Researchers Awardee for Excellence in HPC. Alumnus @USTC. PhD @UCR_CSE. 中文名:陶鼎文Sebastian Graf
@sgraf1337
Talk to me about Haskell, GHC, general CS or my trumpet Mastodon: @[email protected]David Tarditi
@davetarditi
Compiler and programming languages researcher. Working on quantum compilers at IonQ. Side gig making C programs safer with Checked C. All opinions my own.Brett Slatkin
@haxor
Author of @EffectivePython. Software engineer, Office of the CTO @Google. Host of https://t.co/Hi0nqwVdshRoger Turner
@mnemenaut
The first compiler I used executed from a punched card deck 'car and cdr are the only honest function names' [citation needed]Sanjoy Das
@_sanjoydas
DL Compiler lead @NVIDIA, Ex-@Cruise, Ex-@Google, Ex-@AzulSystems.Christian Mangelsdorf
@ch_mangelsdorf
🌐 Full Stack Developer | ✨ Clojure Enthusiast | 🔄 Data Integration Expert | 🚀 SciFi Lover | 🙏🏼 Devout CatholicScott Guest
@ScottJGuest
Compiler Engineer @rv_inc. Programming Languges 💻 Politics ☮️ Plants 🌱 Parachutes 🪂The MIT Press @mitpress.bsky.social
@mitpress
Committed to the daily re-imagining of what a university press can be since 1962. | RTs ≠ endorsementsCompilers news group
@compcompilers
The web archive of the comp.compilers newsgroup, under the same management since 1986.PL/FM/SE at Illinois
@plfmse
Programming Languages, Formal Methods, and Software Engineering group @IllinoisCS (https://t.co/61fHOptBEa)Gerwin Klein
@lsf37
proves stuff about seL4, systems code, programming languages, security. Classical logician. Chief Scientist & Co-Founder at Proofcraft. @[email protected]Antony Hosking
@AntonyHosking
Professor and Director of ANU School of Computing @anucecs, computer scientist, PL researcher, author of GC Handbook: Art of Automatic Memory ManagementTyler Sorensen
@Tyler_UCSC
Assistant Professor at UC Santa Cruz in CS and Security Research Engineer at @trailofbits Interested in PL and architecture design for heterogeneous systemsRichard Eisenberg
@RaeHaskell
Type system grease monkey and language designer for Haskell and OCaml. I want type systems to save us from software errors. Works at @JaneStreetGroup. He/himAlejandro Russo
@poke48k
Computer security researcher and functional programer. Professor at Chalmers University of Technology. Founder of DPella. Executive MBA scholar. From ArgentinaThorsten Ball
@thorstenball
Author of https://t.co/arW0hnVET0 and https://t.co/RN9xXOzhON. Working @zeddotdev. Ex-@sourcegraph. Programming where the rubber hits the road.Dave Mason
@DrDavidMason
Professor of Computer Science at Ryerson University. Interested in Programming Languages, Women in Computer Science, Programming-for-the-rest-of-us@[email protected] @rsnikhil.bsky.social
@RSNikhil
also (for now) @[email protected]Friendly Scheme-r
@MunyokiKilyungi
Snake Charmer by day; SPEL caster by night | Chief Emacs Bazu | Friendly scheme-r | GNU/Linux & FreeBSD Mchochezi | Anime & Manga fan | DIY personJames Caldwell
@jlcaldwell2
Professor Emeritus, Department of Computer Science, University of Wyoming.Sophia Goulimis
@SophiaGoulimis
Kevin Millikin
@newton_meter
Job as a programming language implementer supports hobbies of riding everything on two wheels, playing basketball, and listening to music from 1976. He/him.