HN Explorer

youio

↗ HN profile [ 30.8 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Show HN: Dev Null News, a daily paper so you don't have to read every merged PR (dnn.sh)

    if you want to keep up with the merged PRs : https://github.com/dev-null-sh/dev-null.sh , read https://dnn.sh

    1 points 0
  2. 1 points 0
  3. Show HN: I Made an AI Skill to Help Write Tlaps Proofs (github.com)

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

    1 points 0
  4. Show HN: TLA+ Workbench skill for coding agents (compat. with Vercel skills CLI) (github.com)
    41 points 3
  5. Looking for an official extension of Temporal Prolog

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

    6 points 0
  6. 1 points 0
  7. 1 points 0