Computer science PhD student at Northeastern University. I work on types in Julia, with rocket GNC, and a bunch besides. Also @ckfinite@mastodon.social

Joined June 2011
253 Photos and videos
Benjamin Chung retweeted
9 Jun 2022
Should @pldi join ICFP, OOPSLA and POPL in publishing its proceedings in the PACM-PL journal? The PLDI Steering Committee would appreciate your views. Please complete this short survey before the end of Thursday 16 June (AoE): forms.office.com/r/HjwYvq1CGโ€ฆ [please RT]

3
28
24
Benjamin Chung retweeted
Just learned the very sad news that one of our members, Eelco Visser, passed away yesterday. We are all quite saddened by this rather unexpected news of the passing of such a vibrant researcher.
13
37
168
Benjamin Chung retweeted
Full, nuanced version of "yikes"
6
51
Unfortunately, there's a number of cold war examples of this. The clearest one is the Iran-Iraq war, but I'd also highlight the Chadianโ€“Libyan war, the USSR invasion of Czechoslovakia, the Gulf War, and the Falklands War.
Replying to @TaliaRinger
But trying to take over an entire neighboring country by force so flagrantly, just to expand your borders, this is exactly the kind of shit the UN was built to prevent because it leads to world wars. If it turns out to be unenforceable, the future will look very bad
1
1
Replying to @JAldrichPL
@JAldrichPL One point along these lines is that it's possible to conceptualize this current conflict as an almost-inevitable consequence of the beginning of the Russian invasion of Ukraine in 2014. The war in Ukraine is a sign that the post-cold-war order is *already* collapsing
Replying to @TaliaRinger
But Ukraine was much more anticipated than 9/11. I mean, Russia has invaded multiple countries before, including part of Ukraine itself.
1
1
I'm having trouble, actually, coming up with the number of times the US and USSR just decided one day "you know we should knock over [government X] because we don't like them much." It's greater than 5, at least.
1
2
In practice, the post WW2 order was "you don't do anything unless the US and/or the USSR decide to let you," as illustrated by the Suez crisis, the invasion of Czechoslovakia, and numerous others. Post-cold-war, it turned into "unless the US lets you."
1
Benjamin Chung retweeted
How did I not know this??
57
437
2,366
So this is a little bit of a shot in the dark, but from a while ago, I recall a blog post that lampooned design patterns a bit in the setting of a short fantasy adventure story. Does anyone recall where that is? I can't find it anymore.
1
Benjamin Chung retweeted
The machine the researcher is lamenting in the introduction to this article is one of these, a Dolch "lunchbox" style computer. I couldn't find much info about these when I was working with them. They were single board computers, either 486 DX2 66 MHz or Pentium 100s.
1
1
2
Benjamin Chung retweeted
I have been in this very room at White Sands, using that very same computer, working on that very same payload. I have helped launch a scientific payload into space using a DOS program from the 1980s. A ๐Ÿงตon working with ancient technology. nature.com/articles/d41586-0โ€ฆ
1
1
4
Benjamin Chung retweeted
@DaveAbrahams will discuss the design of Swift followed by a discussion with @relizarov and @den_sh @rebase_conf on Tuesday, October 19 at 2:50 PM EST. The talk will be live streamed on Zoom and free for all. No registration needed.
8
17
Benjamin Chung retweeted
How to migrate a language ecosystem? We investigate this in the context of R by evaluating a strategy for migrating from lazy to strict semantics in our OOPSLA paper - ๐—ฃ๐—ฟ๐—ผ๐—บ๐—ถ๐˜€๐—ฒ๐˜€ ๐—”๐—ฟ๐—ฒ ๐— ๐—ฎ๐—ฑ๐—ฒ ๐˜๐—ผ ๐—•๐—ฒ ๐—•๐—ฟ๐—ผ๐—ธ๐—ฒ๐—ป. aviral.io/static/pdfs/promisโ€ฆ. ยป

1
11
22
Benjamin Chung retweeted
I did this and it was a FANTASTIC opportunity. I would highly recommend this if you are a graduate student!
Do you want to help out the community of PL researchers? Enjoy meeting new and interesting people at conferences? Like cameras and recording videos? For free? @sigplan is looking for new video chairs!
1
1
5
Benjamin Chung retweeted
Do you want to help out the community of PL researchers? Enjoy meeting new and interesting people at conferences? Like cameras and recording videos? For free? @sigplan is looking for new video chairs!
1
5
17
Benjamin Chung retweeted
SPLASH is Hybrid this year, so at least the talks by remote attendees will be prerecorded videos. If you might attend SPLASH in person, is it important to you that some talks be delivered in person? (There will be in-person Q&A regardless).
58% "All video talks" is fine
42% In-person talks important
147 votes โ€ข Final results
3
10
11
Benjamin Chung retweeted
Please DM or email me recommendations for people you'd like to hear AMAs from at OOPSLA/SPLASH this year. Be as aspirational as you'd like, I want to make a long initial list and I'm very unafraid of cold emailing famous people
2
6
13