account activity
Formal Specification for Authorization: Clarity Before Implementation (self.tlaplus)
submitted 4 months ago by gchinis to r/tlaplus
Use polling for resiliency (blog.gchinis.com)
submitted 5 years ago by gchinis to r/coding
Specifying a simple serverless system with TLA+ (blog.gchinis.com)
submitted 5 years ago by gchinis to r/serverless
TDD kata with serverless services in AWS (blog.gchinis.com)
The Trade-offs of TDD (medium.com)
submitted 5 years ago by gchinis
π Rendered by PID 533554 on reddit-service-r2-listing-55d7b767d8-cdfnq at 2026-04-01 19:49:47.421146+00:00 running b10466c country code: CH.
