Nikolaos Bezirgiannis

Results 16 issues of Nikolaos Bezirgiannis

Thank you for your work lwfinger. Do you know if the be chip support the 6ghz wifi6e band? Some searching in the code yields references to 6ghz, but googling about...

Using R 4.1.3 i can `cabal build inline-r-0.10.5`. Using latest R 4.2.0 (that also is on stable ArchLinux), I get on `cabal build inline-r-0.10.5`: ``` Configuring library for inline-r-0.10.5.. Preprocessing...

Pre-submit checklist: - Branch - [ ] Tests are provided (if possible) - [ ] Commit sequence broadly makes sense - [ ] Key commits have useful messages - [...

Do not merge
EXPERIMENT

In the debruijn branch we are transitioning the debruijn index to be a Word instead of Natural, for CEK performance reasons. This means the types of `Script`,`Program`,`Term` change and so...

Do not merge
EXPERIMENT

Hello, When opening other files than `.cs`, e.g. `.el` or `.ts` files, I see that there is a `company-omnisharp` function called, even if the buffer loaded is not in csharp...

Going through the flat specification and source code, it seems that word8,16,32,64,Natural are compatible between each other, up to their respective `maxBound`s of course. By the word "compatible" I mean:...

This is a feature request. For large projects, checking in multiple threads could parallelize the I/O and processing time, hopefully yielding better performance. Also, it should be worht to provide...

feature
performance
hacktoberfest

DON'T LOOK HERE YET Pre-submit checklist: - Branch - [ ] Tests are provided (if possible) - [ ] Commit sequence broadly makes sense - [ ] Key commits have...

Do not merge

Pre-submit checklist: - Branch - [ ] Tests are provided (if possible) - [ ] Commit sequence broadly makes sense - [ ] Key commits have useful messages - [...

Do not merge
EXPERIMENT