Dhruv Dhamani

So doing `python3 -m coq deps` doesn't work for me. Which is weird because `COQdeps` works for the same config on 2 other computers. For the computer that has this...

Ah, thanks. I’ll try that later. EDIT: That works.

not working on windows or WSL for me with git 2.25.1 ``` 17:43:20 ❯ npm init rust-webpack dip-app --verbose npm info it worked if it ends with ok npm verb...

Hi, the completion menu is still not working for me - --------- Platform macos-aarch64 Terminal software: kitty The example completions program compiles, runs, and displays a prompt. Typing a few...

I should have dug around the new commits after release more, I think I got it to work after reading `main.rs`. Keybindings for the completion menu were missing, and ListMenu...

Sorry for not having a minimal reproduction, but this is from the repo https://github.com/DhruvDh/umm/tree/next at https://github.com/DhruvDh/umm/blob/next/src/main.rs. This is how I am creating a line editor - https://github.com/DhruvDh/umm/blob/06f046abbaa1dc2500692c70c7d05b846d358b8a/src/main.rs#L61-L103 ```rust let mut...

Ah, thank you. I figured I probably was using it incorrectly. Anyway the library is great! Thanks for all of your guys' work.

One part of machine learning where Rust could shine right now is simulation for Reinforcement learning. For instance if I training an agent to play blackjack, the biggest bottleneck here...

@kazimuth while I love the snippets you've shown here, a lot of my love for Rust exists because of the all the compile time checks the compiler does, and the...

@koute the long term road-map is amazing but I don't get why bother putting effort into the tensorflow backend. Admittedly I don't have enough know-how to imagine what a native...