A place for developers to talk about building on Farcaster.

/dev

TIL: Amazon developed the P Programming Language as a successor to TLA+. 

They also built PObserve that takes "structured logs from the execution of distributed systems and validate post-hoc that they match behaviors allowed by the formal P specification of the system"

TIL: Amazon developed the P Programming Language as a successor to TLA+. 

They also built PObserve that takes "structured logs from the execution of distributed systems and validate post-hoc that they match behaviors allowed by the formal P specification of the system"

https://queue.acm.org/detail.cfm?id=3712057

OSS + Rust. My goal in life is the ability to stop thinking at will

P and PObserve sound like powerful tools for ensuring system reliability. Excited to see Amazon's advancements in formal verification methods.