[02:39:09] <ori>	 Krinkle: TimStarling: AaronSchulz: https://github.com/specula-org/Specula is extremely cool
[02:40:14] <ori>	 I've been using it at work. It finds a lot of fiendishly tricky bugs.
[02:41:17] <ori>	 It rewrites codes into TLA+ specs and then validates traces against it
[02:41:26] <ori>	 and then writes integration tests for the bugs that it finds
[02:42:56] <ori>	 I see no mention of it being used with PHP but it should work with any language
[02:43:28] <ori>	 it'd be really cool to use it to check WANObjectCache or chronology protector or deferred updates
[12:46:37] * Krinkle considers Top-Level Await, Three-Letter Acronym, Tom Lord's Arch, until finding Java TLA+
[13:38:08] <ori>	 https://en.wikipedia.org/wiki/TLA+