Show HN: Bisimia – A TLA+ environment that runs in the browser
Quelle: 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
Häufig gestellte Fragen
Was ist Show HN: Bisimia – A TLA+ environment that runs in the browser?
Show HN: Bisimia – A TLA+ environment that runs in the browser is a werkzeug 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
Wie kann ich darauf zugreifen oder es ausprobieren?
You can experience this content directly on its original host (Show HN) by clicking the "Open Original" button.
Woher stammt dieser Inhalt?
Curated from Show HN by the OnSuggest team to surface the most interesting and serendipitous content on the web.
Mehr davon
Alle Entwickler-Tools-Entdeckungen →Anthropic IPO doubts 📉, datacenter bans 🛑, GitHub's new storage 👨💻
Major investors planning to participate in Anthropic's IPO, expected to launch the week before Thanksgiving, say the expected $1.5 trillion valuation…
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