mocenigo
mocenigo
Hello. I would be very excited to see the WebView support in Zed. Also because it would expose a Canvas, allowing the port of some mroe sophisticated VSCode extensions. Is...
Something like skia-canvas would be good to get a nt Html canvas. Since the backend is separated I think it could be ported atop of GPUI. With JS and TS...
What's wrong with using the platform's native rendering libraries when they are available?
HI, I am not sure what you mean by "Please check it out and adjust your PR to match them" (them = the tests).
> Hi! I just meant that I saw you added some test cases -- I was just trying to ask you to adjust your test cases to the pattern that's...
`bosphorus --anfread substitute_carefully.anf --cnfwrite substitute_carefully.cnf` crashes: libc++abi: terminating due to uncaught exception of type polybori::PBoRiError: Variable index out of bounds. (but also the master from your repo, I think) FOUND...
> Let’s not make it work for special characters :) Instead, let’s emit an error of that happens. Anyway, since there are then 26 characters (up to lower case/upper case...
HI @msoos it is not clear to me what I should change. Since we only use latin alphabet letters for the variables, the 26-element array for the counts is sufficient,...
Sorry, I did not have time to work on this today. I will try and find time tomorrow. > On 10. Apr 2025, at 23:02, Mate Soos ***@***.***> wrote: >...
> I have now made the GitHub actions work, and build a binary for linux amd64 and arm64, and mac arm64. It now also runs a test suite. You can...