criador da linguagem massivamente paralela é BR

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

Ringkasan

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.

Takeaways

  • 💻 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.

Garis waktu

  • 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.

Tampilkan lebih banyak

Peta Pikiran

Video Tanya Jawab

  • 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.

Lihat lebih banyak ringkasan video

Dapatkan akses instan ke ringkasan video YouTube gratis yang didukung oleh AI!
Teks
pt
Gulir Otomatis:
  • 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
Tags
  • 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