@bronsa visto solo ora: wow!

@bronsa impressive!

Ho letto un po' del tutorial, molto interessante!

@bronsa molto cool, ma qual è il vostro target?

per il momento stiamo sviluppando la maggior parte del tooling riguardo al settore finanziario (vedi e.g. https://medium.com/imandra/machine-reasonable-apis-and-regulations-20f29e1bd4cf)

ma imandra di per se` puo` essere usato per qualsiasi dominio

essenzialmente, voi scrivete le properties del sistema basandovi sulla regulation esistente. Banca-X scrive codice in imandra per fare le proprie transazioni. Possono poi runnare il proof assistant per verificare che il loro software e' corretto?

ribadisco il mio "wow!" 🙂

Se qualcuno è interessato, il 13/06 terremo un talk "opinionato" su Clojure presso Programmers is Padua

@mbarbieri m'hai fregato il live coding, pensavo di fare un esempio con un csv pure io

Padova e' alla fine dove inizio' tutto... vi ricordate il Webbit?

Yep, ricordo di esserci stato "da piccolo" 😊

@mdallastella puoi farlo anche tu, non ho mica l’esclusiva 😄 tanto ci saranno persone diverse

@mbarbieri Sì, certo! 😜 Ho visto oggi il tuo intervento, complimenti.

manca la parte in cui prendo in giro javascript… 😛