🥢 Jon 🍲 @ionathanch
Jon(athan)? Chan 🏳️🌈 • he/they ↵ MSc @ubc_spl ⊢ PhD @CIS_Penn ↵ programming languages and type theory ↵ @[email protected] • https://t.co/ZOdjW75tH1 ionathan.ch Phildaphelia, PA Joined October 2011-
Tweets8K
-
Followers959
-
Following483
-
Likes11K
🥢 Jon 🍲 retweeted
Writing about US food the way the NYT covers Asian fruit: In a nation torn by racial conflict, one unlikely food unites. To those accustomed to chopsticks, the greasy parcel known as a 'burger', a sort of split bao, is crude and messy. Yet it encapsulates a nation's violent past.
177
20K
71K
0
1K
lmao I got stuck going from (∃x ∈ X. ¬P(x)) ∨ Q to ∃x ∈ X. (¬P(x) ∨ Q) like where does the x come from ?? that I never reached the bottom of the text before looking at replied to see that this is about translating word problems, not constructivism
lmao I got stuck going from (∃x ∈ X. ¬P(x)) ∨ Q to ∃x ∈ X. (¬P(x) ∨ Q) like where does the x come from ?? that I never reached the bottom of the text before looking at replied to see that this is about translating word problems, not constructivism
last day for apple cider doughnuts at the farmers market until November 🥲
annual pilgrimage to Manayunk's very own Gay Street
annual pilgrimage to Manayunk's very own Gay Street https://t.co/GAkdtuFM64
🥢 Jon 🍲 retweeted
Hi OCaml Twitter! If you know any examples of different OCaml libraries implementing the same functionality, please comment below! Eg: - Yojson/Ezjsonm for json handling - Re/Tyre for regex - Timere/Timmy for handling timestamps I’m trying to create a list — thanks!
fancy fancy beans! also got some decaf so I can have evening coffees too
fancy fancy beans! also got some decaf so I can have evening coffees too https://t.co/km2uSfojHY
🥢 Jon 🍲 retweeted
this paper was sent out of anger to unsubscribe from a low-quality research journal's mailing list but ended up getting accepted
🥢 Jon 🍲 retweeted
Trimming the Herbs CLEAR!!!!!!
Talia Ringer 🟣 �.. @TaliaRinger
26K Followers 6K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, & justice. They/היא, ND, bi. די לכיבוש
Egbert Rijke @EgbertRijke
3K Followers 1K Following Postdoc in Ljubljana • Author of the Introduction to Homotopy Type Theory • Formalisation • Univalent Combinatorics • Agda • Math Twitch • he/him
Kristopher Micinski @krismicinski
6K Followers 3K Following @[email protected]. Tweets do not represent anyone's views, especially mine.
Max ⊶ New @maxsnew@.. @ProfMaxNew
1K Followers 225 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 ⚜️
Graham Hutton @haskellhutt
7K Followers 694 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
paulette d. koronkevi.. @koronkebitch
3K Followers 380 Following preserving types with @wilbowma at @ubc_spl. former @galois intern, former former @IULuddy undergrad (she/her)
Nintendo .DS_Store @sliminality
10K Followers 177 Following I want to talk to you about the affect and aesthetics of computing. All my PLposting now lives at @[email protected]
Pitching The Offer Op.. @PTOOP
1K Followers 610 Following (B&Q they/them) if it's enough to project probity and competence, compassion would seem surplus to requirements, and dignity positively dangerous
Hanneli Tavante @hannelita
3K Followers 831 Following Programming Languages, engineering, electronics, Maths, proofs, books, Pokémon, Lego, animals, coffee, bread, plants, @recipl_, ice skating. Personal views.
Sydney Gibson 🚛 �.. @sydgibs
3K Followers 340 Following Software Engineer @aurora_inno. Previously @MIT & @CSDatCMU. Trying to befriend Pittsburgh’s local groundhogs.
Rachit Nigam @notypes
4K Followers 1K Following MIT visiting scholar & Cornell PhD Candidate | Computer Architecture + Programming Languages. Organizer @PLteaforplt. He / him.
naomi (forgetful func.. @fixedpointfae
6K Followers 575 Following 25 sols | polymorphic lambda witch ✨ | she/her/她 | haskell + rust + scala dev | op amp enthusiast | compilers + analog synths | https://t.co/UOuLLmAqKm
Yao Li @lastland0
1K Followers 696 Following He/Him. Assistant professor at @Portland_State. Ph.D. @Penn. Programming Languages, Formal Verification, Interactive Theorem Proving. [email protected]
andrew blinn @disconcision
3K Followers 2K Following progaming 🗨️ languages eboy and mousefeel 🖱️ epicure, working on Nintendo® 🎮 Excel™ for the 📱 vpriPhone
José Manuel Calderó.. @josecalderon
2K Followers 839 Following Director @HaskellFound , lecturer @umdcs. Jazz, music theory, compilers + privacy, sometimes I combine them. I can also be found @[email protected] I miss Yorkshire
Ningning Xie @xnningxie
4K Followers 314 Following Having fun with types! @UofTCompSci @GoogleDeepMind
Cyrus Omar @neurocy
3K Followers 3K Following 🌱 laying foundations for the future of programming @ https://t.co/KNwWLHLDUu 🌿 assistant professor @UMichCSE 🍃 poetry 🪸 dendrites 🎶 immersion 〰️ wavy nerd crew
Jonathan Aldrich is K.. @JAldrichPL
4K Followers 1K Following Professor of Programming Languages and Software Engineering at CMU. ACM Publications Board. CTO of Noteful (https://t.co/sNSJTo6uHj). He/him. Views are mine.
Ron Garcia @rg9119
2K Followers 457 Following Transmogrifies coffee into LaTeX at University of British Columbia
Umbrella Corp Animal .. @UUcard14286
11 Followers 249 Following
WillianIMS @willianims
9 Followers 171 Following 19yo | ciência da computação 3/8 | tento programar algumas coisas
Karush Suri @karush_
441 Followers 668 Following Meta Learner @Theteamatx in @GoogleAI swimmer & comic fan Past @borealisai @eceuoft
hyper mbarketing (loc.. @methematikoi
509 Followers 817 Following i be interfacing @asmathematikoi and @didmathematikoi
computationalDebauche.. @computeDecadent
45 Followers 314 Following
Martin Coll @colltoaction
29 Followers 304 Following Building a diagrammatic software stack | BCS @ComputacionUBA | Find me on GitHub!
Arif Ahmad @arif_ahmad_py
282 Followers 7K Following All things AI, Computer Science and Circuits! Prev. @GoogleAI
serenidad_monotropica @Fernand06180883
10 Followers 278 Following Cryptid 🌈 he/they/it? Autistic ADHD Hyperempathic HSP RSD Polyamorous Daydreamer Dreamatorium/Impro/roleplay/RPG Nomadic. My mind is open. Erdös Anarchy
Hita K @_hitakam
25 Followers 27 Following PhD student @cis_penn | @NSF Graduate Research Fellow | @carnegiemellon alum human-AI interaction + healthcare informatics
jombi kuat @AminahLoko56906
1 Followers 58 Following
denny @denny2342
1 Followers 45 Following
rahul @t3sser4ct
0 Followers 158 Following
Yaroslav Golubev @areyde
405 Followers 1K Following Research administrator and data analyst in the ML4SE lab @JetBrains. Love empirical SE, writing papers and poetry, philosophy, and the world.
Anshul Singh @anshulsingh103
6 Followers 2K Following
Janhavee Shinde @SJanhavee
58 Followers 2K Following
Mulberry 🏳️�.. @QueerMulberry
29 Followers 150 Following hopf algebra simp | pfp by @ramahuro | https://t.co/DGqlNnrTae | he/him
Romain Ruetschi @_romac
960 Followers 1K Following @informalinc // Rust • Scala • Haskell • Formal Methods • Distributed Systems • FP • Type Theory • InfoSec // he/him // https://t.co/6otWWpVCTb
Daniel Sainati @sainati_
62 Followers 137 Following Programming Languages/Type Systems. Currently working on @flow_blockchain, formerly @flowtype. @Cornell CS ‘18
Mateus Auri @MateusAuri
178 Followers 4K Following ⋮ Allergic to hexagons ⋮ PT / EN ⋮ whatever pns ⋮ https://t.co/HxPyIoaD98 ⋮ https://t.co/M48T8wvBZV ⋮ https://t.co/N7XKoMXtwz ⋮ I auto #BlockTheBlue ⋮
Anurag Bandyopadhyay @JackOfAllStacks
209 Followers 2K Following time complexities and time signatures 🐘🎷
Penny Piper @penny_piper2
1 Followers 35 Following
Diógenes Mota @DiogenesMota
27 Followers 361 Following Functional (Mis)Adventures in Algebraic Wonderland. Math, Programming, Philosophy, and JRPGs.
Shivam Rai @IMSHIVAMRAI282
178 Followers 3K Following
Tospsy @Tospsy
449 Followers 805 Following Hey || enjoyer of GD, Pikmin, Spore, space, Tpot and more || male || i have Aspergers/ASD || Im 14 nearly 15 || Priv is @Topsys_
The Axolotl @calxolotl
337 Followers 690 Following We didn't ask what it seems like, we asked what it IS @axolotl.bsky.social
Matteo Capucci @mattecapu
4K Followers 786 Following 🇮🇹→🏴, PhD @mspstrath, mathematician (category theory for systems theory & cybernetics), aspiring psycohistorian. shitposting isn't endorsement.
JEFF WU @JIANFENGWU9
314 Followers 2K Following 🚀 Indie Hacker & 👨🏻💻 Full-stack | Ex-Tencent / Bytedance | 🕹️ EN & ZH | 🎓 🇬🇧EDI | 🇨🇳🇭🇰 | 🇺🇳 Earther https://t.co/4IA1hMuUwJ
L7bDtqiq @StevenW27645510
26 Followers 311 Following
Ethan @ethan__range
6 Followers 39 Following pl & fp stuff MPhil CS @cambridge_uni, previously Computing @imperialcollege
Rohit Karki @RohitKa46660754
140 Followers 4K Following
Abdi M. @scaredmonad
1K Followers 4K Following PLs, µ-compilers, type systems, λ-abstractions, trivia, thoughts @ https://t.co/x0BSfAqRpm
Craig Johnson @craigajohnson
349 Followers 1K Following Creator of Project Grover - unifying model+compute+representation to materialize useful dynamic systems
Sacha Ayoun @SachaAyoun
200 Followers 277 Following Core developer on the Gillian Platform Imperial College PhD student - OCaml enthusiast - CentraleSupelec Alumni
elvis mbesa @MbesaE
109 Followers 1K Following
Talia Ringer 🟣 �.. @TaliaRinger
26K Followers 6K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, & justice. They/היא, ND, bi. די לכיבוש
Shriram Krishnamurthi.. @ShriramKMurthi
19K Followers 4K Following 🦣: @[email protected] ••• @BrownCSDept / @BrownUniversity || @BootstrapWorld || @PyretLang || @racketlang || compsci || education || cycling || cricket
Egbert Rijke @EgbertRijke
3K Followers 1K Following Postdoc in Ljubljana • Author of the Introduction to Homotopy Type Theory • Formalisation • Univalent Combinatorics • Agda • Math Twitch • he/him
Sam Tobin-Hochstadt @samth
4K Followers 1K Following Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @NaptownUltimate · @[email protected]
Kristopher Micinski @krismicinski
6K Followers 3K Following @[email protected]. Tweets do not represent anyone's views, especially mine.
Loris D'Antoni @lorisdanto
6K Followers 731 Following Professor @WisconsinCS, this summer moving to @ucsd_cse. Also Visiting Academic @AWScloud. Helps people write programs that do the thing people want them to do.
Max ⊶ New @maxsnew@.. @ProfMaxNew
1K Followers 225 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 ⚜️
paulette d. koronkevi.. @koronkebitch
3K Followers 380 Following preserving types with @wilbowma at @ubc_spl. former @galois intern, former former @IULuddy undergrad (she/her)
Nintendo .DS_Store @sliminality
10K Followers 177 Following I want to talk to you about the affect and aesthetics of computing. All my PLposting now lives at @[email protected]
Pitching The Offer Op.. @PTOOP
1K Followers 610 Following (B&Q they/them) if it's enough to project probity and competence, compassion would seem surplus to requirements, and dignity positively dangerous
Hanneli Tavante @hannelita
3K Followers 831 Following Programming Languages, engineering, electronics, Maths, proofs, books, Pokémon, Lego, animals, coffee, bread, plants, @recipl_, ice skating. Personal views.
Sydney Gibson 🚛 �.. @sydgibs
3K Followers 340 Following Software Engineer @aurora_inno. Previously @MIT & @CSDatCMU. Trying to befriend Pittsburgh’s local groundhogs.
Rachit Nigam @notypes
4K Followers 1K Following MIT visiting scholar & Cornell PhD Candidate | Computer Architecture + Programming Languages. Organizer @PLteaforplt. He / him.
Yao Li @lastland0
1K Followers 696 Following He/Him. Assistant professor at @Portland_State. Ph.D. @Penn. Programming Languages, Formal Verification, Interactive Theorem Proving. [email protected]
Yaron (Ron) Minsky @yminsky
12K Followers 302 Following Occasional OCaml programmer. Host of @signalsthreads. @[email protected] https://t.co/kiUGRvWOO2
andrew blinn @disconcision
3K Followers 2K Following progaming 🗨️ languages eboy and mousefeel 🖱️ epicure, working on Nintendo® 🎮 Excel™ for the 📱 vpriPhone
Hita K @_hitakam
25 Followers 27 Following PhD student @cis_penn | @NSF Graduate Research Fellow | @carnegiemellon alum human-AI interaction + healthcare informatics
Friday Pilots Club @fridaypilots
4K Followers 122 Following “rock band” ✈️🌐✈️🌐DEBUT ALBUM // 5.9 NOTHING OR FOREVER // OUT NOW ⤵️
Will Joseph Cook @WillJosephCook
11K Followers 189 Following musician. things I think and post on the internet 🐸
Mulberry 🏳️�.. @QueerMulberry
29 Followers 150 Following hopf algebra simp | pfp by @ramahuro | https://t.co/DGqlNnrTae | he/him
Daniel Sainati @sainati_
62 Followers 137 Following Programming Languages/Type Systems. Currently working on @flow_blockchain, formerly @flowtype. @Cornell CS ‘18
The Axolotl @calxolotl
337 Followers 690 Following We didn't ask what it seems like, we asked what it IS @axolotl.bsky.social
Ming-Ho Yee @mhyee
216 Followers 167 Following PhD student at @neu_prl. @uWaterloo alumnus. I study programming languages.
Matteo Capucci @mattecapu
4K Followers 786 Following 🇮🇹→🏴, PhD @mspstrath, mathematician (category theory for systems theory & cybernetics), aspiring psycohistorian. shitposting isn't endorsement.
Mike Hicks @michael_w_hicks
5K Followers 494 Following Senior principal scientist@AWS & emeritus prof@UMD. Programming languages and security. Cedar https://t.co/5X4WKErcqQ. Inactive: see my WWW for new location
Alexandra Silva @alexandra8silva
2K Followers 850 Following Computer scientist, loves traveling and food tasting!
Sacha Ayoun @SachaAyoun
200 Followers 277 Following Core developer on the Gillian Platform Imperial College PhD student - OCaml enthusiast - CentraleSupelec Alumni
UW PLSE @uwplse
1K Followers 190 Following We are the Programming Languages and Software Engineering group at the University of Washington (@uwcse)
zach silberberg @zachsilberberg
54K Followers 4K Following tv in new york. no views my own. my birthday is this year
Chris Henson @_chenson__
635 Followers 3K Following CS PhD student @DrexelCCI. Types, categories, and verification. Collector of retro computers and vintage books. Formerly Quant Finance at Bank of America.
Puzzmo @puzzmotoday
2K Followers 52 Following The (new) place for thoughtful puzzles. Created by @helvetica and @orta
Elizabeth Dinella @eadinella
657 Followers 448 Following CS PhD. I like dev tools and machine learning.
Jeremy Gibbons @jer_gib
2K Followers 276 Following Christian, functional programmer, bass player, increasingly absent-minded prof. Also @[email protected]
Sam Westrick @shwestrick
747 Followers 601 Following post-doc @csdatcmu :: PL :: parallel algos :: music :: lead dev of the MaPLe compiler https://t.co/6jBOSBGv9C @[email protected] @shwestrick.bsky.social
Galois @galois
6K Followers 700 Following Galois applies cutting edge computer science and mathematics to solve difficult technological problems.
Artem Pelenitsyn 🇺.. @ulysses4ever
840 Followers 330 Following Postdoc at @purdue_pl / PhD in CS from @neu_prl / @mmcs_sfedu alumni / Haskell enthusiast, Julia advocate
Zhu @zhuexe
59 Followers 81 Following hello world @penn NLP PhD https://t.co/2eYb9yWKxr on ceruleanatmosphere
Apoorv @fxdpntthm
1K Followers 156 Following Grad student. PL, types, semantics, logic, SIGPLAN audio-video/virtualization. Also on @[email protected]
Zanzi Tangle, now at .. @tangled_zans
3K Followers 320 Following Turning Category Theory into code https://t.co/B0egvR0lmb
John Hui @johnjohnhui
323 Followers 1K Following PhD candidate @ColumbiaCompSci. something something PL/systems/compilers/verification. he/him.
Patrick Nicodemus @PatNicodemus
307 Followers 255 Following Interests: -Computational biology -Category theory in homological algebra and type theory -Formalized mathematics in Coq
Conal Elliott @conal
5K Followers 389 Following Into correct, efficient engineering with precise & simple specifications. Play/work with me: https://t.co/qDqyBbWKnm . https://t.co/TsY4j2QJwu
Ben Delaware @GhostofBendy
979 Followers 310 Following Professor at @PurdueCS; dad; occasional cancer fighter🎗️. Tweets about programming languages and formal methods, but mostly bird pictures.
Michael Greenberg @mgrnbrg
999 Followers 168 Following
Paul Biberstein @paulbib
28 Followers 65 Following Present: Pursuing PL at Penn (Ph.D) Before: Browsing bytes at Brown (Bachelor's)
Prophet @welltypedwitch
2K Followers 628 Following There's no sense crying over every mistake. You just keep on trying till you run out of cake. - GLaDOS https://t.co/70SfmxnROe https://t.co/6DWstdv5Zf
Roopsha Samanta @roopshasamanta
5K Followers 563 Following Ex-academic. Untenured, unapologetic, undaunted.
Ernest Ng @ngernest2
408 Followers 3K Following @Penn ‘23 | Interested in OCaml, Haskell & PL | he/him
(s)ad Astra 🏳️�.. @astradiol
827 Followers 406 Following 𝑆𝑝𝑎𝑐𝑒 𝑎𝑛𝑑 𝐿𝑜𝑔𝑖𝑐; 𝒮ℴ𝓎𝓁ℯ𝓃𝓉 𝓌𝒾𝓃ℯ 𝓅𝒶𝒾𝓇𝒾𝓃ℊ. 𝔓𝔲𝔯𝔢 𝔪𝔞𝔱𝔥𝔰 𝔓𝔥𝔇. 🏳️⚧️ 𝒔𝒉𝒆/𝒉𝒆𝒓 (trans girl in type theory)
nik proxima @nikproxima
1K Followers 669 Following Managing Editor of @wearespacescout - 2x Turtledove Award Winner - Space Policy Student
Théo Winterhalter @winterhalter_t
122 Followers 109 Following Researcher at Inria Saclay in Deducteam. Proof assistants and dependent types.
Tiny Onion @ReadTinyOnion
6K Followers 108 Following Layer by Layer. A Production House from the mind of James Tynion IV.
Sophia Roshal @RoshalSophia
310 Followers 160 Following BA in CS/Math from Cornell. PhD student @CSDatCMU Types are cool Opinions my own
Ted Mielczarek 🐀 @TedMielczarek
2K Followers 771 Following Hack of all trades. (he/him) Emergency posting continuity plan: @[email protected] https://t.co/87pTgzj5MS Formerly @FullStory, @mozilla.
James Tynion IV @JamesTheFourth
59K Followers 1K Following CEO & Founder - Tiny Onion, Inc. Not manning this account - for regular updates follow @readtinyonion, @jamesthefourth in IG, or follow my newsletter
Shreya Havaldar @shreyahavaldar
232 Followers 268 Following PhD student @cis_penn | multilingual NLP + cultural psychology | prev @usc @microsoft | she/her 🌸
GABRIEL H. WALTA @ghwalta
17K Followers 1K Following Eisner Award winning Comic Book Artist, Ilustrator and Painter
sclv @sclv
2K Followers 3K Following "more important than being able to do mathematics is to be sure the applications are meaningful." - e. bishop • https://t.co/vM4OgmDjGQ
Coolest class I’ve taken!! guess which one is mine
I know everyone is celebrating #chi2024 papers and maybe we should be too, but, the thrill of a class sending off their PCBs to the factory is too amazing. 95% of these students never made a circuit and look at six weeks later! Thanks to @tengshanyuan and @romainnith #electronics
this is my generation's baby shoes never worn
environmental storytelling can be so beautiful sometimes
environmental storytelling can be so beautiful sometimes
???
Sex is for making children. Any man who has sex with women because it "feels good" is gay. Oh my pee pee feels good this is great! In fact if you are 40 with less than 5 children you're probably gay. All that feel-good pee pee sex and hardly any genetic legacy?
keyhole contour integrals
@ionathanch I was there for the festival today, it was so crowded.
🤨
Statistics from @ICSE2024. Authors submitting, *each*, 33, 27, 24, ... papers. Interactive dashboard: app.powerbi.com/view?r=eyJrIjo…
realizing that my career will be a blunder if I don't learn algebraic topology, i downloaded a book that encompassed all of my knowledge of mathematics by page 8.
@ionathanch (And yes, proof term languages can have the issue too, where the only way to understand a proof term is to construct it in a hole-based editor!)
@ionathanch Yes. Even with imperative programs we have assertional reasoning and static ways of understanding code. But the only way to understand a tactic script is to step through it.
@ionathanch Fully agree there. I don't think proof term languages (at least as they are) have solved this problem either.
we are finally done
[2024-04-17 Wed (UTC), no new articles found for mathCT Category Theory]
when i got a kwisatz haderach due april 3rd
How long is it gonna take to finish that paper? Me:
the author of submission #### experiencing morning for the first time in 2024
I have very low tolerance for straight people on the whole but I love wife guys; the more middle aged, the better. Not much more life-affirming than a dude who thinks he married the most beautiful woman in the world.
Trends for United States
105 B posts
80,3 B posts
1,04 Mn posts
23,4 B posts
61 B posts
58,2 B posts
33,6 B posts
4.373 posts
3.386 posts
8.844 posts
13,4 B posts
2.067 posts
49 B posts
15,6 B posts
1.629 posts
13,2 B posts
3.104 posts
7.482 posts
204 B posts
40,7 B posts
You might like
Derek Dreyer (@herrdr..
@HerrDreyer
2K Followers
Carlo Angiuli
@carloangiuli
1K Followers
Ron Garcia
@rg9119
2K Followers
Caleb Stanford
@calebstanford4
1K Followers
Yao Li
@lastland0
1K Followers
Leo Lampropoulos
@LeoLambro
1K Followers
Kristopher Micinski
@krismicinski
6K Followers
Justin Lubin
@jplubin
765 Followers
Alex Kavvos
@lambdabetaeta
623 Followers
Harry Goldstein
@hgoldstein95
657 Followers
Matthías Páll Gissu..
@tritlo
2K Followers
Pedro Abreu
@p_droabreu0
1K Followers
Pitching The Offer Op..
@PTOOP
1K Followers
Andrew K. Hirsch
@andrewkhirsch
570 Followers
Michael 🅱️ James
@LambdaLinguist
571 Followers