@nicolasmelo@luksamuk Eu me surpreendo que sequer roda. Quantos tok/s ?
Os MoEs gigantes não tão nem cabendo numa node (8x192GB de VRAM), isso em FP4 e FP8!!
@mmarccs Um dos meus projetos favoritos foi de SO, ligeiramente similar.
https://t.co/WGPuClMozg
Um mock filesystem multithreaded. Foi uma desgraça de debugar (pré-GPT), mas foi mt legal. Dps a gente ligou isso ai num server pra fazer uma key value store
@VictorTaelin Genuine question: why you keep trying this ? Don't you feel a lot of mental noise when working with agents ?
I like them but if I don't have anything really planned on how to achieve the task it is basically like pointing a bazooka to an ant nest and hoping for the best.
@mmarccs (...) quando tentativa e erro pelo proof context não te leva mais pra uma demonstração, e você tem que voltar pra trás e realmente pensar numa estratégia antes de começar a digitar código
@mmarccs É que em programação hj em dia é muito fácil só rodar teu algoritmo e consertar na base da tentativa e erro.
Dos melhores exercícios contra isso é o livro Software Foundations, que ensina Rocq/Coq e provadores de teoremas. Dá pra sentir na pele quando (...)