One more quick follow-up; for those who couldn't make it, we recorded the presentation and just uploaded it:
https://twitter.com/ZcashFoundation/status/989167492575703041 https://youtu.be/h0PUVR0s6Vg Thanks again to Izaak and O1 Labs for presenting! On Fri, Apr 20, 2018 at 3:01 PM, Izaak Meckler <iz...@o1labs.org> wrote: > Thanks all for attending today, and thanks again to Josh for organizing! > It was a pleasure. Wanted to follow up with some pointers: > - Snarky on Github <https://github.com/o1-labs/snarky> > - A blog post <https://o1labs.org/blog/posts/snarky.html> on Snarky, and > a video version <https://www.youtube.com/watch?v=gYn6mTwJriw> of that post > > Also, O(1) Labs is hiring! You can check out our postings here > <https://o1labs.org/jobs.html> for both designers and > engineers/researchers. > > On Mon, Apr 9, 2018 at 9:33 AM, Josh Cincinnati <j...@z.cash.foundation> > wrote: > >> Hi Izaak/Kobi, I'd be happy to record it via the Zcash Foundation's >> Google Hangouts Meet setup; should be as simple as flipping a switch, and >> then I can post it to YouTube afterward. >> >> On Mon, Apr 9, 2018 at 12:30 PM, Izaak Meckler via zapps-wg < >> zapps...@lists.z.cash.foundation> wrote: >> >>> @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 ⚧Ⓐ >>>> >>> >> >
