tomsib2001

Results 14 comments of tomsib2001

Can't type in the first instants of opening terminal

Thanks for the quick answer! Now I know there's a reason for it.

The executable Koka complied doesn't get permission on arm-macOS

Same issue on Koka 2.4.2, Ubuntu 20.04

ValueError: Could not parse LLM output:

I was able to fix this locally by simply calling the LLM again when there is a Parse error. I am sure my code is not exactly in the spirit...

ValueError(f"Could not parse LLM output: `{llm_output}`")

I hope it's not too silly an idea, and looking at the code I'm not sure where such an intervention would take place, but: How about, instead of raising the...

Parallel

Thank you very much for this very detailed answer! I will definitely look into it. EDIT: removed comment about four color theorem, it seems to already be there, just need...