HN
Paper
All
Show
Ask
Jobs
Top
Today
Last 7 days
Last months
This year
Statistics
All
Show
Ask
Jobs
Top stories
Today
Last 7 days
Last months
This year
Statistics
Stories by
youio
Show HN: I Made an AI Skill to Help Write Tlaps Proofs
1 points
youio
2026-02-26T06:25:45Z
github.com
Show HN: TLA+ Workbench skill for coding agents (compat. with Vercel skills CLI)
41 points
youio
2026-02-22T13:44:27Z
github.com
Looking for an official extension of Temporal Prolog
6 points
youio
2025-05-05T10:49:27Z
news.ycombinator.com
1 points
youio
2024-01-24T20:47:44Z
news.ycombinator.com
1 points
youio
2024-01-24T19:43:45Z
news.ycombinator.com