@Daira — yes, thank you for the correction! It is as you said 17:00 UTC / 10:00 PDT. And @Kobi, I’ll see what we can do about recording, shouldn’t be too much trouble.
On April 8, 2018 at 10:51:44 PM, Kobi Gurkan (k...@qed-it.com) wrote: Looking forward as well! Is this going to be recorded? I'd love to show it to other team members who won't be present. On Sun, Apr 8, 2018, 22:43 Daira Hopwood via zapps-wg <zapps...@lists.z.cash.foundation> wrote: > On 03/04/18 21:13, Izaak Meckler via zapps-wg wrote: > > Hi all, > > > > Excited to announce we will be giving a google hangouts talk to the > members of the > > zapps-wg list on our OCaml DSL snarky for writing SNARKs. An abstract of > the talk and > > details about time and “location” follow. > > > > *Abstract*: While zk-SNARKs represent one of the most powerful ways to > deploy verifiable > > computations, programming directly with is comparable to writing machine > code by hand, and > > trusting "SNARK machine code" is a lot like trusting a compiled binary > without the source > > code. Over the past few months, O(1) Labs has been developing Snarky, a > high-level DSL > > that enables complex applications to be written concisely and correctly. > In this talk, > > Izaak will provide an explanation of the programming model and go over > examples of the > > developer experience of programming in Snarky. > > > > *Time*: 4/20, 5PM GMT < > http://airmail.calendar/2018-04-20%2010:00:00%20PDT> (10AM PST > > <http://airmail.calendar/2018-04-03%2010:00:00%20PDT>) > > Just to clarify, that is 17:00 UTC / 10:00 PDT? > > > *Format*: Google Hangout, at this link: > https://meet.google.com/nyo-ifsa-mqm > > Looking forward to it! > > -- > Daira Hopwood ⚧Ⓐ >
