Hacker GitHub

← All repos

ponylang/ponyc

View on GitHub ↗ ★ 6,215 Pony

Pony is an open-source, actor-model, capabilities-secure, high performance programming language

38 mentions on Hacker News by 28 people: 3 stories, 35 comments · first 2015-05-03 · latest 2026-02-03

Mentions per year 38 mentions · busiest year 2015 (7)
20082026
AllStoriesComments NewestTopOldest
  1. It is still developed, although it feels a bit like it was mostly "done" 10 years ago. https://github.com/ponylang/ponyc Quite a few recent commits and their blog/X account mentioned their LSP now being bundled with the language...…
    comment by dismalaf · 2026-02-03 · in Actors: A Model of Concurrent Computation [pdf] (1985)
  2. The closest thing to "Rust with a GC" in my mind is Ponylang or just Pony: https://www.ponylang.io/ https://github.com/ponylang/ponyc The Pony community is here: https://ponylang.zulipchat.com/ Pony's garbage collection and runtime can…
    comment by whats_the_buzz · 2025-11-07 · in Why I love OCaml (2023)
  3. What is this, then? https://github.com/ponylang/ponyc/blob/main/examples/echo/ec...
    comment by 0x457 · 2025-07-30 · in Pony: An actor-model, capabilities-secure, high-performance programming language
  4. I was randomly looking at examples and I think this is one showing that: https://github.com/ponylang/ponyc/blob/main/examples/under_p...
    comment by mcintyre1994 · 2025-07-29 · in Pony: An actor-model, capabilities-secure, high-performance programming language
  5. …path that led me to it, couldn't find it anymore. I looked up the link from my browser history. [0] https://github.com/ponylang/ponyc/tree/main/examples
    comment by rapnie · 2025-07-29 · in Pony: An actor-model, capabilities-secure, high-performance programming language
  6. Example pony applications: https://github.com/ponylang/ponyc/tree/main/examples Playground: https://playground.ponylang.io/ They're on HP https://www.ponylang.io/ unfortunately the article link points to /discover/
    comment by ratdragon · 2025-07-29 · in Pony: An actor-model, capabilities-secure, high-performance programming language
  7. Example pony applications: https://github.com/ponylang/ponyc/tree/main/examples Playground: https://playground.ponylang.io/ They're on HP https://www.ponylang.io/ unfortunately the article link points to /discover/
    comment by ratdragon · 2025-07-29 · in Pony: An actor-model, capabilities-secure, high-performance programming language
  8. There are a few, but you are right that they could be more accessible: https://github.com/ponylang/ponyc/tree/main/examples (I had the same problem)
    comment by reidrac · 2022-12-13 · in Pony Programming Language
  9. …sure about that? I see movement in the main repository and the latest release dates to 9 days ago: https://github.com/ponylang/ponyc/releases/tag/0.52.1
    comment by izietto · 2022-11-23 · in Safely writing code that isn't thread-safe
  10. …in pony very rarely. https://github.com/rust-lang/rust/issues?q=is%3Aissue+SIGSEG... => 87 + 291 vs https://github.com/ponylang/ponyc/issues?q=is%3Aissue+SIGSEG... => 11 + 50 Now compare that to a safe systems language, e.g. sbcl:…
    comment by rurban · 2022-04-10 · in Achievement unlocked: rustc segfault
  11. …page fails to do this. Here's one of their example programs. [1] [0] https://www.ponylang.io/ [1] https://github.com/ponylang/ponyc/blob/main/examples/timers/...
    comment by MaxBarraclough · 2021-02-18 · in Mitigating Memory Safety Issues in Open Source Software
  12. …...but the example isn't very enlightening. Here's a networking example: https://github.com/ponylang/ponyc/tree/master/examples/net with the Main being in net.pony and the rest being the infrastructure. And here's the start of an H
    comment by mcguire · 2021-01-29 · in Pony – High-Performance Safe Actor Programming
  13. There are a number of simple examples in the ponyc repo: https://github.com/ponylang/ponyc/tree/master/examples You can find a number of pony library projects under the ponylang org on GitHub: https://github.com/ponylang/
    comment by spooneybarger · 2021-01-29 · in Pony – High-Performance Safe Actor Programming
  14. …but he isn't involved anymore. Someone else working at Microsoft, Sean Allen, is the new owner? https://github.com/ponylang/ponyc/graphs/contributors Is MSFT involved with pony (that'd be huge) or is this just a MSFT employee side project?
    comment by devmunchies · 2020-09-07 · in Pony, Actors, Causality, Types, and Garbage Collection
  15. …is considerably delaying Pony development. [1] - https://github.com/microsoft/verona [2] - https://github.com/ponylang/ponyc (edit: formatting)
    comment by pull_my_finger · 2020-06-15 · in Microsoft: Rust Is the Industry’s ‘Best Chance’ at Safe Systems Programming
  16. …it[1] from 2015 and the one developer who uses Windows hasn’t committed to the repo since 2016. 1: https://github.com/ponylang/ponyc/issues/434
    comment by SeekingMeaning · 2019-12-14 · in Pony 0.33.1
  17. …where he discusses the ideas he combined into Pony's design [4]. [1] https://github.com/sylvanc [2] https://github.com/ponylang/ponyc [3] https://www.ponylang.io/discover/#what-is-pony [4] https://www.youtube.com/results?search_query=ponyla…
    comment by espeed · 2018-10-30 · in Soup – Alan Kay on Objects
  18. …) has since joined MSR Cambridge and is working on the distributed model now... https://github.com/ponylang/ponyc https://www.ponylang.io/discover/#what-is-pony https://www.youtube.com/results?search_query=ponylang
    comment by espeed · 2018-10-15 · in Channels, Concurrency, Cores: A New Concurrent ML Implementation (2017) [video]
  19. …no longer does much Pony work. At least as far as the contribution graphs on GitHub show[1]. 1 - https://github.com/ponylang/ponyc/graphs/contributors
    comment by dom96 · 2018-10-14 · in Pony 0.25.0 released
  20. …a.org/wiki/Actor_model#Fundamental_concep... [2] https://en.wikipedia.org/wiki/Actor_model#Theory [3] https://github.com/ponylang/ponyc
    comment by espeed · 2018-10-14 · in The Murgia Hack System
  21. …didn't notice. And thank you for the additional info, I've updated the issue I opened accordingly: https://github.com/ponylang/ponyc/issues/2858
    comment by spooneybarger · 2018-08-10 · in 1/0 = 0
  22. There's an issue for that: https://github.com/ponylang/ponyc/issues/2079 Also you can use the Visual C++ Build Tools, which is just the compiler without the IDE. https://github.com/ponylang/ponyc#windows-using-zip-via-bint...…
    comment by kulibali · 2018-05-31 · in Introduction to the Pony programming language
  23. …about to have runtime backpressure added to it which is going to be a really nice scheduling win. https://github.com/ponylang/ponyc/pull/2264
    comment by spooneybarger · 2017-10-26 · in Why we used Pony to write Wallaroo
  24. …) to see if anybody can help, or if you think you've found a bug you can file an issue in github ( https://github.com/ponylang/ponyc/issues ). UPDATE: I'm glad to hear you got it working!
    comment by aturley · 2017-10-26 · in Why we used Pony to write Wallaroo
  25. Here's one: https://github.com/ponylang/ponyc/blob/master/packages/colle...
    comment by tixzdk · 2017-08-06 · in Optimizing Hash-Array Mapped Tries for Fast Immutable JVM Collections (2015) [pdf]
  26. …videos and what not: https://www.ponylang.org/community/planet-pony/ main compiler GitHub repo: https://github.com/ponylang/ponyc user mailing list you can sign up for to get more info: https://pony.groups.io/g/user #ponylang on freenode…
    comment by spooneybarger · 2017-07-02 · in Pony: Combining safe memory sharing with Erlang-like actors
  27. …contributing on a regular basis. His most recent commit that was merged to master was yesterday: https://github.com/ponylang/ponyc/commit/eaf1dcd525c691feae1... The Pony development community is still relatively small but we make good…
    comment by spooneybarger · 2017-03-12 · in Pony language 0.11.0 released
  28. Pony is developed entirely on Github, using the issue tracker and pull requests: https://github.com/ponylang/ponyc
    comment by stefantalpalaru · 2017-01-03 · in Programming languages that are actively developed on GitHub
  29. …call that returns no value) but no receive construct. Here's an example of passing data in a ring: https://github.com/CausalityLtd/ponyc/blob/master/examples/r... As there is no blocking receive, no immediate way of breaking this came to…
    comment by tright · 2015-05-04 · in Pony – High Performance Actor Programming
  30. Yes we are working on this. In the meantime, https://github.com/CausalityLtd/ponyc/tree/master/examples might be a good start!
    comment by n3otec · 2015-05-04 · in Pony – High Performance Actor Programming
  31. From the philosophy page: https://github.com/CausalityLtd/ponyc/wiki/Philosophy > No loadable code. Everything is known to the compiler. What does "loadable" mean here? Does it imply no dynamic linking?
    comment by kibwen · 2015-05-04 · in Pony – High Performance Actor Programming
  32. Hmm. This feels a bit pedantic to me. The `is_null` check looks relegated to the FFI: https://github.com/CausalityLtd/ponyc/blob/975d9f6c60553030e... Obviously, I have never written anything in Pony, but this absolutely seems like an…
    comment by Nycto · 2015-05-04 · in Pony – High Performance Actor Programming
  33. "The language doesn't even have the concept of null!" <-> is_null [1] [1]: https://github.com/CausalityLtd/ponyc/search?utf8=%E2%9C%93&... Also, your 3-clause BSD license only has two clauses.
    comment by teamhappy · 2015-05-03 · in Pony – High Performance Actor Programming
  34. Quick link for anyone that is curious, as I was: https://github.com/CausalityLtd/ponyc/blob/master/packages/n...
    comment by Nycto · 2015-05-03 · in Pony – High Performance Actor Programming
  35. Interesting language. The "philosophy" wiki page is worth reading: https://github.com/CausalityLtd/ponyc/wiki/Philosophy
    comment by stefantalpalaru · 2015-05-03 · in Pony – High Performance Actor Programming