Akanoa

docs/verification/dafny/src/TaskLifecycle.dfy · main · Yannick Guern / Orthanc · GitLab GitLab.com

pour les personnes que ça intéresse ça donne ce genre de choses
gitlab.com/Akanoa/ortha...

Vriment cool ce langage en plus ça compile direct sur de la JVM le rendant compatible avec tout langage accepté par un JRE
dafny.org

GitHub - Akanoa/Zed-editor-TLA-syntax: Syntax highlighting on TLA+ language Syntax highlighting on TLA+ language. Contribute to Akanoa/Zed-editor-TLA-syntax development by creating an account on GitHub.

Besoin très niche
J'ai créé (fait créer) une extension pour Zed sur la syntax TLA+
github.com/Akanoa/Zed-e...

Voxxed Days Luxembourg's CFP will be opened from tonight February the 17th at 11:30 PM to March the 29th at midnight.Luxembourg
----------------
L'appel aux orateurs de Voxxed Days sera ouvert à partir de ce soir, le 17 février à 23h30 jusqu'au 29 mars à minuit.
---
voxxedlu2026.cfp.dev

en tout cas on est d'accord que c'est incomparble avec la bulle NFT

90€/mois HT

après je connais des gens avec le droit de vote qui seraient tomber dans le piège ^^

après il y a des modèles plus pourri que d'autres :D

on est tous en train de fabriquer notre armée ^^
j'adore ce moment :D

Akanoa - Overview Akanoa has 96 repositories available. Follow their code on GitHub.

github.com/Akanoa

fait bouffer et tout le monde est rive droite.
moi je l'utilise pour m'assurer que mon système distribué ne tombe jamais dans un cas où deux tâches identiques sont acceptés dans toute la vie du projet.
learntla.com

dans ton bateau. le loup bouffe la chèvre en ton absence, lla chèvre bouffe le choux en ton absence.
et ben TLA+ ça permet de prouver des invariants
\( chou + chèvre + \moi ) /\ ( chèvre + loup + \moi )
si à l'issue de ton algo tes invariants sont tous respecté, c'est que personne ne s'est

c'est une méthode mathématique qui permet d'explorer une state machine tremporellement et spacialement.
l'exemple le plus simple c'est le problème du choux, du loup et de la chèvre. à l'état initial tout le monde est rive gauche. tu veux faire traverser tout le monde mais tu n'as qu'une place

LOL mon Claude fait du TLA+ devant mes yeux, c'est fascinant :D
Je sais pas qui sont les imbéciles qui continuent à dire et à propager le fait que l'IA est une bulle.
Mais là j'ai la preuve manifeste que c'et un outil et pas le plus clanky du tiroir.

il a bossé pendant la nuit :D

yep :)
gitlab.com/Akanoa/ortha...

C'est à ce genre de complexité que l'on peut tendre lorsque l'on utilise à bon escient les capacités de l'IA.
gitlab.com/Akanoa/ortha...

*argent comptant pardon ^^

Mais ça reste extrêmement complexe de connaître l'étendu de son ignorance.
Après tu peux aussi avoir une approche itérative.
Là clairement je me fais un revival du cycle en V des années 1980 :D

oui et non.
si tu n'as pas le bagage pour vérifier le travail, tu risques de prendre pour argent content les spécifications générées.
d'un autre côté ce savoir peut être cross check au travers de recherches réaliser soit par agents soit par toi.

je te répond demain plus proprement.
Oui en suffisamment vérouillant le domaine des possibles le code est parfaitement écrit.
Mais ça demande un travail préparatoire bien plus long en amont et des langage de programmation non permissifs et expressifs.

pour les personnes intéressées, cela ressemble à ça
gitlab.com/Akanoa/ortha...

toujours aussi bien ce talk ^^

Le processus peut être répété autant de fois qu'il le faut j'usquà obtenir des specs qui sont suffisamment détaillé pour servir de base de réflexion à l'élaboration de plan d'architecture et de base de découpages en tâches d'implémentation.

.. Soyez également explicite en lui disant bien de ne pas remplir les "blancs" mais bien de dire "non spécifié".
Cela permet de valider que vos spécifications sont auto-portantes de votre projet.
ça m'a permis de découvrir de petites zones d'ombres...

.. vérifier ce qu'il comprend du projet et de créer une matrice de fonctionnalité pour se faire une idée de ce que le système est capable de déduire des artefacts de spécifications.
Pour éviter tout biais, il faut le gate sur la capacité de pouvoir rechercher sur internet ou dans sa "memoire" ...

je viens de découvrir un nouveau de skill de dev AI.
ça s'appelle la méta-analyse.
Une fois que vous avez rédigez toutes les specs d'un projet.
Par exemple un certain nombre d'ADRs.
Vous utilisez un autre agent (de préférence à très grand contexte Codex par ex)
Puis vous lui demandez de ..

et tu vas perde ton numéro de sécurité social, le code pin de ta carte banquaire, ta femme , tes gosses xD

je speak pas :D