Fork me on GitHub
#clojure-italy
<
2018-12-30
>
reborg16:12:31

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

👍 4