Show HN: Bisimia – A TLA+ environment that runs in the browser
Bisimia is a browser-based local-first environment to write and model-check TLA+ specs. I started working on this in January wanting to have a better environment to write TLA+ specs and model check them. I started out with running TLC via CheerpJ https://cheerpj.com/ (which I later on found out to be the approach taken by https://learning.tlapl.us/ ), however after many days and nights I've abandoned this for a few reasons, the most prominent of which is performance. Now we use GraalVM https://w
Read original source
Source record
Recorded metrics
points · 2 votes
2026-11-06 09:45:15.073Z
cumulative since publication
Research analysis
What changed
Source account: Bisimia is a browser-based local-first environment to write and model-check TLA+ specs. I started working on this in January wanting to have a better environment to write TLA+ specs and model check them. I started out with running TLC via CheerpJ https://cheerpj.com/ (which I later on found out to be the approach taken by https://learning.tlapl.us/ ), however after many days and nights I've abandoned this for a few reasons, the most prominent of which is performance. Now we use GraalVM https://w
Version & cost evidence
Source votes: 2 votes (Nov 6, 2026 UTC; cumulative since publication); previous same-scope observation: 2 (Nov 6, 2026 UTC). These observations do not establish demand growth. Recent records to compare: “Show HN: Did prediction markets do any predicting this midterms?” (Show HN, Nov 7, 2026); “[分享创造] ConvertPixel：浏览器本地处理的图片工具箱” (V2EX, Nov 6, 2026). Shared themes are navigation hints; they have not been verified as the same need or independent corroboration.
Who is affected
Identify the existing workflow this change affects before recommending an upgrade. Launch attention does not establish improvement; an API, pricing or availability change may instead create migration work.
Missing comparison points
Missing checks: old versus new behavior, affected plans and regions, availability date, compatibility, rollback path and cost under the same workload.
Migration check
Save the release or policy notice, run the same task on the old and new option, and compare outputs and the full bill. For retirement notices, verify the deadline before scheduling migration.