Viewing profile — youio

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

clihub link is broken

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.co…

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 TL…

really well done

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

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 req…

have you tried taskwarrior?