tabnine

Stream: general

[Huỳnh Trần Khanh]

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]

hmm I'm busier than usual so i might be slow to respond, apologize in advance

[Huỳnh Trần Khanh]

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]

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]

It's pretty dumb and wicked fast.