Skip to content

Top New Best Ask Show Jobs

youio | Better HN

user

youio

15 karmaJoined January 24, 202410 submissions

Recent submissions

1

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

github.com

1youio2mo ago0

2

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

github.com

41youio2mo ago4

3

Looking for an official extension of Temporal Prolog

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

6youio1y ago0