Enrico Borba

The `README` says the following: > This library fixes the above problem such that it will **never follow logical file sytem [sic] loops** on either unix or Windows. I think...

Strange Rendering Behavior

1

I'm on Ubuntu 17.04, and using gnome-terminal as my terminal emulator. I think utop is getting the incorrect terminal size, but, here is what it looks like  This behavior...

feat: writer() and writer_mut() on termion/crossterm

33

It is sometimes useful to obtain access to the writer if we want to see what has been written so far. For example, when using &mut [u8] as a writer....

Nix builds have empty githash

14

### Prerequisites * [x] Put an X between the brackets on this line if you have done all of the following: * Check that your issue is not already [filed](https://github.com/leanprover/lean4/issues)....

At some point we should write a formally verified implementation of the [HVM specification](https://github.com/HigherOrderCO/HVM/blob/main/paper/PAPER.pdf). We should then use this as the reference implementation. This implementation could also be done in...

32/64 bit Numerics

3

The current idea is to use the `ERA` node as a pointer. `ERA`'s value is unused at the moment, so it could instead be used to store a 29-bit pointer....

# Benchmarks - [ ] C, CUDA, and Rust runtime - [ ] C and CUDA compilation time - [ ] Rust binary size # Tests - [ ] Have...

Interaction Count Unstable Across Runtimes

2

The runtime's don't all agree with each other in the number of interactions that occur. Possible causes: - `oper-swap` interaction is counted

Pretty sure we can just move ```c // Declared here for use in call interactions. static inline bool interact_eras(Net* net, TM* tm, Port a, Port b); ``` into the `#ifdef...