This page is not created by, affiliated with, or supported by Slack Technologies, Inc.
2018-05-23
Channels
- # aws (4)
- # beginners (14)
- # boot (7)
- # cider (75)
- # clara (87)
- # cljsrn (6)
- # clojure (115)
- # clojure-berlin (2)
- # clojure-dusseldorf (2)
- # clojure-gamedev (8)
- # clojure-italy (15)
- # clojure-russia (9)
- # clojure-spec (46)
- # clojure-uk (195)
- # clojurescript (24)
- # css (44)
- # datascript (19)
- # datomic (18)
- # emacs (6)
- # fulcro (57)
- # hoplon (1)
- # jobs (3)
- # jobs-discuss (37)
- # jobs-rus (3)
- # luminus (6)
- # lumo (28)
- # off-topic (24)
- # onyx (11)
- # planck (8)
- # re-frame (31)
- # remote-jobs (12)
- # rum (10)
- # schema (4)
- # shadow-cljs (28)
- # specter (24)
- # sql (3)
- # tools-deps (34)
- # vim (43)
- # yada (10)
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)
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?
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
Yep, ricordo di esserci stato "da piccolo" 😊
@mdallastella puoi farlo anche tu, non ho mica l’esclusiva 😄 tanto ci saranno persone diverse