144 lines
7.5 KiB
HTML
144 lines
7.5 KiB
HTML
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
|
|
<HTML>
|
|
<HEAD>
|
|
<TITLE> [zapps-wg] ANN: Hangouts presentation on DSL Snarky
|
|
</TITLE>
|
|
<LINK REL="Index" HREF="/pipermail/zapps-wg/2018/index.html" >
|
|
<LINK REL="made" HREF="mailto:zapps-wg%40lists.zfnd.org?Subject=Re%3A%20%5Bzapps-wg%5D%20ANN%3A%20Hangouts%20presentation%20on%20DSL%20Snarky&In-Reply-To=%3CCA%2B-Lzu9wR%3Dxu_8KNnRWarNbMZCqg0fLux2SePTwVC8rqm7x94Q%40mail.gmail.com%3E">
|
|
<META NAME="robots" CONTENT="index,nofollow">
|
|
<style type="text/css">
|
|
pre {
|
|
white-space: pre-wrap; /* css-2.1, curent FF, Opera, Safari */
|
|
}
|
|
</style>
|
|
<META http-equiv="Content-Type" content="text/html; charset=us-ascii">
|
|
<LINK REL="Previous" HREF="000367.html">
|
|
<LINK REL="Next" HREF="000362.html">
|
|
</HEAD>
|
|
<BODY BGCOLOR="#ffffff">
|
|
<H1>[zapps-wg] ANN: Hangouts presentation on DSL Snarky</H1>
|
|
<B>Josh Cincinnati</B>
|
|
<A HREF="mailto:zapps-wg%40lists.zfnd.org?Subject=Re%3A%20%5Bzapps-wg%5D%20ANN%3A%20Hangouts%20presentation%20on%20DSL%20Snarky&In-Reply-To=%3CCA%2B-Lzu9wR%3Dxu_8KNnRWarNbMZCqg0fLux2SePTwVC8rqm7x94Q%40mail.gmail.com%3E"
|
|
TITLE="[zapps-wg] ANN: Hangouts presentation on DSL Snarky">josh at z.cash.foundation
|
|
</A><BR>
|
|
<I>Wed Apr 25 11:43:58 EDT 2018</I>
|
|
<P><UL>
|
|
<LI>Previous message (by thread): <A HREF="000367.html">[zapps-wg] ANN: Hangouts presentation on DSL Snarky
|
|
</A></li>
|
|
<LI>Next message (by thread): <A HREF="000362.html">[zapps-wg] Completion of the Powers of Tau
|
|
</A></li>
|
|
<LI> <B>Messages sorted by:</B>
|
|
<a href="date.html#370">[ date ]</a>
|
|
<a href="thread.html#370">[ thread ]</a>
|
|
<a href="subject.html#370">[ subject ]</a>
|
|
<a href="author.html#370">[ author ]</a>
|
|
</LI>
|
|
</UL>
|
|
<HR>
|
|
<!--beginarticle-->
|
|
<PRE>One more quick follow-up; for those who couldn't make it, we recorded the
|
|
presentation and just uploaded it:
|
|
|
|
<A HREF="https://twitter.com/ZcashFoundation/status/989167492575703041">https://twitter.com/ZcashFoundation/status/989167492575703041</A>
|
|
<A HREF="https://youtu.be/h0PUVR0s6Vg">https://youtu.be/h0PUVR0s6Vg</A>
|
|
|
|
Thanks again to Izaak and O1 Labs for presenting!
|
|
|
|
On Fri, Apr 20, 2018 at 3:01 PM, Izaak Meckler <<A HREF="/mailman/listinfo/zapps-wg">izaak at o1labs.org</A>> wrote:
|
|
|
|
><i> Thanks all for attending today, and thanks again to Josh for organizing!
|
|
</I>><i> It was a pleasure. Wanted to follow up with some pointers:
|
|
</I>><i> - Snarky on Github <<A HREF="https://github.com/o1-labs/snarky">https://github.com/o1-labs/snarky</A>>
|
|
</I>><i> - A blog post <<A HREF="https://o1labs.org/blog/posts/snarky.html">https://o1labs.org/blog/posts/snarky.html</A>> on Snarky, and
|
|
</I>><i> a video version <<A HREF="https://www.youtube.com/watch?v=gYn6mTwJriw">https://www.youtube.com/watch?v=gYn6mTwJriw</A>> of that post
|
|
</I>><i>
|
|
</I>><i> Also, O(1) Labs is hiring! You can check out our postings here
|
|
</I>><i> <<A HREF="https://o1labs.org/jobs.html">https://o1labs.org/jobs.html</A>> for both designers and
|
|
</I>><i> engineers/researchers.
|
|
</I>><i>
|
|
</I>><i> On Mon, Apr 9, 2018 at 9:33 AM, Josh Cincinnati <<A HREF="/mailman/listinfo/zapps-wg">josh at z.cash.foundation</A>>
|
|
</I>><i> wrote:
|
|
</I>><i>
|
|
</I>>><i> Hi Izaak/Kobi, I'd be happy to record it via the Zcash Foundation's
|
|
</I>>><i> Google Hangouts Meet setup; should be as simple as flipping a switch, and
|
|
</I>>><i> then I can post it to YouTube afterward.
|
|
</I>>><i>
|
|
</I>>><i> On Mon, Apr 9, 2018 at 12:30 PM, Izaak Meckler via zapps-wg <
|
|
</I>>><i> <A HREF="/mailman/listinfo/zapps-wg">zapps-wg at lists.z.cash.foundation</A>> wrote:
|
|
</I>>><i>
|
|
</I>>>><i> @Daira — yes, thank you for the correction! It is as you said 17:00 UTC
|
|
</I>>>><i> / 10:00 PDT. And @Kobi, I’ll see what we can do about recording, shouldn’t
|
|
</I>>>><i> be too much trouble.
|
|
</I>>>><i>
|
|
</I>>>><i> On April 8, 2018 at 10:51:44 PM, Kobi Gurkan (<A HREF="/mailman/listinfo/zapps-wg">kobi at qed-it.com</A>) wrote:
|
|
</I>>>><i>
|
|
</I>>>><i> Looking forward as well! Is this going to be recorded? I'd love to show
|
|
</I>>>><i> it to other team members who won't be present.
|
|
</I>>>><i>
|
|
</I>>>><i> On Sun, Apr 8, 2018, 22:43 Daira Hopwood via zapps-wg
|
|
</I>>>><i> <<A HREF="/mailman/listinfo/zapps-wg">zapps-wg at lists.z.cash.foundation</A>> wrote:
|
|
</I>>>><i>
|
|
</I>>>>><i> On 03/04/18 21:13, Izaak Meckler via zapps-wg wrote:
|
|
</I>>>>><i> > Hi all,
|
|
</I>>>>><i> >
|
|
</I>>>>><i> > Excited to announce we will be giving a google hangouts talk to the
|
|
</I>>>>><i> members of the
|
|
</I>>>>><i> > zapps-wg list on our OCaml DSL snarky for writing SNARKs. An abstract
|
|
</I>>>>><i> of the talk and
|
|
</I>>>>><i> > details about time and “location” follow.
|
|
</I>>>>><i> >
|
|
</I>>>>><i> > *Abstract*: While zk-SNARKs represent one of the most powerful ways
|
|
</I>>>>><i> to deploy verifiable
|
|
</I>>>>><i> > computations, programming directly with is comparable to writing
|
|
</I>>>>><i> machine code by hand, and
|
|
</I>>>>><i> > trusting "SNARK machine code" is a lot like trusting a compiled
|
|
</I>>>>><i> binary without the source
|
|
</I>>>>><i> > code. Over the past few months, O(1) Labs has been developing Snarky,
|
|
</I>>>>><i> a high-level DSL
|
|
</I>>>>><i> > that enables complex applications to be written concisely and
|
|
</I>>>>><i> correctly. In this talk,
|
|
</I>>>>><i> > Izaak will provide an explanation of the programming model and go
|
|
</I>>>>><i> over examples of the
|
|
</I>>>>><i> > developer experience of programming in Snarky.
|
|
</I>>>>><i> > ​
|
|
</I>>>>><i> > *Time*: 4/20, 5PM GMT <<A HREF="http://airmail.calendar/2018-">http://airmail.calendar/2018-</A>
|
|
</I>>>>><i> 04-20%2010:00:00%20PDT> (10AM PST
|
|
</I>>>>><i> > <<A HREF="http://airmail.calendar/2018-04-03%2010:00:00%20PDT">http://airmail.calendar/2018-04-03%2010:00:00%20PDT</A>>)
|
|
</I>>>>><i>
|
|
</I>>>>><i> Just to clarify, that is 17:00 UTC / 10:00 PDT?
|
|
</I>>>>><i>
|
|
</I>>>>><i> > *Format*: Google Hangout, at this link:
|
|
</I>>>>><i> <A HREF="https://meet.google.com/nyo-ifsa-mqm">https://meet.google.com/nyo-ifsa-mqm</A>
|
|
</I>>>>><i>
|
|
</I>>>>><i> Looking forward to it!
|
|
</I>>>>><i>
|
|
</I>>>>><i> --
|
|
</I>>>>><i> Daira Hopwood ⚧Ⓐ
|
|
</I>>>>><i>
|
|
</I>>>><i>
|
|
</I>>><i>
|
|
</I>><i>
|
|
</I>
|
|
</PRE>
|
|
|
|
<!--endarticle-->
|
|
<HR>
|
|
<P><UL>
|
|
<!--threads-->
|
|
<LI>Previous message (by thread): <A HREF="000367.html">[zapps-wg] ANN: Hangouts presentation on DSL Snarky
|
|
</A></li>
|
|
<LI>Next message (by thread): <A HREF="000362.html">[zapps-wg] Completion of the Powers of Tau
|
|
</A></li>
|
|
<LI> <B>Messages sorted by:</B>
|
|
<a href="date.html#370">[ date ]</a>
|
|
<a href="thread.html#370">[ thread ]</a>
|
|
<a href="subject.html#370">[ subject ]</a>
|
|
<a href="author.html#370">[ author ]</a>
|
|
</LI>
|
|
</UL>
|
|
|
|
<hr>
|
|
<a href="/mailman/listinfo/zapps-wg">More information about the zapps-wg
|
|
mailing list</a><br>
|
|
</body></html>
|