bootoshi 2 karma 7d on HN HN profile →
Coverage
We've seen 1 of ~1 submissions
Full eval: 0 Lite-only: 1 Unevaluated: 0
Quick Scan holistic editorial estimate · 1 lite evaluation
Editorial [E]: 0.00 Llama · truncated content · holistic (not section-level)
1 stories
1.
HRCB ND
E 0.00
S
Show HN: TLA PreCheck – TS DSL that proves state machines via TLA+ (github.com)
7 points by bootoshi 8 days ago | 0 comments | hrcb Technology Development