<html>
<head>
<meta content="text/html; charset=utf-8" http-equiv="Content-Type">
</head>
<body 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=AwMDaQ&c=8hUWFZcy2Z-Za5rBPlktOQ&r=Mfk2qtn1LTDThVkh6-oGglNfMADXfJdty4_bhmuhMHA&m=JZuKKx_Lsg6iL0kPnY1GtSb1zcxfXRFscat7yolLS7k&s=JOdKqPa8RkOXOp0vfTekqDGPO9YPop_bYSlkoXMOJn0&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=AwMDaQ&c=8hUWFZcy2Z-Za5rBPlktOQ&r=Mfk2qtn1LTDThVkh6-oGglNfMADXfJdty4_bhmuhMHA&m=JZuKKx_Lsg6iL0kPnY1GtSb1zcxfXRFscat7yolLS7k&s=vzmwAqw4rBKUIN5On2AUEiyQMr93VDIPXeZo8gdzvzU&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=AwMDaQ&c=8hUWFZcy2Z-Za5rBPlktOQ&r=Mfk2qtn1LTDThVkh6-oGglNfMADXfJdty4_bhmuhMHA&m=JZuKKx_Lsg6iL0kPnY1GtSb1zcxfXRFscat7yolLS7k&s=7lxldz36gdgxw371EyovNYdghBgbUJMq0fg0nE3sF_8&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=AwMDaQ&c=8hUWFZcy2Z-Za5rBPlktOQ&r=Mfk2qtn1LTDThVkh6-oGglNfMADXfJdty4_bhmuhMHA&m=JZuKKx_Lsg6iL0kPnY1GtSb1zcxfXRFscat7yolLS7k&s=XvYIDSN1hfS6JByacilJU52SCKO9YWjAeQeHZgHvCOE&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=AwMDaQ&c=8hUWFZcy2Z-Za5rBPlktOQ&r=Mfk2qtn1LTDThVkh6-oGglNfMADXfJdty4_bhmuhMHA&m=JZuKKx_Lsg6iL0kPnY1GtSb1zcxfXRFscat7yolLS7k&s=3V1prZF7D5NMwAU8teuzueGp4CKf5va6QRucOqFGYqA&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=AwMDaQ&c=8hUWFZcy2Z-Za5rBPlktOQ&r=Mfk2qtn1LTDThVkh6-oGglNfMADXfJdty4_bhmuhMHA&m=JZuKKx_Lsg6iL0kPnY1GtSb1zcxfXRFscat7yolLS7k&s=n9_U42J3mZEFk1wYUXtdbWOga-jkeXtfcu70M3Il7mE&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=AwMDaQ&c=8hUWFZcy2Z-Za5rBPlktOQ&r=Mfk2qtn1LTDThVkh6-oGglNfMADXfJdty4_bhmuhMHA&m=JZuKKx_Lsg6iL0kPnY1GtSb1zcxfXRFscat7yolLS7k&s=OpJZ02ZAKk938eg6UcUR3CCLbV5wPkrjmyJ9MGqoX1Y&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=AwMDaQ&c=8hUWFZcy2Z-Za5rBPlktOQ&r=Mfk2qtn1LTDThVkh6-oGglNfMADXfJdty4_bhmuhMHA&m=JZuKKx_Lsg6iL0kPnY1GtSb1zcxfXRFscat7yolLS7k&s=j-w7aDmkrItFYYP4aWqkoWkT2__LLO9uL3vq90uRgCc&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=AwMDaQ&c=8hUWFZcy2Z-Za5rBPlktOQ&r=Mfk2qtn1LTDThVkh6-oGglNfMADXfJdty4_bhmuhMHA&m=JZuKKx_Lsg6iL0kPnY1GtSb1zcxfXRFscat7yolLS7k&s=-r0PCPZswxfoj8fLe2kdE9blJIK69o7KyPfKUaPPeRE&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=AwMDaQ&c=8hUWFZcy2Z-Za5rBPlktOQ&r=Mfk2qtn1LTDThVkh6-oGglNfMADXfJdty4_bhmuhMHA&m=JZuKKx_Lsg6iL0kPnY1GtSb1zcxfXRFscat7yolLS7k&s=5q1gTviO9I9JZdbeVucIgs4GjNfl_oLs3RftHtWrNGc&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=AwMDaQ&c=8hUWFZcy2Z-Za5rBPlktOQ&r=Mfk2qtn1LTDThVkh6-oGglNfMADXfJdty4_bhmuhMHA&m=JZuKKx_Lsg6iL0kPnY1GtSb1zcxfXRFscat7yolLS7k&s=Grt1rPtYTLzRQLcFOmNcfPQ8fsaAd92WV7HC06zg9QY&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=AwMDaQ&c=8hUWFZcy2Z-Za5rBPlktOQ&r=Mfk2qtn1LTDThVkh6-oGglNfMADXfJdty4_bhmuhMHA&m=JZuKKx_Lsg6iL0kPnY1GtSb1zcxfXRFscat7yolLS7k&s=B5FlZLHKGWFDS80JOg4Y2mbwSgGh6_gI4YWZRrag4L8&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=AwMDaQ&c=8hUWFZcy2Z-Za5rBPlktOQ&r=Mfk2qtn1LTDThVkh6-oGglNfMADXfJdty4_bhmuhMHA&m=JZuKKx_Lsg6iL0kPnY1GtSb1zcxfXRFscat7yolLS7k&s=NBm0NejsqB4eYPoob8PiM06TrRuKuzuOhbIMqDJEd4k&e=">http://www.cs.rochester.edu/u/criswell</a></pre>
</body>
</html>