criador da linguagem massivamente paralela é BR

200 tu tem 256 Mc minis tá chegando lá em Floripa agora meu meu comp tá lá em Floripa Botando os Mc min Car 200 quanto de energia como é a parte elétrica a galera pensa nossa 256.000 é muito caro né não cara como é que tu conecta 256 na tua casa tá ligado não tem como não significa que não acredite na ideia é pela minha vida minha saúde meu tempo de vida isso daqui não é de Deus fazer empresa não é de Deus esse cara nunca vai me responder aí um dois TR dias depois ele

respondeu eu acho que a ia vai criar algo muito bom em qualquer linguagem eu acho que ela só fica melhor e eu tenho essa experiência de usar ia numa linguagem que ela não conhece que é hm o Band o Band Eu Descobri com acho um vídeo do F ship Acho que muita gente que deve ter visto aquele vídeo né cara é o Band inclusive é uma coisa que eu não esperava nem 1% daquela recepção tive fal com a minha empresa eu falei gente a gente vai lançar o Band vai ter uns 500 likes no Twitter

pessoal vai animar e E aí a gente vai continuar fazendo e tanto que o b não era o caminho de da empresa Lucar não era o bu não era nada o Ben que que aconteceu era se chamava hm language que era uma linguagem que a gente fez pra gente para nós mesmos usarmos VM só que ficou muito bem feito foi um projeto que deu muito certo eu falei pô vamos dar um nome bonitinho e vamos lançar para quem quiser usar também é então não é nem isso e é só que eu realmente meu feeling é

que tipo assim primeiro o trabalho de programação como um todo eu acho que o mercado de programação vai diminuir tá tipo assim deixa eu contar quem é esse cara que tá aqui hoje comigo né esse aqui é o é tying né Victor tying se tu já ouvi falar de de net nets de interação é assim que se fala em português nets de interação e combina adores de de interações o Vittor tá trabalhando nisso certo Vittor é basicamente executar programas de formas eh trazer algo da teoria pra prática que seria fazer o é muito difícil explicar

cara explica tu que é melhor é não não não tipo assim eu achei muito bom a parte do Então quem conhece redes de interação tipo assim basicamente eu o pessoal conhece no chat não só que trabalhava com Ah não esse negócio é muito deixa deixa eu tentar dar um contexto tá eh talvez explicasse e assim eu vou pedir uma coisa para você se eu começar a tagarelar por favor me interrompe porque eu já costumo falar muito e hoje em especial tipo eu tô com problema de insônia por causa do covid Eu só dormi umas 4

horas não tô nas minhas na Plenitude das minhas capacidades cognitivas você começar a tagarelar sem me interrompo mas tá olha só eu tive uma ideia Vitor tu consegue explicar um pouco Qual que é o problema que tu tá tentando resolver então o o problema que eu tô tentando resolver é um problema muito simples na verdade é o problema da eficiência computacional eh a gente cria né a gente tem computadores a gente tem celulares O nossos computadores tem um processador ali dentro que tá rodando alguma coisa aquilo gasta energia leva um tempo tá E aí acaba

uma pergunta Será que a maneira que a gente faz os nossos processadores é a maneira mais rápida que esse universo físico onde a gente vive permitiria Será que existe uma arquitetura diferente de computação tipo diferente a gente sabe faz que a gente usa eles se tu acha que a gente já tem um hardware para fazer mais do que a gente poderia estar fazendo e por isso que a eficiência nos ajudaria Ou tu acha que a gente precisa de fato fazer o o chip ainda menor a acml lá precisa fazer umas máquinas para gerar um chip

ainda menor Cara eu acho que tem muito a melhorar e eu acho assim se você gasta sei lá 1 milhão de dólares para treinar um modelo num chip que gasta uma quantidade de energia tal se você tem uma coisa 100 vezes mais eficiente esse 1 milhão de dólar vai virá 10.000 então a eu acho que no a nível de de de da forma que a gente faz a computação tem muito a melhorar a Não no sentido de diminuir o tamanho né dos transistores e tudo mais mas no sentido da própria arquitetura ser uma arquitetura diferente

Uhum E é me que nisso que a gente tá trabalhando é basicamente a empresa tipo o ponto de pergunta né a pergunta principal da empresa é qual é a forma ótima de computar Porque a gente já sabe fazer computadores há quase 100 anos mas a gente não sabe qual é a forma mais rápida possível fisicamente possível de fazer computadores e a nossa missão é essa vamos tentar responder essa pergunta faz um pouquinho de sentido sim e é por isso vamos lá o tu tá aquelas limitações de lâ quando quando se fala assim no Twitter tu

vê uma trad lá tu tá sempre envolvido numas trads eu dou uma olhada assim às vezes aparece lá um tal de lambda cálculos lambda cálculo tradicional né Se o pessoal for ver o teu Twitter tu vai vão ver lambda cálculos não sei o qu como é que tu explicaria do que que isso aonde que isso se encaixa aqui cara eh existem paradigmas né que a gente usa para programar então por exemplo começou-se no paradigma imperativo né que era muito baseado na máquina de touring que foi como a gente começou a fazer né computadores isso veio

lá da Revolução Industrial que a gente né sociedade como todo tinha essa ideia de máquinas e aí das máquinas surgiram os computadores e os primeiros computadores eles tinham esse esse espírito de máquina né uma máquina de tu uma coisa ali que vai fazendo uma coisa numa fita e fazendo né movimentações transformações e disso tudo a gente ou boa parte das linguagens de programação que a gente tem hoje né as linguagens imperativas C né uma parte do Python é muito assim esse é um paradigma todo né que a gente erdou historicamente das máquinas e os matemáticos

não satisfeitos com isso eles falavam cara a essência da Computação não são máquinas máquinas é uma coisa muito sabe muito assim não não não a essência da computação é a matemática e a gente consegue computar usando a matemática eles provaram isso fazendo cálculo lambda eles mostraram que existe um sistema que não é uma máquina é só um monte de função você pode fazer no papel você pode pegar um caderno e fingir que você é um um um interpretador de cálculo lâ Eles falaram se esse sistema consegue computar qualquer coisa eh Por que que a gente

não usa isso para fazer computadores tentaram e ficou uma porcaria tá mas eles fizeram linguagem de programação E aí surgiu paradigma funcional que todo mundo odeia que é difícil para caramba mas é assim a máquina de T versão matemática certo então existem esses dois paradigmas eu acho que são os maiores hoje em dia o imperativo e o funcional Eh o meu Java como é que isso impacta o meu Java o Java ele é predominantemente imperativo com uma pitada de orientação objeto que eu sou Hater mas não vou falar mal porque o pessoal gosta eh e

ele tem muit e tipo assim as linguagens que são mais usadas hoje em dia são meio que mescladas né o JavaScript o Java tem função lá é tipo uma estura de tudo ah né Eu gosto do Java porque ele é organizado pelo menos isso é uma coisa que eu acho ele legal mas acho ele muito burocrático não é n é extremamente fortemente chupado Eu trabalho com o Java como que eu trabalho com cotlin né que é o o Java um pouco com um pouco mais de tempero eh eu gosto Cara eu acho gostosinho mas aí

então vocês estão trabalhando PR eficiência computacional parte disso é repensar várias coisas que a gente faz hoje né então como por exemplo o próprio paradigmas da da então é daí que surgiu começando do início ali é daí daí que surge o Band sim então Eh como eu falei tipo tem esses dois paradigmas que são os principais eh e eles assim na minha concepção eles não são perfeitos a máquina de touring é um paradigma é bom porque ela mapeia bem no hardware né os nossos hardware eles são meio que ali máquinas G estador são muito parecidas

com máquinas de T é uma máquina né É claro que vai ficar bom na máquina faz sentido eh e esse paradigma matemático calcul lâ ele tem vantagens ele para formalizar teoremas ele para fazer computações mais complexas ele é muito bom mas ele não mapia tão bem no hardware você não tem um processador de cálculo lambda hoje em dia uhum e aí tem esse GAP um é muito bom para conceitos mais de alta ordem e o outro é muito bom para eficiência e não existe um paradigma que seja bom bom paraa matemática abstrata e que seja

eficiente quant a máquina de touring eh não existia na verdade até em 1990 descobriu-se um novo paradigma que não tem nenhum nome tá mas ele é baseado nessas redes de interação eu eu gosto de falar o paradigma interacional Mas essa palavra não existe tá Seria funcional imperativo interacional ou é porque interativo é meio ruim né interativo parece que é outra coisa mas qual a ideia do do paradigma das interações ele fala assim o princípio fundamental da Computação não são máquin e não são funções são interações são pedaços de informação que estão interagindo em algum espaço

faz sentido isso é tipo é basicamente tu tem nós Eu imagino assim tu tem os nós aí tu tem ligações tu liga esses nós com algumas regras aí eu já tô pensando meio blockchain Style aqui e Cada nó é seria uma função Cada nó não é uma função é como se fosse sabe circuito Lógico que você tem um end você tem um or é tipo um circuito Lógico que tá crescendo de Essa é a melhor descrição na verdade entendeu Então essa é a ideia a gente vai computar com essas interações que acontecem né entre esses

nós que você tá vendo aí tá E aí o legal desse paradigma Enfim tudo isso é para dizer cara esse Existe uma forma diferente nova de computar e essa forma na teoria né esse cara que propôs esse sistema 30 anos atrás eh ele provou na teoria lá na matemática no paper dele que ele é ótimo O que que significa que ele pode emular qualquer outro sistema sem perda de performance Ou seja que que eu tô dizendo ele consegue ser tão eficiente quanto uma máquina auding mas consegue ser tão abstrato quanto cálculo lambda pegou e aí

ele falou cara isso daí é o princípio fundamental da Computação interações informação interagindo e faz sentido né tipo computar é o quê você tem um dois um dois eles interagem e viram quatro f sobre isso ação informação interagindo e ele fez uma uma um sistema que captura essa ideia tá ele lançou provou o teorema Conseguiu usar esse esse esse esse sistema para fazer o interpretador calcul lâ mais rápido possível e assim foi um um instalador não sei essa palavra enfim rodou lá o o a a academia né os pesquisadores como todo e aí nada aconteceu

foi isso foi tipo assim nossa gente eu fiz o sistema mais rápido possível na teoria esse negócio daqu provei que isso daqui é o melhor forma de executar o cálculo lambda provei que isso daqui é tão eficiente quanto a máquina de touring provei que se computadores fossem feitos dessa maneira provavelmente seriam muito mais rápidos que os computadores que tem aí os pesquisadores lá oh que legal e nada aconteceu então em 1990 1990 veio só a teoria o cara eh não conseguiu botar em prática né então eles tentaram inclusive uma pessoa que me ensinou no começo

H uns cinco anos atrás eu troquei alguns e-mails cinco sete né eu troquei uns e-mails com ele ele fez um livro chamado a implementação ótima das linguagens de programação e ele implementou o bohm que foi o precursor do HM foi tipo a primeira tentativa de trazer um pouquinho desse conceito das interações para fazer um não processador ainda mas pelo menos uma linguagem de programação digamos assim ele tentou pegar esse seria o primeiro a primeira linguagem de programação desse paradigma tem o imperativo tem o funcional tem esse paradigma que ainda não tem linguagem não tem copulador

não tem pador não tem nada é um paradigma novo ele foi e fez a primeira linguagem nesse paradigma não ficou muito rápido ficava tipo assim 10 100 vezes mais lerdo do que usou tipo lisp essas linguagens que tavam sendo usados no no paradigma funcional e muito mais rápido que C Java o próprio Java destruir IMP performance CB Hm e nisso morreu o campo morreu por uns 15 anos nessa nesse projeto E aí não não se fez mais nada sim e aí tu olhou quando é que tu olhou isso você cara eu posso tu tu aprendeu

a programar E aí em vez de para eu vou aprender react para ganhar para trabalhar numa empresa ou fazer um projeto enfim um aplicativo ã Da onde tu olhou esse problema lá de 1990 Ah eu vou vou mudar isso aí cara eu acho que eu sou meio tenho algum problema na minha cabeça mas só só antes de eu falar isso tipo assim eu adoro o react só porque você entrou nesse assunto foi a primeira linguagem que eu trabalhei sou apaixonado lá na or é uma empresa de fintech inclusive adoro eles eh né quando eu saí

da CRJ lá na hora mano eles queriam fazer as coisas em ângul e isso tava começando react eu falei não faz em react aí não faz em ângulo eu falei faz em react eu fiz aí não queriam eu fiz uma palestra para h inteira mostrando como que com rect a gente podia fazer um site com várias bolinhas rodando várias para mostrar o contra o reaction era impressionante sabe aí Eles olharam aquele coisa e falam Nossa que legal mas a gente não quer fazer bolinha rodando bom aí eles usaram um ula Três anos depois me mandaram

mensagem falando você estava certo o react era o futuro eu falei eu falei eu falei eu falo as coisas não acreditam eu falo tudo que é trend velho b i b on react mas enfim porque a sóo do react é bem construído entendeu Era óbvio que esse negócio ia dar certo com o ângulo de cabeça Era óbvio Mas eles nãoc quiseram me ouvir mas aí s o o aí o que aconteceu eh o que acontece que uma pessoa meio chata então eu vejo uma coisa tipo assim eu eu eu quero sempre ser mais melhor tipo

eu quero conseguir programar mais rápido fazer as coisas mais rápido então tô sempre procurando por exemplo eu trabalhava com c achava um lixo porque você não consegue fazer uma função e ser é tudo tão repetitivo você tem que fazer mesmo é uma repetição aí eu queria aprender uma linguagem que me tornasse mais eficiente aí eu VII pro paradigma funcional que consegue abstrair os Loops as coisas eh e aí eu fiquei muito animado com paradigma funcional entrei bem a fundo estudei estudei estudei aprendi tudo aprendi a fazer jogo em haskel eh e aí quando eu comecei

a tentar fazer agora eu quero fazer o meu eu queria fazer um um MMO aí aí quando eu fui fazer o meu MMO em rasel as coisas ficavam muito lerdas por mais que a linguagem seja Ficava muito lerdo eu falei por que que tão lerdo aí que eu comecei a entrar nesse eu queria melhorar o rasel né porque eu queria fazer agora eu conseguia fazer as coisas rápido né porque eu não conseguia no C no ras tudo gente ti progama em ras quando você domina é é um super pod é um super poder você consegue

fazer coisas que você levaria um mês e um dia e fica tudo certo mas aí você não aí você não publica porque o negócio fica lero não rodde em lugar nenhum o GJ uma porcaria aí eu falei cara vou criar minha própria e tentar fazer ficar mais rápido possível daí que eu cheguei nesse negócio saou que loucura meu E aí tu a primeira coisa que tu trabalhou então primeiro projeto foi na gvm foi na na virtual Machine ou por onde que tu começou para resolver esse problema cara faz uns 8 anos eu entei pela primeira

vez esse sistema Porque me falaram no no no irc de ras né um chatz inho que fica os hacker lá ã Inclusive eu prendi rask por causa desses caras eu fui lá no chat deles e perguntei por que que eu não posso fazer uma lista com vários tipos diferentes de rask aí viraram para mim e falaram você não está pronto ainda inteligência suficiente eu falei eu eu programo desde os meus 11 anos como você usa Vocês que são ruins isso ficou tanto na minha cabeça algum triplex aí eu comecei aprender eu vi que estavam certo

né eu era um lixo e tinha muita coisa legal no ras Nossa como aprender haskel te torna 10 vezes melhor só de aprender mas enfim Eh aí eu aprendi o haskel e Nossa gente eu tô com sono onde que a gente estava a gente tá por onde que tu começou tá eh Aí Eu aprendi o ras eu queria fazer a linguagem mais rápida possível eh ah sim assim aí a primeiro a primeira vez que eu implement esse aí eles falaram para mim assim eh a forma mais rápida de você executar um programa no cálculo lambda

né que é R é baseado é usando Eh eu falei Ah então ras que usa isso eles falaram não ué É por qu aí eles ah aí eu fiz um post no Red Por que que o rask não uso interaction net Porque que ninguém tá usando isso aí veio o cara falar ah porque teve um resultado negativo da interaction net que não funciona tão bem porque tipo ninguém usa Não não O que aconteceu é que eles falaram assim não tem tipo teve um resultado negativo que diz que Inter eu não vou entrar em detalhe mas

que diz que não é tão bom assim aham E aí esse resultado se espalhou pela academia pelos pesquisadores e o pessoal meio que desanimou da área como um todo acho que foi por isso que morreu só o que aconteceu veio o pesquisador que fez o paper desse resultado negativo o cara que criou o paper do resultado negativo que fez Todo mundo des animadoa nesse post do r e falou assim Parem de interpretar errado o meu paper era só não é um resultado negativo não Eles não entenderam o resultado não era negativo é tipo assim provou

um teorema x eles interpretaram errado o significado daquilo isso ficou e ficou ele ficou um brigando com o outro eu não entendia nada fiquei lá olhando tipo tá acontecendo aqui e umal não foi por isso não não foi por isso não mas funciona não funciona E aí parou morreu aquele post e não aconteceu mais nada eu gente tá mas por que que não tá usando Não teve resposta teve um falando um outro falando do outro aí eu falei vou implementar aí eu fui lá baixei o Piter falei não deve ser tão difícil né Aí eu

baixei é só um monte de figurinha eu falei ah figurinha você se eu entendo impi literalmente implementei as figurinhas P inteligente eu sou pessoa mais burra que você vai na vida S IMP implementou no que que tu implementou T Qual foi o teu foi javas JavaScript era fone JavaScript implementei em JavaScript eu ia brincar ainda eu ia brincar Por que a gente não resolve isso com JavaScript não obviamente ficou ralmente Lerda a minha implementação só que sabe o que é interessante por mais que terha ficado muito lerdo tipo assim 1 vezes 10.000 vezes mais lerdo

do que o rasel é do que eu queria ficar mais tinha uma coisa interessante Tinha alguns programas específicos que ficava ao invés de mil vezes mais lerdo 1 milhão de vezes mais rápido u é é muito mais é era ruim era era lerto mas alguns programas específicos tavam 1 milhão de vezes mais rápido por quê Porque esses são os programas que o rasel não consegue computar com eficiência correta Uhum Então tem algumas classes de programa que eu fiz um post inclusive no stack of Flow que ficou um monte de gente comentando que exponenciação modular de

church in po eu vou explicar o que é isso mas é um programa específico que eu tentei rodar no ras que eu levou eh 10 minutos 20 minutos e se eu aumentasse o tamanho ia para 1 hora 10 horas eu rodei nesse meu interpretador e levava 1 segundo do segundos e a resposta tava certa eu Nossa que sistema interessante sacou eu fiquei meio eu fiquei eu fiquei interessante isso aí aí foi primeiro implementação Mas isso faz uns 7 anos e não ficou rápido só desistir fui trabalhar em outro lugar e hoje vamos lá voltando pra

eficiência computacional então tu começou a trabalhar ã no interaction nets E aí aonde que entra da onde que tu tu decidiu criar uma empresa disso meu então aí e muita história se passou né eu fui trabalhando na Fundação eum fui trabalhando na stoney né meio que fiz minha carreira em algumas empresas de fintech e cripto E aí enfim teve chegou um ponto que eu decidi ficar mais na minha E aí eu comecei a passar fiquei muito tempo jogando né não não queria mais trabalhar e e como eu tava muito tempo livre eu voltei nesse assunto

sabe eu falei pô vou voltar nesse assunto porque foi tão legal principalmente essa experiência de ficou 1 milhão de vezes mais rápido que o rasel mesmo que seja alguns casos específicos eu comecei a pesquisar eu comecei a implementar Esse sistema de tudo que é jeito diferente eu falei deve ter um jeito de fazer isso fica rápido aí eu tentei de um jeito x tentei de um jeito Y tentei de outro queria ter pedido ajuda pro GPT não tinha enfim e aí chegou um dia né inclusive que eu tava em Call com os amigos meus que

eu tive uma ideia né de um de um formato de memória diferente uma maneira diferente de organizar a memória e aí eu falei pô vou implementar Sim passei dois três dias acho que foi em Rust que eu implementei em três dias ficou pronto e ficou cinco vezes mais lerto que o rask aí você fala pô que de 1 vezes mais lto para cin vezes já Progresso foi foi no momento que eu pensei cara eu acertei o a memória porque o Rasco eu ten 30 anos de otimização eu acertei como esse negócio fica rápido na memória

eu falei cara que legal isso porque toda a crítica né inclusive o bohm pô não não não não bombou não vingou os caras desistiram porque ficou lerto na na na na prática e agora a gente tem um sistema de uma formato de de memória que consegue deixar esse negócio rápido e eu me senti Como assim como se eu tivesse na minha mão uma coisa que era importante pra humanidade de certa forma podia não ser podia mas fazia muito sentido eu falei cara ter que fazer alguma coisa com isso e me veio um senso de Cara

eu tenho que fazer alguma coisa com isso aí foi foi exatamente isso eu fiquei Cara eu tenho que fazer alguma coisa com isso com isso com H E aí eu mandei e-mail pro Paul Graham conhece Claro Pois é eu sou muito fã dele aprendi muito muito com os textos que ele posta o cara é um gênio né o dono do i combinator o maior acelerador de Startup do mundo eu acredito eu mandei e-mail para ele né torcendo para ele responder ele respondeu e ele ele gosta de receber e-mail curto então Oli lá o bio dele

ele fala quer me mandar e-mail manda e-mail curto que você tem alguma chance respondido mandei meio tipo duas três frases aí esse cara nunca vai me responder aí um dois trê dias depois ele respondeu eu mandei meio falando assim cara eu tenho você já viu hm um negócio interessante eu quero fazer alguma coisa com isso porque eu acredito que a gente a humanidade como tud deveria pesquisar isso bem que seja só para crescer um pouquinho evoluir e ver do que que dá né eu falei pô mas para isso eu preciso de fund preciso de uma

equipe aí eu falei para ele tô pensando em abrir um uma empresa aí ele me respondeu assim cara esse projeto Eu já vi sim no hacker News algum negócio assim Acho muito promissor Acho que deve ser pesquisado sim só uma pergunta para você por que que você quer abrir uma empresa perguntou assim aí eu abro eu quero abrir uma empresa porque eu acredito que seja um caminho né de ter uma equipe levantar Fan você ter algum outro algum outro caminho e tal nunca mais me respondeu até hoje eu não sei qual se ele queria falar

não você devia ir para alguma Universidade fazer uma parceria ou talvez ele tava querendo dizer no sentido você quer abrir uma Ong ou um eu não sei o que que ele queria que eu fizesse Car hoa um teste às vezes cara agora o cara fica com isso na cabeça para pô P que que era qual que era a resposta mas assim hoje eu acredito que eu entenda viu porque fazer empresa não recomendo para ninguém ninguém é muito é Nossa acho Nossa se eu pudesse voltar e não fazer rock eu não faria porque é muito trabalho

suga a sua vida é outro poderia começar com assim cria a Open High Higher Order Company começa como non Profit que nem eu sou malman não tô brincando ah igual da dor de cabeça mas eh eu imagino que uma da dos piores desafios teu como empreendedor é tipo assim essa parte né brincando no non Profit mas é como é que tu faz ficar Profit B né como é que tu faz algo um projeto assim que tem Impacto pra humanidade ficar profitable com tanto a pesquisa né que tem que fazer e aí a gente entra no

problema né no problema e tipo assim a gente quando as pessoas me perguntam da Rock eles imaginam que eu vou começar a vender vou começar a falar muito bem tudo gente longe disso cara rock provavelmente é uma das setups mais problemáticas que vocês vão conhecer na vida tem muitos problemas tem muitos desafios tem muita gente limitações é uma bagunça eu sou um péssimo Líder Sinceramente eu não sou bom Líder eu percebi isso quando fazer uma empresa né eu se criar código só que agora eu ter que ser responsável e tentar levar essa empresa eh para

uma situação de lucratividade só que é muito difícil porque mesmo vamos supor mesmo vamos supor tá que eu consigo fazer o agvm ficar tão madura quanto o rask o que não é fácil porque o rask foi feito durante 30 anos por 15 universidades diferentes sim e a gente tá uma equipe pequena alcançar o nível de maturidade do rask no no no paradigma da gvm que é o paradigma das interações e a gente tem que fazer um compilador tá a gente não tem o compilador não tem o gcc pessoal fala ai mas o zigs foi feito

com 500k Tá mas os caras usaram O compilador que é o gcc que foi feito com bilhão não existe um culador pro paradigma das interações não existe o ghc é o mais próximo disso foi pro paradigma funcional e foram várias universidades para fazer vamos supor vamos supor que eu faço um compilador tão bom quanto o ghc e o gcc que eu faço uma linguagem né o Band agora foi publicada né tão boa quanto o rasper n Seria a primeira linguagem desse Paradigma e hm tá lá super madura Super eficiente tá E aí tá tudo pronto

como que eu faz Dino com isso aí eu fui falar com o conhece o ofr ofr não é um dos enfim um dos melhores matemáticos meio polêmico e algumas coisas mas ele é muito inteligente ele lançou oan Alfa que é bem conhecido nas universidades principalmente fazer cálculo é um site que você vai lá coloca integral e ele integra para você antes das tá e pessoal usava muito isso em engenharia é um site bem conhecido em engenharia Aí eu mandei eil para esse cara E aí a gente teve uma uma conversa e eu falei para ele

cara como que eu vou fazer fazer eu expliquei tudo ele tipo assim ele ficou muito entusiasmado né com ele ele gosta desse tipo de sistema computacional diferente ele pesquisa muito isso eu ficou como que eu não conhecia interaction net antes aí eu falei tá cara mas como que eu vou lucrar na minha empresa em cima diso você acha que eu devia virar uma non Prof Você acha o qu falou não vira non Profit não sabe o que você faz você quer lucrar com uma linguagem de programação eu quero aí ele Você vende a linguagem da

programação eu Ué como assim vende vai você você cobra para seus usar cara você você é burro eu não sou Bur desculpa mas assim eu eu assim eu entendo o ponto de vista dele porque ele faz a vida assim ele vende uma femca né que a linguagem dele sim só que isso ele começou a vender 30 anos atrás era um era uma época que você tinha um CD Room que você comprava o Photoshop sabe nem isso tinha então eu não sei se vocêo aplica ao mercado de hoje e um e para alguma grande empresa assim

Digamos um Google Amazon ã para eles colocarem a galera comentou aqui s sobre colocar na nuvem né fazer isso rodar na nuvem e daí eu me lembrei da isso traria alguma eficiência a algo que o Google estaria interessado em diminuir custos na nuvem deles então a gente quando a gente não sou b a gente ficou muito tempo discutindo a gente trouxe uma pessoa de negócio e o caminho era esse era pegar o bent aperfeiçoar ele o máximo possível e fazer uma nuvem e eu vetei esse caminho Talvez eu tenha errado Talvez eu tenha cometido um

grande erro mas por dois motivos tá eu acho que quando você tá fazendo uma empresa você tá diante de uma nova revolução que tá acontecendo Imagina você tá lá você é um gestor da Kodac sim e você se cega aos smartphones que estão começando a surgir você tá cometendo um erro que é o caminho mais fácil só que o mercado do futuro não é o mercado de hoje eh eu vejo dois problemas muito grandes pro Band se tornar algo de poderia fazer um Cloud poderia fazer tem várias formas de talvez poderia popularizar o Band negociar

tem dois problemas que eu identifiquei que eu acho que são muito importante primeiro problema eu criei o bend com a intui com a com a Eu acho que eu errei sobre isso com a expectativa de que seria fácil e aí a gente fez o bend o Band é basicamente hm empacotada numa sintaxe de Python tá e eu lancei e a gente falou Pô é super fácil super fácil não é não é sabe o que eu percebi a gente colocou uma sintaxe de Python mas é como se a tipo sabe quando a criança não quer comer

o remédio Aí você coloca lá o chocolate e volta que ela sente o gosto eu acho que foi um pouco isso que a gente fez a gente tentou botar uma sintaxe simples mas por trás dos conceitos Eles são muito difíceis e o que aconteceu pessoas entraram programaram em Band e e elas não conseguiam fazer os algoritmos corretos da forma correta usando os conceitos corretos eu percebi para fazer um bom algoritmo por mais que ele paralise automático tudo que pode ser paralisado eh o seu algoritmo se ele for sequencial não tem o que fazer você não

consegue arquitetar uma árvore né que você expande que que distribui o trabalho você não precisa você não precisa fazer trad você você nunca vai ter um erro de concorrência o que já é um é ajuda muito mas você precisa ter um algoritmo que que que paraliza e eu percebi cara isso é difícil primeiro problema e e o segundo problema e aí esse problema bateu muito e sinceramente cara muita gente que vai discordar de mim com todo direito Posso ter errado como ce posso ter tomado decisão errada eu não acho que a gente tá no mercado

de criar linguagem de programação nova eu acho que a gente tá com gpt3 e agora é o 4ro e agora é o c daqui a do anos a gente vai est é é é complicado falar isso mas o mercado de TEC como um todo tá num tá tá tá diante de uma automatização gigantesca e no mundo onde você tem a ias que conseguem fazer qualquer código em qualquer linguagem com nível de automação Muito grande qual vai ser o humor do mercado para popularizar uma linguagem totalmente nova E aí tu acha que o pessoal hoje em

dia já já também vai priorizar linguagens que as ias já dominam por exemplo tipo ah cara sempre quando eu tento resolver um bug em RX Java ã o GPT não consegue nem o old 3 ele não consegue resolver não consegue escrever um teste unitário envolvendo um arex Java mais complexo ali mas provavelmente um bug de algo em JavaScript ele consegue porque eu acho que ele tem muito mais treinamento de uma linguagem específica né tu acha que o pessoal agora vai começar de fato a se guiar pelo que as I são capaz de fazer por exemplo

se a ia só consegue fazer algo muito em Python ou em JavaScript e a galera vai optar por essas linguagens eu acho que a ia vai criar algo muito bom em qualquer linguagem eu acho que ela só fica melhor e eu tenho essa experiência de usar ia numa linguagem que ela não conhece que é hm o Band e ela manda muito bem a gente manda muito muito muito tudo que ela faz em Ráo que ela faz hm às vezes erra detalhe de sintaxe porque ela não conhece mas ela consegue aplicar os conceitos corretamente e então

não é nem isso eh é só que eu realmente meu feeling é que tipo assim primeiro o trabalho de programação como um todo eu acho que o mercado de programação vai diminuir tá tipo assim posso errado pera que naade enfim é um assunto delicado mas eu acho que o mercado como todo vai diminuir então mesmo se a gente conseguir se popularizar o Band vai ser um mercado menor né uma Dev to sim se o mercado como todo é menor o Band vai ter um um mercado que ela pode se dirigir menor eh eu acho que

o mercado vai diminuir e mesmo que não diminua mesmo que continue que cresça que seja eu só acho que o apetite para linguagens novas vai se tornar eh uma coisa um pouco mais escassa eu não acho que o caminho do Band é o caminho para rock tá eu acho que é é assim talvez eu esteja errando mas eu acho que essa decisão agora é importante que a gente tem um capital ainda relevante que a gente consegue fazer uma Play né os porque o ponto da empresa toda é cara vamos pegar esse paradigma novo e fazer

algo de valor comercial em cima disso e a gente tem um capital lá para conseguir fazer isso certo e não sei se faz sentido aí num caminho que eu mesmo não acredito ficar empurrando com a barriga fingindo que as vi não estão ficando entendeu E aí a gente não não decidiu segir pelo caminho de comercializar o b a gente quer continuar desenvolvendo como open source mas não tornar isso nosso buers para bus a gente tem uma direção diferente faz sentido faz faz sentido acho que tu tem acho tá tomando uma boa decisão Mas quem sou

eu né eu descobri o bend Eu Descobri com acho um vídeo do fireship Acho que muita gente aqui deve ter visto aquele vídeo né Tu sabia que o Far ia postar sobre aquele vídeo ah sobre o Band cara é o Band inclusive é uma coisa que eu não esperava nen 1% daquela recepção eu tive qu com a minha empresa eu falei gente a gente vai lançar o Band vai ter uns 500 likes no Twitter pessoal vai animado eh e aí a gente vai continuar fazendo e tanto que o Band não era o caminho de de

da empresa lucrar não era o business não era nada o bent que que aconteceu era se chamava hm language que era uma linguagem que a gente fez pra gente para nós mesmos usarmos Hm só que ficou muito bem feito foi um projeto que deu muito certo eu falei pô vamos dar um nome bonitinho e vamos lançar para quem quiser usar também eh eu acho que por culpa minha a gente passou uma imagem do bent eh como se fosse uma coisa muito mais pronta do que ele tava e como se fosse uma coisa que você podia

já começar a usar no surpr você pode pode mas não vai ter o STD Lib não vai ter o f System não vai ter um monte de coisa que você tem no pyon nodejs eh só roda em rtx você provavelmente vai ter que abrir ali o cuda que ele gera manualmente não é uma coisa que tá ali eh que não é nos fusas entendeu a intenção era só lançar F gente vai ter três pessoas usando e o pessoal que entrar aqui a gente dá suporte e tá beleza aí no dia seguinte vem feliz f pessoas

1 milhão só o vídeo do Band 1 mil. mil pessoas assistiram do fireship isso foi ruim porque a gente ficou cara será que a gente vai fazer então por que que a gente não faz um negócio em torno do do Band e ficou muito essa discussão que não era a direção que a gente queria ir já antes de lançar Sim a gente perdeu um tempo nessa discussão vamos fazer só que eu cheguei entendeu Depois de muita discussão eu falei cara não é esse o caminho Vamos focar né no caminho que eu acho que faz sentido

posso est errado mas eu acredito que faz sentido massa e E aí como é que o pesso que que qual que é o próximo passo então agora e o que que tu gostaria de falar pro pessoal aí onde é que o pessoal pode te acompanhar o que como é que eles podem contribuir e depois a gente vai para umas perguntas aqui aqui da galera que acho que eles devem ter então ã na empresa a gente é meio chato falar isso mas a Rock Ela tá com uma direção agora de não tentar popularizar nada a gente

não tá com a intenção de fazer uma linguagem super popular de fazer nada popular muito mesmo uma blockchain tem muuito falar sobre isso mas enfim eh a nossa intenção agora é usar Hm como uma ferramenta interna uma arma secreta como se fosse pra gente resolver alguns problemas eh do mercado atual e existe um mercado meio nicho mas que tá expandindo muito de empresas Under aqui que são as empresas de simbólica ai eii simbólico que é tipo tem muitas tá tipo estão crescendo tão expandindo não é não é do nível do mercado do do do Open

Eye Mas eles basicamente dizem assim cara a gente acredita que Inteligência Artificial ela tem problema de raciocínio lógico ela é boa para gerar texto mas paraa lógica matemática teorema debugar código é ruim e se a gente fizer uma eia mais simbólica no sentido de que ela é mais matemática lida com equações a gente vai conseguir ter uma me que mais inteligente mesmo no sentido do raciocínio tem muita empresa com essa crença e essas empresas elas precisam de um sistema para rodar os algoritmos simbólicos deles e o Agu VM é muito bom para isso tá isso

é uma coisa que eu posso falar com confiança então eu não acho que é fácil de de empurrar o gvm na no mercado e falar usem usem o Band mas eu acho que é muito fácil da gente internamente olhar para essas empresas que estão mexendo com simbolic ai encontrar algum algoritmo deles que tá lerdo otimizar nós mesmos usando hbm e falar pô esse ter o algoritmo de simbolica é aqui a gente consegue rodar com cinco vezes menos custo na Hm e fazer uma parceria direta entendeu a gente reduz o teu custo então a rock tá

se tornando uma empresa disso uma empresa de servir a essas empresas desse mercado nicho é um mercado menor eh mas é um mercado que tá crescendo E existe um negócio ali existe um negócio e e é uma coisa que agvm se aplica tá não passa nesse problema de que é difícil ensinar o bent porque nós mesmos podemos criar os os as coisas usando agvm só para vender o produto né o a solução e não a linguagem para fazer a solução Sim nesse caminho então hm para resolver e o que que é simbólico ai é basicamente

assim e hoje em dia os algoritmos gii eles são baseados em em Deep learning é uma rede neural é tipo emulando o cérebro humano Não exatamente mas teve inspiração é uma coisa muito não é orgânica mas é é uma coisa muito estatística muito contínua né eles usam números reais tudo mais eh o a ideia do The simbólico é que a gente vai tentar fazer algoritmos de Inteligência Artificial sistemas modelos que não são redes neurais necessariamente ou talvez seja um mix mas que tem ali no meio o conceito de eh basicamente a matemática em si tipo

o cálculo Lambada basicamente a ideia tipo pegar conceitos de teoria dos tipos conceitos de teoria das categorias coisas que não são contínuas porque por exemplo quando você prova um teorema o teorema ali é é uma fórmula né uma fórmula simbólica você tem você por exemplo você vai fazer uma equação você aqui resolver uma equação de cálculo é uma fórmula simbólica A ideia é pegar esse formato dos símbolos e as manipulações de símbolos para fazer um sistema que seja mais matemático digamos assim e é difícil de especificar exato porque tem muitas Vertentes o pessoal por exemplo

lá do n enfim de uma empresa eh eh eles estão com uma ideia eh muito mais de de fazer uma mesclagem de fazer mistura de Deep learning com simbolic e existe uma coisa muito extrema Eu acho que eu sou mais nesse caminho extremo de cara eu quero simplesmente pegar fórmulas Matemáticas e usar isso para fazer né algoritmos que aprende então basicamente é que que é Simbol que é é pessoas tentando Reinventar ai só que por um caminho diferente e na verdade não é Reinventar tá é injusto falar isso porque a primeira onda de ai foi

uma onda de ai simbólica o líp lá em 1900 e sei lá quanto eh a primeira onda de Ai a primeira grande onda quando a gente derrotou o xadrez pela primeira vez é grande mer mas não é um llm daí não é um largage language Model Então é porque tem é por isso que a gente se definir tem gente misturando as pessoas querem misturar o llm com uma parte mais simbólica tipo um rask misturado com llm misturado com LM eh então tem tem tem todo um não é tem um contínuo né ironicamente de approach eu

sou muito eu eu acredito que um algoritmo puramente simbólico seja suficiente mas isso é uma aposta e a tua Aposta que isso o que que que que tu acha agora voltando mais pro achismo né um futuro que a gente ainda não sabe que que tu acha que vai nos levar pro pro Adi Cara eu tô eu pessoalmente eu tenho uma impressão muito forte de que esses modelos Né desde que a Open anunciou o W3 que é o próximo modelo de reasoning deles que conseguiu um score muito grande no HGI inclusive HGI né é um problema

simbólico ali é um Grid não é contínuo eh e e esses modelos de de de de LM estão conseguindo ficar cada vez melhores se não não é qualquer evidência que eles não vão continuar ficando melhores e melhores e melhores em cada ano eu e ontem mesmo Inclusive eu fiz um tweet brincando sobre isso eh eu fui lá no t no no no no no nesse modelo lançou ante ontem não foi o Deep reasoning da Open E postei lá eu fiz um parágrafo falando implemente evaluator de interaction NS tem uma instrução outra um detalhe ou outro

apertei o enter 12 minutos depois ele veio basicamente com uma coisa que era equivalente ao opl que eu fiz alguns anos atrás aquele primeiro implentação que eu fiz muito muito eh os conceitos estavam muito bem aplicados ess você falar ele provavelmente foi no né Foi na internet no Bing procurou achou o meu código eh é provavelmente é só a questão é o código que ele achou não tinha o que ele mostra ali não tinha tudo que ele precisava e mesmo assim foi em 12 minutos ele fez um negócio queer levar um dia e tu já

tentou fazer essa mesma busca com Deep research agora que eles lançaram então é desse que eu tô falando é éi isso e ele entregou um arquivo que eu levaria um dia inteiro para fazer então eu acredito que esses modelos sozinhos Eles já vão eu posso est errado mas eu acredito que eles já vão resultar em Sistemas que conseguem substituir o trabalho inteligente de um ser humano na frente de um computador tá para não falar ai tip basicamente consegue replicar o trabalho que a gente faz eu posso estar errado eu acho que em dois TR anos

Isso vai acontecer sem mais nada eh mas eu posso estar errado e independente disso eu acredito que esse estão muitos caminhos para chegar nisso e eu acho que existem caminhos que possam podem ser mais rápidos e mais eficientes por isso que eu acho que nesse momento pontual do mercado servir essas empresas simbolic e a para tentar otimizar aí que é uma corrida né e dar um impulso a elas nessa corrida estrategicamente para rock e a gente tem uma ferramenta que ajuda com simbolic muito muito bem tá eu acho que é a melhor situação pra gente

se posicionar nesse mercado atual não dá para se cegar o que tá acontecendo não é no mercado daqui a do anos vai ser o mesmo que agora sim é não tem que eu acho que hoje bom só tu ver o tô falou do do po ali o Y combinator né o b primeiro B é tudo ai né então o mercado todo tá focado nisso então tu como uma empresa também que tu vai trazer eficiência computacional cara tem que o hvm tem que também se encaixar nessa no momento que a gente tá hoje né É exatamente

tipo assim eu eu uma coisa que eu acho legal de falar eu acho que isso isso é idade que as pessoas não TM mas tem que ter porque às vezes você faz uma coisa que tá no na moda a pessoa fala ai você tá seguindo RP eu falo cara por favor olha a história aprende com a história eh você vai fazer uma rede social hoje não é tem que segir o interesse né da humanidade as empresas que que se estabelecem o Facebook ele foi um ela é uma porcaria por que que o Facebook é gigante

porque foi uma das primeiras redes sociais no momento do mercado da rede social você quer fazer uma empresa que se torne uma empresa grande Você tem que ver o mercado que tá em expansão agora em geral tá eh e fazer algum posicionamento que serva esse mercado se você pega o mercado estabelecido você vai fazer um mm RPG hoje do nada no Startup pode fazer mas você tá competindo com estabelecidos é só fazer uma rede social hoje até uma criptomoeda hoje em dia tipo meio que já passou já tem tudo que dá para fazer que já

foi feito de alguma maneira então assim se você tem uma empresa que quer trazer algum valor pro mercado você tem que olhar para mercado que tá expansão não um mercado que já foi todo dominado Sim vamos ver se o pessoal aqui tem alguma pergunta na real eles mandaram várias perguntas aqui a francele perguntou sobre a demo que o Vittor postou esse mês o que é o superj o supj eh uma pergunta muito boa tá agradeço a essa Fran ã agradeço muito eh O que que é su G então aí como a gente não tá mais

nesse caminho de tentar empurrar o bend no mercado porque eu tão que pode estar errada eh a nossa ideia é fazer ferramentas que servem E essas empresas de simbolic ai o supj e ele é muito Inclusive acho que o suj é a maior vitória da agvm tem muito Hater da agvm que fala nossa hm nunca vai produzir nada de valor e sinceramente eles podem ter um fundo de verdade sabe por quê Porque por exemplo se a gente pega o o ó tudo que tudo que a programação imperativa pode fazer o C já faz você não

vai ficar mais rápido do que o c no que o c faz de bom e e gvm por mais que seja um paradigma novo que não é o funcional pessoal confunde não é funcional e ele compartilha muito muita coisa com o funcional e tudo que o funcional faz bem o rask já faz então o que que sobra para criar valor de verdade sobra O que as coisas que o c não fazem e as coisas que o Rasco não faz então tem apenas um pequeno um pequeno restante de coisinhas ali que a hm Faz melhor do

que todo o resto tá E aí o que que eu falei cara eh se existe uma um ponto cego no mercado que o você não faz que o Rasco não faz esse ponto c que a gente vai atacar porque por definição se tem um valor para extrair ele aquele valor não foi extraído ainda o subj ele ele usa hm ele usa os princípios da HM para fazer um sintetizador de programa Deixa eu explicar eu tenho um minutinho para explicar porque isso é bem legal vai Uhum que que que que é esse sintetizador de programa e

imagina que você tem assim uma série de equações F de3 = 6 F de4 = 8 F de5 = 10 que função é F é que eu fale maisos você vai vai de novo vai de novo F de2 é 4 F de3 é 6 f de5 é 10 tô te colocando numa situação meio delicada né F de5 é 10 F de1 é 20 é 10 F de 10 é 20 que função é essa o f é igual a multiplicação por do perfeito você é um ser humano muito inteligente por sinal eh conseguiu decifrar que função

é essa e você me deu a função mais geral tá que representa esse conceito eh isso que acontece isso é muito fácil pro ser humano fazer isso é muito parece simples mas isso é muito difícil pro computador GPT vamos ver vamos ver se chat GPT não não não ó presta atenção ó Deixa eu te explicar até o chat GPT isso era muito difícil de computador fazer tá hoje em dia o chat GPT consegue fazer esse tipo de exemplo só que eu tenho coisa para falar sobre isso o que que acontece eh pro chat GPT fazer

isso ele precisa ser pré treinado num num Data Set gigantesco Isso gasta 10 milhões 20 milhões 40 milhões 50 milhões não existe hoje um algoritmo puro que sem pré-treinamento consegue eficientemente resolver essas equações Tá então vamos supor que a gente não pode pré-treinos a gente só quer resposta tá eh e aí existem soluções na literatura né publicados desde muitos anos atrás que conseguem resolver o dobro a adição mas tem um limite porque é uma busca exponencial é muito uma função um pouquinho maior você quer fazer o módulo de cinco Eles não conseguem achar nada eh

e a gente sabe porque a gente baixou todas as tentativas de fazer isso sem modelo sem llm só achar o resultado de uma função isso para um computador é muito difícil a gente usou gvm eh usou alguns conceitos primitivos da agvm que são difíceis de dominar mas tem a ver com option reduction aquela coisa do speedup de 1 milhão e não não tem a ver com paralelismo tá é outro caracter desse desse paradigma é outro caráter desse Paradigma e a gente implementou um sintetizador de programa a gente testou contra todos os exemplos da literatura e

ficou 100 a 1000 vezes mais rápido O que que significa hoje a gente tem a gente pode falar isso com orgulho a gente tem o sintetizador de programas mais rápidos do mundo rodando no hm isso é closed source que tá e todos os papers da a gente baixou todos testou uma um ass não será será mesmo e a gente consegue achar programas que eles não conseguem achar tipo ah achar a adição e a subtração com módulo ao mesmo tempo a hm consegue achar com esse sug Eles não conseguem aí eu perguntei o que que você

faz com isso cara dá para pegar isso hoje em dia usar isso para programar não é tão interessante porque o chat GPT já consegue fazer né completar programa mas a gente isso não tem o pré-treinamento então a gente pode pegar isso integrar numa arquitetura que aprenda e para treinar um modelo que use isso como uma ferramenta então meio que fazer um Transformer simbólico um GPT simbólico é uma das coisas que a gente quer fazer aqui porque era impossível de fazer antes porque não existia um sintetizador de programator eficiente quant esses Tá mas isso é um

tema de pesquisa tá tu acha eu posso te interromper tu acha que se tu tu acha que se tu fosse chinês já estaria no de pé Isso aí Nossa olha acho tá no Brasil e ter acesso aos recursos é uma limitação Nossa demais cara quando eu tava eu falei isso já uma vez numa Live quando eu tava na faculdade eu falei o professor pô quero fazer o implementação mais rápida de programação profissional com isso e fazer eu sei lá o qu fazer empresa ele falou cara Ele olhou assim para mim com uma cara de você

tá no Brasil vai estudar seu Sharp vai fazer botão por isso que eu fiquei com t tá gente fazer botão é muito bom eu fiz eu fiz muito botão botão eu aprendi react adorei react é maravilhoso gente eh mas eu continuei com esse essa raivinha dentro de mim falei não mas olha se cara eu acredito tá que se eu tivesse num contexto dos Estados Unidos se eu tivesse numa empresa num outro país é não não é salub fazer empresa já não é salubre não faço eu não teria feito falo falo falo falo mesmo tá tô

aqui na rock temho que fazer porque agora virou minha obrigação tenho responsabilidade com os meus investidores se eu voltasse atrás teria feito não teria feito não não teria feito não significa que eu não acredite na ideia é pela minha vida minha saúde meu tempo de vida isso daqui não não é de Deus fazer empresa não é de Deus estando no Brasil nossa é nem do diago é é é insano é insano é insano as condições desse país cara para a gente tá fazendo um cluster de Mc Mini porque o Mc Mini é o mais barato

para rodar gaven o capital de dólar por com performance da gvm o Mc Mini de todos os computadores tá quantos Mc Mini Tu comprou pro cluster a gente comprou eu queria comprar mais mas a gente começou com 256 200 tu tem 256 Mc minis tá chegando lá em Floripa agora meu meu compound tá lá e fipa botando SM cara 200 quanto de energia como é a parte elétrica a galera pensa nossa 256.000 é muito caro né não cara como é que tu conecta 256 na tua casa tá ligado não tem como eu queria botar na

minha casa mas aí falar que ia pegar fogo é pegar fogo na tua casa tá louco Tem investimento eletricista ainda a e falam que eu sou você eu botava se você eu botava na minha casa ia est ia virar churrasquinho de tailin Caraca mas não gasta muita energia essa porque um Mc Mini ele gasta é 1/20 avos da energia de uma rtx e ele ele rende muito isso que é interessante ele R principalmente na gvm eu vou te falar a gente rodou na em tudo que é processador da Intel então eu nem considero mais empresa

desculpa tem o dó da Intel melhor he eu sou meio tóxico às vezes né desculpa mas P eu fiquei muito feliz quando parou de usar Intel né a a a MD é uma empresa que consegue fazer uns processadores bons só que qual sabe qual problema da MD eh eles fazem processadores que ficam com bmk bom só que eles otimizam para as coisas que que que roda geralmente e o que que roda geralmente num num sistema operacional é vários processos vários programas em processos diferentes aí você usa todos os núcleos se você quer usar os núcleos

do mesmo programa e você precisa de atômicos eles não otimizam para isso se você quer fazer um Pag de memória eficiente eles não otimizam para um monte de coisa a Apple otimiza Aí otimiza você pega Hm só LCA um Buff de 1 ta de memória funciona ela o paging dela é muito ente fica muito rápido eu não preciso fazer esse trabalho e por que que tu trouxe o o por que que tu teve a ideia de montar o cluster porque tu deve ter gastado não precisa falar o número mas é coisa de milhões de mais

de R milhão de reais né mas tipo assim 256 Mac minis Por que trazer pro Brasil Porque que tu não pensou em montar fora então é necessariamente pode ser amadorismo nosso falando super sincero a gente discutiu muito de montar fora olhamos galpon só que assim a parada é a seguinte o existe uma coisa que eu acho que a gente pode usar em nosso nosso benefício que é o que é a questão o Mac min ele ocupa muito espaço mas gasta muito pouca energia se você quer botar nos Estados Unidos Você vai precisar de um colocation

colocation cobra por espaço então e principalmente é porque agora esse Mc min ficou menor né mas o que a gente tava olhando er er M3 ainda era maior Então a gente vai est gastando por um espaço muito grande vai ter um custo mensal de colocation muito grande além de que a gente não vai ter acesso não vai poder mexer eh aqui no Brasil a gente o espaço não é um problema então a gente consegue usar um espaço grande entendeu e fica só pelo custo da eletricidade eh enfim não sei se vai compensar No final a

gente fez as contas parece que compensa talvez o problema é que Talvez tenham desconhecidos desconhecidos ideias que a gente poderia ter tido que a gente não teve e ficar nos Estados Unidos seria melhor mas a gente trouxe é É também um experimento inicial Tá então se ficar muito bom se der muito certo a gente vai escalonar mais esse cluster e quando a gente tiver 65.000 aqui dito que não vai ser no Brasil não sei se hadat por favor né 2 x um Mc Mini eh se é 600 nos Estados Unidos aqui é 1200 como que

vai fazer a empresa de tecnologia aqui manda manda lá o clipe pro pro pro pro pro Lula como que vai não vai cara eles eles fizeram Esse esse programa de ai vamos investir milhões em ai no Brasil por que que não tem ai brasileira porque será meu bonito por que que a invés de pegar esses milhões que você tá investindo em em eii você não diminui imposto da importação do do do equipamento que a gente precisa para fazer esse bagulho aqui dentro ou ou ou ou Usa usa esse dinheiro de investimento para pagar o teu

próprio imposto exato não e cara eu fico fico indignado com isso meu porque provavelmente tipo a gente já teria vários projetos porque não é sério porque que falta no Brasil cara não é cérebro que falta no Brasil tá ligado Tipo ó o cérebro que tu tem falando assim de uma forma bem bem bruta né mas falta recurso cara e e e as pessoas que tu interagiu para chegar aqui também várias delas foram também do Brasil não então tipo sei lá mas é é triste mas aí tu tu escolheu Trabalhar em algo difícil e botou modo

hard que é eu vou fazer essa no Brasil tá ligado eu queria ir para São Francisco cara é tipo assim eu acho que seria uma possibilidade muito melhor às vezes eu penso eu já já cheguei muito perto de querer fazer meu visto mas fiz seu tempo porque eu tava trancado as horas dia no quarto é cara eu vou te falar o Brasil tem muita gente boa e eu posso falar porque eu já esve na posição de contratar mas eu vou te eu vou eu vou ser super sincero cara eu eu eu tô entrando numa fase

que eu tô começando aer tox já fui cancelado três vezes e agora eu tô só pagando para tudo eh o Brasil tem muita gente inteligente de de de nascimento as pessoas nascem que méo do brasileiro é baixo mas tem muita gente muito boa muito inteligente eu acho que a maior parte do brasileiro não é bem aproveitado sabe por quê Porque você por exemplo uma coisa que eu senti aqui fazendo Startup eh a gente não não sabe que um startup não sabe o que que é um ecor não sabe que é uma Cap table e aí

você entra para um startup e recebe uma proposta que você recebe muito ecor que é muito bom uma proposta legitimamente muito boa e você não entende porque você não sabe o que éc então para você você tá recebendo nada você aqui é o CLT você aqui é o capital eh falta uma cultura de empreendedorismo e e falta uma cultura de como que a gente vai ser o top em qualquer tecnologia se a gente não ensina no frj não ensinavam se não tem não pelo menos quando eu tava lá não tinha um programa de Type Theory

na no frj que é uma uma das melhoresos do Como que você vai est na ponta da pesquisa se você não ensina na ponta da pesquisa pras pessoas que estão aqui eu acho que o mercado quer formar brasileiro para ser médio e aí são pessoas muito inteligentes com muito potencial inerente que não são aproveitadas porque não não tem a informação não chega na época da informação a informação não chega nas cabeças que tem que chegar é o que eu sinto tá contratando aqui e e muita gente da rock é brasileira eh a nossa equipe a

gente sempre falou eh tem pessoas que vieram de fora mas a gente sempre procurou contratar brasileiros e e teve Gente muito boa teve Gente muito boa que veio daqui que massa mesmo eu torço muito pro Sucesso de vocês cara por mim eu queria continuar trocando uma ideia contigo aqui até altas horas mas eu preciso passear com a choia agora já daqui a pouco tá batendo na porta aqui mas manda teus recados finais aí e pessoal se vocês querem fazer uma pergunta pro Vitor proin Eh cara no Twitter né Twitter é o lugar para tocar uma

ideia contigo eu acredito ou não cara eu acho que se aproveitar aqui então um momento não tô fazendo nada se quiserem aparece lá no servidor de discord da hot talvez eu fico um pouquinho por lá se alguém quisesse um outro quiser fazer uma pergunta acho já falei tanta coisa eu t gente eu queria me desculpar eu falei que eu eu eu não sei por que eu tenho essa mania de tá Gará e falar e falar que horas tem você falou que era uma hora já desculpa tá eu tô com vergonha de um capaz cara foi

muito bom cara trocar uma ideia contigo foi sen a inter senora vai ter um pap em aberto acabou que só falou do nosso negócio né então desculpa por isso não masé teu negócio é muito interessante e eu acho que mais pessoas mais principalmente mais brasileiros deveriam conhecer o trabalho que vocês fazem tá ligado porque é muito mesmo e a gente tem que dar mais valor pro porque a galera do Brasil cria também tá ligado normalmente a gente bate palma para Gringo e quando o gringo Fala Brasil a gente aê o Brasil foi mencionado tipo e

a invés de fou assim não cara tem o cara brasileiro aqui fazendo os bagulho tá ligado Então é prazer foi todo meu te receber aqui e cara se tu tiver mais Liv a gente pode fazer mais mais Live mais Live junto aí volta outro dia aí terças e 15as a gente tá ao vivo Então realmente agradeço muito honrado de est aqui agradeço muito a conversa o papo e eh o interesse do pessoal como um todo eh eu vou est bem livre desses dias daqui paraa frente porque a gente tá num momento eh de repaginação né

da Rock agora que a gente tá seguindo nesse caminho de pesquisa e de você vira um Business Business né nesse nesse mercado de ai não não popularizar o Band mas fazer coisas com Band vender produtos de empresas tá num momento meio que de transição e eu tô com tempo bem livre Então quem quiser chamar bater um papo eh tô sempre aqui enfim tipo Espero que tenha sido um conteúdo legal pro seu canal eh Agradeço o pessoal como todo e é isso qualquer querendo conversar mais estaria aí o cluster vai ser vai ser em Floripa sem

Floripa cara esse cluster a gente vai fazer tanta coisa legal com ele você não tenho ideia Eu tô muito anado que meu eu gostaria de visitar lá me autoc convidando aqui mas quando tiver pelo Brasil Vou te mandar uma mensagem eu quero ver eu quero ver esse cluster Eu também nossa mano só vamos só vamos eu tô muito animado para ver a pilha lá vai ficar engraçado né o pessoal montando CL de rtx tudo bonitaço ainda mais que rtx é coisa para Gamer e a gente lá com os Mc Minnie com a maçãzinha demais mas

eu juro que faz sentido tá eu juro que faz sentido e e dá para fazer muita coisa legal principalmente essa empresa de simbólica a com esse com esse coisa mandei o link no teu WhatsApp eh eu vou entrar no discord quem quiser brotar lá est aí show e novamente agradeço muito espero que tenha sido um conteúdo legal foi muito o pessoal gostou demais aqui pessoal Muito obrigado obrigado Vitor ah vamos lá pro discord então trocar uma ideia com ele valeu meu