Great! Thank you very much for your support! Best, Sebastian From: John Criswell Date: Thursday 25 June 2015 00:04 To: Sebastian Blessing, "LLVMdev at cs.uiuc.edu<mailto:LLVMdev at cs.uiuc.edu>" Subject: Re: FW: [LLVMdev] Pony Language: LLVM Project Dear Sebastian, I've added an entry to the ProjectsWithLLVM page (http://llvm.org/ProjectsWithLLVM/#pony). 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. Regards, John Criswell On 6/23/15 10:57 AM, Sebastian Blessing wrote: Dear John, Unfortunately, I haven’t received any feedback for this. Could you help me out on this? Best, Sebastian From: Sebastian Blessing Date: Friday 8 May 2015 13:12 To: John Criswell Subject: Re: [LLVMdev] Pony Language: LLVM Project Dear John, Eric mentioned you are making frequent updates to the llvm.org website. For Pony, we could add something like: Pony Programming Language By <a href=“http://www.ponylang.org”>the Pony Development Team</a<https://github.com/smackers/smack/wiki/Smackers%22%3Esmackers%3C/a>> 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. Do you want me to submit a patch for this, or would you like to update the website? Greatly appreciate your support, Sebastian From: Eric Christopher Date: Friday 8 May 2015 00:04 To: Sebastian Blessing, "LLVM Developers Mailing List (llvmdev at cs.uiuc.edu<mailto:llvmdev at cs.uiuc.edu>)", Tanya Lattner, John Criswell Subject: Re: [LLVMdev] Pony Language: LLVM Project You can take a look at: http://llvm.org/viewvc/llvm-project/www/trunk/ 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. -eric On Thu, May 7, 2015 at 2:44 PM Sebastian Blessing <sebastian at causality.io<mailto:sebastian at causality.io>> wrote: Thank you, Eric. Could you point me to the repository for the website where I can submit the patch to? Thanks, Sebastian From: Eric Christopher Date: Thursday 7 May 2015 23:31 To: Sebastian Blessing, "llvmdev at cs.uiuc.edu<mailto:llvmdev at cs.uiuc.edu>" Subject: Re: [LLVMdev] Pony Language: LLVM Project Seems reasonable. A patch to the site would be appreciated. -eric On Thu, May 7, 2015 at 2:29 PM Sebastian Blessing <sebastian at causality.io<mailto:sebastian at causality.io>> wrote: Dear LLVM community, I am affiliated with the design and development of the Pony<http:/www.ponylang.org> programming language, which was recently published and has since been discussed on hacker news<https://news.ycombinator.com/item?id=9482483>, reddit [1]<http://www.reddit.com/r/ponylang> [2]<https://www.reddit.com/r/rust/comments/34rszb/pony_type_and_memory_safe_language/>, lambda the ultimate<http://lambda-the-ultimate.org/node/5148> and gained some momentum. Short abstract of the language: * Actor based * Capabilities-secure<http://tutorial.ponylang.org/capabilities/introduction/> * Type safe * Memory safe * Exception safe * Data-race free * Deadlock free * Non-blocking, fully concurrent GC for objects and actors * AOT compiled * Native C FFI (C/C++ can call Pony, Pony can call C) Pony is open-source<http://www.github.com/CausalityLtd/ponyc> (2-clause BSD) and runs on Mac OSX, Linux and Windows (x86_64). Our compiler is based on the LLVM backend. Would it therefore be possible to be named as official project on http://llvm.org/ProjectsWithLLVM/ ? A preliminary (work-in-progress) tutorial is available at http://tutorial.ponylang.org. Best, Sebastian _______________________________________________ LLVM Developers mailing list LLVMdev at cs.uiuc.edu<mailto:LLVMdev at cs.uiuc.edu> http://llvm.cs.uiuc.edu http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev -- John Criswell Assistant Professor Department of Computer Science, University of Rochester http://www.cs.rochester.edu/u/criswell -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20150626/2a370358/attachment.html>