@ymherklotz @ymherklotz I wrote a follow-up post inspired by your comment:

@PeterOHearn12 @HerrDreyer @AzaleaRaad @alexandra8silva @PetarMax … it’s close to the sufficient incorrectness logic (SIL) of Ascari et al (aka Lisbon triples or backward underapproximate Hoare logic), in the sense that {P}c{Q} holds under SIL iff {-P}c{-Q} holds under ???. See also:

@GNRailUK Do you know if those restrictions changed recently? I spoke to three revenue protection officers at Cambridge yesterday who all insisted off-peak carnets had no evening restrictions. I showed them the webpage you linked to and they were quite surprised!

@GNRailUK Hi Ben, it’s an off-peak carnet. (I understand that anytime carnets are not available between KGX and CBG in any case.)

RT @oisdk: New paper: Formalising Graphs with Coinduction, to appear at POPL 2025. Summary and preprint:

RT @e_giunchiglia: Amazing initiative by @imperialeee! 💯 Had a lot of fun discussing with the students on the future possibilities of build…

Big thank you to Eleonora Giunchiglia @e_giunchiglia for a fascinating “Meet the Profs” talk at @imperialeee about her research into compliant-by-construction ML models!

RT @lorisdanto: PACMPL (POPL, PLDI, OOPSLA, ICFP) papers should have a limit of 10 pages. We already write them this way (section 2 is bas…

A good day for folks who like runs of numbers!

Delighted to have our first “Meet the Profs” seminar of the term, featuring Ayush Bhandari (@AB2World) who showed us how to extract a useful signal just from the noise of quantisation! Simultaneously mind-blowing and beautifully explained. @imperialeee

RT @imperialcollege: Congratulations to Philippa Gardner, Professor in @ICComputing, who has received a @bcs Ada Lovelace Medal ��� Professo…

RT @gabeElbling: Amazing graphical representation of a neural net, never seen anything like it.

RT @miike: I’ve done a lot of formal methods “technical sales” - trying to scope projects for Galois clients that solve their problem and f…

RT @LukeGeeson: Lots of great engagement @splashcon after presenting our work on Mix Testing, thanks again to my co-authors Brotherston, Di…

Did I just wake up after a 400-year nap?

RT @LongFormMath: We have a new record! The Great Internet Mersenne Prime Search verified that this massive number is indeed prime. Which…

RT @rossetate: As the author of this PDF, it's been interesting seeing people guess at the rationale behind its design. However, the ration…

RT @lzcarl: Wow, I appreciate @acm_ccs being frank about review ethics! #CCS