AarynLee.eth 🇺🇦🇺🇦🇺🇦

programmer and trader with Asperger & ADHD |

PL-Theory enthusiast |

Scheme F* |

[Björn Schumacher @schumacherbj]

Explaining your PhD project to your family https://t.co/FTSfxzrewU

[AarynLee.eth 🇺🇦🇺🇦🇺🇦 @LeeAaryn]

@one_snowball @Oldoggie88 實盤關閉了哭

[AarynLee.eth 🇺🇦🇺🇦🇺🇦 @LeeAaryn]

@skipperfund @0xRichFamous @SaltedFishZhou @Qingshan0426

[Jonathan Brachthäuser @__protected]

Our paper "A Typed Continuation-Passing Translation for Lexical Effect Handlers" has been accepted at PLDI!

It's another important step for our work on efficiently compiling effect handlers.

https://t.co/w7gBRP3TcI

Preprint and tweet-sized explanations following soon-ish :)

[Oliver Trenchard @OliverTrenchard]

This is too good.

YouTuber walks around Shibuya like it’s a video game.

[George Takei @GeorgeTakei]

Voting is like wearing a mask: If enough of us do it, we’ll save ourselves from this nightmare.

[Kevin Brackett @KevinRBrackett]

We were all worried about Skynet. Meanwhile, nunchuck bears.

[Matt Corridoni @mattcorridoni]

Unverified Twitter RN:

https://t.co/LD8PjgYHII

[Shriram Krishnamurthi (primary: Bluesky) @ShriramKMurthi]

Really enjoying @AustinZHenley @barik and others' work on pain points of computational notebooks, includes some I hadn't realized. Great agenda-setting for the area (though the swipe at PLs was unnecessary).
https://t.co/1eyJ8TYNjz

[Microsoft Research @MSFTResearch]

.@SumitGulwani has received two most influential paper awards for his work on program synthesis that he started at Microsoft 10 years ago. Congrats to Sumit & his collaborators! #POPL2020 #ICSE2020

POPL 2010 paper: https://t.co/DYVuCB3Sxs
ICSE 2010 paper: https://t.co/orVcnANT2o

[Sam Tobin-Hochstadt @samth]

Since getting tenure is supposed to provide freedom to do important things, here's a first step: I'm no longer going to review/work for any venue that isn't open access. There's no excuse in CS for not making progress here.

[AarynLee.eth 🇺🇦🇺🇦🇺🇦 @LeeAaryn]

@samth Congrats!

[Sam Tobin-Hochstadt @samth]

2010s:
finished my phd
published some really good papers
created racketcon
got my dream job
added modules to javascript
revamped our intro course
went to (masters) nationals
had an awesome kid
graduated 2 phd students
got tenure

[Jan Vitek @j_v_66]

@krismicinski @ShriramKMurthi @avanhatt @lindsey The spread of 260 "admissible" NEU applicants according to areas of interest (they can pick multiple areas):
7 DB
13 FM
15 SE
14 PHI
17 GAME
19 HCI
20 SYS
24 PL
36 THY
39 SEC
43 ROB
57 DS
67 NLP
105 AI
133 ML

[Mostly here now: @davidthewid.bsky.social @davidthewid]

.@chupanwong proposed his PhD thesis today (at 8:30 in the morning😴)! He passed without corrections! :) 🎊👠🍳👏🏼

[Heather Miller @heathercmiller]

Man, PL people are so judgemental.

No wonder why they like to write typing judgements all day everyday...

[Paul Krugman @paulkrugman]

The climate crisis is already here, although this kind of thing is only its leading edge 1/ https://t.co/M94Ebb3KRZ