youio
Joined 2 years ago
Karma
16
Submissions
13
Member since
Jan 24
Recent submissions
Comment · 6 months ago
9 days to review +1million LOC in Rust is enough? wow..
Comment · 8 months ago
clihub link is broken
Comment · 8 months 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 skills add younes-io/agent-skills --skill tlaplus-workbench
List skills from a local checkout: npx -y skills add . --list
TLA+ spec examples (generated from one-shot prompts): https://github.com/younes-io/tlaplus-workbench-examples
Feedback I'd value: 1. Is this useful for real protocol/state-machine modeling? 2. What features should I add next for this TLA+ skill?
Comment · 8 months ago
really well done
Comment · 1 year 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 the world?
Comment · 2 years ago
have you tried taskwarrior?