Zulip Chat Archive

Stream: general

Topic: tabnine

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