A Reference From Andrej Bauer's Recent Talk on Countable Reals Andrej Bauer gave a talk today in the topos institute colloquium (video here) announcing a proof that the dedekind reals can be countable in the absence of LEM and CC.
At roughly the 27 minute mark, he mentions a "nice constructive news post" by Ingo Blechschmidt in which he reviews "all the ways that don't work". This question, then, is twofold:
First, is there a link to this note somewhere? I would love to read it, but after some cursory googling I haven't been able to find it.
Second, and relatedly, is there an actual "constructive news" website where this note was posted? I know that a lot of discussions happen in Zulip chats, and I wouldn't be surprised to learn that this note was posted in one of those. It would be nice if there were a slightly more "traditional" place where new updates in constructive mathematics were posted, but again, some cursory googling hasn't brought anything up.
Thanks in advance, and sorry for the particularly soft question! ^_^

The constructive news google group doesn’t appear in Google search results, it seems. The post was from June 10, 2018, and is available at this link: https://groups.google.com/g/constructivenews/c/jSvzqu1LUis
