Fork me on GitHub
#clojure-italy
<
2018-05-22
>
mdallastella07:05:51

L'importante è avere un hook mentale per i nomi.

mdallastella07:05:20

(massima del giorno 😜)

reborg08:05:29

Buon Mental!

bronsa13:05:33

pre-release preview del theorem prover su cui lavoro: http://try.imandra.ai

❤️ 8
4
💯 4
bronsa13:05:57

non condividete in giro, stiamo solo facendolo provare a piccoli gruppi

reborg13:05:08

whoo hoo complimenti!

reborg13:05:19

ci do un occhio a breve

reborg13:05:24

e non condivido

bronsa13:05:31

:thumbsup:

reborg13:05:44

ma chi e' che fa questi bei siti?

bronsa13:05:51

non guardare me :)

bronsa13:05:47

c’e` un timeout di 5/10 minuti sul notebook btw, quindi e` normale che vi si disconnettera` dopo un po’

reborg13:05:59

sembra un python notebook ah ecco

bronsa13:05:07

si` si` e` jupyter

reborg13:05:28

bello comunque, ci do un occhio accurato in serata quando c'e' un po' piu' calma sono curioso 🙂