mailman-lists-archive/pipermail/zapps-wg/2018/000370.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 &lt;<A HREF="/mailman/listinfo/zapps-wg">izaak at o1labs.org</A>&gt; wrote:
&gt;<i> Thanks all for attending today, and thanks again to Josh for organizing!
</I>&gt;<i> It was a pleasure. Wanted to follow up with some pointers:
</I>&gt;<i> - Snarky on Github &lt;<A HREF="https://github.com/o1-labs/snarky">https://github.com/o1-labs/snarky</A>&gt;
</I>&gt;<i> - A blog post &lt;<A HREF="https://o1labs.org/blog/posts/snarky.html">https://o1labs.org/blog/posts/snarky.html</A>&gt; on Snarky, and
</I>&gt;<i> a video version &lt;<A HREF="https://www.youtube.com/watch?v=gYn6mTwJriw">https://www.youtube.com/watch?v=gYn6mTwJriw</A>&gt; of that post
</I>&gt;<i>
</I>&gt;<i> Also, O(1) Labs is hiring! You can check out our postings here
</I>&gt;<i> &lt;<A HREF="https://o1labs.org/jobs.html">https://o1labs.org/jobs.html</A>&gt; for both designers and
</I>&gt;<i> engineers/researchers.
</I>&gt;<i>
</I>&gt;<i> On Mon, Apr 9, 2018 at 9:33 AM, Josh Cincinnati &lt;<A HREF="/mailman/listinfo/zapps-wg">josh at z.cash.foundation</A>&gt;
</I>&gt;<i> wrote:
</I>&gt;<i>
</I>&gt;&gt;<i> Hi Izaak/Kobi, I'd be happy to record it via the Zcash Foundation's
</I>&gt;&gt;<i> Google Hangouts Meet setup; should be as simple as flipping a switch, and
</I>&gt;&gt;<i> then I can post it to YouTube afterward.
</I>&gt;&gt;<i>
</I>&gt;&gt;<i> On Mon, Apr 9, 2018 at 12:30 PM, Izaak Meckler via zapps-wg &lt;
</I>&gt;&gt;<i> <A HREF="/mailman/listinfo/zapps-wg">zapps-wg at lists.z.cash.foundation</A>&gt; wrote:
</I>&gt;&gt;<i>
</I>&gt;&gt;&gt;<i> @Daira &#8212; yes, thank you for the correction! It is as you said 17:00 UTC
</I>&gt;&gt;&gt;<i> / 10:00 PDT. And @Kobi, I&#8217;ll see what we can do about recording, shouldn&#8217;t
</I>&gt;&gt;&gt;<i> be too much trouble.
</I>&gt;&gt;&gt;<i>
</I>&gt;&gt;&gt;<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>&gt;&gt;&gt;<i>
</I>&gt;&gt;&gt;<i> Looking forward as well! Is this going to be recorded? I'd love to show
</I>&gt;&gt;&gt;<i> it to other team members who won't be present.
</I>&gt;&gt;&gt;<i>
</I>&gt;&gt;&gt;<i> On Sun, Apr 8, 2018, 22:43 Daira Hopwood via zapps-wg
</I>&gt;&gt;&gt;<i> &lt;<A HREF="/mailman/listinfo/zapps-wg">zapps-wg at lists.z.cash.foundation</A>&gt; wrote:
</I>&gt;&gt;&gt;<i>
</I>&gt;&gt;&gt;&gt;<i> On 03/04/18 21:13, Izaak Meckler via zapps-wg wrote:
</I>&gt;&gt;&gt;&gt;<i> &gt; Hi all,
</I>&gt;&gt;&gt;&gt;<i> &gt;
</I>&gt;&gt;&gt;&gt;<i> &gt; Excited to announce we will be giving a google hangouts talk to the
</I>&gt;&gt;&gt;&gt;<i> members of the
</I>&gt;&gt;&gt;&gt;<i> &gt; zapps-wg list on our OCaml DSL snarky for writing SNARKs. An abstract
</I>&gt;&gt;&gt;&gt;<i> of the talk and
</I>&gt;&gt;&gt;&gt;<i> &gt; details about time and &#8220;location&#8221; follow.
</I>&gt;&gt;&gt;&gt;<i> &gt;
</I>&gt;&gt;&gt;&gt;<i> &gt; *Abstract*: While zk-SNARKs represent one of the most powerful ways
</I>&gt;&gt;&gt;&gt;<i> to deploy verifiable
</I>&gt;&gt;&gt;&gt;<i> &gt; computations, programming directly with is comparable to writing
</I>&gt;&gt;&gt;&gt;<i> machine code by hand, and
</I>&gt;&gt;&gt;&gt;<i> &gt; trusting &quot;SNARK machine code&quot; is a lot like trusting a compiled
</I>&gt;&gt;&gt;&gt;<i> binary without the source
</I>&gt;&gt;&gt;&gt;<i> &gt; code. Over the past few months, O(1) Labs has been developing Snarky,
</I>&gt;&gt;&gt;&gt;<i> a high-level DSL
</I>&gt;&gt;&gt;&gt;<i> &gt; that enables complex applications to be written concisely and
</I>&gt;&gt;&gt;&gt;<i> correctly. In this talk,
</I>&gt;&gt;&gt;&gt;<i> &gt; Izaak will provide an explanation of the programming model and go
</I>&gt;&gt;&gt;&gt;<i> over examples of the
</I>&gt;&gt;&gt;&gt;<i> &gt; developer experience of programming in Snarky.
</I>&gt;&gt;&gt;&gt;<i> &gt; &#8203;
</I>&gt;&gt;&gt;&gt;<i> &gt; *Time*: 4/20, 5PM GMT &lt;<A HREF="http://airmail.calendar/2018-">http://airmail.calendar/2018-</A>
</I>&gt;&gt;&gt;&gt;<i> 04-20%2010:00:00%20PDT&gt; (10AM PST
</I>&gt;&gt;&gt;&gt;<i> &gt; &lt;<A HREF="http://airmail.calendar/2018-04-03%2010:00:00%20PDT">http://airmail.calendar/2018-04-03%2010:00:00%20PDT</A>&gt;)
</I>&gt;&gt;&gt;&gt;<i>
</I>&gt;&gt;&gt;&gt;<i> Just to clarify, that is 17:00 UTC / 10:00 PDT?
</I>&gt;&gt;&gt;&gt;<i>
</I>&gt;&gt;&gt;&gt;<i> &gt; *Format*: Google Hangout, at this link:
</I>&gt;&gt;&gt;&gt;<i> <A HREF="https://meet.google.com/nyo-ifsa-mqm">https://meet.google.com/nyo-ifsa-mqm</A>
</I>&gt;&gt;&gt;&gt;<i>
</I>&gt;&gt;&gt;&gt;<i> Looking forward to it!
</I>&gt;&gt;&gt;&gt;<i>
</I>&gt;&gt;&gt;&gt;<i> --
</I>&gt;&gt;&gt;&gt;<i> Daira Hopwood &#9895;&#9398;
</I>&gt;&gt;&gt;&gt;<i>
</I>&gt;&gt;&gt;<i>
</I>&gt;&gt;<i>
</I>&gt;<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>