Let's use deep learning they said. It will be better than humans they said.

Another straightforward exemple of why AI safety must be of concern.

Grad school etiquette Show more

Hello everyone!
I'm a first year PhD student in Computer Science, formal methods.

During my thesis, I want to learn how to bring trust in software, and I firmly believe that all the tools we already developed in formal verification can be leveraged for that goal.

Everyone seems to be really hyped about deep learning, but that kind of software is really vulnerable. I want to discover how we can cope with that.

So, let's discuss!

Scholar Social

NOTICE: Registration on is open to anyone who is willing to abide by our Community Standards. Email scholar dot social at protonmail dot com if you want an invite!

Federated microblogging for academics

Scholar Social is a microblogging platform for researchers, grad students, librarians, archivists, undergrads, academically inclined high schoolers, educators of all levels, journal editors, research assistants, professors, administrators—anyone involved in academia who is willing to engage with others respectfully.

We strive to be a safe space for queer people and other minorities in academia, recognizing that there can only be academic freedom where the existence and validity of interlocutors' identities is taken as axiomatic.

"An academic microblog that you can be proud to put on the last slide of a presentation at a conference"

"Official" monthly journal club!

(Participation is, of course, optional)

Scholar Social features a monthly "official" journal club, in which we try to read and comment on a paper of interest.

Any user of Scholar Social can suggest an article by sending the DOI by direct message to and one will be chosen by random lottery on the last day of the month. We ask that you only submit articles that are from *outside* your own field of study to try to ensure that the papers we read are accessible and interesting to non-experts.

Read more ...