Edward Amsden
Edward Amsden
**Describe the bug** When running a sandboxed build on OS X, a derivation fails with `sandbox-exec: pattern serialization length 71710 exceeds maximum (65535)` If you have a problem with a...
Adds `+jib` (like `+jab`, but slam the gate with its bunt if the key is missing) and `+jub` (like `+jab`, but slam the gate with `~` if the key is...
`dif:in` produces the difference of two sets: every set that is in the door sample `a` but not in the gate sample `b`. A useful additional gate would be `mif:in`...
Supersedes #89 with much cleaner history and rebased onto status. @matthew-levan work on integrating the codegen into rust-side Ares should happen here. **Edward TODO** - [x] Fix missing cases in...
Use rust-toolchain.toml and figure out a non-nix way to pin clang/llvm version
We should implement the stackless copying algorithm described in ["An Efficient List-Moving Algorithm Using Constant Workspace"](https://dl.acm.org/doi/pdf/10.1145/360238.360247) (CACM Vol 19 No 6, 1976). This would allow us to entirely remove use...
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...
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? - [ ]...