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
Foire aux questions
Qu'est-ce que Show HN: Bisimia – A TLA+ environment that runs in the browser ?
Show HN: Bisimia – A TLA+ environment that runs in the browser is a outil 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
Comment puis-je y accéder ou l'essayer ?
You can experience this content directly on its original host (Show HN) by clicking the "Open Original" button.
D'où vient ce contenu ?
Curated from Show HN by the OnSuggest team to surface the most interesting and serendipitous content on the web.
Dans le même esprit
Toutes les découvertes Outils pour développeurs →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