<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; color: rgb(0, 0, 0); font-size: 14px; font-family: Calibri, sans-serif;">
<div>
<div>Great! Thank you very much for your support!</div>
<div><br>
</div>
<div>Best,</div>
<div>Sebastian</div>
<div>
<div id="MAC_OUTLOOK_SIGNATURE"></div>
</div>
</div>
<div><br>
</div>
<span id="OLK_SRC_BODY_SECTION">
<div style="font-family:Calibri; font-size:12pt; text-align:left; color:black; BORDER-BOTTOM: medium none; BORDER-LEFT: medium none; PADDING-BOTTOM: 0in; PADDING-LEFT: 0in; PADDING-RIGHT: 0in; BORDER-TOP: #b5c4df 1pt solid; BORDER-RIGHT: medium none; PADDING-TOP: 3pt">
<span style="font-weight:bold">From: </span>John Criswell<br>
<span style="font-weight:bold">Date: </span>Thursday 25 June 2015 00:04<br>
<span style="font-weight:bold">To: </span>Sebastian Blessing, "<a href="mailto:LLVMdev@cs.uiuc.edu">LLVMdev@cs.uiuc.edu</a>"<br>
<span style="font-weight:bold">Subject: </span>Re: FW: [LLVMdev] Pony Language: LLVM Project<br>
</div>
<div><br>
</div>
<div>
<div bgcolor="#FFFFFF" text="#000000">
<div class="moz-cite-prefix">Dear Sebastian,<br>
<br>
I've added an entry to the ProjectsWithLLVM page (<a class="moz-txt-link-freetext" href="https://urldefense.proofpoint.com/v2/url?u=http-3A__llvm.org_ProjectsWithLLVM_-23pony&d=AwMGaQ&c=8hUWFZcy2Z-Za5rBPlktOQ&r=Mfk2qtn1LTDThVkh6-oGglNfMADXfJdty4_bhmuhMHA&m=5HiSEay3MGVFeKwjvjBh_WDLLIH7MKZ7qxmawXg3KrM&s=uLIkaGS11uC65bCrRmWO-qEQ16uvG-TCKPcglqG_BHs&e=">http://llvm.org/ProjectsWithLLVM/#pony</a>). Please take a look; I modified some of the text to fix spelling and punctuation.
If something needs to be adjusted, please let me know.<br>
<br>
Regards,<br>
<br>
John Criswell<br>
<br>
On 6/23/15 10:57 AM, Sebastian Blessing wrote:<br>
</div>
<blockquote cite="mid:D265F6BA-1F18-4B61-9DF8-341D94E9C392@causality.io" type="cite">
<meta http-equiv="Context-Type" content="text/html; charset=utf-8">
<div>
<div>
<div>Dear John,</div>
<div><br>
</div>
<div>Unfortunately, I haven’t received any feedback for this. Could you help me out on this?</div>
<div><br>
</div>
<div>Best,</div>
<div>Sebastian</div>
<div></div>
</div>
</div>
<div><br>
</div>
<span id="OLK_SRC_BODY_SECTION">
<div><span>From: </span>Sebastian Blessing<br>
<span>Date: </span>Friday 8 May 2015 13:12<br>
<span>To: </span>John Criswell<br>
<span>Subject: </span>Re: [LLVMdev] Pony Language: LLVM Project<br>
</div>
<div><br>
</div>
<div>
<div>
<div>
<div>Dear John,</div>
<div><br>
</div>
<div>Eric mentioned you are making frequent updates to the llvm.org website. For Pony, we could add something like:</div>
<div><br>
</div>
<div>
<div>Pony Programming Language</div>
<div><br>
</div>
<div>By <a href=“<a moz-do-not-send="true" href="https://urldefense.proofpoint.com/v2/url?u=https-3A__github.com_smackers_smack_wiki_Smackers-2522-253Esmackers-253C_a&d=AwMGaQ&c=8hUWFZcy2Z-Za5rBPlktOQ&r=Mfk2qtn1LTDThVkh6-oGglNfMADXfJdty4_bhmuhMHA&m=5HiSEay3MGVFeKwjvjBh_WDLLIH7MKZ7qxmawXg3KrM&s=fZUs4OzFgtEmUj0I8FVbUYy_k6Bg86icAkbYBV2XBFs&e=">http://www.ponylang.org”>the Pony Development Team</a</a>></div>
<div><br>
</div>
<div>Pony is an object-oriented, actor-model, capabilities-secure, high performance programming language. It emphasises a concurrent mindset by extending the class model with the actor model, such that actors are first-class citizens. The language is statically
typed, type- and memory-safe and comes with a collection of powerful guarantees: No data races, no uncaught exceptions, no deadlocks. Pony implements a mark-and-don’t-sweep garbage collector without requiring generations or read and write barriers. There is
no “stop-the-world” step required. All message passing between actors is causal.</div>
</div>
<div><br>
</div>
<div>Do you want me to submit a patch for this, or would you like to update the website?</div>
<div><br>
</div>
<div>Greatly appreciate your support,</div>
<div>Sebastian</div>
<div></div>
</div>
<div><br>
</div>
<span id="OLK_SRC_BODY_SECTION">
<div><span>From: </span>Eric Christopher<br>
<span>Date: </span>Friday 8 May 2015 00:04<br>
<span>To: </span>Sebastian Blessing, "LLVM Developers Mailing List (<a moz-do-not-send="true" href="mailto:llvmdev@cs.uiuc.edu">llvmdev@cs.uiuc.edu</a>)", Tanya Lattner, John Criswell<br>
<span>Subject: </span>Re: [LLVMdev] Pony Language: LLVM Project<br>
</div>
<div><br>
</div>
<div>
<div>
<div dir="ltr">You can take a look at:
<div><br>
</div>
<div><a moz-do-not-send="true" href="https://urldefense.proofpoint.com/v2/url?u=http-3A__llvm.org_viewvc_llvm-2Dproject_www_trunk_&d=AwMGaQ&c=8hUWFZcy2Z-Za5rBPlktOQ&r=Mfk2qtn1LTDThVkh6-oGglNfMADXfJdty4_bhmuhMHA&m=5HiSEay3MGVFeKwjvjBh_WDLLIH7MKZ7qxmawXg3KrM&s=JIzUdfWckOlg7ZuY1eMk0qYgY63dzDAkw5eDUdGLJCQ&e=">http://llvm.org/viewvc/llvm-project/www/trunk/</a></div>
<div><br>
</div>
<div>which is the repository for it and you can access it via svn. I know John adds things to the website fairly frequently as well.</div>
<div><br>
</div>
<div>-eric<br>
<br>
<div class="gmail_quote">On Thu, May 7, 2015 at 2:44 PM Sebastian Blessing <<a moz-do-not-send="true" href="mailto:sebastian@causality.io" target="_blank">sebastian@causality.io</a>> wrote:<br>
<blockquote class="gmail_quote">
<div>
<div>
<div>Thank you, Eric.</div>
<div><br>
</div>
<div>Could you point me to the repository for the website where I can submit the patch to? </div>
<div><br>
</div>
<div>Thanks,</div>
<div>Sebastian</div>
<div></div>
</div>
<div><br>
</div>
<span>
<div><span>From: </span>Eric Christopher<br>
<span>Date: </span>Thursday 7 May 2015 23:31<br>
<span>To: </span>Sebastian Blessing, "<a moz-do-not-send="true" href="mailto:llvmdev@cs.uiuc.edu" target="_blank">llvmdev@cs.uiuc.edu</a>"<br>
<span>Subject: </span>Re: [LLVMdev] Pony Language: LLVM Project<br>
</div>
</span></div>
<div><span>
<div><br>
</div>
<div>
<div>
<div dir="ltr">Seems reasonable. A patch to the site would be appreciated.<br>
<br>
-eric<br>
</div>
<br>
<div class="gmail_quote">On Thu, May 7, 2015 at 2:29 PM Sebastian Blessing <<a moz-do-not-send="true" href="mailto:sebastian@causality.io" target="_blank">sebastian@causality.io</a>> wrote:<br>
<blockquote class="gmail_quote">
<div>
<div>Dear LLVM community,</div>
<div><br>
</div>
<div>I am affiliated with the design and development of the <a moz-do-not-send="true" href="https://urldefense.proofpoint.com/v2/url?u=http-3A_www.ponylang.org&d=AwMGaQ&c=8hUWFZcy2Z-Za5rBPlktOQ&r=Mfk2qtn1LTDThVkh6-oGglNfMADXfJdty4_bhmuhMHA&m=5HiSEay3MGVFeKwjvjBh_WDLLIH7MKZ7qxmawXg3KrM&s=XsjPPmcXDgAylrWUnUhM1_MTF4lvt2m_ZrsPUoEOAS4&e=" target="_blank">
Pony</a> programming language, which was recently published and has since been discussed on
<a moz-do-not-send="true" href="https://urldefense.proofpoint.com/v2/url?u=https-3A__news.ycombinator.com_item-3Fid-3D9482483&d=AwMGaQ&c=8hUWFZcy2Z-Za5rBPlktOQ&r=Mfk2qtn1LTDThVkh6-oGglNfMADXfJdty4_bhmuhMHA&m=5HiSEay3MGVFeKwjvjBh_WDLLIH7MKZ7qxmawXg3KrM&s=5mP0lCdwTXZtuafPwmvGP0GIkvSMFV3nDyuqJTyqA3M&e=" target="_blank">
hacker news</a>, reddit <a moz-do-not-send="true" href="https://urldefense.proofpoint.com/v2/url?u=http-3A__www.reddit.com_r_ponylang&d=AwMGaQ&c=8hUWFZcy2Z-Za5rBPlktOQ&r=Mfk2qtn1LTDThVkh6-oGglNfMADXfJdty4_bhmuhMHA&m=5HiSEay3MGVFeKwjvjBh_WDLLIH7MKZ7qxmawXg3KrM&s=4duOwxY2OGV9kqD1OAMhkfQNvThFutiR7FvmkWXPjjc&e=" target="_blank">
[1]</a> <a moz-do-not-send="true" href="https://urldefense.proofpoint.com/v2/url?u=https-3A__www.reddit.com_r_rust_comments_34rszb_pony-5Ftype-5Fand-5Fmemory-5Fsafe-5Flanguage_&d=AwMGaQ&c=8hUWFZcy2Z-Za5rBPlktOQ&r=Mfk2qtn1LTDThVkh6-oGglNfMADXfJdty4_bhmuhMHA&m=5HiSEay3MGVFeKwjvjBh_WDLLIH7MKZ7qxmawXg3KrM&s=8xfw-PMia8S-8xh9Fd7-J3qL3JXvEeDSoPkComoba8g&e=" target="_blank">
[2]</a>, <a moz-do-not-send="true" href="https://urldefense.proofpoint.com/v2/url?u=http-3A__lambda-2Dthe-2Dultimate.org_node_5148&d=AwMGaQ&c=8hUWFZcy2Z-Za5rBPlktOQ&r=Mfk2qtn1LTDThVkh6-oGglNfMADXfJdty4_bhmuhMHA&m=5HiSEay3MGVFeKwjvjBh_WDLLIH7MKZ7qxmawXg3KrM&s=LJT7mvrp6L9dS6WEHn89uAm1SwA_iA-gZtij4Cb07nY&e=" target="_blank">
lambda the ultimate</a> and gained some momentum. </div>
<div><br>
</div>
<div>Short abstract of the language:</div>
<ul>
<li>Actor based </li><li><a moz-do-not-send="true" href="https://urldefense.proofpoint.com/v2/url?u=http-3A__tutorial.ponylang.org_capabilities_introduction_&d=AwMGaQ&c=8hUWFZcy2Z-Za5rBPlktOQ&r=Mfk2qtn1LTDThVkh6-oGglNfMADXfJdty4_bhmuhMHA&m=5HiSEay3MGVFeKwjvjBh_WDLLIH7MKZ7qxmawXg3KrM&s=DkQ9LOVULEET91C4m8V3hqFSav_BjbcsLtKQ7maHcPo&e=" target="_blank">Capabilities-secure</a></li><li>Type safe </li><li>Memory safe </li><li>Exception safe </li><li>Data-race free </li><li>Deadlock free </li><li>Non-blocking, fully concurrent GC for objects and actors </li><li>AOT compiled </li><li>Native C FFI (C/C++ can call Pony, Pony can call C) </li></ul>
<div>Pony is <a moz-do-not-send="true" href="https://urldefense.proofpoint.com/v2/url?u=http-3A__www.github.com_CausalityLtd_ponyc&d=AwMGaQ&c=8hUWFZcy2Z-Za5rBPlktOQ&r=Mfk2qtn1LTDThVkh6-oGglNfMADXfJdty4_bhmuhMHA&m=5HiSEay3MGVFeKwjvjBh_WDLLIH7MKZ7qxmawXg3KrM&s=2ohk320LWd9MdzBEIncJBD0Ml6gz-CB2eNHRknVk3n4&e=" target="_blank">
open-source</a> (2-clause BSD) and runs on Mac OSX, Linux and Windows (x86_64).</div>
<div><br>
</div>
<div>Our compiler is based on the LLVM backend. Would it therefore be possible to be named as official project on <a moz-do-not-send="true" href="https://urldefense.proofpoint.com/v2/url?u=http-3A__llvm.org_ProjectsWithLLVM&d=AwMGaQ&c=8hUWFZcy2Z-Za5rBPlktOQ&r=Mfk2qtn1LTDThVkh6-oGglNfMADXfJdty4_bhmuhMHA&m=5HiSEay3MGVFeKwjvjBh_WDLLIH7MKZ7qxmawXg3KrM&s=V3gBjVXGLN7l9sLXcEe-H00bED-7ea6xjbnLK9UwgGc&e=" target="_blank">http://llvm.org/ProjectsWithLLVM</a>/ ?</div>
<div><br>
</div>
<div>A preliminary (work-in-progress) tutorial is available at <a moz-do-not-send="true" href="https://urldefense.proofpoint.com/v2/url?u=http-3A__tutorial.ponylang.org&d=AwMGaQ&c=8hUWFZcy2Z-Za5rBPlktOQ&r=Mfk2qtn1LTDThVkh6-oGglNfMADXfJdty4_bhmuhMHA&m=5HiSEay3MGVFeKwjvjBh_WDLLIH7MKZ7qxmawXg3KrM&s=x5vQ8HcSCVX2IEYPk11R5uSE8rTn9Zu3LJVczEPpJaE&e=" target="_blank">
http://tutorial.ponylang.org</a>.</div>
<div><br>
</div>
<div>Best,</div>
<div>Sebastian</div>
<div><br>
</div>
<div></div>
</div>
_______________________________________________<br>
LLVM Developers mailing list<br>
<a moz-do-not-send="true" href="mailto:LLVMdev@cs.uiuc.edu" target="_blank">LLVMdev@cs.uiuc.edu</a> <a moz-do-not-send="true" href="http://llvm.cs.uiuc.edu" target="_blank">http://llvm.cs.uiuc.edu</a><br>
<a moz-do-not-send="true" href="http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev</a><br>
</blockquote>
</div>
</div>
</div>
</span></div>
</blockquote>
</div>
</div>
</div>
</div>
</div>
</span></div>
</div>
</span></blockquote>
<br>
<br>
<pre class="moz-signature" cols="72">--
John Criswell
Assistant Professor
Department of Computer Science, University of Rochester
<a class="moz-txt-link-freetext" href="https://urldefense.proofpoint.com/v2/url?u=http-3A__www.cs.rochester.edu_u_criswell&d=AwMGaQ&c=8hUWFZcy2Z-Za5rBPlktOQ&r=Mfk2qtn1LTDThVkh6-oGglNfMADXfJdty4_bhmuhMHA&m=5HiSEay3MGVFeKwjvjBh_WDLLIH7MKZ7qxmawXg3KrM&s=AoG3y2IqXUv_gKP84HX4l3FSsdHgl0zyIJy6HSKxDEg&e=">http://www.cs.rochester.edu/u/criswell</a></pre>
</div>
</div>
</span>
</body>
</html>