This page is not created by, affiliated with, or supported by Slack Technologies, Inc.
2018-12-30
Channels
- # announcements (2)
- # beginners (87)
- # boot-dev (9)
- # cider (3)
- # cljs-dev (72)
- # clojure (81)
- # clojure-europe (1)
- # clojure-france (1)
- # clojure-italy (1)
- # clojure-nl (2)
- # clojure-russia (212)
- # clojure-serbia (3)
- # clojure-spec (4)
- # clojure-uk (31)
- # clojurescript (82)
- # cursive (15)
- # datascript (2)
- # datomic (27)
- # dirac (11)
- # events (6)
- # fulcro (12)
- # hoplon (3)
- # jobs-discuss (1)
- # klipse (12)
- # off-topic (50)
- # overtone (8)
- # reagent (20)
- # reitit (7)
- # shadow-cljs (1)
Alcuni dei talks che ho guardato in questi giorni di festa… (riflettono un paio di temi, logic programming e formal verification) The Reemergence of Datalog https://www.infoq.com/presentations/Datalog CLP(SMT) – Nada Amin - YouTube https://www.youtube.com/watch?v=KsC_9_-NuQg Are we there yet? Twenty years of formal verification in critical software - https://www.youtube.com/watch?v=Ctag0OAOcg8 Smart Contracts and Formal Verification with Z3 with Pact - https://www.youtube.com/watch?v=l7XuSuEe-Yg OCaml, REborn: fullstack applications with ReasonML – António Monteiro - https://www.youtube.com/watch?v=XLnWMfdbQEo Analyzing Programs with Z3 - http://Jelv.is - https://www.youtube.com/watch?v=ruNFcH-KibY