ares
ares copied to clipboard
urbit
The new runtime for Urbit
Right now we link c dependencies (most notably [Urcrypt](https://github.com/urbit/urcrypt) and its transitive dependencies) by building them with Nix. This defaults to dynamic linking. An executable built this way cannot be...
https://mastyr-bottec.coeli.network/scratch/view/f5822?rmsg=saved ``` rustc 1.74.1 (a28077b28 2023-12-04) cargo 1.74.1 (ecb9851af 2023-10-18) ``` MacOS (darwin) Aarch64 (edit by @eamsden)
The current holdup between us and a dojo prompt is parser jets. These exist for vere in https://github.com/urbit/vere/blob/45d28f9cf65c6088f3745e79172fd07d793d2169/pkg/noun/jets/e/parse.c I've attached a trace which shows that most of the time spent...
CI should attempt to boot a fakezod as an integration test. Open questions: - [ ] Where do we get a patched king for CI to run? - [ ]...
Vere serf has several assertions that verify that the events coming in are monotonically increasing and ordered correctly. Ares should implement similar safety checks.
If #184 proceeds we will need to convert Ares from a serf to a mars. @joemfb does the subcommand change (i.e. `urbit mars ...` instead of `urbit serf ...`)? If...
Implements UIP-0103 for Ares. See https://github.com/urbit/vere/pull/508 for more. This PR depends on #143 to fix the "double jamming" problem, and also for an interface by which to implement cache reclamation/eviction...
The PMA needs a garbage collector. We need the following functionality: - Deallocating unused blocks - Melding small [what is our predicate for small?] allocations into larger allocations - Tracing...
Several integration issues between Vere and Ares would be solved by migrating both to the urth/mars protocol instead of the current king/serf protocol. In particular, Vere forgoes the serf protocol...
Title says it all.