Skip to content

Top New Best Ask Show Jobs

youio

15 karmaJoined January 24, 202410 submissions

youio | Better HN

Recent submissions

1

Show HN: I Made an AI Skill to Help Write Tlaps Proofs (opens in new tab)

(github.com)

1youio29d ago0

2

Show HN: TLA+ Workbench skill for coding agents (compat. with Vercel skills CLI) (opens in new tab)

(github.com)

41youio1mo ago4

3

Looking for an official extension of Temporal Prolog

I'm looking for an official extension of prolog that has temporal logic

6youio10mo ago0