Clojurians
#clojure-italy
<
2018-05-23
>

This page is not created by, affiliated with, or supported by Slack Technologies, Inc.

manuel07:05:53

@bronsa visto solo ora: wow!

gon07:05:17

@bronsa impressive!

reborg08:05:38

Ho letto un po' del tutorial, molto interessante!

justalanm10:05:59

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

bronsa10:05:32

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)

bronsa10:05:41

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

reborg10:05:18

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?

manuel10:05:10

ribadisco il mio "wow!" :slightly_smiling_face:

mdallastella10:05:52

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

mdallastella10:05:29

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

reborg10:05:33

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

mdallastella15:05:18

Yep, ricordo di esserci stato "da piccolo" :blush:

mbarbieri16:05:23

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

mdallastella16:05:31

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

mbarbieri16:05:34

manca la parte in cui prendo in giro javascript… :stuck_out_tongue: