Surprising fact: no major professional scientific organization has flipped from a paywalled publishing model to 100% Open Access.

Association for Computing Machinery is going to be the first on January 1, 2026, when its entire digital library will become freely available to the public.

proofs-as-programs from Quanta Magazine

quantamagazine.org/the-deep-link-…

tired: POPL reviewers are all Ebenezer Scrooge
wired: POPL reviewers were right and my paper was rightly rejected

The ESOP 2024 deadline is in a little over one month (Oct 12th). Note the new submission categories (experience reports and fresh perspectives) and lack of formatting requirements for the research papers submission category. More info at:
etaps.org/2024/conferenc…

Reviewer 2 is Ebenezer Scrooge

BREAKING NEWS
The 2023 #NobelPrize in Physiology or Medicine has been awarded to Katalin Karikó and Drew Weissman for their discoveries concerning nucleoside base modifications that enabled the development of effective mRNA vaccines against COVID-19.

The best music for writing grants is undoubtedly Jean-Michel Jarre

Imagine handwriting a grant proposal

Scholarship applications for PLMW@POPL 2024 are up! Scholarships include travel, lodging, and attendance for both POPL and the Programming Languages Mentoring Workshop. Please, sign up your undergraduate and early graduate students!

popl24.sigplan.org/home/PLMW-POPL…

'Fun in the Afternoon' will meet S-REPLS at the University of Bristol on Nov 1. Invited talks by Bob Atkey and Ákos Hajdu (Meta/WhatsApp). Consider submitting a talk, or just attending! plrg-bristol.github.io/fir/

I am looking for a PhD student to work on topics which include, but not limited to, category theory, type theory and functional programming.

Deadline for applications at Kent is January.

If you're interested please reach out to me!

Computer Scientists: you need worst-case guarantees
ML engineers: it works in practice
Computer Scientists: yes, but it may fail
ML engineers: it works in practice!
Self-driving car: *suddenly stops in the middle of the highway and turns into a pomegranate*

Missed any of the PLRG::Bristol action yesterday? Don't worry, we got you covered! Here are all the links:

Reflecting on Random Generation -
youtube.com/live/ZQ_U-LANb…

Embedding by Unembedding -
youtube.com/live/ZQ_U-LANb…

Distinguished Paper award -
youtube.com/live/d0zFruedB…

I often think about this excerpt from an interview with Tony Hoare. For a number of different reasons. But most often when I'm thinking about type systems.
(from doi.org/10.1093/logcom… )

7. sheaves

The real 'bitter lesson' is that the more we focus on compute-intensive approaches to solving problems, the less accessible building tools to solve problems becomes for all but the largest of companies, converging toward monopolies

New paper on the arXiv, joint with Caterina Puca Fabrizio Romano Genovese bOb cOeCke

Based on this cute discovery: there are invariants of categories which
- generalise the π₀ and π₁ of groupoids/homotopy 1-types,
- are both trivial at an object iff the object is terminal

お？
cambridge.org/core/journals/…