Hacker Newsnew | past | comments | ask | show | jobs | submit | youio's submissionslogin
1.
Show HN: I Made an AI Skill to Help Write Tlaps Proofs (github.com/younes-io)
1 point by youio 11 days ago | past | discuss
2.
Show HN: TLA+ Workbench skill for coding agents (compat. with Vercel skills CLI) (github.com/younes-io)
41 points by youio 15 days ago | past | 4 comments
3.
Looking for an official extension of Temporal Prolog
6 points by youio 10 months ago | past

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: