Jason E. Aten, Ph.D.
Jason E. Aten, Ph.D.
A) Section 6.3 on linearizable semantics, page 71 (online pdf) says "If a server receives a command whose serial number has already been executed, it responds immediately without re-executing the...
Just 0.02 of feedback -- When I read "ordered", I thought this package provided for range queries on sorted keys. The issue about "map is not sorted" set me straight,...
(I am using the tip of the ivy github repo + the fixes I posted in other issues). https://kenmcmil.github.io/ivy/examples/client_server_example.html says that the first GUI should be however, ivy_check diagnose=true client_server_example.ivy...
Trying to run ivy_check on this Raft spec by James Wilcox https://github.com/glycerine/ivy-jea/blob/master/jea/raft.ivy resulted in the following crash: ~~~ (venv) jaten@Js-MacBook-Pro ~/pyivy/ivy/jea (darwin) $ ivy_check raft.ivy Traceback (most recent call last):...
pydot 2.0.0 (2023-12-30) here https://github.com/pydot/pydot/blob/8f5e9bdf102c57e61d6bf435abf4efb941ca18e4/ChangeLog#L126 made backwards incompatible API change, breaking ivy_graphviz.py This fix appears to let it work again: ~~~ diff --git a/ivy/ivy_graphviz.py b/ivy/ivy_graphviz.py index eed80f0..efa6107 100644 --- a/ivy/ivy_graphviz.py...
Using python 3.10 I think I got most of the way through the install, by using a venv and doing python3 setup.py develop; I am able to run ivy_check, however...
Virtual machine images(docker desktop, Oracle's Virtual Box, AWS VM images, etc) are typically sparse files to save disk space but allow the Virtual machine's internal disk image to grow as...
https://github.com/tinygo-org/tinygo-site/blob/9d0a8d583a56e96307555221227c888baa2a783f/content/docs/guides/tips-n-tricks.md?plain=1#L11 says "TinyGo code runs on a single core, in a single thread (think `GOMAXPROCS=1`). Since scheduling in TinyGo is [cooperative]" However, the latest release notes, under runtime, says "darwin:...