Show HN: Bisimia – A TLA+ environment that runs in the browser
Source: Show HN ·
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://www.graalvm.org/ and some magic around it to achieve a median improvement of 22×, with speedups reach
Frequently Asked Questions
What is Show HN: Bisimia – A TLA+ environment that runs in the browser?
Show HN: Bisimia – A TLA+ environment that runs in the browser is a tool discovery curated from Show HN. 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+ spec
How can I access or experience this?
You can experience this content directly on its original host (Show HN) by clicking the "Open Original" button.
Where does this content come from?
Curated from Show HN by the OnSuggest team to surface the most interesting and serendipitous content on the web.
More like this
All Developer tools discoveries →Show HN: Black Pixel – 69-byte inverse of the Million Dollar Homepage
2005: 1,000,000 pixels for $1,000,000. 2026: 1 indivisible black pixel (#000000, Token #1 on Ethereum Mainnet). Listed at 413.00 ETH · 69 bytes of bytecode.
Show HN: Rindraw – drawing and animation app for iPad, iPhone and Mac
A drawing and painting app for iPad, iPhone and Mac. Every line you draw stays a line: recolor it, bend it or scale it up long after, and it stays sharp.
Show HN: Breath Harbor
Free breathing timer, 5-4-3-2-1 grounding, a meditation timer with rain, and guided audio for yoga nidra, NSDR and body scans. No app or sign-up.
Show HN: Ueddit.com – Reddit Without Logging In
Example: https://www.reddit.com/r/Steam => https://www.ueddit.com/r/Steam => Get redirected to a working RedLib instance. Simple replace the "r" with an "u" (reddit => ueddit)! Comments URL: https://news.ycombinator.com/item?id=50391185 Points: 2 # Comments: 0
Show HN: PentestCanvas – Pentesting Workspace; with Claude and Kali
Agent-powered pentesting workspace with a visual investigation canvas, sandboxed terminals, recorded tests, and traceable evidence. What do you think about it? Comments URL: https://news.ycombinator.com/item?id=50391261 Points: 1 # Comments: 0
Show HN: Nandfs – A computer made of folders that runs DOOM
A computer made of folders. NAND gates are directories, wires are symlinks, and a FUSE filesystem runs it. Plays Pong; runs DOOM, slowly. - zero11-0203/nandfs