Giorn!

o/

@richiardiandrea niente conj per me quest'anno... difficile giustificare una conferenza su solo clojure non facendo clojure a lavoro

Ascoltato Ghadi (http://blog.cognitect.com/cognicast/144). Successo del Cognicast nel rimuovere dalla conversazione quasi il 100% di Clojure!

ghadi e` interessante anche se non parla di clojure :)

Bah, si qualcosa. Speravo piu' sostanza

@bronsa di cosa ti occupi a lavoro?

http://imandra.ai

formal verification

fico, baldan sarà orgoglio di te immagino 😄

ho mollato unipd 3 anni fa, prima di laurearmi

ah ok 🙂