-
Tweets1K
-
Followers3K
-
Following355
-
Likes4K
Stephanie Weirich retweeted
PLMW@ICFP'24 is accepting applications (due June 21 AOE)! forms.gle/vC6udnMWRvvAcz… More program information: icfp24.sigplan.org/home/PLMW-ICFP…
1
14
36
12K
3
Stephanie Weirich retweeted
ESOP 2025 first-round submission deadline is in three weeks! Do not miss it! etaps.org/2025/conferenc…
Stephanie Weirich retweeted
The complete list of accepted papers for ETAPS 2024 main conferences is out! etaps.org/2024/accepted-…
Stephanie Weirich retweeted
deadline for industrial talk proposals for the ETAPS industry day is the 26th Jan More info: etaps.org/2024/industry-…
Stephanie Weirich retweeted
Word of the Day (because it’s about time) is ‘respair’, from the 16th century. It means fresh hope, and a recovery from despair. One of too many lost positives we could do with bringing back. Wishing everyone a gruntled, gormful, ruthful and feckful New Year, full of respair.
Stephanie Weirich retweeted
I am very saddened by this news. Niklaus got me into CS since I became fascinated by the beauty of his language designs and compiler architectures. And later he became the guiding mentor for my doctoral studies at ETH.
I am very saddened by this news. Niklaus got me into CS since I became fascinated by the beauty of his language designs and compiler architectures. And later he became the guiding mentor for my doctoral studies at ETH.
Stephanie Weirich retweeted
ICFP'24 will take place on 2-7 September 2024 in Milan, Italy. The call for papers is now available: icfp24.sigplan.org/track/icfp-202… Time to start mining those lambdas!
Stephanie Weirich retweeted
Did you know that you can submit a paper to ESOP 2024 in several formats – Springer’s LNCS, ACM’s PACMPL, or ACM’s TOPLAS format? etaps.org/2024/conferenc…
Stephanie Weirich retweeted
Due to various requests, we will allow four more days for submission updates on papers submitted to ETAPS by the deadline. That is, authors needs to submit their papers by October 12 AoE and will be allowed to make changes/updates by October 16, AoE.
Stephanie Weirich retweeted
Can't resist: Liking #ocaml ? Check out #fstarlang. Program with proofs in a general purpose, higher order, strict language and extract to efficient executable code in OCaml. fstar-lang.org
Stephanie Weirich retweeted
ESOP's done well here: "For the sake of flexibility, submitted research papers may be formatted in Springer’s LNCS, ACM’s PACMPL, or ACM’s TOPLAS format" etaps.org/2024/conferenc…
ESOP's done well here: "For the sake of flexibility, submitted research papers may be formatted in Springer’s LNCS, ACM’s PACMPL, or ACM’s TOPLAS format" etaps.org/2024/conferenc…
Stephanie Weirich retweeted
Scholarship applications for PLMW@POPL 2024 are up! Scholarships include travel, lodging, and attendance for both POPL and the Programming Languages Mentoring Workshop. Please, sign up your undergraduate and early graduate students! popl24.sigplan.org/home/PLMW-POPL…
The ESOP 2024 deadline is in a little over one month (Oct 12th). Note the new submission categories (experience reports and fresh perspectives) and lack of formatting requirements for the research papers submission category. More info at: etaps.org/2024/conferenc…
Stephanie Weirich retweeted
Fireside chat with Felix Klock, Greg Morrisett, and Amal Ahmed at #ICFP. Rust, Cyclone, systems programming and functional programming!
Stephanie Weirich retweeted
We are now accepting applications for the 24-25 University of Pennsylvania Provost's Postdoctoral Fellowship for Academic Diversity. Please share with your colleagues! apply.interfolio.com/129592
Stephanie Weirich retweeted
Sad to be missing out on being in the room to listen to @avsm's upcoming keynote: icfp23.sigplan.org/details/icfp-2… Glad to be able to watch the talk live from the other side of the world youtube.com/playlist?list=… 🙏
Stephanie Weirich retweeted
Teaser of my talk at HOPE today. It's at 2:30 -- HOPE to see you there!
Stephanie Weirich retweeted
I'm on the PC for ESOP 2024, chaired by @fancytypes. Send us your best PL papers, deadline is 12 October.
I'm on the PC for ESOP 2024, chaired by @fancytypes. Send us your best PL papers, deadline is 12 October.
Talia Ringer 💚 @TaliaRinger
29K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Shriram Krishnamurthi... @ShriramKMurthi
21K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Satnam Singh @satnam6502
19K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Bartosz Milewski @BartoszMilewski
35K Followers 34 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]
Graham Hutton @haskellhutt
8K Followers 697 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
Edward Kmett @kmett
16K Followers 824 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai
Loris D'Antoni @lorisdanto
8K Followers 769 Following A Professor @ucsd_cse. Visiting Academic @AWScloud. Helps people write programs they can trust.
Andrew Myers @AndrewCMyers
5K Followers 295 Following Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems. All opinions my own.
Ilya Sergey @ilyasergey
6K Followers 959 Following Associate Professor at @NUSComputing. Programming languages, Lean proofs, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.
KC Sivaramakrishnan @kc_srk
4K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
naomi (forgetful func... @fixedpointfae
5K Followers 512 Following 25 sols | polymorphic lambda witch ✨ | she/her/她 | haskell + rust + scala dev | op amp enthusiast | compilers + analog synths | https://t.co/UOuLLmAqKm
Egbert Rijke @EgbertRijke
3K Followers 1K Following Postdoc at Johns Hopkins • Author of the Introduction to Homotopy Type Theory • Formalization • Univalent Combinatorics • Agda • Math Twitch • he/him
Matt Parsons @mattoflambda
5K Followers 523 Following Haskell and SQL. Team Lead for Backend Developer UX at @mercury. I wrote @prodhaskell so you can get a Haskell job!
Mike Hicks @michael_w_hicks
5K Followers 469 Following Senior principal scientist@AWS & emeritus prof@UMD. Programming languages and security. Cedar https://t.co/5X4WKErcqQ. Inactive: see my WWW for new location
Tweag @tweagio
6K Followers 244 Following The Open Source Programming Office (OSPO) of @ModusCreate. Improving the craft of software engineering.
Sam Tobin-Hochstadt @samth
4K Followers 1K Following Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @NaptownUltimate · @[email protected]
Yaron (Ron) Minsky @yminsky
15K Followers 333 Following Occasional OCaml programmer. Host of @signalsthreads. @[email protected] @yminsky.bsky.social https://t.co/kiUGRvWOO2
CoolBasedName @iuAiqsFskk7ixIU
0 Followers 65 Following
Iekoodep @Iekoodep37454
9 Followers 1K Following
Nissan Patel @NissanPatel1012
3 Followers 519 Following
patrick sphinx @SphinxPatrick
3 Followers 116 Following
hojichacastella @hojichacastella
2 Followers 95 Following
James Laird-Smith @JLS_DataScience
239 Followers 337 Following Data Scientist at the @BankofEngland. Previously at the @FinancialTimes and University of Cape Town. 🩴🇿🇦
j k @jahanthemon
3 Followers 108 Following
Preference @Preference82814
39 Followers 4K Following
dreemer @dreeem_er
2 Followers 54 Following
Steve Goguen @sgoguen
636 Followers 1K Following F# flunky, Lean lackey, theorem thief, formalism fanboy
Tom @tomstructured
23 Followers 506 Following CS student. Studying logic and programming languages. Mastodon: @[email protected]
azendus @azendus
42 Followers 711 Following
𝖌𝖎𝖘𝖙 (�... @lfgist
2K Followers 1K Following tired boï - hundsome gang - pfp by @untitled01ipynb - our father in langley hallowed be your name
ardalaan @ardalaaaan
1 Followers 47 Following
Moazin K. @moazinkhatri
159 Followers 727 Following Compilers | FPGAs | Programming Models - Graduate Researcher at SFU, Canada. Might occasionally tweet about everything from programming languages to politics
Xizao Wang @wangxiz
44 Followers 484 Following Ph.D. student in Computer Science at Nanjing University, focus on program analysis and programming languages.
wuc9521 @wuc9521
84 Followers 1K Following
Zhiyang Chen @zhiychen
186 Followers 1K Following A CS PhD student @UofTCompSci Research on Software Engineering, Programming Language, Security and Blockchain. Research @ZircuitL2
Yisus mendez @Yisus2_7182
915 Followers 7K Following I don't know how to exit vi. Just curious about that, and that, and that.
Mattei @Mattei420
895 Followers 4K Following Provided 'as-is', without any express or implied warranty.anything retweeted is not adopted as a statement of fact.
Picaro Byte @__picaro8
431 Followers 5K Following I tried that, don't you think I would've tried that. Moving to @[email protected]
Boubacar Sall @bbcrsll
0 Followers 141 Following
RWind @RWind39535054
0 Followers 76 Following
ahuoguo @ahuoguo
37 Followers 311 Following
Pensé FFun @inftyCategory
135 Followers 7K Following
Robert Krook @Rewbert
177 Followers 196 Following PhD-student at Chalmers University, in the FP-group. Main advisor: Koen Claessen Co advisor: John Hughes Co advisor: Joel Svensson https://t.co/sbwlxU3jm3
Janhavee Shinde @SJanhavee
114 Followers 7K Following
Matthew Habtezgi @__habtem__
43 Followers 435 Following building | cs/math @MIT, λ | prev @AWS, @StructifyAI | ml/swe @ startup
farhad Zare @TheFarhadZare
36 Followers 1K Following Gmail: [email protected] ;A CS & Neuro student with its philosophical and historical consequences.
Jacqueline Mitchell @jmit01
0 Followers 57 Following
neo @stankneo
855 Followers 4K Following Cyberpunk Metamodernism. Aspiring hyperwrangler. Searching for lcm(∞-axia). CS ∪ CogSci ∪ Complex Systems.
Serokell @serokell
7K Followers 5K Following The most bizarre company with brave ideas of functional programming application. #Haskell #Nix #Elixir #Rust #Agda #ML #AI
Skylee @SkyleeBot
286 Followers 782 Following
qurak and leptons @QLeptons
34 Followers 1K Following
ax @AosenX
22 Followers 459 Following
Xuejing, aka Snow @hxjxsnow
402 Followers 2K Following Open to Work / exPhD #HKUPLG @HKUniversity / From Changsha Hangzhou Sthlm NY HK / 🏳️🌈 / ADHD is my super ability / INS @hxjxsnow
Jennifer Rexford @jrexnet
4K Followers 739 Following Provost @Princeton, Professor @PrincetonCS and @EPrinceton, affiliated with @PrincetonCITP, computer networking researcher, and mom. 🏳️🌈
Shriram Krishnamurthi... @ShriramKMurthi
21K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Satnam Singh @satnam6502
19K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Graham Hutton @haskellhutt
8K Followers 697 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
Edward Kmett @kmett
16K Followers 824 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai
Loris D'Antoni @lorisdanto
8K Followers 769 Following A Professor @ucsd_cse. Visiting Academic @AWScloud. Helps people write programs they can trust.
Andrew Myers @AndrewCMyers
5K Followers 295 Following Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems. All opinions my own.
Ilya Sergey @ilyasergey
6K Followers 959 Following Associate Professor at @NUSComputing. Programming languages, Lean proofs, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.
KC Sivaramakrishnan @kc_srk
4K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
Egbert Rijke @EgbertRijke
3K Followers 1K Following Postdoc at Johns Hopkins • Author of the Introduction to Homotopy Type Theory • Formalization • Univalent Combinatorics • Agda • Math Twitch • he/him
Alexis King @lexi_lambda
12K Followers 22 Following computers can be understood • DMs open (but responsiveness varies) • she/her, ⚢
Matt Parsons @mattoflambda
5K Followers 523 Following Haskell and SQL. Team Lead for Backend Developer UX at @mercury. I wrote @prodhaskell so you can get a Haskell job!
Erik Meijer @headinthebox
31K Followers 2 Following
Inactive; Bluesky is ... @hillelogram
18K Followers 3 Following No longer on this hellsite. Newsletter: https://t.co/YrRPK2p8Pc Website: https://t.co/gePEeYpVcd Bluesky: @hillelwayne(.)com
Mike Hicks @michael_w_hicks
5K Followers 469 Following Senior principal scientist@AWS & emeritus prof@UMD. Programming languages and security. Cedar https://t.co/5X4WKErcqQ. Inactive: see my WWW for new location
Sam Tobin-Hochstadt @samth
4K Followers 1K Following Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @NaptownUltimate · @[email protected]
Yaron (Ron) Minsky @yminsky
15K Followers 333 Following Occasional OCaml programmer. Host of @signalsthreads. @[email protected] @yminsky.bsky.social https://t.co/kiUGRvWOO2
José Manuel Calderó... @josecalderon
2K Followers 853 Following Director @HaskellFound. Formerly faculty @umdcs and @galois. Compilers and all that Jazz. I can also be found @jmct.bsky.social I miss Yorkshire
Joachim Breitner @nomeata
2K Followers 1 Following Has a thing for abstraction. Haskeller, Computer Scientist. Dances tango, swing and blues. Stand-up comedian and paraglider. 🦣 https://t.co/9Sjz02h8dL
Ernest Ng @ngernest2
506 Followers 3K Following Programming Languages PhD student @Cornell_CS | he/him
Sukyoung Ryu @sukyoungryu
594 Followers 237 Following Head of the KAIST School of Computing Chairperson of Kakao Impact (https://t.co/li80h1SU9L)
Amtrak Northeast @AmtrakNECAlerts
100K Followers 8 Following Real-time service delay information affecting two or more trains in the Northeast Region from VA to ME.
ETAPS Conferences (no... @ETAPSconf
346 Followers 51 Following We aren't here; find us on BlueSky, Mastodon, Facebook or Linkedin. Or in person, at ETAPS 2026: April 11 - 16, Torino, Italy
A Cambridge Diary @acambridgediary
52K Followers 85 Following The original Cambridge Diary. 5,000 continuous daily pictures of Cambridge curated into a trilogy of photographic love letters https://t.co/l30mAx0Yd6
Hank Green @hankgreen
1.5M Followers 981 Following This account is not actively managed, it sometimes reposts from my Bluesky, a Twitter-like thing that’s built on an open platform, giving its users more control
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)
Brent Yorgey @BrentYorgey
5 Followers 0 Following
Benjamin C Lee @Lee_BenjaminC
300 Followers 62 Following Professor of Electrical Engineering and Computer Science, University of Pennsylvania. Studying computer architecture, data science, algorithmic economics
Bruno Oliveira @bcdsoliveira
251 Followers 118 Following
Nick Rioux @nickrioux
298 Followers 864 Following @[email protected] CS grad student in programming languages at Penn Former @neu_prl undergrad
Alex Kavvos @lambdabetaeta
725 Followers 888 Following computer scientist (moonlighting as category theorist). lecturer at @bristolcs @BristolUni
Andrew Head @drewmikehead
2K Followers 851 Following Assistant professor @Penn CS. HCI. Computers as comprehension aids. Interactions for reading code, formulas, medical jargon, and mechanized proofs.
Nachi @modaltype
377 Followers 291 Following "The limits of my language mean the limits of my world" and all that
Center for Safe, Expl... @PennAsset
534 Followers 41 Following A @PennEngineers research center devoted to science and tools for ensuring AI-enabled systems are safe, explainable, and trustworthy
kiniry @kiniry
1K Followers 1K Following Dad. Partner. Scientist. Activist. Maker. — He/Him Mastodon at @[email protected]
Kevin B. Johnson, MD,... @kbjohnsonmd
2K Followers 2K Following Cohen University Professor of Pediatrics, Engineering, Biomedical Informatics, and Communication. Senior Fellow of LDI. Tweets (views) here are my own.
julesh @_julesh_
10K Followers 137 Following Applied Compositional Thinking. Also at @CyberCatInst and @[email protected]
Neringa Young @NeringaYoung
1K Followers 799 Following Founder of the largest software dev conference in Baltics--》BUILD STUFF. Conference manager at ACM Sigplan conferences--》 PLDI, POPL, ICFP, SPLASH
Nikhil Swamy @lambdaNik
749 Followers 204 Following
Dr Valeria dePaiva @valeriadepaiva
4K Followers 2K Following Logician, category theorist, semanticist. Likes to understand life mathematically. She/Her
Type Theory Forall @ttforall
4K Followers 274 Following Making Type Theory, Programming Languages and Formal methods more accessible! https://t.co/g5sMaOyKHM
Santosh Nagarakatte @santoshgnag
2K Followers 602 Following Professor and undergraduate program director, Computer Science, Rutgers University, New Brunswick. See my group RAPL: https://t.co/dYChac4veQ
Eric Sun @_ericsun_
134 Followers 208 Following Assistant Professor at @DrexelCCI. Researching cybercrime, human-centered security, threat intelligence, etc.
Eric Wong @RICEric22
2K Followers 113 Following Assistant professor at University of Pennsylvania. Machine learning, optimization, robustness & interpretability. https://t.co/lcmttvNXAW
Surbhi Goel @SurbhiGoel_
2K Followers 541 Following Assistant Prof @PennCIS | Postdoc @MSFTResearch | PhD @UTCompSci | Co-founder @let4all
Lingjie Liu @LingjieLiu1
4K Followers 917 Following Assistant Professor at UPenn. Research interests: Neural Scene Representation, Neural Rendering, Human Performance Modeling and Capture.
Pratyush Mishra @zkproofs
6K Followers 1K Following Current: Asst Proofessor at Penn CIS, Co-maintainer @arkworks_rs Past: Cryptographer @AleoHq, Crypto and computer security PhD @ucberkeley he/him
Henry P. Towsner @htowsner
962 Followers 195 Following Associate professor of mathematics @Penn. Logic and related topics. Sometimes distracted by RPGs and Judaism. He/him/his. @[email protected]
Shreya Havaldar @shreyahavaldar
280 Followers 279 Following PhD student @cis_penn | student researcher @googledeepmind | multilingual NLP + cultural psychology | she/her 🌸
Eddie Kohler @xexd
2K Followers 383 Following Ass, Professor. Gay. “Wow, A+++ would rely on the services of Eddie "Monkey Bounty Hunter" Kohler again” —@moyix. They (or he)
Katalin Kariko @kkariko
66K Followers 231 Following I am a scientist, working on the therapeutic use of in vitro transcribed mRNA.
Ryan Marcus @RyanMarcus
2K Followers 1K Following Assistant prof @CIS_Penn. Machine learning for systems, databases.
Max ⊶ New @maxsnew@... @ProfMaxNew
1K Followers 208 Following 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 ⚜️
Cyrus Omar (now mainl... @neurocy
3K Followers 3K Following 🌱 laying foundations for the future of programming @ https://t.co/KNwWLHMbK2 🌿 asst professor @UMichCSE 🍃 poetry 🪸 dendrites 🎶 immersion 〰️ wavy nerd crew
Andrew K. Hirsch @andrewkhirsch
574 Followers 912 Following Assistant professor at University at Buffalo. Previously MPI-SWS and Cornell. Programming languages, security, concurrency.
🥢 Jon 🍲 @ionathanch
953 Followers 432 Following Jon(athan)? Chan 🏳️🌈 • he/they ↵ MSc @ubc_spl ⊢ PhD @CIS_Penn ↵ programming languages and type theory ↵ @ionchy.ca on bsky | coädmin on https://t.co/kUlV1hNtrR
WomenInLogic @WomenInLogic1
1K Followers 180 Following Women in Logic: dismantling inequality tweet by tweet
Rajeev Alur @RajeevAlur
2K Followers 232 Following Professor of Computer Science at @Penn, researcher in Formal methods, Programming languages, Safe AI, Cyber-physical systems
Trends for United States
193 B posts
67,6 B posts
53,8 B posts
65,6 B posts
224 B posts
183 B posts
73 B posts
40,6 B posts
55,2 B posts
7.795 posts
5.336 posts
5.275 posts
6.893 posts
5.091 posts
24 B posts
128 B posts
3.894 posts
5.791 posts
2.641 posts
3.936 posts
You might like
ICFP Conference
@icfp_conference
4K Followers
Graham Hutton
@haskellhutt
8K Followers
João Forte Carvalho ...
@bgamari
2K Followers
Well-Typed
@welltyped
6K Followers
David Van Horn
@lambda_calculus
5K Followers
Galois
@galois
6K Followers
Derek Dreyer
@HerrDreyer
3K Followers
Andres Löh
@kosmikus
3K Followers
Neil Mitchell (neildm...
@ndm_haskell
5K Followers
POPL 2026
@poplconf
3K Followers
Ranjit Jhala
@RanjitJhala
3K Followers
Jeremy Gibbons
@jer_gib
2K Followers
Matt Parsons
@mattoflambda
5K Followers
Tikhon Jelvis
@tikhonjelvis
3K Followers
Lennart Augustsson
@Augustsson
2K Followers