criador da linguagem massivamente paralela é BR

00:56:16
https://www.youtube.com/watch?v=fBUGVOPbYCk

概要

TLDRNo vídeo, Vitor, um dos co-fundadores da Rock, discute a criação da linguagem Band e seus desafios, incluindo a montagem de um cluster de Mc Minis em Floripa. Ele fala sobre o impacto da inteligência artificial no mercado de programação e como a Rock busca posicionar-se no nicho de AI simbólica, utilizando a Band como uma ferramenta interna. A conversa também destaca a escassez de apoio para inovação tecnológica no Brasil e a visão de que o mercado de programação pode estar em declínio devido à automação. Vitor reflete sobre a importância de criar soluções que se adaptem às novas realidades do mercado.

収穫

  • 💻 Band é uma nova linguagem de programação com foco em eficiência.
  • 🔌 O cluster de Mc Minis otimiza o processamento de dados.
  • 🌍 Desafios de inovar no Brasil incluem falta de recursos e apoio.
  • 🤖 Inteligência artificial pode automatizar muitas funções de programação.
  • 📉 O mercado de programação pode diminuir com a automação.
  • 📕 Rock está focando em AI simbólica para oferecer soluções de valor.
  • 🛠️ A criação de novas linguagens enfrenta desafios em um mercado dominado por IA.
  • 🚀 A eficiência do Band pode ajudar empresas a reduzir custos e ganhar competitividade.

タイムライン

  • 00:00:00 - 00:05:00

    O vídeo começa com a discussão sobre a chegada de 256 Mac minis em Florianópolis, levantando questões sobre o custo e eficiência energética da configuração. O apresentador expressa descrença sobre a ideia de conectar tantos dispositivos na mesma casa e comenta sobre a visão errada que muitos têm em relação aos investimentos em tecnologia.

  • 00:05:00 - 00:10:00

    O apresentador menciona sua visão sobre a criação de empresas e como isso é desafiador. Isso leva à introdução do Band, uma linguagem que ele desenvolveu para facilitar aplicações de IA. Ele menciona o impacto inesperado do lançamento e a recepção do vídeo de divulgação.

  • 00:10:00 - 00:15:00

    O Victor fala sobre redes de interação e como sua empresa está tentando abordar problemas de eficiência computacional. Ele detalha o trabalho que está fazendo com programação e como o mercado deve evoluir.

  • 00:15:00 - 00:20:00

    A conversa se aprofunda em conceitos de programação, incluindo paradigmas imperativo e funcional, e as limitações de cada um. Eles discutem as diferenças entre linguagens de programação populares e a criação de novas linguagens.

  • 00:20:00 - 00:25:00

    A discussão avança para a eficiência dos processadores e como a arquitetura de computação atual pode ser otimizada. Eles exploram o conceito de que novas arquiteturas poderiam levar à redução de custos e aumento de performance.

  • 00:25:00 - 00:30:00

    Victor compartilha seus pensamentos sobre a criação de uma nova linguagem de programação, a importância da arquitetura de computação e como eles estão desenvolvendo isso em sua empresa, abordando a questão da viabilidade prática no mercado.

  • 00:30:00 - 00:35:00

    Eles falam sobre o futuro da IA e a automação no mercado de programação, discutindo como a popularização de novas linguagens pode ser um desafio em um cenário onde a IA está se tornando cada vez mais competente na geração de código.

  • 00:35:00 - 00:40:00

    Victor menciona o sucesso do Band em um vídeo viral e como isso afetou suas expectativas iniciais sobre o projeto. Ele reflete sobre a necessidade de reposicionar o Band para frente.

  • 00:40:00 - 00:45:00

    A discussão continua sobre a importância da eficiência em programação e como o foco deve ser em aplicações simbólicas da IA, ao invés de popularizar a linguagem, levando a um foco mais nichado.

  • 00:45:00 - 00:56:16

    O vídeo termina discutindo as limitações do mercado brasileiro para startups de tecnologia e como a falta de cultura empreendedora e recursos afeta os desenvolvedores no país. Eles fazem um convite para conexão através de plataformas de comunicação como Discord.

もっと見る

マインドマップ

ビデオQ&A

  • O que é o Band?

    Band é uma linguagem de programação desenvolvida pela Rock que utiliza um paradigma de computação baseado em interações.

  • Qual é o objetivo da linguagem Band?

    O objetivo da Band é trazer eficiência computacional para resolver problemas complexos utilizando princípios de interações matemáticas.

  • Por que a Rock optou por desenvolver um cluster de Mc Minis?

    O cluster de Mc Minis foi desenvolvido para otimizar o processamento de dados de forma eficiente, dado que consome menos energia em comparação com outras soluções.

  • Qual é a visão da Rock sobre o futuro da programação?

    A Rock acredita que o mercado de programação pode diminuir com a automação proporcionada pela inteligência artificial.

  • Quais os desafios enfrentados no Brasil para o desenvolvimento de tecnologias?

    Os principais desafios incluem a falta de recursos, infraestrutura e apoio institucional para inovação tecnológica.

  • O que é AI simbólica?

    AI simbólica é um abordagem que utiliza lógica matemática e conceitos simbólicos para construir sistemas de inteligência artificial.

  • Como os avanços em IA impactam o desenvolvimento de novas linguagens de programação?

    Os avanços em IA podem tornar mais difícil a aceitação de novas linguagens, já que ferramentas como GPT estão se tornando cada vez mais capazes de automatizar programação.

  • Qual o papel do cluster Mc Mini na Rock?

    O cluster será usado para trazer melhorias na eficiência computacional e soluções para problemas complexos no desenvolvimento de AI simbólica.

  • Uma linguagem nova pode competir com GPT?

    A competição é difícil, já que linguagens estabelecidas beneficiadas por IA, como Python ou JavaScript, estarão em vantagem.

ビデオをもっと見る

AIを活用したYouTubeの無料動画要約に即アクセス！
字幕
pt
オートスクロール:
  • 00:00:00
    200 tu tem 256 Mc minis tá chegando lá
  • 00:00:03
    em Floripa agora meu meu comp tá lá em
  • 00:00:06
    Floripa Botando os Mc min Car 200 quanto
  • 00:00:08
    de energia como é a parte elétrica a
  • 00:00:10
    galera pensa nossa 256.000 é muito caro
  • 00:00:13
    né não cara como é que tu conecta 256 na
  • 00:00:16
    tua casa tá ligado não tem como não
  • 00:00:17
    significa que não acredite na ideia é
  • 00:00:19
    pela minha vida minha saúde meu tempo de
  • 00:00:21
    vida isso daqui não é de Deus fazer
  • 00:00:23
    empresa não é de Deus esse cara nunca
  • 00:00:24
    vai me responder aí um dois TR dias
  • 00:00:26
    depois ele respondeu eu acho que a ia
  • 00:00:28
    vai criar algo muito bom em qualquer
  • 00:00:29
    linguagem eu acho que ela só fica melhor
  • 00:00:31
    e eu tenho essa experiência de usar ia
  • 00:00:32
    numa linguagem que ela não conhece que é
  • 00:00:33
    hm o Band o Band Eu Descobri com acho um
  • 00:00:36
    vídeo do F ship Acho que muita gente que
  • 00:00:38
    deve ter visto aquele vídeo né cara é o
  • 00:00:40
    Band inclusive é uma coisa que eu não
  • 00:00:41
    esperava nem 1% daquela recepção tive
  • 00:00:43
    fal com a minha empresa eu falei gente a
  • 00:00:44
    gente vai lançar o Band vai ter uns 500
  • 00:00:46
    likes no Twitter pessoal vai animar e E
  • 00:00:48
    aí a gente vai continuar fazendo e tanto
  • 00:00:50
    que o b não era o caminho de da empresa
  • 00:00:52
    Lucar não era o bu não era nada o Ben
  • 00:00:54
    que que aconteceu era se chamava hm
  • 00:00:56
    language que era uma linguagem que a
  • 00:00:58
    gente fez pra gente para nós mesmos
  • 00:00:59
    usarmos VM só que ficou muito bem feito
  • 00:01:01
    foi um projeto que deu muito certo eu
  • 00:01:03
    falei pô vamos dar um nome bonitinho e
  • 00:01:04
    vamos lançar para quem quiser usar
  • 00:01:06
    também é então não é nem isso e é só que
  • 00:01:08
    eu realmente meu feeling é que tipo
  • 00:01:10
    assim primeiro o trabalho de programação
  • 00:01:12
    como um todo eu acho que o mercado de
  • 00:01:13
    programação vai diminuir tá tipo assim
  • 00:01:15
    deixa eu contar quem é esse cara que tá
  • 00:01:17
    aqui hoje comigo né esse aqui é o é
  • 00:01:18
    tying né Victor tying se tu já ouvi
  • 00:01:21
    falar de
  • 00:01:23
    de net nets de interação é assim que se
  • 00:01:27
    fala em português nets de interação e
  • 00:01:28
    combina adores de de
  • 00:01:31
    interações o Vittor tá trabalhando nisso
  • 00:01:34
    certo Vittor é basicamente executar
  • 00:01:38
    programas de formas eh trazer algo da
  • 00:01:42
    teoria pra prática que
  • 00:01:44
    seria fazer
  • 00:01:48
    o é muito difícil explicar cara explica
  • 00:01:51
    tu que é melhor é não não não tipo assim
  • 00:01:53
    eu achei muito bom a parte do Então quem
  • 00:01:55
    conhece redes de interação tipo assim
  • 00:01:57
    basicamente eu o pessoal conhece no chat
  • 00:01:59
    não só que trabalhava com Ah não esse
  • 00:02:01
    negócio é muito deixa deixa eu tentar
  • 00:02:03
    dar um contexto tá eh talvez explicasse
  • 00:02:06
    e assim eu vou pedir uma coisa para você
  • 00:02:07
    se eu começar a tagarelar por favor me
  • 00:02:09
    interrompe porque eu já costumo falar
  • 00:02:11
    muito e hoje em especial tipo eu tô com
  • 00:02:12
    problema de insônia por causa do covid
  • 00:02:14
    Eu só dormi umas 4 horas não tô nas
  • 00:02:16
    minhas na Plenitude das minhas
  • 00:02:17
    capacidades cognitivas você começar a
  • 00:02:20
    tagarelar sem me interrompo mas tá olha
  • 00:02:22
    só eu tive uma ideia Vitor tu consegue
  • 00:02:24
    explicar um pouco Qual que é o problema
  • 00:02:26
    que tu tá tentando
  • 00:02:28
    resolver então o o problema que eu tô
  • 00:02:30
    tentando resolver é um problema muito
  • 00:02:31
    simples na verdade é o problema da
  • 00:02:32
    eficiência computacional
  • 00:02:34
    eh a gente cria né a gente tem
  • 00:02:36
    computadores a gente tem celulares O
  • 00:02:38
    nossos computadores tem um processador
  • 00:02:39
    ali dentro que tá rodando alguma coisa
  • 00:02:41
    aquilo gasta energia leva um tempo tá E
  • 00:02:43
    aí acaba uma pergunta Será que a maneira
  • 00:02:45
    que a gente faz os nossos processadores
  • 00:02:46
    é a maneira mais rápida que esse
  • 00:02:48
    universo físico onde a gente vive
  • 00:02:50
    permitiria Será que existe uma
  • 00:02:51
    arquitetura diferente de computação tipo
  • 00:02:53
    diferente a gente sabe faz que a gente
  • 00:02:56
    usa eles se tu acha que a gente já tem
  • 00:02:58
    um hardware para fazer mais do que a
  • 00:03:00
    gente poderia estar fazendo e por isso
  • 00:03:01
    que a eficiência nos ajudaria Ou tu acha
  • 00:03:04
    que a gente precisa de fato fazer o o
  • 00:03:06
    chip ainda menor a acml lá precisa fazer
  • 00:03:09
    umas máquinas para gerar um chip ainda
  • 00:03:11
    menor Cara eu acho que tem muito a
  • 00:03:13
    melhorar e eu acho assim se você gasta
  • 00:03:16
    sei lá 1 milhão de dólares para treinar
  • 00:03:18
    um modelo num chip que gasta uma
  • 00:03:20
    quantidade de energia tal se você tem
  • 00:03:21
    uma coisa 100 vezes mais eficiente esse
  • 00:03:23
    1 milhão de dólar vai virá 10.000 então
  • 00:03:25
    a eu acho que no a nível de de de da
  • 00:03:29
    forma que a gente faz a computação tem
  • 00:03:30
    muito a melhorar a Não no sentido de
  • 00:03:32
    diminuir o tamanho né dos transistores e
  • 00:03:34
    tudo mais mas no sentido da própria
  • 00:03:36
    arquitetura ser uma arquitetura
  • 00:03:37
    diferente Uhum E é me que nisso que a
  • 00:03:39
    gente tá trabalhando é basicamente a
  • 00:03:41
    empresa tipo o ponto de pergunta né a
  • 00:03:45
    pergunta principal da empresa é qual é a
  • 00:03:46
    forma ótima de computar Porque a gente
  • 00:03:49
    já sabe fazer computadores há quase 100
  • 00:03:51
    anos mas a gente não sabe qual é a forma
  • 00:03:52
    mais rápida possível fisicamente
  • 00:03:54
    possível de fazer computadores e a nossa
  • 00:03:55
    missão é essa vamos tentar responder
  • 00:03:57
    essa pergunta faz um pouquinho de
  • 00:03:58
    sentido sim e é por isso vamos lá o tu
  • 00:04:01
    tá aquelas limitações de lâ quando
  • 00:04:04
    quando se fala assim no Twitter tu vê
  • 00:04:05
    uma trad lá tu tá sempre envolvido numas
  • 00:04:07
    trads eu dou uma olhada assim às vezes
  • 00:04:09
    aparece lá um tal de lambda
  • 00:04:13
    cálculos lambda cálculo tradicional né
  • 00:04:16
    Se o pessoal for ver o teu Twitter tu
  • 00:04:18
    vai vão ver lambda cálculos não sei o qu
  • 00:04:20
    como é que tu explicaria do que que isso
  • 00:04:22
    aonde que isso se encaixa aqui cara eh
  • 00:04:26
    existem paradigmas né que a gente usa
  • 00:04:28
    para programar então por exemplo
  • 00:04:30
    começou-se no paradigma imperativo né
  • 00:04:32
    que era muito baseado na máquina de
  • 00:04:35
    touring que foi como a gente começou a
  • 00:04:37
    fazer né computadores isso veio lá da
  • 00:04:39
    Revolução Industrial que a gente né
  • 00:04:41
    sociedade como todo tinha essa ideia de
  • 00:04:42
    máquinas e aí das máquinas surgiram os
  • 00:04:45
    computadores e os primeiros computadores
  • 00:04:46
    eles tinham esse esse espírito de
  • 00:04:48
    máquina né uma máquina de tu uma coisa
  • 00:04:49
    ali que vai fazendo uma coisa numa fita
  • 00:04:51
    e fazendo né movimentações
  • 00:04:53
    transformações e disso tudo a gente ou
  • 00:04:55
    boa parte das linguagens de programação
  • 00:04:57
    que a gente tem hoje né as linguagens
  • 00:04:58
    imperativas C né uma parte do Python é
  • 00:05:01
    muito assim esse é um paradigma todo né
  • 00:05:03
    que a gente erdou historicamente das
  • 00:05:05
    máquinas e os matemáticos não
  • 00:05:07
    satisfeitos com isso eles falavam cara a
  • 00:05:09
    essência da Computação não são máquinas
  • 00:05:11
    máquinas é uma coisa muito sabe muito
  • 00:05:14
    assim não não não a essência da
  • 00:05:16
    computação é a matemática e a gente
  • 00:05:18
    consegue computar usando a matemática
  • 00:05:20
    eles provaram isso fazendo cálculo
  • 00:05:21
    lambda eles mostraram que existe um
  • 00:05:23
    sistema que não é uma máquina é só um
  • 00:05:24
    monte de função você pode fazer no papel
  • 00:05:27
    você pode pegar um caderno e fingir que
  • 00:05:28
    você é um um um interpretador de cálculo
  • 00:05:30
    lâ Eles falaram se esse sistema consegue
  • 00:05:33
    computar qualquer coisa eh Por que que a
  • 00:05:35
    gente não usa isso para fazer
  • 00:05:36
    computadores tentaram e ficou uma
  • 00:05:38
    porcaria tá mas eles fizeram linguagem
  • 00:05:41
    de programação E aí surgiu paradigma
  • 00:05:42
    funcional que todo mundo odeia que é
  • 00:05:44
    difícil para caramba mas é assim a
  • 00:05:46
    máquina de T versão matemática certo
  • 00:05:49
    então existem esses dois paradigmas eu
  • 00:05:51
    acho que são os maiores hoje em dia o
  • 00:05:52
    imperativo e o funcional Eh o meu Java
  • 00:05:55
    como é que isso impacta o meu
  • 00:05:57
    Java o Java ele é predominantemente
  • 00:06:00
    imperativo com uma pitada de orientação
  • 00:06:03
    objeto que eu sou Hater mas não vou
  • 00:06:05
    falar mal porque o pessoal gosta eh e
  • 00:06:08
    ele tem muit e tipo assim as linguagens
  • 00:06:09
    que são mais usadas hoje em dia são meio
  • 00:06:11
    que mescladas né o JavaScript o Java tem
  • 00:06:13
    função lá é tipo uma estura de tudo ah
  • 00:06:15
    né Eu gosto do Java porque ele é
  • 00:06:17
    organizado pelo menos isso é uma coisa
  • 00:06:18
    que eu acho ele legal mas acho ele muito
  • 00:06:19
    burocrático não é n é extremamente
  • 00:06:22
    fortemente chupado Eu trabalho com o
  • 00:06:25
    Java como que eu trabalho com cotlin né
  • 00:06:28
    que é o o Java um pouco com um pouco
  • 00:06:30
    mais de tempero eh eu gosto Cara eu acho
  • 00:06:34
    gostosinho mas aí então vocês estão
  • 00:06:35
    trabalhando PR eficiência computacional
  • 00:06:37
    parte disso
  • 00:06:38
    é repensar várias coisas que a gente faz
  • 00:06:41
    hoje né então como por exemplo o próprio
  • 00:06:44
    paradigmas da da então é daí que surgiu
  • 00:06:47
    começando do início ali é daí daí que
  • 00:06:49
    surge o Band sim então Eh como eu falei
  • 00:06:52
    tipo tem esses dois paradigmas que são
  • 00:06:54
    os principais eh e eles assim na minha
  • 00:06:56
    concepção eles não são perfeitos a
  • 00:06:58
    máquina de touring é um paradigma é bom
  • 00:06:59
    porque ela mapeia bem no hardware né os
  • 00:07:02
    nossos hardware eles são meio que ali
  • 00:07:03
    máquinas G estador são muito parecidas
  • 00:07:04
    com máquinas de T é uma máquina né É
  • 00:07:06
    claro que vai ficar bom na máquina faz
  • 00:07:08
    sentido eh e esse paradigma matemático
  • 00:07:11
    calcul lâ ele tem vantagens ele para
  • 00:07:12
    formalizar teoremas ele para fazer
  • 00:07:14
    computações mais complexas ele é muito
  • 00:07:16
    bom mas ele não mapia tão bem no
  • 00:07:18
    hardware você não tem um processador de
  • 00:07:20
    cálculo lambda hoje em dia uhum e aí tem
  • 00:07:22
    esse GAP um é muito bom para conceitos
  • 00:07:24
    mais de alta ordem e o outro é muito bom
  • 00:07:26
    para eficiência e não existe um
  • 00:07:28
    paradigma que seja bom bom paraa
  • 00:07:30
    matemática abstrata e que seja eficiente
  • 00:07:32
    quant a máquina de touring eh não
  • 00:07:34
    existia na verdade até em 1990
  • 00:07:36
    descobriu-se um novo paradigma que não
  • 00:07:39
    tem nenhum nome tá mas ele é baseado
  • 00:07:41
    nessas redes de interação eu eu gosto de
  • 00:07:43
    falar o paradigma interacional Mas essa
  • 00:07:45
    palavra não existe tá Seria funcional
  • 00:07:47
    imperativo interacional ou é porque
  • 00:07:49
    interativo é meio ruim né interativo
  • 00:07:51
    parece que é outra coisa mas qual a
  • 00:07:53
    ideia do do paradigma das interações ele
  • 00:07:56
    fala assim o princípio fundamental da
  • 00:07:57
    Computação não são máquin e não são
  • 00:08:00
    funções são interações são pedaços de
  • 00:08:02
    informação que estão interagindo em
  • 00:08:04
    algum espaço faz sentido isso é tipo é
  • 00:08:07
    basicamente tu tem nós Eu imagino assim
  • 00:08:10
    tu tem os nós aí tu tem ligações tu liga
  • 00:08:13
    esses nós com algumas regras aí eu já tô
  • 00:08:16
    pensando meio blockchain Style aqui e
  • 00:08:18
    Cada nó é seria uma
  • 00:08:21
    função Cada nó não é uma função é como
  • 00:08:24
    se fosse sabe circuito Lógico que você
  • 00:08:26
    tem um end você tem um or é tipo um
  • 00:08:28
    circuito Lógico que tá crescendo de Essa
  • 00:08:29
    é a melhor descrição na verdade entendeu
  • 00:08:32
    Então essa é a ideia a gente vai
  • 00:08:33
    computar com essas interações que
  • 00:08:35
    acontecem né entre esses nós que você tá
  • 00:08:38
    vendo aí tá E aí o legal desse paradigma
  • 00:08:42
    Enfim tudo isso é para dizer cara esse
  • 00:08:44
    Existe uma forma diferente nova de
  • 00:08:46
    computar e essa forma na teoria né esse
  • 00:08:48
    cara que propôs esse sistema 30 anos
  • 00:08:50
    atrás eh ele provou na teoria lá na
  • 00:08:53
    matemática no paper dele que ele é ótimo
  • 00:08:55
    O que que significa que ele pode emular
  • 00:08:57
    qualquer outro sistema sem perda de
  • 00:08:59
    performance Ou seja que que eu tô
  • 00:09:01
    dizendo ele consegue ser tão eficiente
  • 00:09:02
    quanto uma máquina auding mas consegue
  • 00:09:04
    ser tão abstrato quanto cálculo lambda
  • 00:09:06
    pegou e aí ele falou cara isso daí é o
  • 00:09:09
    princípio fundamental da Computação
  • 00:09:10
    interações informação interagindo e faz
  • 00:09:12
    sentido né tipo computar é o quê você
  • 00:09:13
    tem um dois um dois eles interagem e
  • 00:09:15
    viram quatro f sobre isso ação
  • 00:09:18
    informação interagindo e ele fez uma uma
  • 00:09:21
    um sistema que captura essa ideia tá ele
  • 00:09:24
    lançou provou o teorema Conseguiu usar
  • 00:09:26
    esse esse esse esse sistema para fazer o
  • 00:09:28
    interpretador calcul lâ mais rápido
  • 00:09:30
    possível e assim foi um um instalador
  • 00:09:33
    não sei essa palavra enfim rodou lá o o
  • 00:09:37
    a a academia né os pesquisadores como
  • 00:09:40
    todo e aí nada
  • 00:09:42
    aconteceu foi isso foi tipo assim nossa
  • 00:09:44
    gente eu fiz o sistema mais rápido
  • 00:09:46
    possível na teoria esse negócio daqu
  • 00:09:49
    provei que isso daqui é o melhor forma
  • 00:09:50
    de executar o cálculo lambda provei que
  • 00:09:51
    isso daqui é tão eficiente quanto a
  • 00:09:52
    máquina de touring provei que se
  • 00:09:54
    computadores fossem feitos dessa maneira
  • 00:09:55
    provavelmente seriam muito mais rápidos
  • 00:09:56
    que os computadores que tem aí os
  • 00:09:58
    pesquisadores lá oh que legal e nada
  • 00:09:59
    aconteceu então em 1990 1990 veio só a
  • 00:10:03
    teoria o cara eh não conseguiu botar em
  • 00:10:05
    prática né então eles tentaram inclusive
  • 00:10:08
    uma pessoa que me ensinou no começo H
  • 00:10:10
    uns cinco anos atrás eu troquei alguns
  • 00:10:11
    e-mails cinco sete né eu troquei uns
  • 00:10:14
    e-mails com ele ele fez um livro chamado
  • 00:10:15
    a implementação ótima das linguagens de
  • 00:10:17
    programação e ele implementou o bohm que
  • 00:10:20
    foi o precursor do HM foi tipo a
  • 00:10:22
    primeira tentativa de trazer um
  • 00:10:24
    pouquinho desse conceito das interações
  • 00:10:26
    para fazer um não processador ainda mas
  • 00:10:29
    pelo menos uma linguagem de programação
  • 00:10:31
    digamos assim ele tentou pegar esse
  • 00:10:32
    seria o primeiro a primeira linguagem de
  • 00:10:33
    programação desse paradigma tem o
  • 00:10:35
    imperativo tem o funcional tem esse
  • 00:10:36
    paradigma que ainda não tem linguagem
  • 00:10:38
    não tem copulador não tem pador não tem
  • 00:10:39
    nada é um paradigma novo ele foi e fez a
  • 00:10:42
    primeira linguagem nesse paradigma não
  • 00:10:44
    ficou muito rápido ficava tipo assim 10
  • 00:10:47
    100 vezes mais lerdo do que usou tipo
  • 00:10:49
    lisp essas linguagens que tavam sendo
  • 00:10:51
    usados no no paradigma funcional e muito
  • 00:10:54
    mais rápido que C Java o próprio Java
  • 00:10:56
    destruir IMP performance CB Hm e nisso
  • 00:10:59
    morreu o campo morreu por uns 15 anos
  • 00:11:01
    nessa nesse projeto E aí não não se fez
  • 00:11:03
    mais nada sim e aí tu olhou quando é que
  • 00:11:06
    tu olhou isso você cara eu posso tu tu
  • 00:11:09
    aprendeu a programar E aí em vez de para
  • 00:11:11
    eu vou aprender react para ganhar para
  • 00:11:13
    trabalhar numa empresa ou fazer um
  • 00:11:16
    projeto enfim um aplicativo ã Da onde tu
  • 00:11:19
    olhou esse problema lá de 1990 Ah eu
  • 00:11:22
    vou vou mudar isso aí cara eu acho que
  • 00:11:26
    eu sou meio tenho algum problema na
  • 00:11:27
    minha cabeça mas só só antes de eu falar
  • 00:11:30
    isso tipo assim eu adoro o react só
  • 00:11:32
    porque você entrou nesse assunto foi a
  • 00:11:33
    primeira linguagem que eu trabalhei sou
  • 00:11:35
    apaixonado lá na or é uma empresa de
  • 00:11:37
    fintech inclusive adoro eles eh né
  • 00:11:40
    quando eu saí da CRJ lá na hora mano
  • 00:11:42
    eles queriam fazer as coisas em ângul e
  • 00:11:45
    isso tava começando react eu falei não
  • 00:11:47
    faz em react aí não faz em ângulo eu
  • 00:11:49
    falei faz em react eu fiz aí não queriam
  • 00:11:51
    eu fiz uma palestra para h inteira
  • 00:11:53
    mostrando como que com rect a gente
  • 00:11:55
    podia fazer um site com várias bolinhas
  • 00:11:57
    rodando várias para mostrar o contra o
  • 00:11:59
    reaction era impressionante sabe aí Eles
  • 00:12:01
    olharam aquele coisa e falam Nossa que
  • 00:12:02
    legal mas a gente não quer fazer bolinha
  • 00:12:04
    rodando bom aí eles usaram um ula Três
  • 00:12:08
    anos depois me mandaram mensagem falando
  • 00:12:09
    você estava certo o react era o futuro
  • 00:12:12
    eu falei eu falei eu falei eu falo as
  • 00:12:14
    coisas não acreditam eu falo tudo que é
  • 00:12:16
    trend velho b i b on
  • 00:12:19
    react mas enfim porque a sóo do react é
  • 00:12:23
    bem construído entendeu Era óbvio que
  • 00:12:24
    esse negócio ia dar certo com o ângulo
  • 00:12:26
    de cabeça Era óbvio Mas eles nãoc
  • 00:12:27
    quiseram me ouvir mas aí s o o aí o que
  • 00:12:29
    aconteceu eh o que acontece que uma
  • 00:12:32
    pessoa meio chata então eu vejo uma
  • 00:12:35
    coisa tipo assim eu eu eu quero sempre
  • 00:12:38
    ser mais melhor tipo eu quero conseguir
  • 00:12:39
    programar mais rápido fazer as coisas
  • 00:12:41
    mais rápido então tô sempre procurando
  • 00:12:42
    por exemplo eu trabalhava com c achava
  • 00:12:44
    um lixo porque você não consegue fazer
  • 00:12:45
    uma função e ser é tudo tão repetitivo
  • 00:12:47
    você tem que fazer mesmo é uma repetição
  • 00:12:49
    aí eu queria aprender uma linguagem que
  • 00:12:51
    me tornasse mais eficiente aí eu VII pro
  • 00:12:53
    paradigma funcional que consegue
  • 00:12:54
    abstrair os Loops as coisas eh e aí eu
  • 00:12:57
    fiquei muito animado com paradigma
  • 00:12:58
    funcional entrei bem a fundo estudei
  • 00:13:00
    estudei estudei aprendi tudo aprendi a
  • 00:13:02
    fazer jogo em haskel eh e aí quando eu
  • 00:13:04
    comecei a tentar fazer agora eu quero
  • 00:13:06
    fazer o meu eu queria fazer um um MMO
  • 00:13:09
    aí aí quando eu fui fazer o meu MMO em
  • 00:13:12
    rasel as coisas ficavam muito lerdas por
  • 00:13:15
    mais que a linguagem seja Ficava muito
  • 00:13:17
    lerdo eu falei por que que tão lerdo aí
  • 00:13:19
    que eu comecei a entrar nesse eu queria
  • 00:13:20
    melhorar o rasel né porque eu queria
  • 00:13:22
    fazer agora eu conseguia fazer as coisas
  • 00:13:24
    rápido né porque eu não conseguia no C
  • 00:13:25
    no ras tudo gente ti progama em ras
  • 00:13:27
    quando você domina é é um super pod é um
  • 00:13:30
    super poder você consegue fazer coisas
  • 00:13:31
    que você levaria um mês e um dia e fica
  • 00:13:32
    tudo certo mas aí você não aí você não
  • 00:13:35
    publica porque o negócio fica lero não
  • 00:13:36
    rodde em lugar nenhum o GJ uma porcaria
  • 00:13:39
    aí eu falei cara vou criar minha própria
  • 00:13:40
    e tentar fazer ficar mais rápido
  • 00:13:42
    possível daí que eu cheguei nesse
  • 00:13:43
    negócio saou que loucura meu E aí tu a
  • 00:13:46
    primeira coisa que tu trabalhou então
  • 00:13:47
    primeiro projeto foi na gvm foi na na
  • 00:13:51
    virtual Machine ou por onde que tu
  • 00:13:53
    começou para resolver esse problema
  • 00:13:56
    cara faz uns 8 anos eu entei pela
  • 00:13:59
    primeira vez esse sistema Porque me
  • 00:14:01
    falaram no no no irc de ras né um chatz
  • 00:14:04
    inho que fica os hacker lá
  • 00:14:06
    ã Inclusive eu prendi rask por causa
  • 00:14:08
    desses caras eu fui lá no chat deles e
  • 00:14:10
    perguntei por que que eu não posso fazer
  • 00:14:11
    uma lista com vários tipos diferentes de
  • 00:14:12
    rask aí viraram para mim e falaram você
  • 00:14:14
    não está pronto ainda inteligência
  • 00:14:16
    suficiente eu falei eu eu programo desde
  • 00:14:19
    os meus 11 anos como você usa Vocês que
  • 00:14:21
    são ruins isso ficou tanto na minha
  • 00:14:22
    cabeça algum triplex aí eu comecei
  • 00:14:24
    aprender eu vi que estavam certo né eu
  • 00:14:25
    era um lixo e tinha muita coisa legal no
  • 00:14:28
    ras Nossa como aprender haskel te torna
  • 00:14:30
    10 vezes melhor só de aprender mas enfim
  • 00:14:32
    Eh aí eu aprendi o haskel e Nossa gente
  • 00:14:36
    eu tô com sono onde que a gente estava a
  • 00:14:39
    gente tá por onde que tu começou tá eh
  • 00:14:43
    Aí Eu aprendi o ras eu queria fazer a
  • 00:14:45
    linguagem mais rápida possível eh ah sim
  • 00:14:47
    assim aí a primeiro a primeira vez que
  • 00:14:49
    eu implement esse aí eles falaram para
  • 00:14:51
    mim assim eh a forma mais rápida de você
  • 00:14:53
    executar um programa no cálculo lambda
  • 00:14:55
    né que é R é baseado é usando Eh
  • 00:15:00
    eu falei Ah então ras que usa isso eles
  • 00:15:01
    falaram não ué
  • 00:15:04
    É por qu aí eles ah aí eu fiz um post no
  • 00:15:08
    Red Por que que o rask não uso
  • 00:15:09
    interaction net Porque que ninguém tá
  • 00:15:10
    usando isso aí veio o cara falar ah
  • 00:15:12
    porque teve um resultado negativo da
  • 00:15:13
    interaction net que não funciona tão bem
  • 00:15:14
    porque tipo ninguém usa Não não O que
  • 00:15:17
    aconteceu é que eles falaram assim não
  • 00:15:19
    tem tipo teve um resultado negativo que
  • 00:15:21
    diz que Inter eu não vou entrar em
  • 00:15:22
    detalhe mas que diz que não é tão bom
  • 00:15:24
    assim aham E aí esse resultado se
  • 00:15:26
    espalhou pela academia pelos
  • 00:15:27
    pesquisadores e o pessoal meio que
  • 00:15:28
    desanimou da área como um todo acho que
  • 00:15:30
    foi por isso que morreu só o que
  • 00:15:32
    aconteceu veio o pesquisador que fez o
  • 00:15:33
    paper desse resultado negativo o cara
  • 00:15:36
    que criou o paper do resultado negativo
  • 00:15:37
    que fez Todo mundo des animadoa nesse
  • 00:15:39
    post do r e falou assim Parem de
  • 00:15:42
    interpretar errado o meu paper era só
  • 00:15:44
    não é um resultado negativo não Eles não
  • 00:15:47
    entenderam o resultado não era negativo
  • 00:15:48
    é tipo assim provou um teorema x eles
  • 00:15:50
    interpretaram errado o significado
  • 00:15:52
    daquilo isso ficou e ficou ele ficou um
  • 00:15:54
    brigando com o outro eu não entendia
  • 00:15:55
    nada fiquei lá olhando tipo tá
  • 00:15:57
    acontecendo aqui e umal não foi por isso
  • 00:15:59
    não não foi por isso não mas funciona
  • 00:16:01
    não funciona E aí parou morreu aquele
  • 00:16:02
    post e não aconteceu mais nada eu
  • 00:16:06
    gente tá mas por que que não tá usando
  • 00:16:09
    Não teve resposta teve um falando um
  • 00:16:10
    outro falando do outro aí eu falei vou
  • 00:16:12
    implementar aí eu fui lá baixei o Piter
  • 00:16:15
    falei não deve ser tão difícil né Aí eu
  • 00:16:17
    baixei é só um monte de figurinha eu
  • 00:16:18
    falei ah figurinha você se eu
  • 00:16:21
    entendo impi literalmente implementei as
  • 00:16:24
    figurinhas P inteligente eu sou pessoa
  • 00:16:26
    mais burra que você vai na vida S IMP
  • 00:16:27
    implementou no que que tu implementou T
  • 00:16:29
    Qual foi o teu foi javas JavaScript era
  • 00:16:32
    fone JavaScript implementei em
  • 00:16:33
    JavaScript eu ia brincar ainda
  • 00:16:35
    eu ia brincar Por que a gente não
  • 00:16:36
    resolve isso com JavaScript não
  • 00:16:39
    obviamente ficou ralmente Lerda a minha
  • 00:16:42
    implementação só que sabe o que é
  • 00:16:43
    interessante por mais que terha ficado
  • 00:16:45
    muito lerdo tipo assim 1 vezes 10.000
  • 00:16:48
    vezes mais lerdo do que o rasel é do que
  • 00:16:49
    eu queria ficar mais tinha uma coisa
  • 00:16:51
    interessante Tinha alguns programas
  • 00:16:53
    específicos que ficava ao invés de mil
  • 00:16:55
    vezes mais lerdo 1 milhão de vezes mais
  • 00:16:57
    rápido u é é muito mais é era ruim era
  • 00:17:01
    era lerto mas alguns programas
  • 00:17:02
    específicos tavam 1 milhão de vezes mais
  • 00:17:03
    rápido por quê Porque esses são os
  • 00:17:05
    programas que o rasel não consegue
  • 00:17:07
    computar com eficiência correta Uhum
  • 00:17:09
    Então tem algumas classes de programa
  • 00:17:11
    que eu fiz um post inclusive no stack of
  • 00:17:13
    Flow que ficou um monte de gente
  • 00:17:14
    comentando que exponenciação modular de
  • 00:17:17
    church in po eu vou explicar o que é
  • 00:17:19
    isso mas é um programa específico que eu
  • 00:17:21
    tentei rodar no ras que eu levou eh 10
  • 00:17:24
    minutos 20 minutos e se eu aumentasse o
  • 00:17:26
    tamanho ia para 1 hora 10 horas eu rodei
  • 00:17:28
    nesse meu interpretador e levava 1
  • 00:17:29
    segundo do segundos e a resposta tava
  • 00:17:30
    certa eu Nossa que sistema interessante
  • 00:17:33
    sacou eu fiquei meio eu fiquei eu fiquei
  • 00:17:35
    interessante isso aí aí foi primeiro
  • 00:17:38
    implementação Mas isso faz uns 7 anos e
  • 00:17:40
    não ficou rápido só desistir fui
  • 00:17:41
    trabalhar em outro lugar e hoje vamos lá
  • 00:17:43
    voltando pra eficiência computacional
  • 00:17:45
    então tu começou a trabalhar
  • 00:17:48
    ã no interaction
  • 00:17:51
    nets E aí aonde que entra da onde que tu
  • 00:17:54
    tu decidiu criar uma empresa disso meu
  • 00:17:58
    então aí e muita história se passou né
  • 00:18:00
    eu fui trabalhando na Fundação eum fui
  • 00:18:01
    trabalhando na stoney né meio que fiz
  • 00:18:04
    minha carreira em algumas empresas de
  • 00:18:05
    fintech e cripto E aí enfim teve chegou
  • 00:18:10
    um ponto que eu decidi ficar mais na
  • 00:18:12
    minha E aí eu comecei a passar fiquei
  • 00:18:15
    muito tempo jogando né não não queria
  • 00:18:17
    mais trabalhar e e como eu tava muito
  • 00:18:19
    tempo livre eu voltei nesse assunto sabe
  • 00:18:21
    eu falei pô vou voltar nesse assunto
  • 00:18:22
    porque foi tão legal principalmente essa
  • 00:18:24
    experiência de ficou 1 milhão de vezes
  • 00:18:25
    mais rápido que o rasel mesmo que seja
  • 00:18:27
    alguns casos específicos eu comecei a
  • 00:18:29
    pesquisar eu comecei a implementar Esse
  • 00:18:30
    sistema de tudo que é jeito diferente eu
  • 00:18:32
    falei deve ter um jeito de fazer isso
  • 00:18:34
    fica rápido aí eu tentei de um jeito x
  • 00:18:36
    tentei de um jeito Y tentei de outro
  • 00:18:38
    queria ter pedido ajuda pro GPT não
  • 00:18:40
    tinha enfim e aí chegou um dia né
  • 00:18:44
    inclusive que eu tava em Call com os
  • 00:18:46
    amigos meus que eu tive uma ideia né de
  • 00:18:48
    um de um formato de memória diferente
  • 00:18:50
    uma maneira diferente de organizar a
  • 00:18:52
    memória e aí eu falei pô vou implementar
  • 00:18:54
    Sim passei dois três dias acho que foi
  • 00:18:56
    em Rust que eu implementei em três dias
  • 00:19:00
    ficou pronto e ficou cinco vezes mais
  • 00:19:03
    lerto que o rask aí você fala pô que
  • 00:19:05
    de 1 vezes mais lto para cin vezes
  • 00:19:07
    já Progresso foi foi no momento que eu
  • 00:19:10
    pensei cara eu acertei o a memória
  • 00:19:12
    porque o Rasco eu ten 30 anos de
  • 00:19:13
    otimização eu acertei como esse negócio
  • 00:19:15
    fica rápido na memória eu falei cara que
  • 00:19:17
    legal isso porque toda a crítica né
  • 00:19:19
    inclusive o bohm pô não não não não
  • 00:19:22
    bombou não vingou os caras desistiram
  • 00:19:24
    porque ficou lerto na na na na prática e
  • 00:19:26
    agora a gente tem um sistema de uma
  • 00:19:28
    formato de de memória que consegue
  • 00:19:29
    deixar esse negócio rápido e eu me senti
  • 00:19:32
    Como assim como se eu tivesse na minha
  • 00:19:35
    mão uma coisa que era importante pra
  • 00:19:37
    humanidade de certa forma podia não ser
  • 00:19:39
    podia mas fazia muito sentido eu falei
  • 00:19:41
    cara ter que fazer alguma coisa com isso
  • 00:19:43
    e me veio um senso de Cara eu tenho que
  • 00:19:46
    fazer alguma coisa com isso aí foi foi
  • 00:19:48
    exatamente isso eu fiquei Cara eu tenho
  • 00:19:49
    que fazer alguma coisa com isso com isso
  • 00:19:51
    com H E aí eu mandei e-mail pro Paul
  • 00:19:54
    Graham conhece Claro Pois é eu sou muito
  • 00:19:57
    fã dele aprendi muito muito com os
  • 00:19:59
    textos que ele posta o cara é um gênio
  • 00:20:01
    né o dono do i combinator o maior
  • 00:20:02
    acelerador de Startup do mundo eu
  • 00:20:04
    acredito eu mandei e-mail para ele né
  • 00:20:06
    torcendo para ele responder ele
  • 00:20:07
    respondeu e ele ele gosta de receber
  • 00:20:10
    e-mail curto então Oli lá o bio dele ele
  • 00:20:12
    fala quer me mandar e-mail manda e-mail
  • 00:20:13
    curto que você tem alguma chance
  • 00:20:14
    respondido mandei meio tipo duas três
  • 00:20:16
    frases aí esse cara nunca vai me
  • 00:20:18
    responder aí um dois trê dias depois ele
  • 00:20:20
    respondeu eu mandei meio falando assim
  • 00:20:21
    cara eu tenho você já viu hm um negócio
  • 00:20:24
    interessante eu quero fazer alguma coisa
  • 00:20:25
    com isso porque eu acredito que a gente
  • 00:20:27
    a humanidade como tud deveria pesquisar
  • 00:20:28
    isso bem que seja só para crescer um
  • 00:20:30
    pouquinho evoluir e ver do que que dá né
  • 00:20:32
    eu falei pô mas para isso eu preciso de
  • 00:20:33
    fund preciso de uma equipe aí eu falei
  • 00:20:35
    para ele tô pensando em abrir um uma
  • 00:20:36
    empresa aí ele me respondeu assim cara
  • 00:20:39
    esse projeto Eu já vi sim no hacker News
  • 00:20:41
    algum negócio assim Acho muito promissor
  • 00:20:43
    Acho que deve ser pesquisado sim só uma
  • 00:20:45
    pergunta para você por que que você quer
  • 00:20:47
    abrir uma empresa perguntou assim aí eu
  • 00:20:51
    abro eu quero abrir uma empresa porque
  • 00:20:53
    eu acredito que seja um caminho né de
  • 00:20:55
    ter uma equipe levantar Fan você ter
  • 00:20:56
    algum outro algum outro caminho e tal
  • 00:20:59
    nunca mais me
  • 00:21:00
    respondeu até
  • 00:21:02
    hoje eu não sei qual se ele queria falar
  • 00:21:05
    não você devia ir para alguma
  • 00:21:06
    Universidade fazer uma parceria ou
  • 00:21:08
    talvez ele tava querendo dizer no
  • 00:21:09
    sentido você quer abrir uma Ong ou um eu
  • 00:21:11
    não sei o que que ele queria que eu
  • 00:21:12
    fizesse Car hoa um teste às vezes cara
  • 00:21:14
    agora o cara fica com isso na cabeça
  • 00:21:16
    para pô
  • 00:21:17
    P que que era qual que era a
  • 00:21:20
    resposta mas assim hoje eu acredito que
  • 00:21:23
    eu entenda viu porque fazer empresa não
  • 00:21:25
    recomendo para ninguém ninguém é muito
  • 00:21:29
    é Nossa acho Nossa se eu pudesse voltar
  • 00:21:32
    e não fazer rock eu não faria porque é
  • 00:21:33
    muito trabalho suga a sua vida é outro
  • 00:21:36
    poderia começar com assim cria a Open
  • 00:21:39
    High Higher Order Company começa como
  • 00:21:43
    non
  • 00:21:44
    Profit que nem eu sou malman não tô
  • 00:21:46
    brincando ah igual da dor de
  • 00:21:50
    cabeça mas eh eu imagino que uma da dos
  • 00:21:54
    piores desafios teu como empreendedor é
  • 00:21:57
    tipo assim essa parte né brincando no
  • 00:21:59
    non Profit mas é como é que tu faz ficar
  • 00:22:02
    Profit B né como é que tu faz algo um
  • 00:22:05
    projeto assim que tem Impacto pra
  • 00:22:07
    humanidade ficar
  • 00:22:09
    profitable com tanto a pesquisa né que
  • 00:22:12
    tem que fazer e aí a gente entra no
  • 00:22:15
    problema né no problema e tipo assim a
  • 00:22:16
    gente quando as pessoas me perguntam da
  • 00:22:18
    Rock eles imaginam que eu vou começar a
  • 00:22:19
    vender vou começar a falar muito bem
  • 00:22:20
    tudo gente longe disso cara rock
  • 00:22:23
    provavelmente é uma das setups mais
  • 00:22:24
    problemáticas que vocês vão conhecer na
  • 00:22:25
    vida tem muitos problemas tem muitos
  • 00:22:27
    desafios tem muita gente limitações é
  • 00:22:29
    uma bagunça eu sou um péssimo Líder
  • 00:22:30
    Sinceramente eu não sou bom Líder eu
  • 00:22:32
    percebi isso quando fazer uma empresa né
  • 00:22:34
    eu se criar código só que agora eu ter
  • 00:22:36
    que ser responsável e tentar levar essa
  • 00:22:37
    empresa eh para uma situação de
  • 00:22:39
    lucratividade só que é muito difícil
  • 00:22:41
    porque mesmo vamos supor mesmo vamos
  • 00:22:43
    supor tá que eu consigo fazer o agvm
  • 00:22:45
    ficar tão madura quanto o rask o que não
  • 00:22:46
    é fácil porque o rask foi feito durante
  • 00:22:48
    30 anos por 15 universidades diferentes
  • 00:22:50
    sim e a gente tá uma equipe pequena
  • 00:22:52
    alcançar o nível de maturidade do rask
  • 00:22:54
    no no no paradigma da gvm que é o
  • 00:22:55
    paradigma das interações e a gente tem
  • 00:22:57
    que fazer um compilador tá a gente não
  • 00:22:59
    tem o compilador não tem o gcc pessoal
  • 00:23:01
    fala ai mas o zigs foi feito com 500k Tá
  • 00:23:03
    mas os caras usaram O compilador que é o
  • 00:23:04
    gcc que foi feito com bilhão não existe
  • 00:23:06
    um culador pro paradigma das interações
  • 00:23:08
    não existe o ghc é o mais próximo disso
  • 00:23:11
    foi pro paradigma funcional e foram
  • 00:23:12
    várias universidades para fazer vamos
  • 00:23:14
    supor vamos supor que eu faço um
  • 00:23:15
    compilador tão bom quanto o ghc e o gcc
  • 00:23:18
    que eu faço uma linguagem né o Band
  • 00:23:20
    agora foi publicada né tão boa quanto o
  • 00:23:22
    rasper n Seria a primeira linguagem
  • 00:23:23
    desse Paradigma e hm tá lá super madura
  • 00:23:25
    Super eficiente tá E aí tá tudo pronto
  • 00:23:28
    como que eu faz Dino com isso aí eu fui
  • 00:23:31
    falar com o conhece o ofr ofr não é um
  • 00:23:36
    dos enfim um dos melhores matemáticos
  • 00:23:37
    meio polêmico e algumas coisas mas ele é
  • 00:23:39
    muito inteligente ele lançou oan Alfa
  • 00:23:41
    que é bem conhecido nas universidades
  • 00:23:42
    principalmente fazer cálculo é um site
  • 00:23:44
    que você vai lá coloca integral e ele
  • 00:23:46
    integra para você antes das tá e pessoal
  • 00:23:49
    usava muito isso em engenharia é um site
  • 00:23:51
    bem conhecido em engenharia Aí eu mandei
  • 00:23:53
    eil para esse cara E aí a gente teve uma
  • 00:23:56
    uma conversa e eu falei para ele cara
  • 00:23:57
    como que eu vou fazer fazer eu expliquei
  • 00:23:59
    tudo ele tipo assim ele ficou muito
  • 00:24:00
    entusiasmado né com ele ele gosta desse
  • 00:24:03
    tipo de sistema computacional diferente
  • 00:24:04
    ele pesquisa muito isso eu ficou como
  • 00:24:06
    que eu não conhecia interaction net
  • 00:24:07
    antes aí eu falei tá cara mas como que
  • 00:24:09
    eu vou lucrar na minha empresa em cima
  • 00:24:11
    diso você acha que eu devia virar uma
  • 00:24:12
    non Prof Você acha o qu falou não vira
  • 00:24:14
    non Profit não sabe o que você faz você
  • 00:24:16
    quer lucrar com uma linguagem de
  • 00:24:17
    programação eu quero aí ele Você vende a
  • 00:24:19
    linguagem da programação eu Ué como
  • 00:24:21
    assim vende vai você você cobra para
  • 00:24:24
    seus usar cara você você é burro
  • 00:24:26
    eu não sou Bur desculpa mas assim eu eu
  • 00:24:31
    assim eu entendo o ponto de vista dele
  • 00:24:33
    porque ele faz a vida assim ele vende
  • 00:24:34
    uma femca né que a linguagem dele sim só
  • 00:24:37
    que isso ele começou a vender 30 anos
  • 00:24:39
    atrás era um era uma época que você
  • 00:24:41
    tinha um CD Room que você comprava o
  • 00:24:43
    Photoshop sabe nem isso tinha então eu
  • 00:24:45
    não sei se vocêo aplica ao mercado de
  • 00:24:47
    hoje e um e para alguma grande empresa
  • 00:24:51
    assim Digamos um Google Amazon
  • 00:24:54
    ã para eles colocarem a galera comentou
  • 00:24:57
    aqui s sobre colocar na nuvem né fazer
  • 00:25:00
    isso rodar na nuvem e daí eu me lembrei
  • 00:25:02
    da isso traria alguma eficiência a algo
  • 00:25:05
    que o Google estaria interessado em
  • 00:25:07
    diminuir custos na nuvem deles então a
  • 00:25:11
    gente quando a gente não sou b a gente
  • 00:25:12
    ficou muito tempo discutindo a gente
  • 00:25:14
    trouxe uma pessoa de negócio e o caminho
  • 00:25:15
    era esse era pegar o bent aperfeiçoar
  • 00:25:17
    ele o máximo possível e fazer uma nuvem
  • 00:25:20
    e eu vetei esse caminho Talvez eu tenha
  • 00:25:22
    errado Talvez eu tenha cometido um
  • 00:25:24
    grande erro mas por dois motivos tá eu
  • 00:25:27
    acho que quando você tá fazendo uma
  • 00:25:29
    empresa você tá diante de uma nova
  • 00:25:31
    revolução que tá acontecendo Imagina
  • 00:25:32
    você tá lá você é um gestor da Kodac sim
  • 00:25:35
    e você se cega aos smartphones que estão
  • 00:25:38
    começando a surgir você tá cometendo um
  • 00:25:40
    erro que é o caminho mais fácil só que o
  • 00:25:42
    mercado do futuro não é o mercado de
  • 00:25:44
    hoje eh eu vejo dois problemas muito
  • 00:25:47
    grandes pro Band se tornar algo de
  • 00:25:49
    poderia fazer um Cloud poderia fazer tem
  • 00:25:51
    várias formas de talvez poderia
  • 00:25:52
    popularizar o Band negociar tem dois
  • 00:25:54
    problemas que eu identifiquei que eu
  • 00:25:55
    acho que são muito importante primeiro
  • 00:25:57
    problema eu criei o bend com a intui com
  • 00:26:00
    a com a Eu acho que eu errei sobre isso
  • 00:26:02
    com a expectativa de que seria fácil e
  • 00:26:04
    aí a gente fez o bend o Band é
  • 00:26:06
    basicamente hm empacotada numa sintaxe
  • 00:26:08
    de Python tá e eu lancei e a gente falou
  • 00:26:10
    Pô é super fácil super fácil não é não é
  • 00:26:13
    sabe o que eu percebi a gente colocou
  • 00:26:14
    uma sintaxe de Python mas é como se a
  • 00:26:17
    tipo sabe quando a criança não quer
  • 00:26:18
    comer o remédio Aí você coloca lá o
  • 00:26:20
    chocolate e volta que ela sente o gosto
  • 00:26:21
    eu acho que foi um pouco isso que a
  • 00:26:23
    gente fez a gente tentou botar uma
  • 00:26:24
    sintaxe simples mas por trás dos
  • 00:26:26
    conceitos Eles são muito difíceis e o
  • 00:26:27
    que aconteceu pessoas entraram
  • 00:26:29
    programaram em Band e e elas não
  • 00:26:31
    conseguiam fazer os algoritmos corretos
  • 00:26:33
    da forma correta usando os conceitos
  • 00:26:34
    corretos eu percebi para fazer um bom
  • 00:26:36
    algoritmo por mais que ele paralise
  • 00:26:38
    automático tudo que pode ser paralisado
  • 00:26:39
    eh o seu algoritmo se ele for sequencial
  • 00:26:42
    não tem o que fazer você não consegue
  • 00:26:43
    arquitetar uma árvore né que você
  • 00:26:45
    expande que que distribui o trabalho
  • 00:26:47
    você não precisa você não precisa fazer
  • 00:26:48
    trad você você nunca vai ter um erro de
  • 00:26:50
    concorrência o que já é um é ajuda muito
  • 00:26:52
    mas você precisa ter um algoritmo que
  • 00:26:54
    que que paraliza e eu percebi cara isso
  • 00:26:56
    é difícil
  • 00:26:58
    primeiro problema e e o segundo problema
  • 00:27:01
    e aí esse problema bateu muito e
  • 00:27:02
    sinceramente cara muita gente que vai
  • 00:27:04
    discordar de mim com todo direito Posso
  • 00:27:06
    ter errado como ce posso ter tomado
  • 00:27:08
    decisão errada eu não acho que a gente
  • 00:27:10
    tá no mercado de criar linguagem de
  • 00:27:11
    programação nova eu acho que a gente tá
  • 00:27:13
    com gpt3 e agora é o 4ro e agora é o c
  • 00:27:16
    daqui a do anos a gente vai est é é é
  • 00:27:20
    complicado falar isso mas o mercado de
  • 00:27:21
    TEC como um todo tá num tá tá tá diante
  • 00:27:25
    de uma automatização gigantesca e no
  • 00:27:28
    mundo onde você tem a ias que conseguem
  • 00:27:30
    fazer qualquer código em qualquer
  • 00:27:31
    linguagem com nível de automação Muito
  • 00:27:33
    grande qual vai ser o humor do mercado
  • 00:27:35
    para popularizar uma linguagem
  • 00:27:37
    totalmente nova E aí tu acha que o
  • 00:27:39
    pessoal hoje em dia já já também vai
  • 00:27:42
    priorizar linguagens que as ias já
  • 00:27:45
    dominam por exemplo tipo ah cara sempre
  • 00:27:48
    quando eu tento resolver um bug em RX
  • 00:27:50
    Java ã o GPT não consegue nem o old 3
  • 00:27:54
    ele não consegue resolver não consegue
  • 00:27:56
    escrever um teste unitário envolvendo um
  • 00:27:58
    arex Java mais complexo ali mas
  • 00:28:00
    provavelmente um bug de algo em
  • 00:28:02
    JavaScript ele consegue porque eu acho
  • 00:28:05
    que ele tem muito mais treinamento de
  • 00:28:07
    uma linguagem específica né tu acha que
  • 00:28:10
    o pessoal agora vai começar de fato a se
  • 00:28:12
    guiar pelo que as I são capaz de fazer
  • 00:28:14
    por exemplo se a ia só consegue fazer
  • 00:28:16
    algo muito em Python ou em
  • 00:28:18
    JavaScript e a galera vai optar por
  • 00:28:19
    essas
  • 00:28:21
    linguagens eu acho que a ia vai criar
  • 00:28:23
    algo muito bom em qualquer linguagem eu
  • 00:28:25
    acho que ela só fica melhor e eu tenho
  • 00:28:26
    essa experiência de usar ia numa
  • 00:28:28
    linguagem que ela não conhece que é hm o
  • 00:28:29
    Band e ela manda muito bem a gente manda
  • 00:28:33
    muito muito muito tudo que ela faz em
  • 00:28:35
    Ráo que ela faz hm às vezes erra detalhe
  • 00:28:36
    de sintaxe porque ela não conhece mas
  • 00:28:38
    ela consegue aplicar os conceitos
  • 00:28:39
    corretamente e então não é nem isso eh é
  • 00:28:42
    só que eu realmente meu feeling é que
  • 00:28:44
    tipo assim primeiro o trabalho de
  • 00:28:46
    programação como um todo eu acho que o
  • 00:28:48
    mercado de programação vai diminuir tá
  • 00:28:50
    tipo assim posso errado pera que naade
  • 00:28:53
    enfim é um assunto delicado mas eu acho
  • 00:28:56
    que o mercado como todo vai diminuir
  • 00:28:57
    então mesmo se a gente conseguir se
  • 00:28:58
    popularizar o Band vai ser um mercado
  • 00:28:59
    menor né uma Dev to sim se o mercado
  • 00:29:01
    como todo é menor o Band vai ter um um
  • 00:29:03
    mercado que ela pode se dirigir menor eh
  • 00:29:05
    eu acho que o mercado vai diminuir e
  • 00:29:07
    mesmo que não diminua mesmo que continue
  • 00:29:08
    que cresça que seja eu só acho que o
  • 00:29:10
    apetite para linguagens novas vai se
  • 00:29:12
    tornar eh uma coisa um pouco mais
  • 00:29:15
    escassa eu não acho que o caminho do
  • 00:29:16
    Band é o caminho para rock tá eu acho
  • 00:29:19
    que é é assim talvez eu esteja errando
  • 00:29:20
    mas eu acho que essa decisão agora é
  • 00:29:22
    importante que a gente tem um capital
  • 00:29:24
    ainda relevante que a gente consegue
  • 00:29:25
    fazer uma Play né os porque o ponto da
  • 00:29:28
    empresa toda é cara vamos pegar esse
  • 00:29:30
    paradigma novo e fazer algo de valor
  • 00:29:32
    comercial em cima disso e a gente tem um
  • 00:29:34
    capital lá para conseguir fazer isso
  • 00:29:36
    certo e não sei se faz sentido aí num
  • 00:29:38
    caminho que eu mesmo não acredito ficar
  • 00:29:40
    empurrando com a barriga fingindo que as
  • 00:29:41
    vi não estão ficando entendeu E aí a
  • 00:29:44
    gente não não decidiu segir pelo caminho
  • 00:29:45
    de comercializar o b a gente quer
  • 00:29:47
    continuar desenvolvendo como open source
  • 00:29:49
    mas não tornar isso nosso buers para bus
  • 00:29:51
    a gente tem uma direção diferente faz
  • 00:29:53
    sentido faz faz sentido acho que tu tem
  • 00:29:56
    acho tá tomando uma boa decisão Mas quem
  • 00:29:58
    sou eu né eu descobri o bend Eu Descobri
  • 00:30:02
    com acho um vídeo do fireship Acho que
  • 00:30:04
    muita gente aqui deve ter visto aquele
  • 00:30:05
    vídeo né Tu sabia que o Far ia postar
  • 00:30:08
    sobre aquele vídeo ah sobre o Band cara
  • 00:30:11
    é o Band inclusive é uma coisa que eu
  • 00:30:13
    não esperava nen 1% daquela recepção eu
  • 00:30:15
    tive qu com a minha empresa eu falei
  • 00:30:16
    gente a gente vai lançar o Band vai ter
  • 00:30:18
    uns 500 likes no Twitter pessoal vai
  • 00:30:20
    animado eh e aí a gente vai continuar
  • 00:30:22
    fazendo e tanto que o Band não era o
  • 00:30:25
    caminho de de da empresa lucrar não era
  • 00:30:26
    o business não era nada o bent que que
  • 00:30:28
    aconteceu era se chamava hm language que
  • 00:30:31
    era uma linguagem que a gente fez pra
  • 00:30:33
    gente para nós mesmos usarmos Hm só que
  • 00:30:35
    ficou muito bem feito foi um projeto que
  • 00:30:37
    deu muito certo eu falei pô vamos dar um
  • 00:30:39
    nome bonitinho e vamos lançar para quem
  • 00:30:41
    quiser usar também eh eu acho que por
  • 00:30:43
    culpa minha a gente passou uma imagem do
  • 00:30:46
    bent
  • 00:30:47
    eh como se fosse uma coisa muito mais
  • 00:30:49
    pronta do que ele tava e como se fosse
  • 00:30:51
    uma coisa que você podia já começar a
  • 00:30:52
    usar no surpr você pode pode mas não vai
  • 00:30:54
    ter o STD Lib não vai ter o f System não
  • 00:30:56
    vai ter um monte de coisa que você tem
  • 00:30:57
    no pyon nodejs eh só roda em rtx você
  • 00:31:00
    provavelmente vai ter que abrir ali o
  • 00:31:01
    cuda que ele gera manualmente não é uma
  • 00:31:03
    coisa que tá ali eh que não é nos fusas
  • 00:31:06
    entendeu a intenção era só lançar F
  • 00:31:08
    gente vai ter três pessoas usando e o
  • 00:31:09
    pessoal que entrar aqui a gente dá
  • 00:31:11
    suporte e tá beleza aí no dia seguinte
  • 00:31:13
    vem feliz f pessoas 1 milhão só o vídeo
  • 00:31:16
    do Band 1 mil. mil pessoas assistiram do
  • 00:31:21
    fireship isso foi ruim porque a gente
  • 00:31:23
    ficou cara será que a gente vai fazer
  • 00:31:24
    então por que que a gente não faz um
  • 00:31:25
    negócio em torno do do Band e ficou
  • 00:31:27
    muito essa discussão que não era a
  • 00:31:28
    direção que a gente queria ir já antes
  • 00:31:30
    de lançar Sim a gente perdeu um tempo
  • 00:31:32
    nessa discussão vamos fazer só que eu
  • 00:31:34
    cheguei entendeu Depois de muita
  • 00:31:35
    discussão eu falei cara não é esse o
  • 00:31:37
    caminho Vamos focar né no caminho que eu
  • 00:31:39
    acho que faz sentido posso est errado
  • 00:31:41
    mas eu acredito que faz sentido massa
  • 00:31:45
    e E aí como é que o pesso que que qual
  • 00:31:48
    que é o próximo passo então agora e o
  • 00:31:50
    que que tu gostaria de falar pro pessoal
  • 00:31:52
    aí onde é que o pessoal pode te
  • 00:31:53
    acompanhar o que como é que eles podem
  • 00:31:55
    contribuir e depois a gente vai para
  • 00:31:57
    umas perguntas aqui aqui da galera que
  • 00:31:58
    acho que eles devem ter então ã na
  • 00:32:02
    empresa a gente é meio chato falar isso
  • 00:32:04
    mas a Rock Ela tá com uma direção agora
  • 00:32:05
    de não tentar popularizar nada a gente
  • 00:32:07
    não tá com a intenção de fazer uma
  • 00:32:08
    linguagem super popular de fazer nada
  • 00:32:10
    popular muito mesmo uma blockchain tem
  • 00:32:12
    muuito falar sobre isso mas enfim eh a
  • 00:32:14
    nossa intenção agora é usar Hm como uma
  • 00:32:16
    ferramenta interna uma arma secreta como
  • 00:32:19
    se fosse pra gente resolver alguns
  • 00:32:20
    problemas eh do mercado atual e existe
  • 00:32:24
    um mercado meio nicho mas que tá
  • 00:32:25
    expandindo muito de empresas Under aqui
  • 00:32:28
    que são as empresas de simbólica ai eii
  • 00:32:30
    simbólico que é tipo tem muitas tá tipo
  • 00:32:32
    estão crescendo tão expandindo não é não
  • 00:32:34
    é do nível do mercado do do do Open Eye
  • 00:32:37
    Mas eles basicamente dizem assim cara a
  • 00:32:39
    gente acredita que Inteligência
  • 00:32:40
    Artificial ela tem problema de
  • 00:32:42
    raciocínio lógico ela é boa para gerar
  • 00:32:44
    texto mas paraa lógica matemática
  • 00:32:46
    teorema debugar código é ruim e se a
  • 00:32:48
    gente fizer uma eia mais simbólica no
  • 00:32:50
    sentido de que ela é mais matemática
  • 00:32:52
    lida com equações a gente vai conseguir
  • 00:32:54
    ter uma me que mais inteligente mesmo no
  • 00:32:56
    sentido do raciocínio tem muita empresa
  • 00:32:58
    com essa crença e essas empresas elas
  • 00:33:00
    precisam de um sistema para rodar os
  • 00:33:02
    algoritmos simbólicos deles e o Agu VM é
  • 00:33:05
    muito bom para isso tá isso é uma coisa
  • 00:33:07
    que eu posso falar com confiança então
  • 00:33:09
    eu não acho que é fácil de de empurrar o
  • 00:33:11
    gvm na no mercado e falar usem usem o
  • 00:33:13
    Band mas eu acho que é muito fácil da
  • 00:33:15
    gente internamente olhar para essas
  • 00:33:17
    empresas que estão mexendo com simbolic
  • 00:33:18
    ai encontrar algum algoritmo deles que
  • 00:33:20
    tá lerdo otimizar nós mesmos usando hbm
  • 00:33:22
    e falar pô esse ter o algoritmo de
  • 00:33:24
    simbolica é aqui a gente consegue rodar
  • 00:33:26
    com cinco vezes menos custo na Hm e
  • 00:33:28
    fazer uma parceria direta entendeu a
  • 00:33:31
    gente reduz o teu custo então a rock tá
  • 00:33:32
    se tornando uma empresa disso uma
  • 00:33:34
    empresa de servir a essas empresas desse
  • 00:33:36
    mercado nicho é um mercado menor
  • 00:33:39
    eh mas é um mercado que tá crescendo E
  • 00:33:41
    existe um negócio ali existe um negócio
  • 00:33:43
    e e é uma coisa que agvm se aplica tá
  • 00:33:45
    não passa nesse problema de que é
  • 00:33:46
    difícil ensinar o bent porque nós mesmos
  • 00:33:48
    podemos criar os os as coisas usando
  • 00:33:51
    agvm só para vender o produto né o a
  • 00:33:53
    solução e não a linguagem para fazer a
  • 00:33:54
    solução Sim nesse caminho
  • 00:33:58
    então hm para resolver e o que que é
  • 00:34:02
    simbólico ai é basicamente assim e hoje
  • 00:34:06
    em dia os algoritmos gii eles são
  • 00:34:08
    baseados em em Deep learning é uma rede
  • 00:34:10
    neural é tipo emulando o cérebro humano
  • 00:34:13
    Não exatamente mas teve inspiração é uma
  • 00:34:16
    coisa muito não é orgânica mas é é uma
  • 00:34:19
    coisa muito estatística muito contínua
  • 00:34:21
    né eles usam números reais tudo mais eh
  • 00:34:24
    o a ideia do The simbólico é que a gente
  • 00:34:28
    vai tentar fazer algoritmos de
  • 00:34:29
    Inteligência Artificial sistemas modelos
  • 00:34:31
    que não são redes neurais
  • 00:34:33
    necessariamente ou talvez seja um mix
  • 00:34:34
    mas que tem ali no meio o conceito de
  • 00:34:39
    eh basicamente a matemática em si tipo o
  • 00:34:41
    cálculo Lambada basicamente a ideia tipo
  • 00:34:43
    pegar conceitos de teoria dos tipos
  • 00:34:45
    conceitos de teoria das categorias
  • 00:34:48
    coisas que não são contínuas porque por
  • 00:34:51
    exemplo quando você prova um teorema o
  • 00:34:52
    teorema ali é é uma fórmula né uma
  • 00:34:54
    fórmula simbólica você tem você por
  • 00:34:56
    exemplo você vai fazer uma equação você
  • 00:34:57
    aqui resolver uma equação de cálculo é
  • 00:34:59
    uma fórmula simbólica A ideia é pegar
  • 00:35:01
    esse formato dos símbolos e as
  • 00:35:03
    manipulações de símbolos para fazer um
  • 00:35:05
    sistema que seja mais matemático digamos
  • 00:35:07
    assim e é difícil de especificar exato
  • 00:35:10
    porque tem muitas Vertentes o pessoal
  • 00:35:11
    por exemplo lá do n enfim de uma empresa
  • 00:35:14
    eh
  • 00:35:16
    eh eles estão com uma ideia
  • 00:35:20
    eh muito mais de de fazer uma mesclagem
  • 00:35:23
    de fazer mistura de Deep learning com
  • 00:35:24
    simbolic e existe uma coisa muito
  • 00:35:26
    extrema Eu acho que eu sou mais nesse
  • 00:35:27
    caminho extremo de cara eu quero
  • 00:35:29
    simplesmente pegar fórmulas Matemáticas
  • 00:35:31
    e usar isso para fazer né algoritmos que
  • 00:35:33
    aprende então basicamente é que que é
  • 00:35:35
    Simbol que é é pessoas tentando
  • 00:35:37
    Reinventar ai só que por um caminho
  • 00:35:38
    diferente e na verdade não é Reinventar
  • 00:35:40
    tá é injusto falar isso porque a
  • 00:35:42
    primeira onda de ai foi uma onda de ai
  • 00:35:44
    simbólica o líp lá em 1900 e sei lá
  • 00:35:46
    quanto eh a primeira onda de Ai a
  • 00:35:49
    primeira grande onda quando a gente
  • 00:35:50
    derrotou o xadrez pela primeira vez é
  • 00:35:53
    grande mer mas não é um llm daí não é um
  • 00:35:55
    largage language Model Então é porque
  • 00:35:58
    tem é por isso que a gente se definir
  • 00:35:59
    tem gente misturando as pessoas querem
  • 00:36:00
    misturar o llm com uma parte mais
  • 00:36:02
    simbólica tipo um rask misturado com llm
  • 00:36:04
    misturado com LM eh então tem tem tem
  • 00:36:07
    todo um não é tem um contínuo né
  • 00:36:09
    ironicamente de approach eu sou muito eu
  • 00:36:13
    eu acredito que um algoritmo puramente
  • 00:36:15
    simbólico seja
  • 00:36:16
    suficiente mas isso é uma aposta e a tua
  • 00:36:19
    Aposta que isso o que que que que tu
  • 00:36:21
    acha agora voltando mais pro achismo né
  • 00:36:24
    um futuro que a gente ainda não sabe que
  • 00:36:27
    que tu acha que vai nos levar pro pro
  • 00:36:30
    Adi Cara eu tô eu pessoalmente eu tenho
  • 00:36:34
    uma impressão muito forte de que esses
  • 00:36:38
    modelos Né desde que a Open anunciou o
  • 00:36:40
    W3 que é o próximo modelo de reasoning
  • 00:36:43
    deles que conseguiu um score muito
  • 00:36:45
    grande no HGI inclusive HGI né é um
  • 00:36:47
    problema simbólico ali é um Grid não é
  • 00:36:48
    contínuo
  • 00:36:49
    eh e e esses modelos de de de de LM
  • 00:36:54
    estão conseguindo ficar cada vez
  • 00:36:56
    melhores se não não é qualquer evidência
  • 00:36:57
    que eles não vão continuar ficando
  • 00:36:58
    melhores e melhores e melhores em cada
  • 00:37:00
    ano eu e ontem mesmo Inclusive eu fiz um
  • 00:37:03
    tweet brincando sobre isso eh eu fui lá
  • 00:37:06
    no t no no no no no nesse modelo lançou
  • 00:37:09
    ante ontem não foi o Deep reasoning da
  • 00:37:10
    Open E postei lá eu fiz um parágrafo
  • 00:37:13
    falando implemente evaluator de
  • 00:37:15
    interaction NS tem uma instrução outra
  • 00:37:17
    um detalhe ou outro apertei o
  • 00:37:20
    enter 12 minutos depois ele veio
  • 00:37:23
    basicamente com uma coisa que era
  • 00:37:24
    equivalente ao opl que eu fiz alguns
  • 00:37:26
    anos atrás aquele primeiro implentação
  • 00:37:27
    que eu fiz muito muito
  • 00:37:30
    eh os conceitos estavam muito bem
  • 00:37:32
    aplicados ess você falar ele
  • 00:37:34
    provavelmente foi no né Foi na internet
  • 00:37:35
    no Bing procurou achou o meu código eh é
  • 00:37:39
    provavelmente é só a questão é o código
  • 00:37:42
    que ele achou não tinha o que ele mostra
  • 00:37:45
    ali não tinha tudo que ele precisava e
  • 00:37:46
    mesmo assim foi em 12 minutos ele fez um
  • 00:37:49
    negócio queer levar um dia e tu já
  • 00:37:51
    tentou fazer essa mesma busca com Deep
  • 00:37:53
    research agora que eles lançaram então é
  • 00:37:56
    desse que eu tô falando é
  • 00:37:58
    éi isso e ele entregou um arquivo que eu
  • 00:38:01
    levaria um dia inteiro para fazer então
  • 00:38:03
    eu acredito que esses modelos sozinhos
  • 00:38:05
    Eles já vão eu posso est errado mas eu
  • 00:38:07
    acredito que eles já vão resultar em
  • 00:38:08
    Sistemas que conseguem substituir o
  • 00:38:10
    trabalho inteligente de um ser humano na
  • 00:38:12
    frente de um computador tá para não
  • 00:38:14
    falar ai tip basicamente consegue
  • 00:38:16
    replicar o trabalho que a gente faz eu
  • 00:38:17
    posso estar errado eu acho que em dois
  • 00:38:20
    TR anos Isso vai acontecer sem mais nada
  • 00:38:23
    eh mas eu posso estar errado e
  • 00:38:25
    independente disso eu acredito que esse
  • 00:38:27
    estão muitos caminhos para chegar nisso
  • 00:38:29
    e eu acho que existem caminhos que
  • 00:38:31
    possam podem ser mais rápidos e mais
  • 00:38:32
    eficientes por isso que eu acho que
  • 00:38:34
    nesse momento pontual do mercado servir
  • 00:38:36
    essas empresas simbolic e a para tentar
  • 00:38:38
    otimizar aí que é uma corrida né e dar
  • 00:38:40
    um impulso a elas nessa corrida
  • 00:38:43
    estrategicamente para rock e a gente tem
  • 00:38:45
    uma ferramenta que ajuda com simbolic
  • 00:38:47
    muito muito bem tá eu acho que é a
  • 00:38:50
    melhor situação pra gente se posicionar
  • 00:38:51
    nesse mercado atual não dá para se cegar
  • 00:38:53
    o que tá acontecendo não é no mercado
  • 00:38:55
    daqui a do anos vai ser o mesmo que
  • 00:38:56
    agora sim é não tem que eu acho que hoje
  • 00:38:59
    bom só tu ver o tô falou do do po ali o
  • 00:39:03
    Y combinator né o b primeiro B é tudo ai
  • 00:39:06
    né então o mercado todo tá focado nisso
  • 00:39:09
    então tu como uma empresa também que tu
  • 00:39:11
    vai trazer eficiência computacional cara
  • 00:39:14
    tem que o hvm tem que também se encaixar
  • 00:39:18
    nessa no momento que a gente tá hoje
  • 00:39:20
    né É exatamente tipo assim eu eu uma
  • 00:39:24
    coisa que eu acho legal de falar eu acho
  • 00:39:26
    que isso isso é idade que as pessoas não
  • 00:39:28
    TM mas tem que ter porque às vezes você
  • 00:39:29
    faz uma coisa que tá no na moda a pessoa
  • 00:39:32
    fala ai você tá seguindo RP eu falo cara
  • 00:39:34
    por favor olha a história aprende com a
  • 00:39:36
    história eh você vai fazer uma rede
  • 00:39:38
    social hoje não é tem que segir o
  • 00:39:40
    interesse né da humanidade as empresas
  • 00:39:43
    que que se estabelecem o Facebook ele
  • 00:39:45
    foi um ela é uma porcaria por que que o
  • 00:39:47
    Facebook é gigante porque foi uma das
  • 00:39:48
    primeiras redes sociais no momento do
  • 00:39:50
    mercado da rede social você quer fazer
  • 00:39:52
    uma empresa que se torne uma empresa
  • 00:39:53
    grande Você tem que ver o mercado que tá
  • 00:39:55
    em expansão agora em geral tá eh e fazer
  • 00:39:58
    algum posicionamento que serva esse
  • 00:40:00
    mercado se você pega o mercado
  • 00:40:01
    estabelecido você vai fazer um mm RPG
  • 00:40:03
    hoje do nada no Startup pode fazer mas
  • 00:40:05
    você tá competindo com estabelecidos é
  • 00:40:07
    só fazer uma rede social hoje até uma
  • 00:40:10
    criptomoeda hoje em dia tipo meio que já
  • 00:40:11
    passou já tem tudo que dá para fazer que
  • 00:40:13
    já foi feito de alguma maneira então
  • 00:40:15
    assim se você tem uma empresa que quer
  • 00:40:17
    trazer algum valor pro mercado você tem
  • 00:40:18
    que olhar para mercado que tá expansão
  • 00:40:20
    não um mercado que já foi todo dominado
  • 00:40:22
    Sim vamos ver se o pessoal aqui tem
  • 00:40:25
    alguma pergunta na real eles mandaram
  • 00:40:26
    várias perguntas aqui a francele
  • 00:40:29
    perguntou sobre a demo que o Vittor
  • 00:40:30
    postou esse mês o que é o
  • 00:40:34
    superj o supj
  • 00:40:38
    eh uma pergunta muito boa tá agradeço a
  • 00:40:41
    essa
  • 00:40:42
    Fran
  • 00:40:44
    ã agradeço muito eh O que que é su G
  • 00:40:47
    então aí como a gente não tá mais nesse
  • 00:40:49
    caminho de tentar empurrar o bend no
  • 00:40:51
    mercado porque eu tão que pode estar
  • 00:40:53
    errada eh a nossa ideia é fazer
  • 00:40:55
    ferramentas que servem E essas empresas
  • 00:40:58
    de simbolic ai o supj e ele é muito
  • 00:41:00
    Inclusive acho que o suj é a maior
  • 00:41:01
    vitória da agvm tem muito Hater da agvm
  • 00:41:04
    que fala nossa hm nunca vai produzir
  • 00:41:06
    nada de valor e sinceramente eles podem
  • 00:41:08
    ter um fundo de verdade sabe por quê
  • 00:41:09
    Porque por exemplo se a gente pega o o ó
  • 00:41:13
    tudo que tudo que a programação
  • 00:41:15
    imperativa pode fazer o C já faz você
  • 00:41:17
    não vai ficar mais rápido do que o c no
  • 00:41:19
    que o c faz de bom e e gvm por mais que
  • 00:41:22
    seja um paradigma novo que não é o
  • 00:41:23
    funcional pessoal confunde não é
  • 00:41:25
    funcional e ele compartilha muito muita
  • 00:41:27
    coisa com o funcional e tudo que o
  • 00:41:29
    funcional faz bem o rask já faz então o
  • 00:41:31
    que que sobra para criar valor de
  • 00:41:33
    verdade sobra O que as coisas que o c
  • 00:41:35
    não fazem e as coisas que o Rasco não
  • 00:41:38
    faz então tem apenas um pequeno um
  • 00:41:40
    pequeno restante de coisinhas ali que a
  • 00:41:42
    hm Faz melhor do que todo o resto tá E
  • 00:41:45
    aí o que que eu falei cara eh se existe
  • 00:41:47
    uma um ponto cego no mercado que o você
  • 00:41:49
    não faz que o Rasco não faz esse ponto c
  • 00:41:51
    que a gente vai atacar porque por
  • 00:41:52
    definição se tem um valor para extrair
  • 00:41:54
    ele aquele valor não foi extraído ainda
  • 00:41:56
    o subj ele ele usa hm ele usa os
  • 00:41:59
    princípios da HM para fazer um
  • 00:42:01
    sintetizador de programa Deixa eu
  • 00:42:02
    explicar eu tenho um minutinho para
  • 00:42:03
    explicar porque isso é bem legal vai
  • 00:42:05
    Uhum que que que que é esse sintetizador
  • 00:42:07
    de programa e imagina que você tem assim
  • 00:42:09
    uma série de equações F de3 = 6 F de4 =
  • 00:42:14
    8 F de5 = 10 que função é F é que eu
  • 00:42:18
    fale maisos você vai vai de novo vai de
  • 00:42:21
    novo F de2 é 4 F de3 é 6 f de5 é 10 tô
  • 00:42:28
    te colocando numa situação meio delicada
  • 00:42:29
    né F de5 é 10 F de1 é 20 é 10 F de 10 é
  • 00:42:35
    20 que função é essa o f é igual a
  • 00:42:39
    multiplicação por do perfeito você é um
  • 00:42:42
    ser humano muito inteligente por sinal
  • 00:42:44
    eh conseguiu decifrar que função é essa
  • 00:42:46
    e você me deu a função mais geral tá que
  • 00:42:48
    representa esse conceito eh isso que
  • 00:42:50
    acontece isso é muito fácil pro ser
  • 00:42:52
    humano fazer isso é muito parece simples
  • 00:42:55
    mas isso é muito difícil pro computador
  • 00:42:57
    GPT vamos ver vamos ver se chat GPT não
  • 00:42:59
    não não ó presta atenção ó Deixa eu te
  • 00:43:01
    explicar até o chat GPT isso era muito
  • 00:43:04
    difícil de computador fazer tá hoje em
  • 00:43:06
    dia o chat GPT consegue fazer esse tipo
  • 00:43:08
    de exemplo só que eu tenho coisa para
  • 00:43:09
    falar sobre isso o que que acontece eh
  • 00:43:11
    pro chat GPT fazer isso ele precisa ser
  • 00:43:13
    pré treinado num num Data Set gigantesco
  • 00:43:16
    Isso gasta 10 milhões 20 milhões 40
  • 00:43:18
    milhões 50 milhões não existe hoje um
  • 00:43:21
    algoritmo puro que sem pré-treinamento
  • 00:43:23
    consegue eficientemente resolver essas
  • 00:43:26
    equações Tá então vamos supor que a
  • 00:43:28
    gente não pode
  • 00:43:29
    pré-treinos a gente só quer resposta tá
  • 00:43:32
    eh e aí existem soluções na literatura
  • 00:43:35
    né publicados desde muitos anos atrás
  • 00:43:37
    que conseguem resolver o dobro a adição
  • 00:43:40
    mas tem um limite porque é uma busca
  • 00:43:42
    exponencial é muito uma função um
  • 00:43:44
    pouquinho maior você quer fazer o módulo
  • 00:43:45
    de cinco Eles não conseguem achar nada
  • 00:43:47
    eh e a gente sabe porque a gente baixou
  • 00:43:50
    todas as tentativas de fazer isso sem
  • 00:43:51
    modelo sem llm só achar o resultado de
  • 00:43:54
    uma função isso para um computador é
  • 00:43:55
    muito difícil a gente usou gvm eh usou
  • 00:43:58
    alguns conceitos primitivos da agvm que
  • 00:44:00
    são difíceis de dominar mas tem a ver
  • 00:44:01
    com option reduction aquela coisa do
  • 00:44:02
    speedup de 1 milhão e não não tem a ver
  • 00:44:05
    com paralelismo tá é outro caracter
  • 00:44:07
    desse desse paradigma é outro caráter
  • 00:44:09
    desse Paradigma e a gente implementou um
  • 00:44:11
    sintetizador de programa a gente testou
  • 00:44:13
    contra todos os exemplos da literatura e
  • 00:44:15
    ficou 100 a 1000 vezes mais rápido O que
  • 00:44:17
    que significa hoje a gente tem a gente
  • 00:44:19
    pode falar isso com orgulho a gente tem
  • 00:44:21
    o sintetizador de programas mais rápidos
  • 00:44:22
    do mundo rodando no hm isso é closed
  • 00:44:24
    source que tá e todos os papers da
  • 00:44:27
    a gente baixou todos testou uma um ass
  • 00:44:29
    não será será mesmo e a gente consegue
  • 00:44:31
    achar programas que eles não conseguem
  • 00:44:33
    achar tipo ah achar a adição e a
  • 00:44:34
    subtração com módulo ao mesmo tempo a hm
  • 00:44:37
    consegue achar com esse sug Eles não
  • 00:44:39
    conseguem aí eu perguntei o que que você
  • 00:44:41
    faz com isso cara dá para pegar isso
  • 00:44:44
    hoje em dia usar isso para programar não
  • 00:44:46
    é tão interessante porque o chat GPT já
  • 00:44:48
    consegue fazer né completar programa mas
  • 00:44:51
    a gente isso não tem o pré-treinamento
  • 00:44:53
    então a gente pode pegar isso integrar
  • 00:44:55
    numa arquitetura que aprenda e para
  • 00:44:57
    treinar um modelo que use isso como uma
  • 00:44:59
    ferramenta então meio que fazer um
  • 00:45:00
    Transformer simbólico um GPT simbólico é
  • 00:45:03
    uma das coisas que a gente quer fazer
  • 00:45:04
    aqui porque era impossível de fazer
  • 00:45:06
    antes porque não existia um sintetizador
  • 00:45:08
    de programator eficiente quant esses Tá
  • 00:45:10
    mas isso é um tema de pesquisa tá tu
  • 00:45:12
    acha eu posso te interromper tu acha que
  • 00:45:14
    se tu tu acha que se tu fosse
  • 00:45:18
    chinês já estaria no de pé Isso aí Nossa
  • 00:45:22
    olha acho tá no Brasil e ter acesso aos
  • 00:45:24
    recursos é
  • 00:45:27
    uma limitação Nossa demais cara quando
  • 00:45:29
    eu tava eu falei isso já uma vez numa
  • 00:45:31
    Live quando eu tava na faculdade eu
  • 00:45:32
    falei o professor pô quero fazer o
  • 00:45:34
    implementação mais rápida de programação
  • 00:45:36
    profissional com isso e fazer eu sei lá
  • 00:45:38
    o qu fazer empresa ele falou cara Ele
  • 00:45:40
    olhou assim para mim com uma cara de
  • 00:45:41
    você tá no Brasil vai estudar seu
  • 00:45:45
    Sharp vai fazer botão por isso que eu
  • 00:45:48
    fiquei com t tá gente fazer botão é
  • 00:45:50
    muito bom eu fiz eu fiz muito botão
  • 00:45:53
    botão eu aprendi react adorei react é
  • 00:45:56
    maravilhoso gente eh mas eu continuei
  • 00:45:59
    com esse essa raivinha dentro de mim
  • 00:46:00
    falei não mas olha se cara eu acredito
  • 00:46:03
    tá que se eu tivesse num contexto dos
  • 00:46:05
    Estados Unidos se eu tivesse numa
  • 00:46:06
    empresa num outro país
  • 00:46:08
    é não não é salub fazer empresa já não é
  • 00:46:11
    salubre não faço eu não teria feito falo
  • 00:46:12
    falo falo falo mesmo tá tô aqui na rock
  • 00:46:14
    temho que fazer porque agora virou minha
  • 00:46:16
    obrigação tenho responsabilidade com os
  • 00:46:17
    meus investidores se eu voltasse atrás
  • 00:46:19
    teria feito não teria feito não não
  • 00:46:20
    teria feito não significa que eu não
  • 00:46:22
    acredite na ideia é pela minha vida
  • 00:46:24
    minha saúde meu tempo de vida isso daqui
  • 00:46:26
    não não é de Deus fazer empresa não é de
  • 00:46:28
    Deus estando no Brasil nossa é nem do
  • 00:46:31
    diago é é é insano é insano é insano as
  • 00:46:34
    condições desse país cara para a gente
  • 00:46:36
    tá fazendo um cluster de Mc Mini porque
  • 00:46:38
    o Mc Mini é o mais barato para rodar
  • 00:46:40
    gaven o capital de dólar por com
  • 00:46:43
    performance da gvm o Mc Mini de todos os
  • 00:46:44
    computadores tá quantos Mc Mini Tu
  • 00:46:46
    comprou pro cluster a gente comprou eu
  • 00:46:49
    queria comprar mais mas a gente começou
  • 00:46:50
    com 256 200 tu tem 256 Mc minis tá
  • 00:46:54
    chegando lá em Floripa agora meu meu
  • 00:46:57
    compound tá lá e fipa botando SM cara
  • 00:47:00
    200 quanto de energia como é a parte
  • 00:47:03
    elétrica a galera pensa nossa 256.000 é
  • 00:47:05
    muito caro né não cara como é que tu
  • 00:47:08
    conecta 256 na tua casa tá ligado não
  • 00:47:10
    tem como eu queria botar na minha casa
  • 00:47:13
    mas aí falar que ia pegar fogo é pegar
  • 00:47:15
    fogo na tua casa tá louco Tem
  • 00:47:16
    investimento eletricista ainda a e falam
  • 00:47:19
    que eu sou você eu botava se você eu
  • 00:47:21
    botava na minha casa ia est ia virar
  • 00:47:23
    churrasquinho de tailin Caraca mas não
  • 00:47:25
    gasta muita energia essa porque um Mc
  • 00:47:27
    Mini ele gasta é 1/20 avos da energia de
  • 00:47:31
    uma
  • 00:47:32
    rtx e ele ele rende muito isso que é
  • 00:47:35
    interessante ele R principalmente na gvm
  • 00:47:37
    eu vou te falar a gente rodou na em tudo
  • 00:47:39
    que é processador da Intel então eu nem
  • 00:47:41
    considero mais
  • 00:47:42
    empresa desculpa tem o dó da Intel
  • 00:47:44
    melhor he eu sou meio tóxico às vezes né
  • 00:47:47
    desculpa mas P eu fiquei muito feliz
  • 00:47:49
    quando parou de usar Intel né a a a MD é
  • 00:47:52
    uma empresa que consegue fazer uns
  • 00:47:54
    processadores bons só que qual sabe qual
  • 00:47:56
    problema da MD eh eles fazem
  • 00:47:58
    processadores que ficam com bmk bom só
  • 00:48:00
    que eles otimizam para as coisas que que
  • 00:48:03
    que roda geralmente e o que que roda
  • 00:48:04
    geralmente num num sistema operacional é
  • 00:48:07
    vários processos vários programas em
  • 00:48:09
    processos diferentes aí você usa todos
  • 00:48:10
    os núcleos se você quer usar os núcleos
  • 00:48:13
    do mesmo programa e você precisa de
  • 00:48:14
    atômicos eles não otimizam para isso se
  • 00:48:16
    você quer fazer um Pag de memória
  • 00:48:17
    eficiente eles não otimizam para um
  • 00:48:18
    monte de coisa a Apple otimiza Aí
  • 00:48:21
    otimiza você pega Hm só LCA um Buff de 1
  • 00:48:23
    ta de memória funciona ela o paging dela
  • 00:48:26
    é muito ente fica muito rápido eu não
  • 00:48:27
    preciso fazer esse trabalho e por que
  • 00:48:29
    que tu trouxe o o por que que tu teve a
  • 00:48:31
    ideia de montar o cluster porque tu deve
  • 00:48:33
    ter gastado não precisa falar o número
  • 00:48:35
    mas é coisa de milhões de mais de R
  • 00:48:37
    milhão de reais né mas tipo assim
  • 00:48:40
    256 Mac
  • 00:48:42
    minis Por que trazer pro Brasil Porque
  • 00:48:44
    que tu não pensou em montar fora então é
  • 00:48:49
    necessariamente pode ser amadorismo
  • 00:48:50
    nosso falando super sincero a gente
  • 00:48:52
    discutiu muito de montar fora olhamos
  • 00:48:54
    galpon só que assim a parada é a
  • 00:48:56
    seguinte o existe uma coisa que eu acho
  • 00:48:58
    que a gente pode usar em nosso nosso
  • 00:49:00
    benefício que é o que é a questão o Mac
  • 00:49:02
    min ele ocupa muito espaço mas gasta
  • 00:49:04
    muito pouca energia se você quer botar
  • 00:49:06
    nos Estados Unidos Você vai precisar de
  • 00:49:08
    um colocation colocation cobra por
  • 00:49:09
    espaço então e principalmente é porque
  • 00:49:12
    agora esse Mc min ficou menor né mas o
  • 00:49:13
    que a gente tava olhando er er M3 ainda
  • 00:49:15
    era maior Então a gente vai est gastando
  • 00:49:17
    por um espaço muito grande vai ter um
  • 00:49:18
    custo mensal de colocation muito grande
  • 00:49:20
    além de que a gente não vai ter acesso
  • 00:49:22
    não vai poder mexer eh aqui no Brasil a
  • 00:49:26
    gente o espaço não é um problema então a
  • 00:49:29
    gente consegue usar um espaço grande
  • 00:49:31
    entendeu e fica só pelo custo da
  • 00:49:33
    eletricidade
  • 00:49:35
    eh enfim não sei se vai compensar No
  • 00:49:37
    final a gente fez as contas parece que
  • 00:49:39
    compensa talvez o problema é que Talvez
  • 00:49:40
    tenham desconhecidos desconhecidos
  • 00:49:42
    ideias que a gente poderia ter tido que
  • 00:49:44
    a gente não teve e ficar nos Estados
  • 00:49:46
    Unidos seria melhor mas a gente trouxe é
  • 00:49:48
    É também um experimento inicial Tá então
  • 00:49:51
    se ficar muito bom se der muito certo a
  • 00:49:53
    gente vai escalonar mais esse cluster e
  • 00:49:55
    quando a gente tiver 65.000 aqui dito
  • 00:49:57
    que não vai ser no Brasil não sei se
  • 00:49:58
    hadat por favor né 2 x um Mc Mini
  • 00:50:03
    eh se é 600 nos Estados Unidos aqui é
  • 00:50:07
    1200 como que vai fazer a empresa de
  • 00:50:09
    tecnologia aqui manda manda lá o clipe
  • 00:50:10
    pro pro pro pro pro Lula como que vai
  • 00:50:12
    não vai cara eles eles fizeram Esse esse
  • 00:50:15
    programa de ai vamos investir milhões em
  • 00:50:17
    ai no Brasil por que que não tem ai
  • 00:50:18
    brasileira porque será meu bonito por
  • 00:50:20
    que que a invés de pegar esses milhões
  • 00:50:21
    que você tá investindo em em eii você
  • 00:50:23
    não diminui imposto da importação do do
  • 00:50:24
    do equipamento que a gente precisa para
  • 00:50:25
    fazer esse bagulho aqui dentro
  • 00:50:28
    ou ou ou ou Usa usa esse dinheiro de
  • 00:50:30
    investimento para pagar o teu próprio
  • 00:50:31
    imposto exato não e cara eu fico fico
  • 00:50:36
    indignado com isso meu porque
  • 00:50:38
    provavelmente tipo a gente já teria
  • 00:50:39
    vários projetos porque não é sério
  • 00:50:42
    porque que falta no Brasil cara não é
  • 00:50:44
    cérebro que falta no Brasil tá ligado
  • 00:50:46
    Tipo ó o cérebro que tu tem falando
  • 00:50:50
    assim de uma forma bem bem bruta né
  • 00:50:53
    mas falta recurso cara e e e as pessoas
  • 00:50:58
    que tu interagiu para chegar aqui também
  • 00:51:00
    várias delas foram também do Brasil
  • 00:51:03
    não então tipo sei lá mas é é triste mas
  • 00:51:07
    aí tu tu escolheu Trabalhar em algo
  • 00:51:10
    difícil e botou modo hard que é eu vou
  • 00:51:12
    fazer essa no Brasil tá
  • 00:51:15
    ligado eu queria ir para São Francisco
  • 00:51:18
    cara é tipo assim eu acho que seria uma
  • 00:51:19
    possibilidade muito melhor às vezes eu
  • 00:51:21
    penso eu já já cheguei muito perto de
  • 00:51:23
    querer fazer meu visto mas fiz seu tempo
  • 00:51:24
    porque eu tava trancado as horas dia no
  • 00:51:25
    quarto é cara eu vou te falar o Brasil
  • 00:51:28
    tem muita gente boa e eu posso falar
  • 00:51:30
    porque eu já esve na posição de
  • 00:51:31
    contratar mas eu vou te eu vou eu vou
  • 00:51:33
    ser super sincero cara eu eu eu tô
  • 00:51:35
    entrando numa fase que eu tô começando
  • 00:51:36
    aer tox já fui cancelado três vezes e
  • 00:51:37
    agora eu tô só pagando para tudo eh o
  • 00:51:40
    Brasil tem muita gente inteligente de de
  • 00:51:42
    de nascimento as pessoas nascem que méo
  • 00:51:44
    do brasileiro é baixo mas tem muita
  • 00:51:45
    gente muito boa muito inteligente eu
  • 00:51:47
    acho que a maior parte do brasileiro não
  • 00:51:49
    é bem aproveitado sabe por quê Porque
  • 00:51:51
    você por exemplo uma coisa que eu senti
  • 00:51:52
    aqui fazendo Startup
  • 00:51:54
    eh a gente não não sabe que um startup
  • 00:51:57
    não sabe o que que é um ecor não sabe
  • 00:51:58
    que é uma Cap table e aí você entra para
  • 00:52:00
    um startup e recebe uma proposta que
  • 00:52:01
    você recebe muito ecor que é muito bom
  • 00:52:04
    uma proposta legitimamente muito boa e
  • 00:52:06
    você não entende porque você não sabe o
  • 00:52:07
    que éc então para você você tá recebendo
  • 00:52:08
    nada você aqui é o CLT você aqui é o
  • 00:52:10
    capital eh falta uma cultura de
  • 00:52:12
    empreendedorismo e e falta uma cultura
  • 00:52:14
    de como que a gente vai ser o top em
  • 00:52:17
    qualquer tecnologia se a gente não
  • 00:52:18
    ensina no frj não ensinavam se não tem
  • 00:52:21
    não pelo menos quando eu tava lá não
  • 00:52:22
    tinha um programa de Type Theory na no
  • 00:52:24
    frj que é uma uma das melhoresos do Como
  • 00:52:28
    que você vai est na ponta da pesquisa se
  • 00:52:30
    você não ensina na ponta da pesquisa
  • 00:52:31
    pras pessoas que estão aqui eu acho que
  • 00:52:33
    o mercado quer formar brasileiro para
  • 00:52:35
    ser
  • 00:52:36
    médio e aí são pessoas muito
  • 00:52:38
    inteligentes com muito potencial
  • 00:52:39
    inerente que não são aproveitadas porque
  • 00:52:41
    não não tem a informação não chega na
  • 00:52:43
    época da informação a informação não
  • 00:52:45
    chega nas cabeças que tem que chegar é o
  • 00:52:46
    que eu sinto tá contratando aqui e e
  • 00:52:49
    muita gente da rock é brasileira eh a
  • 00:52:51
    nossa equipe a gente sempre falou eh tem
  • 00:52:53
    pessoas que vieram de fora mas a gente
  • 00:52:54
    sempre procurou contratar brasileiros
  • 00:52:56
    e e teve Gente muito boa teve Gente
  • 00:53:00
    muito boa que veio daqui que massa
  • 00:53:04
    mesmo eu torço muito pro Sucesso de
  • 00:53:06
    vocês cara por mim eu queria continuar
  • 00:53:08
    trocando uma ideia contigo aqui até
  • 00:53:10
    altas horas
  • 00:53:11
    mas eu preciso passear com a
  • 00:53:14
    choia agora já daqui a pouco tá batendo
  • 00:53:17
    na porta aqui mas manda teus recados
  • 00:53:20
    finais aí e pessoal se vocês querem
  • 00:53:22
    fazer uma pergunta pro Vitor proin Eh
  • 00:53:27
    cara no Twitter né Twitter é o lugar
  • 00:53:29
    para tocar uma ideia contigo eu acredito
  • 00:53:31
    ou não cara eu acho que se aproveitar
  • 00:53:33
    aqui então um momento não tô fazendo
  • 00:53:34
    nada se quiserem aparece lá no servidor
  • 00:53:36
    de discord da hot talvez eu fico um
  • 00:53:38
    pouquinho por lá se alguém quisesse um
  • 00:53:40
    outro quiser fazer uma pergunta acho já
  • 00:53:42
    falei tanta coisa eu t gente eu queria
  • 00:53:43
    me desculpar eu falei que eu eu eu não
  • 00:53:45
    sei por que eu tenho essa mania de tá
  • 00:53:47
    Gará e falar e falar que horas tem você
  • 00:53:48
    falou que era uma hora já desculpa tá eu
  • 00:53:51
    tô com vergonha de um capaz cara foi
  • 00:53:53
    muito bom cara trocar uma ideia contigo
  • 00:53:55
    foi sen a inter senora vai ter um pap em
  • 00:53:58
    aberto acabou que só falou do nosso
  • 00:54:00
    negócio né então desculpa por isso não
  • 00:54:02
    masé teu negócio é muito interessante e
  • 00:54:03
    eu acho que mais pessoas mais
  • 00:54:05
    principalmente mais brasileiros deveriam
  • 00:54:07
    conhecer o trabalho que vocês fazem tá
  • 00:54:09
    ligado porque é muito mesmo e a
  • 00:54:12
    gente tem que dar mais valor pro porque
  • 00:54:14
    a galera do Brasil cria também tá ligado
  • 00:54:16
    normalmente a gente bate palma para
  • 00:54:18
    Gringo e quando o gringo Fala Brasil a
  • 00:54:21
    gente aê o Brasil foi mencionado tipo e
  • 00:54:24
    a invés de fou assim não cara tem o cara
  • 00:54:26
    brasileiro aqui fazendo os bagulho
  • 00:54:28
    tá ligado Então é prazer foi todo meu te
  • 00:54:31
    receber aqui e cara se tu tiver mais Liv
  • 00:54:34
    a gente pode fazer mais mais Live mais
  • 00:54:36
    Live junto aí volta outro dia aí terças
  • 00:54:39
    e 15as a gente tá ao vivo Então
  • 00:54:41
    realmente agradeço muito honrado de est
  • 00:54:43
    aqui agradeço muito a conversa o papo e
  • 00:54:44
    eh o interesse do pessoal como um todo
  • 00:54:46
    eh eu vou est bem livre desses dias
  • 00:54:48
    daqui paraa frente porque a gente tá num
  • 00:54:50
    momento eh de repaginação né da Rock
  • 00:54:53
    agora que a gente tá seguindo nesse
  • 00:54:54
    caminho de pesquisa e de você vira um
  • 00:54:56
    Business Business né nesse nesse mercado
  • 00:54:59
    de ai não não popularizar o Band mas
  • 00:55:00
    fazer coisas com Band vender produtos de
  • 00:55:02
    empresas tá num momento meio que de
  • 00:55:04
    transição e eu tô com tempo bem livre
  • 00:55:06
    Então quem quiser chamar bater um papo
  • 00:55:07
    eh tô sempre aqui enfim tipo Espero que
  • 00:55:09
    tenha sido um conteúdo legal pro seu
  • 00:55:11
    canal eh Agradeço o pessoal como todo e
  • 00:55:14
    é isso qualquer querendo conversar mais
  • 00:55:16
    estaria aí o cluster vai ser vai ser em
  • 00:55:19
    Floripa sem Floripa cara esse cluster a
  • 00:55:22
    gente vai fazer tanta coisa legal com
  • 00:55:24
    ele você não tenho ideia Eu tô muito
  • 00:55:26
    anado que meu eu gostaria de
  • 00:55:28
    visitar lá me autoc convidando aqui mas
  • 00:55:30
    quando tiver pelo Brasil Vou te mandar
  • 00:55:31
    uma mensagem eu quero ver eu quero ver
  • 00:55:33
    esse cluster Eu também nossa mano só
  • 00:55:37
    vamos só vamos eu tô muito animado para
  • 00:55:38
    ver a pilha lá vai ficar engraçado né o
  • 00:55:42
    pessoal montando CL de rtx tudo bonitaço
  • 00:55:44
    ainda mais que rtx é coisa para Gamer e
  • 00:55:46
    a gente lá com os Mc Minnie com a
  • 00:55:48
    maçãzinha demais mas eu juro que
  • 00:55:51
    faz sentido tá eu juro que faz sentido e
  • 00:55:53
    e dá para fazer muita coisa legal
  • 00:55:55
    principalmente essa empresa de simbólica
  • 00:55:57
    a com esse com esse coisa mandei o link
  • 00:55:58
    no teu WhatsApp eh eu vou entrar no
  • 00:56:01
    discord quem quiser brotar lá est aí
  • 00:56:03
    show e novamente agradeço muito espero
  • 00:56:05
    que tenha sido um conteúdo legal foi
  • 00:56:07
    muito o pessoal gostou demais aqui
  • 00:56:09
    pessoal Muito obrigado obrigado Vitor ah
  • 00:56:11
    vamos lá pro discord então trocar uma
  • 00:56:13
    ideia com ele valeu meu
タグ
  • linguagem de programação
  • inteligência artificial
  • programação
  • eficiência computacional
  • AI simbólica
  • desafios do Brasil
  • cluster Mc Minis
  • startup
  • inovação
  • tecnologia