Huỳnh Trần Khanh (Sep 19 2021 at 08:47):
oh I'm eligible now yay! hmm I'm too lazy to turn on my laptop so can you tell me how useful tabnine is for lean development lol
Huỳnh Trần Khanh (Sep 19 2021 at 08:48):
hmm I'm busier than usual so i might be slow to respond, apologize in advance
Huỳnh Trần Khanh (Sep 19 2021 at 16:29):
update: it works yay :grinning_face_with_smiling_eyes: haven't tried it on lean yet lol
for some reason it doesn't work with code-server so i had to install a full desktop environment in the container
Huỳnh Trần Khanh (Sep 19 2021 at 16:30):
anyway... what can i expect? is it smart? is it dumb? smarter than lean-gptf? is it fast? are there any quirks or bugs?
Johan Commelin (Sep 20 2021 at 05:43):
It's pretty dumb and wicked fast.
Last updated: Aug 03 2023 at 10:10 UTC