Nicolas Abril

I'm having the same issue running on a raspberry pi 4 with current raspbian (debian 10) and with box64 built on current master (dd60e17). [Here's the output](https://pastebin.com/j4Vi3xHT). It's basically the...

> Out of curiosity, is HVM without lambdas Turing-complete? See the below example, which has a single lambda: > > ```js > // List Map function > (Map f Nil)...

`tests::test` and `api::tests::test` sometimes don't reduce properly and either get into an infinite loop or produce some garbage like the ones above (although not always the same). Something similar also...

https://github.com/Kindelia/Kind2/issues/38 was not caused by this, but I think this example is: ``` Rule (a: Nat) (b: Nat): Nat Rule a Nat.zero = a Rule Nat.zero (Nat.succ b) = Nat.zero...

[This link](https://askubuntu.com/questions/355082/pulseaudio-loopback-unload-audio-output-devices) shows how to. Basically you have to capture the id of the module when loading and then unload only the correct id.

Closes https://github.com/Kindelia/Kind2-before-merge/issues/46 I could have made sure that all files are loaded always in the same order, but I did it this way so that even after changing the contents...

Accidentally messed the branch, but it's back now

It looks like `xxd` is a part of `vim`

> Follow steps at dontkillmyapp.com According to this website, on Samsung phones, even disabling battery optimizations the phone may still decide to kill the running service. I tried it on...

> A license should probably be added, because without it whether or not you can view the source code, modify it, becomes sort of a legally gray territory that could...