Show HN: Bisimia – A TLA+ environment that runs in the browser
Kaynak: 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
Sıkça Sorulan Sorular
Show HN: Bisimia – A TLA+ environment that runs in the browser nedir?
Show HN: Bisimia – A TLA+ environment that runs in the browser, Araç kategorisinde yer alan ve Show HN üzerinden sunulan bir keşiftir. 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
Nasıl erişebilir veya deneyimleyebilirim?
Bu içeriğe "Aslına Git" butonuna tıklayarak doğrudan orijinal platformunda (Show HN) erişebilirsiniz.
Bu içerik nereden geliyor?
Bu içerik Show HN üzerinden OnSuggest topluluğu ve küratörleri tarafından internetin kaliteli köşelerinden seçilmiştir.
Benzer keşifler
Tüm Geliştirici araçları keşifleri →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