@modaltype

"The limits of my language mean the limits of my world" and all that

nachivpn.me/
Joined April 2014
  • Tweets1.4K
  • Following284
  • Followers365
38Media
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,693
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! :)

Poster: Data Minimization by Construction for Trigger-Action Applications | Proceedings of the 2023...

dl.acm.org
1
9
877
Philosophical Holdup - existentialcomics.com/comic/…
6
81
6
421
40,376
Last Friday, we celebrated Minh passing his PhD viva with a cocktail class. 🎉 Congratulations Minh! – at Bristol, England
Group photo at the class, with everyone wearing florescent Hawaiian lei necklaces.

ALT Group photo at the class, with everyone wearing florescent Hawaiian lei necklaces.

Minh being a cocktail making pro behind the bar

ALT Minh being a cocktail making pro behind the bar

Head of group Meng, being a hit bartender, making his "customers" laugh.

ALT Head of group Meng, being a hit bartender, making his "customers" laugh.

2
1
13
751
#ICFP23 Round Up: three talks, two ICFP papers, one distinguished paper. – at Seattle, WA
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.

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
21
1,244
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
87
10,778
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,143
Most Influential ICFP’13 Paper Award goes to “Handlers in Action” by @aleph_kappa, @reifyreflect, and Nicolas Oury.
6
21
106
6,091
My desk after returning from vacation. My rubber duck debugger got lynched! 😅
1
2
13
1,592
16 years ago, I created @music and have been running it ever since. Just now, Twitter / X just ripped it away. Super pissed
1,525
5,080
2,011
26,863
7,167,094
John Hughes lecturing about property-based testing, and attributes wonky stuff to Satan
1
2
1
21
2,904
Wittgenstein vs Socrates - existentialcomics.com/comic/…
10
164
21
975
69,803
.@modaltype how does it feel to be the chosen one?
Dad×3_jack@Iceland_jack16 Jun 2023
Modular Normalization with Types @modaltype nachivpn.me/thesis.pdf
1
1
8
1,390
Modular Normalization with Types @modaltype nachivpn.me/thesis.pdf
5
1
27
4,230
Congratulations Agustin Mista, on defending your thesis!
1
2
14
1,140
Proud supervisor moment! Amazing master's thesis presented by dcronqvist.se and sagak.se! 🎓🎉
1
19
719
Extreme Skepticism existentialcomics.com/comic/…
6
127
6
829
70,294
<chefs kiss> arxiv.org/abs/2304.01393

Every Author as First Author

We propose a new standard for writing author names on papers and in bibliographies, which places every author as a first author -- superimposed. This approach enables authors to write papers as...

arxiv.org
25
153
54
659
178,793
[CFP] Just over a month to the HOPE'23 deadline! If you have something exciting in the works related to higher-order programming with effects then please prepare an abstract and submit it as a talk proposal! HOPE'23 is colocated with @icfp_conference icfp23.sigplan.org/home/hope…
5
6
897
Pure raw anxiety
Jennifer Polk, PhD (she, her)@FromPhDtoLife5 Apr 2023
Academics and PhD folks juggling multiple projects: What project management system do you rely on? Notion, Excel, Kanban board, Trello, or other tools?
7
31
405
38,281
Load more