Hacker News: youio

New comment by youio in "Rewrite Bun in Rust has been merged"

youio — Thu, 14 May 2026 16:45:52 +0000

9 days to review +1million LOC in Rust is enough? wow..

New comment by youio in "Making MCP cheaper via CLI"

youio — Thu, 26 Feb 2026 06:28:20 +0000

clihub link is broken

Show HN: I Made an AI Skill to Help Write Tlaps Proofs

youio — Thu, 26 Feb 2026 06:25:45 +0000

One-shot prompt: "$tlaps-workbench Model simplified Raft leader election (terms, votes). Prove leader uniqueness per term and monotonic term growth."

TLAPS Proof: https://github.com/younes-io/tlaplus-workbench-examples/blob...

Comments URL: https://news.ycombinator.com/item?id=47162576

Points: 1

# Comments: 0

New comment by youio in "Show HN: TLA+ Workbench skill for coding agents (compat. with Vercel skills CLI)"

youio — Sun, 22 Feb 2026 13:52:07 +0000

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?

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

youio — Sun, 22 Feb 2026 13:44:27 +0000

Article URL: https://github.com/younes-io/agent-skills/tree/main/skills/tlaplus-workbench

Comments URL: https://news.ycombinator.com/item?id=47110946

Points: 41

# Comments: 4

New comment by youio in "Show HN: Microgpt is a GPT you can visualize in the browser"

youio — Mon, 16 Feb 2026 11:08:24 +0000

really well done

Looking for an official extension of Temporal Prolog

youio — Mon, 05 May 2025 10:49:27 +0000

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

Comments URL: https://news.ycombinator.com/item?id=43893614

Points: 6

# Comments: 0

New comment by youio in "Show HN (YC S25): Well – MCP AI-Based Collection of Invoices"

youio — Sun, 04 May 2025 18:26:17 +0000

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?

New comment by youio in "How to Track Your Engineering Work"

youio — Sat, 19 Oct 2024 16:45:48 +0000

have you tried taskwarrior?