deepo boosted
OCamlPro  

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

0
deepo  

youtu.be/T0DuwA9khhc

0
deepo  

aliciarvre.wordpress.com/2020/

0
deepo boosted
Jérémie Zimmermann 🎶💗🧀  

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

0
deepo boosted
Professeur Phie D'Orléans  

Moi je trouve ça très amusant.

0
deepo boosted
Emerge Heart - #FreeAssange  

Now with English subtitles!

Bengian - Julian Assange

video.emergeheart.info/videos/

#hiphop #rap #german #FreeAssange #DontExtraditeAssange #Assange

0
deepo boosted
David Revoy  

:pt_happy: Illustration for Peertube done during Confin’atelier today.
#krita #peertube #contribution #ccby

1+
deepo boosted
The_Gibson{BBS88/net93/94}  

I love Adafruit's Capcha system.

0
deepo boosted
malaĉa maman chat  

tired: dépôt git
wired: gîte de code

0
deepo boosted
Stefano Zacchiroli  

« Conversations with a six-year-old on #FunctionalProgramming » byorgey.wordpress.com/2018/05/ via @wordpressdotcom

0
deepo  

sciencetonnante.wordpress.com/

1
deepo boosted
Andrew Miloradovsky  

shitpost 

1+
deepo  

reflets.info/articles/un-inspe

1
deepo  

laquadrature.net/2020/04/17/pa

0
deepo boosted
a whole new level of freak  

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

1
deepo boosted
Daniel  

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

0
deepo  

@nathan @Xil @Alies @emersion hello

1
deepo boosted
Khrys  

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/

1+
deepo boosted
warezwolf  

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

1+
deepo boosted
Drew DeVault  

github/gitlab/sr.ht performance comparison

news.ycombinator.com/item?id=2

1+
Show more
Mastodon - Zapashcanon

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

Trending now

Resources

Developers

What is Mastodon?

mastodon.zapashcanon.fr

More…