Categoria: disciplina

Artigos, análises e materiais sobre disciplina.

Do Git ao domínio próprio, publicando um site estático com GitHub Pages e Cloudflare

Do Git ao domínio próprio, publicando um site estático com GitHub Pages e Cloudflare

Vamos sair de uma pasta vazia e chegar a um site estático com domínio próprio, HTTPS, revisão por pull request e Cloudflare diante do GitHub Pages.

16 Aug 2026
A Biblioteca Impossível: do Paradoxo de Russell ao Cálculo Lambda Tipado

A Biblioteca Impossível: do Paradoxo de Russell ao Cálculo Lambda Tipado

Uma biblioteca, um catálogo impossível e a hierarquia de tipos que Russell inventou para salvá-la. Depois, a mesma história contada com funções, de Church a Curry-Howard.

21 Aug 2023