Blackknight a écrit 1244 commentaires

En voyant le type de problème et vu ma tendance à aimer les vieux langages (est-il besoin de le préciser), j'ai tout de suite pensé à Prolog.

Forcément, il y a déjà quelqu'un qui a codé une solution(Tout en bas de cette page) :)

Bon, ce n'est pas forcément très simple à comprendre quand on ne connait pas le langage et même quand on connait, il faut se creuser pour tout assimiler mais c'est sympa pour s'ouvrir un peu les chakras.

ha si, un truc cloche : le texte que tu as cité, il correspond à un truc qui n'est pas la réalité (tu n'as pas un certificat de rétablissement à durée illimitée), sans doute une volonté de simplifier qui en réalité complexifie et te fait faire ce journal/forum…

Tu joues sur les mots, le questions-réponses du gouvernement, référencé dans le lien fourni d'où est extrait le texte, utilise bien le paragraphe suivant :

Deux dispositifs permettent d’avoir un certificat de rétablissement avec une validité équivalente à une dose de rappel (c’est-à-dire sans fin de validité) :

Si votre test a été réalisé avant le 15 février 2022, il vous faut faire alors une manipulation dans l’application TousAntiCovid pour obtenir un nouveau certificat. Pour cela : après avoir importé dans TousAntiCovid votre certificat de rétablissement (issu d’un test RT-PCR ou antigénique positif) et votre dernier certificat de vaccination (1/1 ou 2/2) au format européen, l’outil Pass+, que vous trouverez dans le Carnet de votre application, vous permettra de générer un nouveau certificat de rétablissement sans fin de validité. Une mise à jour de l’application est nécessaire.
Si votre test est réalisé à partir du 15 février 2022, il vous faut présenter votre preuve de vaccination (1/1 ou 2/2) au professionnel de santé qui, si vous êtes éligible, ajoutera l’information de votre statut vaccinal dans votre certificat de test positif, ce qui permettra de ne pas avoir de fin de validité. Ce dispositif couvre les tests antigéniques effectués en pharmacie ainsi que les tests RT-PCR et antigéniques réalisés dans certains laboratoires.

Je ne peux que te conseiller d'aller regarder le type de requêtes que l'on peut faire en SPARQL sur FactForge.

On peut faire des trucs assez complexes quand même avec des sous-requêtes, des agrégations, des comptages.
Alors oui, je ne te cache pas que certaines requêtes sont pas faciles à lire mais quand on a compris que, par exemple

?loc dbo:country ?country .
?country a dbo:Country .
?country skos:prefLabel ?country_name .

Ce sont juste trois contraintes sur des triplets, ça devient plus simple.
Ici, on veut que loc ait country pour pays (le prédicat dbo:country et la classe dbo:Country, a étant un raccourci pour est un objet de la classe) et que country_name soit son label (skos:prefLabel).

Les données sémantiques sont destinées (typiquement) à intégrer des dictionnaires.

En complément, elles permettent aussi d'enrichir certains process comme l'extraction d'entités nommées.
Par exemple, Gate permet de travailler avec les ontologies directement (cf. là) et d'utiliser un triplestore pour le marquage (cf. ici).

:D

Non, ça fonctionne pas comme ça… :)
Il n'y a pas trop d'ambiguïtés ici.

Le côté « raisonnement » est intéressant dans certain cas genre la maintenance d’ontologie complexes, mais a sûrement peu d’utilisation pour le commun des programmeurs

Ca dépend du cas d'usage.
Par exemple, sur l'ontologie FOAF, certaines inférences permettent de déterminer un graphe de relations sans qu'elles ne soient forcément explicites.
On peut imaginer Facebook s'en servir mais pas que :)

est-ce que vous arrivez à imaginer des usages concrets pour cela ?

Sans trop parler de mon métier d'avant, disons que c'était utilisé dans certains logiciels de collecte et d'analyses d'informations dans le domaine du renseignement.

J'avais oublié les définitions :)

PREFIX skos: <http://www.w3.org/2004/02/skos/core#>
PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#>
PREFIX ddf: <http://data.dictionnairedesfrancophones.org/ontology/ddf#>
PREFIX lexicog: <http://www.w3.org/ns/lemon/lexicog#>
PREFIX lexinfo: <http://www.lexinfo.net/ontology/2.0/lexinfo#>
PREFIX ontolex: <http://www.w3.org/ns/lemon/ontolex#>

SELECT ?mot ?def ?usage
WHERE {
  ?entry a lexicog:Entry .
  ?entry lexicog:describes ?lentry .
  ?lentry ontolex:canonicalForm ?form.
  ?form ontolex:writtenRep ?mot.
  ?form ddf:formHasLocalisation <https://www.geonames.org/2361809>.
  ?lentry ontolex:sense ?sub.
  ?sub ddf:hasConnotation <http://data.dictionnairedesfrancophones.org/authority/connotation/pejorativeConnotation> .
  ?sub skos:definition ?def.
  ?sub lexicog:usageExample/rdf:value ?usage.
} LIMIT 100

Merci pour ce lien, j'adore.

Par contre, ça m'a fait voir à quel point mon SPARQL est tout rouillé :D

Bon, j'arrive quand même à extraire les mots à connotation péjorative du Burkina Faso (oui, je suis un grand gamin) :D

PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#>
PREFIX ddf: <http://data.dictionnairedesfrancophones.org/ontology/ddf#>
PREFIX lexicog: <http://www.w3.org/ns/lemon/lexicog#>
PREFIX lexinfo: <http://www.lexinfo.net/ontology/2.0/lexinfo#>
PREFIX ontolex: <http://www.w3.org/ns/lemon/ontolex#>

SELECT ?mot ?usage
WHERE {
  ?entry a lexicog:Entry .
  ?entry lexicog:describes ?lentry .
  ?lentry ontolex:canonicalForm ?form.
  ?form ontolex:writtenRep ?mot.
  ?form ddf:formHasLocalisation <https://www.geonames.org/2361809>.
  ?lentry ontolex:sense ?sub.
  ?sub ddf:hasConnotation <http://data.dictionnairedesfrancophones.org/authority/connotation/pejorativeConnotation> .
  ?sub lexicog:usageExample/rdf:value ?usage.
} LIMIT 100

D'ailleurs, au passage, je n'ai rien trouvé pour la France, c'est limité à la Francophonie hors hexagone ou je suis vraiment à la ramasse ?

Alors, sauf si j'ai mal compris la question, je ne suis pas franchement un spécialiste en analyse numérique, c'est supporté au travers de l'annexe G.

Il se trouve que cette annexe a le bon goût d'être implémentée dans GNAT :)

Au passage, je fournis le lien vers la vidéo où tout est expliqué ou presque.

Et voilà, 10h00, c'est parti pour la journée

Merci bien :)

Désolé, si tu t'es vraiment sentie obligée mais j'étais sûr que tu passerai par là.

Yes, bien vu !!
Vu la longueur du journal et les manipulations manuelles que j'ai faites, j'avais plus les yeux en face des trous.

Il faut sonner un modo dans ce cas !

Ysabeau ? C'est pour toi, y a un… Tag Ada à sauver :)

Bien sûr on peut toujours imaginé faire évoluer Rust et/ou Ada mais alors ce n'est plus Rust, ni Ada, c'est un mixte, exactement le but de ce projet a priori. : Ruda ou Adst :D

On verra bien mais de ce que j'ai compris, pour l'instant, c'est surtout des bindings bidirectionnels un peu comme pour les autres langages et surtout d'aider à fournir un compilateur Rust certifié, ce qui est un peu le métier d'AdaCore.

Merci pour ces retours, je ferai plus attention la prochaine fois.

C'est pas parce que c'est clair dans ma tête qu'il faut zapper des étapes :)

Le "au début" se réfère à l'analyse syntaxique d'un code Ada par un programme Ada.
Cela ne veut en aucun cas dire qu'ASIS fut arrivé avant Ada :)
J'aurais dû développer l'acronyme, désolé.

Enfin, ça, c'est si j'ai bien compris ce que tu as cru comprendre… :D

Et donc qu'il n'y aurait pas eu le serveur HTTP Apache…

Aussi loin que j'ai pu remonter dans l'historique du serveur Apache, d'après ce fichier, Apache compilait déjà sous BSD et beaucoup d'autres OS en 1996.

Les dépêches rapportent plus de points de karma et parfois même des livres ;-)

Certes, j'en ai déjà gagné un sur la dépêche pour Ada 2012 mais de là à penser qu'une dépêche sur la sortie d'un soft en Ada puisse valoir à son auteur un livre, je préfère parier sur le karma.

Il suffit de voir la popularité du langage sur l'index Tiobe et des journaux ici-même pour s'en persuader :D

disclaimer: ceci n'est pas un commentaire sur C…D-.9 :)

De rien, je fais ça pour les points de karma :)

From Wikipedia:

NaCl (pronounced "salt") is an abbreviation for "Networking and Cryptography library"

TweetNaCL est une ré-écriture de NaCL dont une implémentation alternative est libsodium :)

Petit update car on trouve quelques infos:

• Pour OpenSSL
• Pour les produits Apache où tout est déclaré en 5D002, contrôlé au titre de la sécurité nationale et de l'anti-terrorisme
• Pour Microsoft

En fait, ça s'est très assoupli vu qu'il ne faut plus que faire une déclaration sans revue mais il reste encore quelques petits trucs et dixit Wikipedia, cela reste complexe.

Donc j'ai dit des conneries :D

On n'est plus un UB près :D

J'avais lu que l'auteur préfère utiliser SQL que de devoir réinventer un DSL pour interroger les métas et autres informations.

Il semble aussi, d'après l'historique, qu'il se soit inspiré de Monotone.

C'est quoi l'intérêt? on envoie la bibliothèque par tweets ? ;-)

Oui, c'est l'intérêt car cela permet, me semble-t-il, de s'affranchir de certaines restrictions dans les règles d'export control américains en termes de matériel cryptographique.
Enfin, y a rien de moins sûr parce qu'il semble que les softs en domaine publique soient épargnés par ces règles… Sauf peut-être si on exporte vers un pays soumis à embargo US.

Au fait on parle d'anciens ou de nouveaux tweets (140 ou 280 caractères) ? ;-)

Comme les anciens et les nouveaux francs ? :D