"The limits of my language mean the limits of my world" and all that
Joined April 2014
- Tweets 1,429
- Following 286
- Followers 368
- Likes 2,623
38 Photos and videos
7 Feb 2025
The call for Newton International Fellowships is open, and closes on 18th March: royalsociety.org/grants/newt…
Good scheme; worth checking out! I like the Royal Society experience and its historic role in science.
1
64
Nachi retweeted
21 Jun 2024
In the last few months I've been trying to draw a long line connecting all the work on modal logic - from Kripke semantics to type theory. Today I'm officially launching this programme by giving a talk at MFPS XV at 4pm. Link: youtube.com/watch?v=DWOZfqco…
2
6
34
1,677
Nachi retweeted
25 Nov 2023
Thrilled to be at @acm_ccs, presenting our poster! 🎉
shorturl.at/azARW
I'm actively exploring opportunities in Software/Web Security on the academic job market. Eager to connect with fellow researchers and explore potential #postdoc/#assistant_professor positions! :)
1
9
876
18 Oct 2023
Got news: I've been awarded the Newton International Fellowship by the Royal Society to study compositionality in normalization algorithms at the University of Edinburgh with @reifyreflect
royalsociety.org/news/2023/1…
7
2
29
1,648
Nachi retweeted
9 Oct 2023
Last Friday, we celebrated Minh passing his PhD viva with a cocktail class. 🎉 Congratulations Minh!
ALT Group photo at the class, with everyone wearing florescent Hawaiian lei necklaces.
ALT Minh being a cocktail making pro behind the bar
ALT Head of group Meng, being a hit bartender, making his "customers" laugh.
2
1
13
748
27 Sep 2023
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/conferences/e…
26 Sep 2023
I wish as academics we could focus on producing evidence and not waste time reformatting. I am glad this has now been quantified. But I would like to think these may reflect a lower bound on the true cost as there is an extensive margin as well.
I have a whole trail of perfectly fine and IMO important papers that I just cant bother to reformat to submit. It should not be that way. Its all just data, code and well, a bit of thinking.
nature.com/articles/d41586-0…
1
1
7
1,608
Nachi retweeted
12 Sep 2023
#ICFP23 Round Up: three talks, two ICFP papers, one distinguished paper.
ALT A collage summarizing the best moments of the conference. There are 7 photos, one in the middle, with 6 surrounding. In the centre is a picture of Sam, Minh, Kazutaka and friend in front of the Seattle Space Needle. Then going round the outer pictures we have (starting at the top): Minh and Sam at the conference, standing in front of the logo; Sam posing for pictures before her Embedding by Unembedding talk, Minh mid-talk; Sam posing with her Embedding by Unembedding title slide; Harry and Sam answering questions for the double-act talk; Minh posing in front of his slides.
2
2
22
1,241
Nachi retweeted
9 Sep 2023
Congratulations to Ohad Krammer, @reifyreflect and Nicolas Oury for their Most Influential Paper of ICFP2013 award presented at #ICFP2023 for their Handlers in Action paper which inspired and kicked off a lot of work on effects by many people. Sam made a heartfelt speech about how kind and supportive the programming languages research community is, with a specific reference to a personal tragedy that occurred while he was in Boston for the 2013 ICFP. I concur, having experienced several research communities I know that not all of them are pleasant places to be, but through decades of PL I have met colleagues that have become friends, and enjoyed a community that has become a home. [I know it is not perfect. But it is still pretty bloody good.]
1
9
89
10,775
Nachi retweeted
9 Sep 2023
Abi presenting our work HasTEE, our DSL to program trusted execution environments at the HASKELL Symposium @icfp_conference
He mentioned SGX, IFC, Gramine, Federated Learning, and even showed Assembly in the same talk!
The paper dl.acm.org/doi/10.1145/36090…
5
19
2,138
Nachi retweeted
6 Sep 2023
Most Influential ICFP’13 Paper Award goes to “Handlers in Action” by @aleph_kappa, @reifyreflect, and Nicolas Oury.
6
21
107
6,082
Nachi retweeted
18 Aug 2023
My desk after returning from vacation. My rubber duck debugger got lynched! 😅
1
2
13
1,592
Nachi retweeted
3 Aug 2023
16 years ago, I created @music and have been running it ever since. Just now, Twitter / X just ripped it away.
Super pissed
1,538
5,184
27,167
7,165,279
Nachi retweeted
4 Jul 2023
John Hughes lecturing about property-based testing, and attributes wonky stuff to Satan
1
2
21
2,904
Nachi retweeted
16 Jun 2023
.@modaltype how does it feel to be the chosen one?
16 Jun 2023
Modular Normalization with Types @modaltype nachivpn.me/thesis.pdf
1
1
9
1,390
Nachi retweeted
16 Jun 2023
Modular Normalization with Types @modaltype nachivpn.me/thesis.pdf
5
27
4,230
Nachi retweeted
13 Jun 2023
Congratulations Agustin Mista, on defending your thesis!
1
2
14
1,140
Nachi retweeted
1 Jun 2023
Proud supervisor moment!
Amazing master's thesis presented by dcronqvist.se and sagak.se! 🎓🎉
1
20
719
