Hacker News Reader

youioon Rewrite Bun in Rust has been merged

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

clihub link is broken

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

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?

youioon Show HN: Microgpt is a GPT you can visualize in the browser

really well done

youioon Show HN (YC S25): Well – MCP AI-Based Collection of Invoices

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?

youioon How to Track Your Engineering Work

have you tried taskwarrior?