Oi! Essas são algumas das perguntas que podem te interessar. Tem mais alguma dúvida? Basta abrir uma issue :D
Meu nome é Victor Maia, tenho 27 anos, programo desde os 10 e sou apaixonado pelo assunto. Criei meu primeiro jogo em 2008, um servidor de Tibia chamado Taelin e Kaelin. Fui um dos desenvolvedores do Ethereum, a segunda maior criptomoeda do mundo. Hoje, sou CTO da Sunshine Cybernetics, onde criei o Formality, uma linguagem de programação e provas formais ultra-segura que compila para o cálculo lambda.
O desafio é desenvolver um jogo completo (Taelin Arena) no cálculo lambda, através do Formality. Nenhum framework será usado: todas as features do jogo serão feitas aqui, desde a física ao networking. Aceitarei e implementarei sugestões dadas no chat da stream e issues do Github! Também responderei perguntas sobre tópicos de programação (cálculo lambda, provas formais, tipos indutivos, etc.). O objetivo é criar e aprender!
Proof languages são o "próximo passo evolutivo" de linguagens funcionais como Haskell e Elm. Elas são a interseção da matemática com a programação, unificando ambos os campos. Infelizmente, as poucas proof languages existentes são ineficientes e inacessíveis, feitas "de PhDs para PhDs". O Formality torna esses conceitos mais acessíveis através de uma linguagem prática e eficiente.
MacOS Mojave
Macbook Pro 13, 2017
iTerm2, vim
Uso um iPad Pro, Apple Pencil e alguns apps como Sketch.