Thanks for the answer!
Regarding push! to a vector, I saw news recently that efforts to rewrite Vector based on a low-level Memory type are underway, see This month in Julia world - 2023-10
2 Likes
Thanks for the answer!
Regarding push! to a vector, I saw news recently that efforts to rewrite Vector based on a low-level Memory type are underway, see This month in Julia world - 2023-10