Segurança por padrão
Proteção contra envio forjado de formulários, firewall de aplicação, cabeçalhos de segurança e sessões que podem ser encerradas em todos os aparelhos.
Por dentro do vene.win
Este site é feito com Rullst.
O vene.win roda no Rullst, o framework web em Rust criado pelo Tio Vené. Ele reúne num só lugar o que um site precisa para ser rápido e leve, com as proteções de segurança ligadas desde o primeiro dia.
Bit
Oi! Eu sou o Bit, o robô do Tio Vené. Clique em mim para ganhar uma dica!
- Oi! Eu sou o Bit, o robô do Tio Vené. Clique em mim para ganhar uma dica!
- Nas aulas particulares, cada aluno tem um plano feito para ele: do primeiro jogo à primeira olimpíada.
- Quer criar o seu próprio jogo? Dá para começar sem saber programar: a gente aprende fazendo.
- Treinar um pouco toda semana vence uma noite inteira antes da prova. Bits pequenos fazem programas grandes!
- A ACSL tem quatro provas de lógica e programação por temporada, e o Tio Vené organiza grupos de estudo para o Brasil.
- Antes de se inscrever numa competição, confira sempre o site oficial: as datas podem mudar.
Rullst 13
O que o Rullst traz para este site
Três idiomas conferidos
Se faltar um texto em português, inglês ou espanhol, o site nem compila. Plurais e datas seguem as regras de cada idioma.
Banco de dados e migrações
Modelos, consultas e migrações ficam no próprio código, sobre o SQLite deste site.
Painel pronto
O Nexus gerencia cursos, aulas, alunos e pedidos de aula sem precisar escrever telas de administração.
Leve e eficiente
Um único programa em Rust, sem servidor de aplicação à parte, que usa pouca memória e responde rápido.
Atualizações assistidas
O cargo rullst upgrade mostra o que muda no código antes de atualizar o framework, como na migração deste site para a versão 13.
Rullst Green
Rullst Green: as medições deste site
O comando cargo rullst green mede o próprio app: tamanho, memória, dependências e o tempo de processador gasto por página. Cada painel mostra onde a medição foi feita.
Windows · x86_64computador de desenvolvimento
📦 Tamanho do programa
16,0 MB
🚀 Páginas servidas no teste
20.270
🧩 Dependências
436
Medido em 7 de novembro de 2026 com o cargo rullst 13.0.0-alpha.4, no binário de release (Windows, x86_64). O servidor de produção (Linux ARM64) pode ter números um pouco diferentes.
Teste de carga: 10 segundos, 4 conexões simultâneas pedindo a página inicial, 0 erros.
A memória em repouso e o tempo de processador por página só são medidos no Linux (o green usa o /proc do sistema).
Linux · x86_64servidor Linux do GitHub Actions
📦 Tamanho do programa
15,6 MB
🧠 Memória em repouso
14,7 MB
⚡ CPU por página
0,23 ms
🚀 Páginas servidas no teste
70.217
🧩 Dependências
436
Medido em 7 de novembro de 2026 com o cargo rullst 13.0.0-alpha.4, no binário de release (Linux, x86_64). O servidor de produção (Linux ARM64) pode ter números um pouco diferentes.
Teste de carga: 10 segundos, 4 conexões simultâneas pedindo a página inicial, 0 erros.
Peso da página
Quanto a página inicial pesa
O que um navegador sem nada guardado recebe pela rede ao abrir a página inicial, já comprimido. Menos bytes é menos energia gasta na rede e no aparelho de quem visita.
vene.win8 de novembro de 2026
📦 na primeira visita, com estilos, scripts e imagens
44 KB
🔁 nas visitas seguintes (o resto fica guardado no aparelho)
8 KB
🧩 de estilos e scripts, comprimidos
29 KB
🚫 scripts de terceiros, rastreadores ou anúncios
0
Medido em 8 de novembro de 2026 com scripts/medir-pagina-inicial.py: pede a página inicial e cada arquivo que ela usa, como um navegador sem nada guardado, e soma os bytes que chegam pela rede, sem descomprimir. O GitHub mede de novo depois de cada publicação e avisa quando o número muda mais de 5%.
Software eficiente
Por que um site leve gasta menos energia
- A energia que um servidor consome acompanha o tempo de processador e a memória que o programa usa. Menos CPU e menos memória por página significam mais visitas atendidas pelo mesmo servidor, ou um servidor menor para o mesmo site.
- O Rullst é escrito em Rust e vira um único programa compilado, sem interpretador nem máquina virtual rodando por baixo. Isso tende a gastar menos CPU e memória do que plataformas interpretadas ou frameworks mais pesados.
- Estudos que compararam linguagens colocaram o Rust entre as mais eficientes em energia; pesquisas mais recentes mostram que o que pesa de verdade é o tempo de execução de cada programa. Por isso o vene.win mede a si mesmo com o Rullst Green, em vez de prometer.
Por isso preferimos dizer “software eficiente”, com números, a usar selos genéricos como “eco-friendly” ou “sustentável”: esse tipo de afirmação ambiental precisa ser comprovada, como exigem o CONAR no Brasil e a Diretiva (UE) 2024/825 na Europa.
Fontes: Pereira et al., 2017 ↗ · van Kempen et al., 2024 ↗ · Green Software Foundation ↗
Estimativa de carbono (SCI)
Quanto carbono o processamento deste site emite
Com o tempo de processador medido pelo Rullst Green e duas informações com fonte, a potência do processador do servidor e a intensidade de carbono da rede elétrica brasileira, dá para estimar o carbono de cada página pela metodologia SCI (Software Carbon Intensity), a norma ISO/IEC 21031:2024. O servidor fica no Brasil, ligado ao Sistema Interligado Nacional, uma rede de baixo carbono em que a maior parte da energia vem de fontes renováveis.
SCI · ISO/IEC 21031:2024estimativa
🌱 CO₂e por milhão de páginas
≈ 5,9 mg
⚡ Energia de CPU por milhão de páginas
≈ 0,13 Wh
🔌 Potência por núcleo ocupado
2,01 W
🌎 Rede elétrica do Brasil (2025)
46,1 g/kWh
Conta: SCI = (E × I + M) ÷ R. E, a energia, é o tempo de processador medido (0,23 ms por página, Linux x86_64, em 7 de novembro de 2026) × 2,01 W por núcleo ocupado; I é a intensidade de carbono da rede (46,1 g de CO₂ por kWh, média de 2025); M, a fabricação do hardware, fica de fora; R é uma página servida.
O que essa estimativa não inclui
- O servidor ligado o tempo todo: o consumo em repouso, a memória, o disco e a refrigeração do datacenter. A conta cobre só o trabalho do processador para montar cada página.
- A rede, a Cloudflare e o celular ou computador de quem visita, que também gastam energia e não entram na conta.
- A fabricação do hardware (o M da fórmula) e outros gases além do CO₂: o fator do MCTI mede o CO₂ da geração elétrica. A SCI usa a média da rede do local, sem descontar contratos ou certificados de energia renovável.
- O tempo de processador foi medido no servidor Linux do GitHub Actions (x86_64), não no servidor de produção (Linux ARM64), e a potência por núcleo vem da ficha da fabricante, não de um medidor de energia. São aproximações.
Por isso a afirmação ambiental deste site é esta, e só esta: estimativa SCI de cerca de 5,9 mg de CO₂e por milhão de páginas, contando só o processamento do app. Não dizemos que o site é “verde”, “neutro em carbono” ou “sustentável”: isso exigiria medir o ciclo de vida inteiro e comprovar.
Fontes: SCI, Green Software Foundation ↗ · ISO/IEC 21031:2024 ↗ · MCTI: fatores de emissão do SIN ↗ · Ampere: ficha do Altra ↗ · Oracle Cloud: máquinas A1 ↗ · cargo rullst green ↗
Aprender
Quer criar sites assim?
Nas aulas particulares dá para aprender programação para a web com Rust e o Rullst, do primeiro projeto ao site no ar.