p-org/P on Hacker News — Hacker GitHub

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+?

P lang is close: https://github.com/p-org/P

comment by davidkpiano · 2026-04-26 · in Statecharts: hierarchical state machines

▲ 37

P: Formal Modeling and Analysis of Distributed (Event-Driven) Systems

story by Davidbrcz · 2025-12-17 · 5 comments

▲ 2

Formal Modeling and Analysis of Distributed (Event-Driven) Systems

story by ot · 2025-06-01 · 1 comment

https://github.com/p-org/P

comment by sriram_malhar · 2025-05-31 · in Systems Correctness Practices at Amazon Web Services

…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

▲ 17

The P Programming Language: Formal modeling and analysis of distributed systems

story by wslh · 2024-11-09 · 2 comments

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]

…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

…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)

…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

…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+

…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+

…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

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

▲ 5

P: A language for asynchronous event-driven programming and model checking

story by fanf2 · 2020-10-28 · 0 comments

…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’

…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

https://github.com/p-org/P/wiki/PingPong-program for anyone else wondering

comment by palotasb · 2020-04-01 · in State Machines in Rust

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

▲ 2

P Programming Language: Async, event-driven programming using state machines

story by capableweb · 2019-12-28 · 0 comments

▲ 3

The P Programming Language

story by damian2000 · 2019-09-30 · 1 comment

▲ 1

Ask HN: What are the best ways to reason about async protocols?

story by canadaduane · 2019-05-11 · 0 comments

…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

…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

Related: https://github.com/p-org/P

comment by zvrba · 2016-11-12 · in Stateless 3.0 – A State Machine Library for .NET Core

…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)

…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

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

▲ 220

The P programming language

story by msoad · 2016-10-09 · 87 comments