deepo boosted

We are pleased to announce the arrival of Sylvain Conchon in our team! Chief Scientific Officer in Formal Methods at OCamlPro, co-creator of Alt-Ergo and teacher of OCaml language in universities for about 20 years, Sylvain shares thoughts on interactions between industry and research labs, Formal Methods as an Industrial Technique and his vision of the Ocaml language.
Take a read to his interview on our blog: ocamlpro.com/2020/06/05/interv

deepo boosted

via @MartySilkHack@nitter.net

FYI Judge Vanessa Baraitser read a pre-written ruling on delaying the case. Which is obvious given she had new hearing dates ready to go #WikiLeaks #assange

> So apparently 3 weeks of extradition hearing postponed until possibly early November. #FreeAssange #DontExtraditeAssange

deepo boosted
deepo boosted
deepo boosted
deepo boosted
deepo boosted
deepo boosted
deepo boosted

shitpost 

deepo boosted

Due to the fall in air pollution you can see the spectre of communism haunting Europe

deepo boosted

Tant que les bars et les restaurants ne seront pas réouverts, je ne me considérerai pas en déconfinement.

Le plus important ce n’est pas le travail mais passer de bons moments avec ces potes.

#confinement #SarsCoV2 #coronavirus #covid19 #politique #travail #loisir #amis

deepo boosted

Free Foucault

freefoucault.eth.link/

Free Foucault est une plateforme décentralisée et non-censurable donnant accès à une version restaurée des enregistrements - ainsi débarrassés de leurs grésillements - des cours dispensés par Michel Foucault au Collège de France entre 1972 et 1984.

Waaaah \o/

deepo boosted

igorrr, the sort of music that can skip slightly due to a dodgy bluetooth connection and you don't really notice

deepo boosted
Show more
Mastodon - Zapashcanon

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!