Ah, professor, sua observação está correta. A máquina de estados em si é, de fato, determinística. O que introduzi no manifesto é baseado em algo não Turing-completo, então não existem laços de repetição dentro da DSL. Graças a isso, é possível calcular como o programa vai funcionar antes mesmo de executá-lo, e explicar por que aquele resultado foi produzido.

Obrigado pela observação!

Entendi que você criou uma DSL, mas não ficou muito claro para mim o que seria uma máquina de estados determinística. Fiquei até pensando se também existe máquina de estados não determinística... Enfim, gostei da leitura. Espero que você continue desenvolvendo isso muito bem.

Não, o que mostrei foi um state diagram, que é uma das formas de visualizar as transições de estado internas do Manifesto.

Criamos a máquina de estados determinística como um framework.

Os cálculos dentro do Manifesto Core foram projetados para sempre produzir o mesmo resultado para o mesmo estado e o mesmo comando.

Resumindo, isso quer dizer que foi criada uma mini linguagem que desenha diagramas de estado?

Com a IA, tem aumentado o número de pessoas fingindo ser especialistas, e conforme elas começam a falar besteira, o mundo ficou caótico demais.
...

Oh. Parece que já foi restaurado.

Verifique se o roteador de terceiros tem uma função para alterar o endereço MAC e tente trocá-lo pelo do roteador da operadora; acho que isso também pode permitir contornar a limitação.

Vou usar bem o rhwp.

• respeito

Já faz cerca de 10 minutos. Estou procurando a página de status.

Finalmente encontrei uma utilidade para o Mac mini que estava largado num canto, haha

Em termos de fórmula, então seria $eml(x, y) = e^x - ln(x)$.

Mas parece que isso só vai realmente brilhar quando surgir um processador capaz de calcular $e^x$ ou $ln(x)$ de uma vez só.

Eu achava que seria bom adicionarem também tipos como o de token mínimo... que pena.

Isso só reforça o alerta de que precisamos aprender ciência da computação.

Em lugares como opencode e hermes agent, o Claude OAuth foi removido ou não é suportado, mas o OpenAI OAuth ainda continua sendo oferecido. Eu também penso: já que eles adquiriram o openclaw, provavelmente não vão bloquear, né? Então tenho usado em vários lugares.

Um ponto que você precisa saber é que ele só dá suporte às APIs compatíveis com o Codex, então recursos como geração de imagens, que funcionam no ChatGPT mas não no Codex, devem ser considerados indisponíveis.

Eu também testei para "uso em experimentos pessoais" e funciona bem demais, com muita facilidade.
O Claude bloqueia esse tipo de coisa,
mas, se for a OpenAI, que aceita bem coisas como o OpenClaw, será que não vai bloquear se eu usar só de forma pessoal...?

Estou apenas apresentando que isso existe, então use por sua própria conta e risco.

Desde o Reeder, eu praticamente não tinha olhado para outros leitores.
Para quem usa leitor de RSS, este é o tipo de texto que chama bastante a atenção.

A proposta é boa, mas talvez por ainda estar bem no começo, a falta de personalização dos atalhos de teclado é um defeito grande.
Por enquanto, vou continuar usando por mais alguns dias.

kkkkkkk sensacional, eu uso KT então vou ter que experimentar.

Não é o AdGuard Desktop, mas o AdGuard Mobile funciona como uma VPN local, então não dá para usar os dois juntos.

Até a era do GPT-5, parecia meio como no começo dos anos 2020, quando havia a disputa por processos de fabricação finos de RAM e, se outra empresa tivesse sucesso no desenho em laboratório de um novo processo, a Samsung anunciava que ia colocá-lo em produção em massa.
Eu tinha a sensação de que a OpenAI não anunciava seus modelos de fronteira e os deixava engavetados, para então lançar um modelo melhor quando uma concorrente apresentasse um novo modelo.
Agora já não sinto mais esse clima.

Obrigado por ler com interesse.

Ultimamente, tenho pensado muito sobre como devemos viver em meio ao ritmo desta era em rápida transformação.

São tempos que trazem muitas reflexões.