Viewing profile — uptodatenews

I tried to make something in the same spirit https://github.com/RCSnyder/open-pincery

You run into Rices theorem if you try to apply it too heavily. I made https://github.com/RCSnyder/tlaplus-process-studio https://tlaplus-process-studio.com/ For local only high lev…

Disclaimer: This was made with LLMs. I made this tool to help understand large business processes that can be modelled as a single state machine. The core loop of this is to enable…

[dead]

[dead]

[dead]

[dead]

[dead]

[dead]

Whoa didn't even know cool

[dead]

[dead]

I said just keep it in the repo like scaffolding. Is software ever done? Why remove the dev notes for the future agents? https://github.com/RCSnyder/lights-out-swe

This is exactly why I built these two things https://github.com/RCSnyder/tlaplus-process-studio This is to extract the bare minimum state machine out of users is tla+ https://githu…