youio
- Karma
- 16
- Created
- 2 years ago
Recent Submissions
- 1. ▲ Show HN: Dev Null News, a daily paper so you don't have to read every merged PR (dnn.sh)
- 2. ▲ Show HN: I Made an AI Skill to Help Write Tlaps Proofs (github.com)
- 3. ▲ Show HN: TLA+ Workbench skill for coding agents (compat. with Vercel skills CLI) (github.com)
- 4. ▲ Looking for an official extension of Temporal Prolog