Je comprends que vous avez créé un DSL, mais je ne vois pas très bien ce que recouvre la machine à états déterministe. Je me demande même s'il existe aussi des machines à états non déterministes... Quoi qu'il en soit, c'était une lecture intéressante. J'espère que vous continuerez à bien le développer.

 

Non, le state diagram que je vous ai montré n’est que l’une des méthodes permettant de visualiser les transitions d’état à l’intérieur de Manifesto.

Nous avons conçu une machine à états déterministe sous forme de framework.

Les calculs à l’intérieur de Manifesto Core ont été conçus pour produire systématiquement le même résultat à partir d’un même état et d’une même commande.

 

En résumé, cela veut dire qu’ils ont créé un mini-langage qui dessine des diagrammes d’état ?

 

Avec l’IA, de plus en plus de gens se font passer pour des experts, et à mesure qu’ils commencent à débiter leurs discours, le monde devient vraiment de plus en plus chaotique.
...

 
minhoryang 15 일 전 | commentaire parent | dans: Panne d’imweb (imweb.com)

Oh. Apparemment, c’est déjà rétabli.

 

Vérifiez si votre routeur tiers dispose d’une fonction de conversion d’adresse MAC, puis essayez de la convertir en celle du routeur de l’opérateur ; il me semble que cela pourrait aussi permettre de contourner le problème.

 

Je vais bien utiliser rhwp.

  • respect
 
minhoryang 15 일 전 | commentaire parent | dans: Panne d’imweb (imweb.com)

Cela fait environ 10 minutes. Je cherche la page de statut.

 

J’ai enfin trouvé une utilité au Mac mini qui traînait dans un coin, haha.

 

Si on l’exprime sous forme de formule, cela donne donc $eml(x, y) = e^x - ln(x)$.

Cela dit, il faudrait sans doute qu’apparaisse un processeur capable de calculer $e^x$ ou $ln(x)$ d’un seul coup pour que cela révèle vraiment tout son potentiel.

 
ggobp 15 일 전 | commentaire parent | dans: Arrêt du service BOJ (acmicpc.net)

Je pensais aussi que ce serait bien d’ajouter des actifs comme Minimum Token… dommage.

 

Voilà qui renforce encore l’idée qu’il faut apprendre l’informatique.

 

Dans des environnements comme opencode ou hermes agent, l’authentification Claude via OAuth a été supprimée ou n’est plus prise en charge, mais l’authentification OpenAI via OAuth continue encore d’être proposée. Comme j’ai moi aussi adopté openclaw, je me dis qu’ils ne vont sans doute pas la bloquer, donc je l’utilise un peu partout.

Un point à savoir : comme seules les API prises en charge par codex sont compatibles, il faut considérer que les fonctionnalités qui marchent dans ChatGPT mais pas dans codex, comme la génération d’images, ne peuvent pas être utilisées.

 

Moi aussi, je l’ai testé pour des "expérimentations personnelles", et ça marche étonnamment facilement.
Claude bloque généralement tout ce genre de choses,
mais s’il s’agit d’OpenAI, qui tolère assez bien des outils comme OpenClaw, ils ne vont sans doute pas l’interdire tant que ça reste strictement personnel… ?

Je me contente de vous signaler que ça existe, donc utilisez-le sous votre propre responsabilité.

 

Depuis Reeder, je n’avais pas vraiment regardé d’autres lecteurs.
Pour quelqu’un qui utilise un lecteur RSS, c’est le genre d’article qui donne envie.

Le concept est bon, mais comme c’est encore le tout début, l’absence de personnalisation des raccourcis clavier est un gros défaut.
Je vais quand même continuer à l’utiliser encore quelques jours.

 

Hahaha, énorme. Je suis chez KT, donc je vais devoir essayer.

 

Ce n’est pas le cas d’AdGuard Desktop, mais AdGuard Mobile fonctionne comme un VPN local, donc on ne peut pas l’utiliser en même temps.

 

Jusqu’à l’époque de GPT-5, j’avais l’impression que c’était un peu comme au début des années 2020, pendant la concurrence sur les procédés de gravure de la RAM : quand une autre entreprise annonçait avoir réussi en laboratoire la conception d’un nouveau procédé, Samsung annonçait ensuite sa production de masse.
Du côté d’OpenAI, ils semblaient garder leurs frontier models sous le coude sans les annoncer, puis sortir un modèle encore meilleur lorsqu’un concurrent présentait un nouveau modèle.
Mais maintenant, je n’ai plus cette impression.

 

Merci de l’avoir lu avec intérêt.

En ce moment, je réfléchis beaucoup à la manière dont il faut vivre dans le cours d’une époque qui change rapidement.

Ce sont des temps qui suscitent bien des interrogations.

 
limhasic 15 일 전 | commentaire parent | dans: Arrêt du service BOJ (acmicpc.net)

Tu as bien travaillé, BOJ !