Nick Benton

Unpredictably impredicative

[Nick Benton @SystemFOmega]

@ShriramKMurthi OMG, I feel completely Sokal’d

[Nick Benton @SystemFOmega]

@typememetics “Haskell Theoretical Purity Division” - not unreasonable

[Nick Benton @SystemFOmega]

@ilyasergey Many folk (including, of course, @headinthebox) have moved to industry and made PL research ideas useful/accessible from there. This usually turns out to involve more novelty than one might have expected.

[Nick Benton @SystemFOmega]

@IsilDillig @swarat Congratulations!

[Nick Benton @SystemFOmega]

@HerrDreyer Awesome!

[Nick Benton @SystemFOmega]

@aspiwack That’s “pedantic” :-)

[Bor-Yuh Evan Chang @bechang]

Looking forward to seeing colleagues at @PLDI next week! I'll be giving the talk on Friday in the TOPLAS track on "Interactive Abstract Interpretation with Demanded Summarization" (part of @benno_stein 's PhD work and with @rakingleaves). https://t.co/PjgfJUTX9G

[ACM SIGLOG @acmsiglog]

The 2024 Alonzo Church Award for Outstanding Contributions to Logic and Computation is presented jointly to Thomas Ehrhard and Laurent Regnier for giving a logical and computational account of differentiation, bringing Taylor expansion to the Curry-Howard correspondence.

[Nick Benton @SystemFOmega]

@Pibasedlifeform @holland_tom @TheRestHistory “Authentic frontier gibberish”

[Nick Benton @SystemFOmega]

@headinthebox I did a Prolog as one of the demo programs for Acornsoft Logo for the BBC Micro

[Nick Benton @SystemFOmega]

@ianstk @kamatsu8 @rg9119 I’ve always been happy with omega cpos, but still had the sense that I was therefore a philistine

[Nick Benton @SystemFOmega]

@satnam6502 Hey, dunno if you know, but I worked with Chris and John (RIP) back in the day! Can also agree about the challenges of going from research to engineering…

[Nick Benton @SystemFOmega]

@headinthebox F-ing big steps

[Graham Hutton @haskellhutt]

Applications are invited for a fully-funded PhD studentship in the Functional Programming Lab in Nottingham, supervised by Graham Hutton.  Closing date for applications Friday 9th February 2024.  Please share!  https://t.co/lRN8DYU1BH

[Nick Benton @SystemFOmega]

@alpha_convert S/crackers/biscuits

[Nick Benton @SystemFOmega]

@AndrewDGordon 😲

[SPLASH Conference @splashcon]

Making strong assumptions about library calls when proving a program's security?

Find from #SPLASH2023 keynote speaker Amal Ahmed how to ensure security properties for languages which implement interoperability via FFI.

Details: https://t.co/R39o3Mu2J3

[Nick Benton @SystemFOmega]

@BjornerNikolaj @lambdaNik @ngsankha No.

[Nick Benton @SystemFOmega]

@jonholmes1 Chaise of our lives