• 2 Posts
  • 352 Comments
Joined 1 year ago
cake
Cake day: June 19th, 2023

help-circle



  • Last time I tried ChatGPT it cannot even do a trie in Haskell, so I don’t see any way it is useful for me, unfortunately. IIRC, I was testing with some trivial modification of a trie, but I do not remember at this point.

    Maybe it is useful for college homework, but I have yet to find any problem it can solve beyond college. But I would love to learn more, since you have more experience with it. :)

    Edit: I tried a problem I encountered couple month ago on https://perplexity.ai. I want to implement a parser in Haskell that do not halt on error, but record the error and keeps going.

    It should take 2 lines with mtl, and the AI gives me a more verbose answer that is also completely wrong.

    So… I don’t see how they are helpful, honestly. Sorry.




  • recently I have encountered a problem with this, it is indeed not so straightforward to create a bootable windows 10 USB instillation media under linux.

    The media created by fedora media writer is not bootable and the media created by ventoy lacks drivers. I was then able to create a media quite easily with the last windows machine in my household. I don’t know if it is a temporary bug or fundamental incompatibility.

    So I would suggest you to keep a windows installation media at hand in case you need to switch back, or make sure at least one of your friend has a windows machine you can borrow.














  • Yes, on wayland you will need to run a particular program as root to be able to read all keyboard input. See xremap or mouseless (unmaintained).

    Since you already give the program plenty of trust to let it read all your inputs, I think running it as root is not outrages.

    That being said, in an ideal scenario, we would be able to set fine-grained permissions like, allow to read keyboard input but deny communication with other app, networks, and storage etc. But I don’t know any OS that can do this.

    A more straightforward way to remap key is to get a keyboard with QMK firmware, that doesn’t cover all the use case of ahk, xremap, or mouseless, but that don’t require you to trust another program to run as root.