Hacker GitHub

← All repos

p-org/P

View on GitHub ↗ ★ 3,725 C#

The P programming language.

30 mentions on Hacker News by 28 people: 8 stories, 22 comments · first 2016-10-09 · latest 2026-05-09

Mentions per year 30 mentions · busiest year 2020 (6)
20082026
AllStoriesComments NewestTopOldest
  1. Have you considered P? It feels like a good abstraction for engineers as it's "proper" code. https://github.com/p-org/P
    comment by kown7 · 2026-05-09 · in Can LLMs model real-world systems in TLA+?
  2. P lang is close: https://github.com/p-org/P
    comment by davidkpiano · 2026-04-26 · in Statecharts: hierarchical state machines
  3. https://github.com/p-org/P
    comment by sriram_malhar · 2025-05-31 · in Systems Correctness Practices at Amazon Web Services
  4. …Methods (Finding Critical Bugs Early!!) - https://www.youtube.com/watch?v=FdXZXnkMDxs Github: https://github.com/p-org/P
    comment by yarapavan · 2025-04-01 · in Systems Correctness Practices at AWS: Leveraging Formal and Semi-Formal Methods
  5. I'd suggest starting with P ( https://github.com/p-org/P ), or picking up Hillel Wayne's TLA+ book to get started.
    comment by mjb · 2024-08-29 · in The Future of TLA+ [pdf]
  6. …for someone to understand. Of the things available open source, I think P-lang is pretty cool: https://github.com/p-org/P/blob/master/Tutorial/1_ClientServ...
    comment by gedanziger · 2024-01-22 · in Gem adds support for creating state machines for attributes on any Ruby class
  7. …files which live on GitHub, like [2]. [1]: https://p-org.github.io/P/tutorial/clientserver/ [2]: https://github.com/p-org/P/tree/master/Tutorial/1_ClientServ...
    comment by nine_k · 2023-01-06 · in P Language: a state machine-based programming language (2021)
  8. …language. Microsoft used it to build their usb driver in windows 7 or 8 or something like that. https://github.com/p-org/P EDIT: It looks like it's also being used in AWS.
    comment by Verdex · 2022-11-08 · in C isn't a programming language anymore
  9. …code. I think the P language has a much better future just because it can generate code that works: https://github.com/p-org/P
    comment by sharno · 2022-09-29 · in Learn TLA+
  10. …interesting approach in this space is P, which is lower-level than TLA+ but also can compile to C#: https://github.com/p-org/P )
    comment by hwayne · 2022-09-28 · in Learn TLA+
  11. …protocols like Raft or Paxos is to implement them in Pluscal (TLA+'s higher-level language) or P ( https://github.com/p-org/P ). I've found that helps separate the protocol-level concerns from the implementation-level concerns (sockets?…
    comment by mjb · 2022-05-17 · in Let's build a distributed Postgres proof of concept
  12. I recently found Microsoft’s P programming language https://github.com/p-org/P and I’m wondering how it fits into this space. The P README says: “ P is a language for asynchronous event-driven programming. P allows the programmer to…
    comment by fanf2 · 2020-11-01 · in Using TLA+ in the Real World to Understand a Glibc Bug
  13. …written in a language without memory safety (though this is starting to change with languages like https://github.com/p-org/P and rust).
    comment by voxic11 · 2020-07-10 · in Amazon says email banning TikTok from employee phones was ‘sent in error’
  14. …I'm most interested in the Windows bugs: Windows 8+ has a model-checked USB stack written in P ( https://github.com/p-org/P ). Or maybe that's just the USB 3.0 stack? Either way, would be interested in whether they're in the integration…
    comment by gsnedders · 2020-05-28 · in New fuzzing tool finds USB bugs in Linux, Windows, macOS, and FreeBSD
  15. https://github.com/p-org/P/wiki/PingPong-program for anyone else wondering
    comment by palotasb · 2020-04-01 · in State Machines in Rust
  16. They link to the `P` language, which I did not know about. https://github.com/p-org/P I found the link interesting because I have at times wondered what it would look likes if FSM were first class control flow features, akin to `if` and…
    comment by Phlogistique · 2020-04-01 · in State Machines in Rust
  17. …in syntax and more tangible bits, here is the manual from the GitHub page linked to in the article: https://github.com/p-org/P/blob/master/Doc/Manual/pmanual.pd...
    comment by rubyn00bie · 2017-05-19 · in P: A programming language for asynchrony, fault-tolerance and uncertainty
  18. …ttps://myignite.microsoft.com/sessions/36925 Or the new Windows USB stack, written in the P language. https://github.com/p-org/P UNIXes, not so much beyond patching C exploits.
    comment by pjmlp · 2017-03-27 · in Curl is C
  19. Related: https://github.com/p-org/P
    comment by zvrba · 2016-11-12 · in Stateless 3.0 – A State Machine Library for .NET Core
  20. …work going on for verifiability for realtime firmware code. For example P programming language: https://github.com/p-org/P . But still it doesn't tackle the issues mentioned above that causes majority of crashes.
    comment by sytelus · 2016-10-22 · in How to avoid runtime errors on drones using SPARK (2015)
  21. …target ? Does it produce .NET assemblies ? Is it an interpreter ? Compiles to native ? Edit: https://github.com/p-org/P/wiki/Creating-a-P-Program indicates it compiles to C code.
    comment by noselasd · 2016-10-11 · in The P programming language
  22. The manual is here (linked from github readme): https://github.com/p-org/P/blob/master/Doc/Manual/pmanual.pd... Calling a core language keyword "goto"? They're brave. And I'm not convinced of the utility of baking their own C-like…
    comment by taneq · 2016-10-09 · in The P programming language