Maël Valais

Results 227 comments of Maël Valais
trafficstars

Same here, the editor (https://www.madoko.net/editor.html) is not available anymore 😕

Excellent news!!! 👍😊

I just tested on a linux box with 64GB of RAM and ghc 8.0.2: at the end of the build, koka is at 20GB of resident memory (whatever this means)....

Hi, I did some digging using GHC 7.10.2. It seems that some **`substitute`** function has an issue and never de-allocates for some reason. I think it relates to the `substitute`...

That seems to be a great idea; I could use such a feature! 👍 I have no idea how to implement it (I tried to peek into the koka code...

Hi! I am also very interested by having all the editing features in vscode. As a starting point, I created https://github.com/maelvalais/madoko-vscode which only includes syntax highlighting. From that point on...

Using it for [touist](https://github.com/touist/touist)! ✨

I use X11, using Qt 5.15.2. ```sh $ ldd $(which ksnip) | grep Qt libQt5Core.so.5 => /lib/x86_64-linux-gnu/libQt5Core.so.5 (0x00007fa0478a0000) ... $ sudo apt show libqt5core5a Package: libqt5core5a Version: 5.15.2+dfsg-5ubuntu1 ``` >...

Digging into vcert, it seems like the TPP implementation of `ImportCertificate` discards any custom field that has not the Origin type: https://github.com/Venafi/vcert/blob/0645745c0c8c5800811b5a6b200cfb9bef30a32a/pkg/venafi/tpp/connector.go#L1253-L1258 Is that intended?