youio

13 ms·

1. 1.▲
   by youio 4mo ago

   9 days to review +1million LOC in Rust is enough? wow..
2. 2.▲
   by youio 7mo ago

   clihub link is broken
3. 3.▲
   Show HN: I Made an AI Skill to Help Write Tlaps Proofs(github.com)

   1 points by youio 7mo ago|0 comments
4. 4.▲
   by youio 7mo ago

   I built a TLA+ skill for coding-agent workflows. This repo currently focuses on one skill: tlaplus-workbench. It helps convert natural-language designs into .tla/.cfg files, run TLC, and summarize counterexamples. Quick try: npx -y ski
5. 5.▲
   Show HN: TLA+ Workbench skill for coding agents (compat. with Vercel skills CLI)(github.com)

   41 points by youio 7mo ago|4 comments
6. 6.▲
   by youio 7mo ago

   really well done
7. 7.▲
   Looking for an official extension of Temporal Prolog

   6 points by youio 1y ago|0 comments
8. 8.▲
   by youio 1y ago

   How can this app possibly work across different countries when each has completely different accounting rules? What's your actual plan for handling the vastly different invoice requirements, tax systems, and accounting standards around
9. 9.▲
   by youio 2y ago

   have you tried taskwarrior?