Nachi

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

[Nachi @modaltype]

The call for Newton International Fellowships is open, and closes on 18th March: https://t.co/63DYMoZqmG

Good scheme; worth checking out! I like the Royal Society experience and its historic role in science.

[Nachi @modaltype]

@alpha_convert This is a quick indication, rather than an actual answer. Happy to help in a different place which allows for more context and space.

[Nachi @modaltype]

@alpha_convert Assuming the positive products exhibit both "beta" and "eta", in the usual call-by-name semantics, I would try: no new neutrals, define `Γ ⊢ let n v : C` as normal, while asking for `Γ ⊢ n : A x B` to be neutral and allowing `Γ , A, B ⊢ v : C` to be normal.

[Alex Kavvos @lambdabetaeta]

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: https://t.co/FmNLE7eM2B

[Mohammad Ahmadpanah @smahmadpanah]

Thrilled to be at @acm_ccs, presenting our poster! 🎉
https://t.co/0WHR2YoRk0

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! :)

[Existential Comics (find me on bluesky) @existentialcoms]

Philosophical Holdup -
https://t.co/Pp2Pc9nLhH

[Nachi @modaltype]

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

https://t.co/kMjVAO1dkq

[PLRG :: Bristol @PLRG_bristol]

Last Friday, we celebrated Minh passing his PhD viva with a cocktail class. 🎉 Congratulations Minh!

[Nachi @modaltype]

@watislaw Yes, and it's an excellent start!

From the article: "Researchers who spoke to Nature say that they don’t mind formatting their articles to conform to a journal’s style, as long as they’re doing that work after their study has been accepted."

[Nachi @modaltype]

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"

https://t.co/79pxBc9X01

[Thiemo Fetzer 🇪🇺🇺🇦 - same handle elsewhere @fetzert]

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.

https://t.co/wooDziwsa5

[PLRG :: Bristol @PLRG_bristol]

#ICFP23 Round Up: three talks, two ICFP papers, one distinguished paper.

[Satnam Singh @satnam6502]

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.]

[Alejandro Russo @poke48k]

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 https://t.co/LNtB5GRQDG

[ICFP Conference @icfp_conference]

Most Influential ICFP’13 Paper Award goes to “Handlers in Action” by @aleph_kappa, @reifyreflect, and Nicolas Oury.

[Matti Palli 🧙‍♂️ @tritlo]

My desk after returning from vacation. My rubber duck debugger got lynched! 😅

[Nachi @modaltype]

@Rewbert Congrats, Robert!

[Jeremy Vaught @jeremyvaught]

16 years ago, I created @music and have been running it ever since. Just now, Twitter / X just ripped it away.
Super pissed

[Robert Krook @Rewbert]

John Hughes lecturing about property-based testing, and attributes wonky stuff to Satan

[Existential Comics (find me on bluesky) @existentialcoms]

Wittgenstein vs Socrates -
https://t.co/uKHQk6ee0C