Rujia Liu

May I ask what's the current state? Is it the defult now or do you still need stress testing? I'm planning to evaluate lean4 to do some general-purpose programming. Big...

Thank you @Kha !

A lot of things have changed in recent months. Now I have no trouble building a native binary with a simple "Command Line Prompt" and Windows line ending issue has...

It looks like most scryer-prolog devs are not working on windows? I can take a look at this (but no guarantee when) since I work on Windows everyday (but I...

I just tried and it looks like my scryer-prolog loads `.scryerrc` because `:- initialization(write_term("hello!", [double_quotes(true)])).` prints `"hello"` successfully, both in `Power Shell` and plain old `cmd.exe`. And probably a verbose...

It looks like @dougransom built that exe himself. Is it possible that something wrong with its build process (because `load_scryerrc` is not found but it should be bundled)? Maybe some...

My bad. `load_scryerrc` is bundled but not exposed. I cannot call it in toplevel either.

Looking at the projects that mentioned that rust issue, I found `https://github.com/google/zerocopy` quite interesting. The codes that I debugged a lot during porting to 32-bit, is somewhat similar to what...

Oh! I didn't realize preview2 is about to finish. I was using preview1 for years...

> This solved the problem for me, but I'm not sure what the best practices are. I was facing exactly the same problem (locals exceed maximum) and also used `opt-level...