Destes testes em verde, quais não podem falhar? Cola o teu ficheiro de teste e diz-te, caso a caso, o que verifica a sério — com a evidência à frente, para que possas desmenti-lo. E o que ninguém faz: compara o ANTES e o DEPOIS de uma alteração e mostra-te se enfraqueceste a rede — o matcher que se alargou, a asserção que desapareceu, o caso que deixou de ser executado. É o atalho barato de quem tem pressa, e o de uma IA a quem pedes que ponha a suite em verde. TypeScript, JavaScript, Python, Java e Go. Não executa nada: o teu código não sai do navegador.

Treina uma árvore de decisão (CART) sobre dados 2D e vê como classifica com perguntas de sim/não: as regiões de decisão «em escada» e a árvore desenhada nó a nó. Ajusta a profundidade e observa o sobreajuste; escolhe Gini ou entropia. O modelo interpretável na base das random forests e do XGBoost.

Cola um log ou abre um ficheiro e percebe-o: agrupa os rastos de exceção como UM evento (não quarenta linhas), tira os padrões que se repetem, aponta a causa raiz, revê a higiene do logging e reduz tudo a um orçamento de tokens para o colar a uma IA. Java, Python, Node, Go, .NET, JSON, logfmt e syslog. 100% no teu navegador.

Um mapa das 7 camadas de Defesa em Profundidade (física, identidade e acesso, perímetro, rede, computação, aplicação, dados) que liga às ferramentas do Jarroba que já demonstram cada uma com um ataque real, e diz com honestidade onde não há nenhuma. Inclui Confiança Zero (verificar explicitamente, privilégio mínimo, assumir a violação) como um interruptor que atravessa todas as camadas, não como mais uma camada. Não é um simulador de rede: cada camada coberta leva a criptografia ou protocolo real, não a uma animação.

Simula física em 3D dirigida por fórmulas: pêndulo simples e duplo com unidades reais, passo a passo ou em tempo real, integradores selecionáveis (Euler, Verlet, RK4) e gráficos de energia e espaço de fases.

Verifica que versões de um pacote satisfazem um intervalo semântico (^, ~, >=, -) e vê a folha de consulta de sintaxe.

Descodifica, verifica e assina tokens JWT (header, payload, expiração, algoritmos). É o inspetor do token; para ver o fluxo de autenticação completo (OAuth2/Bearer) vê Fluxos de autenticação.

Converte um comando docker run com as suas flags num ficheiro docker-compose.yml equivalente.

Gera a configuração de Nginx ou o .htaccess de Apache para servir corretamente uma Single Page Application com rotas do lado do cliente.

Passa áudio a texto com o Whisper a correr no teu navegador: abre um ficheiro ou grava com o microfone e tira a transcrição com marcas de tempo, pronta a exportar em TXT, SRT, VTT ou CSV. O teu áudio não é enviado para lado nenhum, e há um contador de pedidos de rede à vista para que o comproves. Traz ainda a métrica com que se julga a sério uma transcrição —a taxa de erro de palavra— para a medires sobre o teu próprio áudio e comparar dois modelos palavra a palavra.

Carrega um projeto Spring Boot do teu disco e revê-o ficheiro a ficheiro num mini-IDE: árvore à esquerda, código com os resultados assinalados à direita. Começa pela injeção por campo (@Autowired) versus injeção por construtor — o conselho mais repetido de todas as checklists de Spring Boot — com correção de um clique quando é seguro aplicá-la. Nada do teu código sai do navegador.

Calcula a rede, broadcast, intervalo de hosts, máscara e hosts utilizáveis a partir de uma notação CIDR.

Gera e valida expressões cron com construtor visual, humanização em texto e próximas execuções.

Divide despesas de grupo e calcula quem deve a quem com o mínimo número de transferências.

Converte entre bases (2–64) e acrescenta uma calculadora de programador (aritmética e bit a bit, complemento de dois), inspetor de bits, IEEE 754 e códigos (ASCII, Gray, endianness).

Temporizador Pomodoro configurável com contador de sessões e fases de trabalho, pausa curta e longa.

Analisa um teste A/B ou A/B/n com intervalos de confiança, teste exato de Fisher e verificação da distribuição (SRM); planeia a amostra e a duração, e simula quanto aumenta o falso positivo se espreitares antes do tempo.

Cola o teu artigo, a tua tese de mestrado ou o teu doutoramento e vê que números não batem certo ANTES de o entregares. Recalcula o valor-p de cada «t(28) = 2.20, p = .036» que apareça no texto e mostra-te a conta inteira, contando o arredondamento — porque «2.20» não significa exatamente 2.20. E verifica que médias são aritmeticamente possíveis: com 20 respostas inteiras, uma média de 3.47 não é suspeita, é que não existe. O que nenhuma ferramenta do setor te pode oferecer: o NIH e as grandes editoras PROÍBEM a revisores e editores carregar um manuscrito para serviços de terceiros, e aqui não se carrega nada — calcula-se tudo no teu navegador. Não acusa ninguém: diz o que olhar e porquê.

Treina uma rede neuronal a sério no teu navegador e vê como aprende: escolhe dados (círculo, XOR, gaussianas, espiral) e arquitetura, carrega em play e vê a fronteira de decisão formar-se e a perda cair. Clica para que classifique um ponto novo. Sem servidor, sem downloads.

Liga a tua câmara e deteta objetos ao vivo com um modelo de 10 MB que corre no navegador: avisa quando algo aparece —ou quando DEIXA de estar—, conta aparições e dá-te o registo em CSV. Podes ter várias regras ao mesmo tempo, cada uma com o seu objeto, o seu limiar e a sua zona desenhada sobre a imagem, e todas a vigiar o mesmo vídeo. Nem o vídeo nem as deteções saem do dispositivo, e há um contador de pedidos de rede à vista para que o comproves.

Simula mercados por agentes: empresas que competem (Cournot), monopólios, fusões, recursos limitados e políticas do Estado, com linha temporal. Percebe porque se movem os preços (p. ex. porque sobe a RAM ao apostar na HBM para IA). Sem servidor.

Gera dados fictícios para testing: nomes, emails, telefones, IPs, UUIDs, datas, IBAN e mais.

Percebe de forma visual os valores-p, a região de rejeição e o nível α; faz t-test, χ², ANOVA e analisa a potência (erro tipo I/II). Para validar se a melhoria de um modelo é real ou é ruído.

Modela utilizadores, grupos, âmbitos e atribuições de função, e pergunta-lhe «pode X fazer A sobre R? porquê?» — com o rasto passo a passo: que atribuição ganha, em que âmbito, com que herança. Um modelo NEUTRO que já distingue o Azure RBAC (planos de controlo e de dados, deny assignments) do AWS IAM (SCP por níveis, boundaries, políticas de recurso), verificado com a documentação oficial de cada um. Não é um clone do portal: ensina o modelo, que não caduca mesmo que a interface mude. 100 % no navegador.

Extrai o texto de uma imagem (foto, captura de ecrã, digitalização) diretamente no teu navegador, sem enviar nada para nenhum servidor. Carrega, arrasta ou cola a imagem e obtém o texto com as caixas de cada palavra coloridas consoante a sua confiança. Escolhe o idioma, corrige as palavras duvidosas e copia-o ou descarrega-o. Motor Tesseract descarregado do CDN e colocado em cache (offline depois).

Cola um ou vários skaffold.yaml e vê o grafo de dependências (requires). Valida as referências cruzadas: um requires para um nome de config mal escrito aparece a vermelho. Renomeia um config e os seus requires atualizam-se. Sem servidor.

Gera hashes SHA-256, SHA-384 e SHA-512 diretamente no navegador usando a Web Crypto API.

Qué prácticas siguen valiendo, cuáles se han superado y desde cuándo, con su porqué, su fuente y su historia. También para agentes de IA, por MCP.

Visualiza e edita Basic, Bearer/JWT e OAuth2 (Authorization Code e PKCE) como diagramas de sequência passo a passo. Aqui vês o protocolo/fluxo; o JWT é um passo — para inspecionar o token em detalhe vê o Inspetor JWT.

Converte um timestamp Unix (s/ms/µs/ns) ou qualquer data para todos os formatos (ISO, RFC, syslog, Excel, FILETIME…), com fusos horários, DST e deteção de local vs UTC.

Analisa e explica em linguagem simples os headers CORS que o teu servidor envia. Indica o que falta para permitir um pedido cross-origin.

Calcula dias entre datas, idade exata em anos/meses/dias, dia da semana e operações com datas.

Transforma dados encadeando nós: filtra, deriva colunas, limpa texto e seleciona — tudo numa passagem, 100% no navegador. Pré-visualização por nó e saída para CSV ou o Visor.

Monta um circuito e vê-o funcionar: a corrente percorre os fios do esquema e de uma protoboard ao mesmo tempo. DC, transitório com osciloscópio e AC; da pilha e da lâmpada ao transístor, o amplificador operacional e o MOSFET, com exemplos explicados até à porta NAND CMOS.

Testa expressões regulares em tempo real e visualiza todas as correspondências com a sua posição.

Diagrama arquiteturas de software/hardware (CI/CD, cloud, agentes IA/MCP, fluxos de dados) com componentes tipados e simula a carga em tempo real: filas, latência, throughput e estrangulamentos. Sem servidor.

De uma expressão regular ao seu AFN (Thompson), daí ao AFD (construção de subconjuntos) e ao AFD mínimo, e o algoritmo CYK para gramáticas: passo a passo, com o ε-fecho e a tabela que se vai preenchendo, e os exemplos dos livros.

Cola os cabeçalhos de um correio («Ver original» do Gmail, «Ver código fonte» do Outlook, um .eml) e diz o que o SPF, o DKIM e o DMARC dizem sobre ele, mais indícios de engenharia social (um Responder-a que aponta para outro domínio). Também audita registos DNS de SPF/DMARC/DKIM colados (a saída de dig, ou o valor tal como está): SPF com +all ou demasiadas consultas, DMARC sem reforço ou sem relatórios, chaves DKIM fracas ou revogadas. Verificado com a RFC 7208 (SPF), RFC 7489 (DMARC), RFC 6376 e RFC 8301 (DKIM). 100 % no navegador.

Cria links com UTM e vê ANTES de publicar a que canal do Google Analytics 4 vão e porquê, com as regras e a lista de fontes oficiais. Audita em lote o que já está publicado: Unassigned, variantes e dados pessoais.

Cria códigos QR de URL, WiFi, contacto, email ou telefone (PNG ou SVG, não caducam) e lê-os a partir de uma foto para ver para onde levam antes de os abrires.

Cola ou larga um CSV (também o do Excel em espanhol: 1.234,56 e «;») e sai um gráfico de linhas, barras, áreas, circular ou dispersão, com título, eixos e fonte. PNG pronto para um documento.

Descobre grupos em dados sem etiquetas (aprendizagem não supervisionada) e compara k-means com DBSCAN ao vivo. Observa os centroides a convergir passo a passo, experimenta «Luas» e «Anéis» para ver onde o k-means falha e o DBSCAN acerta, e ajusta k, eps e minPts.

Converte entre bits, bytes e os seus múltiplos segundo os padrões SI (kilo/mega) e IEC (kibi/mebi).

Marcador para jogos com vários jogadores, pontuação personalizável e cronómetro integrado.

Escalonamento de processos (FCFS, SJF, SRTF, Round Robin, HRRN, prioridades) e substituição de páginas (LRU, FIFO, ótimo, relógio) passo a passo: em cada instante, a fila e porque entra cada processo. Com os exemplos dos livros e «Verificar a minha resposta».

Roleta, sorteio público que qualquer pessoa pode verificar (impressão digital SHA-256 e semente), amigo secreto com links privados, partilhas e equipas.

Avalia um classificador binário de forma visual e interativa: move o limiar e observa a matriz de confusão, precisão, recall, F1, a curva ROC (com AUC) e a curva precisão-recall (com AP). Ajusta a qualidade do modelo e o desequilíbrio de classes para perceber como umas métricas mentem e outras não.

Antes de colares um texto, um log ou uma exportação .har num chat de IA, um ticket de suporte ou um fórum público: diz que segredos, chaves de API e cookies de sessão se infiltrariam com ele, onde estão, e dá-te uma versão limpa pronta a copiar. Um cookie de sessão ou um cabeçalho Authorization é sempre assinalado, mesmo sem forma reconhecível. 100 % no navegador.

Decompõe uma URL nas suas partes (protocolo, host, path, query params) e permite construí-las.

Cronómetro com voltas e histórico. Precisão de centésimos de segundo e botão para copiar resultados.

Cria diagramas (fluxo, sequência, ER, Gantt) escrevendo código Mermaid com pré-visualização em tempo real.

Constrói um átomo pondo e tirando protões, neutrões e eletrões, e vê como se ordenam: tabela periódica dos 118 elementos, iões e isótopos, configuração eletrónica com as suas 20 exceções reais, e uma dobragem que vai do orbital à banda de valência.

Redimensiona, converte e comprime imagens vendo o antes e o depois e quanto pesam. Sem as enviar para nenhum servidor e sem metadados (GPS).

Visualiza como os modelos aprendem: uma bola desce por uma superfície de loss com SGD, Momentum, RMSProp ou Adam. Muda o learning rate e o momento e vê a trajetória animada; experimenta mínimos locais e Rosenbrock.

Simula o teu Makefile no navegador: monta um projeto de mentira com as suas datas, toca num ficheiro e vê exatamente o que o make reconstruiria, por que ordem e PORQUÊ — com a receita já expandida. Avisa do que morde a sério: o tabulador, o cd que não persiste entre linhas, o dólar que o make come, a dependência que falta e só rebenta com -j. Não executa nada.

Dados em 3D com física real, da moeda ao d9999, que caem, rolam e colidem. Cada mesa abre a sua própria janela de projeção para outro ecrã ou para o telemóvel de cada jogador, e tu escolhes o que veem por cima: o total, os avisos, a probabilidade. Cria dados com os teus ícones, escreve as regras como frases (vantagem, dados que explodem, mínimos, avisos…) e vê a probabilidade EXATA de cada lançamento. O número é decidido pelo gerador criptográfico do navegador, não pela física. Sem servidor.

Quanto valem hoje os teus euros de outro ano com o IPC harmonizado oficial do Eurostat (Espanha, Alemanha, Portugal, França, Itália, zona euro), se o teu salário subiu mais do que os preços, e quanto terás poupando ou investindo, em euros de hoje, depois de comissões e impostos.

Projeta a tua caixa mês a mês com crescimento, contratações e rondas de financiamento: quando acaba, em que mês és rentável e se és «default alive». Inclui o ponto de equilíbrio em unidades.

Prepara o trabalho com uma IA e verifica o que devolve. Escreve a especificação (o que muda e sobretudo o que NÃO) e revê-a contra as regras que a tornam cumprível; reparte as permissões por três baldes; exporta para SPEC.md, Kiro ou CLAUDE.md. E do outro lado: mede o rasto do ciclo, separa o que está sustentado do que é apenas afirmado (um arXiv é um preprint, não um artigo revisto) e monta um banco de evals que se revê a si próprio antes de te dar qualquer percentagem. Inclui o construtor de system prompts.

Calcula IMC, peso ideal, taxa metabólica basal (Harris-Benedict) e horas recomendadas para te deitares.

Converte entre JSON, YAML, Properties, ENV e CSV com deteção automática do formato de entrada.

Empacota um projeto inteiro (ou um fragmento) num só texto pronto para colar numa IA: remove comentários, minimiza e blinda segredos, PI e dados sensíveis. 100% no navegador — o teu código nunca é carregado para nenhum servidor.

Revê um texto antes de o colares numa IA ou de o publicares: encontra e descodifica instruções escritas com caracteres invisíveis, palavras divididas para esquivar filtros, código que se lê de forma diferente da que é executado (Trojan Source) e letras de outro alfabeto que se fazem passar por latinas. Sem marcar os emojis nem as bandeiras legítimas. 100 % no navegador.

Calcula o custo real de uma reunião (custo pontual e anual se for recorrente) segundo o número de participantes, a tarifa horária e a duração.

chmod (permissões octal/simbólico com bits especiais), chown e construtor de comandos de utilizadores e grupos (useradd, usermod, groupadd) com avisos e explicação de cada flag.

Codifica ou descodifica texto para TRANSPORTE: URL, Base64 e entidades HTML. Para escapar texto dentro de código-fonte (JS, JSON, SQL, Regex, CSS…) vê Escape de strings.

Playground visual de estatística para IA: distribuições interativas (normal, binomial, Poisson…), softmax e temperatura, Bayes e entropia. Manipula parâmetros e vê as curvas, amostras e a loss em direto.

Escapa e desescapa texto para o incorporar em CÓDIGO-FONTE: JavaScript, JSON, SQL, Regex, HTML, URL e CSS. Para codificar de transporte (Base64/URL/HTML) vê Codificador/Descodificador.

Monta um circuito quântico com qubits e portas (H, X, Y, Z, CNOT, Toffoli...) e observa em direto a sobreposição, o entrelaçamento, as esferas de Bloch e a medição. Demos de Bell, GHZ e Grover.

Deteta e substitui dados sensíveis (e-mails, telefones, cartões com validação, IBAN, documentos de identificação, chaves e segredos) com operadores ao estilo Presidio: substituir, ocultar, mascarar, token reversível ou hash. Ideal para limpar logs ou prompts antes de os colar numa IA. 100% no navegador.

Caminha por uma cadeia de Markov e vê a distribuição de visitas convergir para a estacionária; ou treina um gerador de texto por Markov. A base de MDP, PageRank, MCMC e da geração de texto clássica. Ensina a teoria de cadeias; para treinar um modelo de linguagem com o teu texto vê Mini-LLM.

Carrega um .xlsx ou .ods e recalcula todas as suas fórmulas, comparando com o que tinha guardado: divergências, ciclos reais e funções não suportadas.

Cola os teus manifestos e calcula qual pod se pode ligar a qual segundo as suas NetworkPolicies, com a porta, e porquê: que política isola cada lado e que regra deixa passar. Apanha as armadilhas clássicas (namespaceSelector e podSelector em elementos separados, um default-deny que deixa um pod sem entrada) e o que não leva a lado nenhum: Services sem pods, ConfigMaps ou Secrets que não existem. Além disso, o nível de Pod Security de cada carga e que pods o seu namespace rejeitaria, e a validação contra o esquema oficial da tua versão de Kubernetes: erros nos campos, tipos errados e APIs retiradas. Verificado com o netpol-analyzer, o admission controller oficial e o kubeconform. 100% no navegador.

Abre um projeto Java/Spring do teu disco e vê o que a framework fará com ele: o mapa de pacotes com os seus ciclos, e as dependências do pom.xml com as versões que se conhecem e as que não. Nada do teu código sai do navegador; consultar se uma versão está desatualizada ou vulnerável é opcional e mostra-te antes, literalmente, o que seria enviado.

Larga o teu projeto ou cola um workflow de .github/workflows/: procura instruções escondidas num título de PR que se infiltram num passo de shell, o padrão pull_request_target + checkout de um fork (código alheio com os secrets do repo base), ações de terceiros sem fixar a um commit e segredos escritos à mão. Inclui o exemplo real do tj-actions/changed-files. 100 % no navegador.

Simulador visual de circuitos digitais com portas AND, OR, NOT, NAND, NOR, XOR e XNOR. Liga nós, muda entradas e vê a propagação em tempo real.

Editor visual de diagramas estilo Visio: arrasta formas, liga-as e edita. Importa Mermaid e exporta-o.

Codifica com bits de paridade e corrige erros de 1 bit; inclui SECDED (deteta 2), injeção de erros interativa, cobertura de paridade e um simulador de canal com ruído.

Transforma texto entre camelCase, snake_case, PascalCase, kebab-case e mais formatos.

Embeleza ou minifica código SQL, CSS, HTML e JavaScript com indentação automática.

Gera palavras-passe seguras com opções configuráveis e UUIDs v4 criptograficamente seguros.

Treina um modelo de linguagem ao nível do carácter com O TEU texto e gera texto novo nesse estilo. Dois modos: por contagem (n-grama, instantâneo) ou com uma rede neuronal treinada por descida de gradiente. Ajusta a temperatura e observa a probabilidade do próximo carácter, como num LLM a sério. O modo n-grama é um Markov ao nível do carácter; para a teoria de cadeias (estacionária, PageRank) vê Cadeias de Markov.

Arrasta pontos e vê o ajuste por mínimos quadrados ao vivo. Sobe o grau do polinómio para ver o overfitting e usa a regularização (ridge = MAP com prior gaussiano) para o controlar. MSE = máxima verosimilhança com ruído gaussiano.

Converte qualquer cor CSS entre HEX, RGB, HSL, OKLCH e OKLab, e dá a sua escala de tons. Entende o que copias do DevTools, com transparência.

Abre e explora CSV, logs ou JSONL de dezenas ou centenas de GB sem os carregar na memória: scroll virtual, ir para linha, "tail" e procura de texto/regex em streaming. 100% local.

Larga a pasta de um projeto antes de o abrires com a tua IA e vê o que a sua configuração fará sem te perguntar: hooks, servidores MCP pré-aprovados, URLs da API desviados, permissões de shell livres, comandos dentro de skills e instruções escondidas no CLAUDE.md, AGENTS.md ou nas regras do Cursor. Para Claude Code, Cursor, Copilot, Gemini CLI e Codex. Separa factos de indícios, explica cada caso e como o corrigir. Nada sai do navegador.

Consulta informação completa de qualquer caráter: codepoint, UTF-8/16, entidade HTML e tabela ASCII.

Projeta dados de alta dimensão (ou embeddings) para 2D com PCA, t-SNE e UMAP e observa como se organizam ao vivo. Compara o método linear (PCA) com os não lineares, experimenta o rolo suíço e ajusta a perplexidade/vizinhos. Ensina os algoritmos com dados genéricos; para projetar frases reais vê o Mapa semântico.

Desenha a planta do que geres —mesas de um bar, racks de um centro de dados, camas de um piso, postos de um escritório, boxes, salas ou parcelas—, reparte quem ocupa o quê e vê se aguenta. O que nenhuma ferramenta do setor tem: além de pintar o estado com cores, calcula com teoria de filas quanto se espera, quanta gente se vai embora sem lugar e quantos recursos precisarias mesmo. Sem conta e sem servidor.

Compara dois textos linha a linha e mostra as diferenças com cores (adicionadas/removidas).

Importa dados RDF (Turtle, JSON-LD, N-Triples, RDF/XML), vê-os como um grafo interativo e consulta-os com SPARQL 1.1 — um armazém semântico completo no teu navegador (Oxigraph WASM), sem servidor.

Cola a saída de curl -I (ou os cabeçalhos que as DevTools copiam) e diz o que falta ou está mal: Content-Security-Policy (unsafe-inline, unsafe-eval, wildcards), HSTS (max-age, preload), as flags de cada cookie (Secure, HttpOnly, SameSite) e os restantes cabeçalhos habituais. Sem adivinhar demasiado: o que o navegador já assume por predefinição (Referrer-Policy) é assinalado como informativo, não como falha. 100 % no navegador.

Vê o mecanismo de atenção que existe dentro dos transformers (BERT, GPT): escreve uma frase e observa para que palavras «olha» cada token, com a matriz de atenção token a token, várias cabeças e a máscara causal dos modelos generativos. Interativo: clica numa palavra para ver os seus arcos de atenção.

Une, extrai, reordena e roda páginas vendo cada uma, e converte imagens em PDF e páginas em imagens. Sem enviar os teus documentos para nenhum servidor.

Calculadora estatística (descritivos, gráficos), distribuições interativas e simuladores de probabilidade para entender os dados e a incerteza.

Uma tela interativa com Cliente, Servidor de Autenticação e Servidor de Recursos: gera um JWT real (RSA a sério, Web Crypto), escolhe um ataque (alg=none, ou confusão de algoritmo RS256→HS256) e uma postura de verificação (fixando o algoritmo esperado, ou deixando que o próprio token decida) e vê o token a viajar e o resultado. Os dois ataques estão documentados desde 2015 (Tim McLean) e continuam a aparecer em produção até 2024. 100 % no navegador.

Quanto te sobra sendo trabalhador independente em Espanha: quota pelo teu escalão de rendimentos reais, IRPF com a escala da tua comunidade, IVA e quanto pôr de lado cada mês, com cada valor explicado e a sua norma. No teu navegador, sem te registares.

Três coisas numa: expressões com gráficos 2D e 3D, uma folha de várias linhas com variáveis e unidades, e um resolvedor de equações e sistemas que mostra os passos.

Cola um documento e mede quanto se pode deitar fora sem perder uma única ideia. Compara os parágrafos por SIGNIFICADO com um modelo que corre no teu navegador, por isso apanha o enchimento que repete o mesmo com outras palavras — o que a um detetor de listas de palavras escapa. Risca-te o que sobra, aponta-te os parágrafos que se repetem e deixa-te o núcleo para copiar. NÃO diz se foi uma IA que o escreveu: isso não se pode validar. Mede vazio, que é do texto e não do seu autor.

O design físico de um chip, por dentro, em cinco passos que se encadeiam: a célula de memória e a sua margem de ruído (a curva de borboleta), como se LÊ essa célula sem a destruir, como lhe chega a corrente e quanta tensão se perde pelo caminho, que forma tem sobre o silício e porque a altura se mede em carris, e a que velocidade pode ir tudo isso. Mostra porque ler uma célula a pode apagar, porque uma falha de hold não se resolve baixando a frequência, e como a queda IR se acaba por pagar no relógio. Modelos de primeira ordem, dito em cada ecrã.

Base de dados Postgres real no teu navegador: escreve SQL, vê tabelas e relações como um diagrama e consulta dados de exemplo. Sem servidor.

Disponibilidade ↔ tempo de indisponibilidade, e o orçamento de erros do teu SLO: alertas por burn rate do SRE Workbook da Google calculados para ti, aviso de pouco tráfego, regras do Prometheus e composição de dependências.

Compara dois objetos JSON estruturalmente e lista as chaves adicionadas, removidas e modificadas.

Editor e pré-visualização de Markdown em tempo real com vista dividida ou apenas pré-visualização.

Aplica filtros (kernels) a uma imagem e vê o mapa de características resultante: contornos (Sobel), desfoque, nitidez, relevo… a operação básica de uma rede convolucional (CNN). Edita o teu próprio kernel, carrega uma imagem e observa o «banco de filtros» que imita a primeira camada de uma CNN.

Visualiza o processo de difusão por trás das IA generativas como Stable Diffusion: uma nuvem de pontos com forma dissolve-se em ruído gaussiano passo a passo, e o processo inverso reconstrói-a.

As cinco métricas DORA segundo cada relatório de 2019 a 2025: o teu nível ano a ano com as suas lacunas e erros, o teu percentil em 2025 e os arquétipos que substituíram Elite/High/Medium/Low.

Prestação e mapa de amortização; compara ofertas pela sua TAEG real (Diretiva 2014/17/UE) e descobre se a bonificação compensa; e calcula se amortizar antecipadamente te convém reduzindo a prestação ou o prazo.

Visualiza como os LLMs dividem o texto em tokens, compara o custo entre modelos (GPT-4, Claude, Gemini, Llama) e estima quanto da janela de contexto o teu texto consome.

Formata, minifica e valida JSON com realce de erros e contador de chaves.

Abre una captura de red (.pcap o .pcapng) y entiende qué le pasa a cada conexión: retransmisiones, ACK duplicados, ventana a cero, DNS y HTTP, con el porqué de cada paquete y las mismas reglas que Wireshark. Con ejemplos y ejercicios; tu captura no sale del navegador.

Simula uma ISA MIPS-simplificada no navegador. Editor com destaque da linha ativa, registos, memória, pilha e consola. Execução passo a passo ou automática com velocidade regulável.

Organiza um torneio do que quiseres: liga, fase de grupos, eliminatória com quadro, dupla eliminação, sistema suíço, Grande Prémio ou concurso com júri, encadeando fases. A classificação e os confrontos calculam-se sozinhos, com os desempates que escolheres.

Lança pedidos HTTP e explica-te porque falham: separa «o teu servidor está em baixo» de «o navegador tapou-te a resposta», que dão o mesmo erro. Converte coleções entre Postman, Bruno, Insomnia, OpenAPI, HAR e curl sem enviar os teus tokens para lado nenhum, gera código em onze linguagens e compara duas versões de uma API para te dizer o que quebra.

Pré-visualiza fórmulas matemáticas LaTeX em tempo real com snippets de exemplo.

Escreve SQL num Postgres real no navegador: autocompletar pelo teu esquema, validação em direto, avisos e sugestões de otimização (índices, SARGability). Sem servidor.

Cola o tools/list de um servidor MCP — o teu, ou qualquer outro — e audita a qualidade do seu catálogo: descrições e annotations em falta, um nome que sugere que apaga mas a sua annotation diz que é só de leitura, custo em contexto por tool, e se o campo instructions está preenchido e cabe no que um cliente com Tool Search corta. Cola também server.json e package.json para apanhar os mesmos erros 422/403/400 que já sofremos ao publicar os nossos próprios pacotes, antes que o registo oficial te os dê. Não é um auditor de segurança de acesso: para isso está o Auditor de ficheiros de agente. 100 % no navegador.

Um explorador de ficheiros simulado que, em vez de mover ficheiros, te mostra o comando que faria isso: duplo clique numa pasta e sai o «cd», botão direito para copiar, mudar o nome ou apagar, e o guião vai-se montando em baixo pronto a copiar. O mesmo gesto em Linux, macOS, PowerShell e CMD, com os nomes bem entre aspas e os erros a sério. Não executa nada e não toca no teu disco.

Chat com LLMs, resumo, tradução e análise de sentimento a correr 100% no teu dispositivo. Sem servidor, sem enviar dados. Powered by Transformers.js.

Cola um SAMLResponse/SAMLRequest — o URL inteiro de um binding Redirect, o valor em base64 de um binding POST, ou o XML já descodificado — e descodifica-o e audita-o: presença e algoritmo da assinatura (rejeita SHA-1), caducidade, audiência, cifragem, e o padrão clássico de ataque XML Signature Wrapping (XSW), onde a assinatura cobre um elemento diferente do que é realmente processado. Verificado com o OWASP SAML Security Cheat Sheet. 100 % no navegador.

Simula o custo mensal de usar diferentes modelos de IA consoante o teu volume de pedidos e o tamanho dos prompts.

Simula algoritmos de rate limiting (Token Bucket e Fixed Window) com timeline visual de pedidos aceites e rejeitados.

Analisa certificados X.509 em formato PEM: subject, issuer, datas de validade, SANs, tipo de chave e dias restantes com indicador de cor.

Ataca a sério um segredo fictício por temporização (Kocher 1996) e uma chave fictícia por análise diferencial de potência sobre a S-box real do AES (Kocher, Jaffe e Jun 1999). O tempo e o consumo estão simulados — os navegadores degradam de propósito a precisão dos seus relógios desde a Spectre — mas o algoritmo de ataque é o real: byte a byte, e diferença de médias. Liga-se com /electronics e /chip: o mesmo transístor e o mesmo caminho de relógio que aí se simulam são os que um atacante real mede. 100 % no navegador.

Inventa nomes que soam a espanhol, basco, nórdico antigo, japonês… com uma cadeia de Markov que podes ver por dentro. Ou treina-a com a tua própria lista.

Rácio de contraste WCAG 2 (AA, AAA e 3:1 para ícones e contornos) entre duas cores e, se falhar, a cor mais parecida que passa.

Três vistas sobre os embeddings (vetores de significado): mede a semelhança do cosseno entre textos, projeta-os num mapa 2D com PCA e monta um mini RAG que recupera os fragmentos mais relevantes. Tudo com modelos que correm no navegador.