Yan Mendes
Yan Mendes
closing this as the old kind2 has been archived at [Kind2-old](https://github.com/HigherOrderCO/Kind2-old)
i think we should keep the video where it is, but add in the footer of it something like "read the whole transcription here", linking to the text version.
what @54g0 said is correct @UsmanTariq2, the problem is that you're missing the `libc` package , which comes with `build-essential`, i recommend installing `build-essential` as that will also give you...
glad to know it worked for you :)
assuming you typed the full `bend run # uses the Rust interpreter (sequential)`. you're supposed to type an actual path to a file instead of ``, so like, for example,...
can you type `free -h` and paste me the output please?
do you get this error everytime you run something with `run-c`? even if you run something like ```py def main: return "test" ```
Closing this since the issue has been fixed and now there has been another issue that falls under https://github.com/HigherOrderCO/Bend/issues/397 and https://github.com/HigherOrderCO/HVM/issues/309
Closing this issue since it was solved. Basically, changing your host compiler to gcc with either `export CXX=gcc` or some variant of that command
oh nice, thank you, we will be working on making the HVM adaptable to multiples GPU, the current iteration was only developed taking the 4090 into account.