Déplier
roptat a partagé

The first #GNU/Hurd substitutes for #GNU #Guix are available; get ready starting your Childhurd and build hello!

roptat a partagé
roptat a partagé

Une vidéo de #Kurzgesagt que j'ai trouvé très optimiste (et suffisamment concrète malgré le fait qu'elle soit très générale) sur comment les gouvernements peuvent combattre le #ChangementClimatique. 😊
youtube.com/watch?v=wbR-5mHI6b

roptat a partagé
roptat a partagé

Le projet du mois #OSM touche bientôt à sa fin, c'est le moment de tester la nouvelle quête #StreetComplete pour améliorer les infos sur les défibrillateurs existants et grapiller quelques points sur projetdumois.fr #deficoeur #openstreetmap

roptat a partagé

Plus j'y pense, plus je trouve que c'est génial. Ça me rappelle cet article : 2018.splashcon.org/details/spl

Imaginez : des médecins programment une fois pour toutes un protocole de réaction dans un langage de programmation fait pour, à la BioScript (un langage où les variables peuvent prendre des composés chimiques comme valeurs : aller lire l'article plus haut, ça vaut le coup 😊). Ensuite ce protocole est compilé en un pdf qu'il faut imprimer avec une encre spéciale. Sur le papier, on voit des icônes spéciales qui indique quel réactif on doit mettre où. Les icônes sont super lisibles et on n'a pas besoin d'avoir eu de formation particulière pour les comprendre. Ensuite, on fait chauffer le papier, puis on découpe le long des icônes ✂ et on pli le long d'autres icônes. On scelle le tout, et paf, on a un test de médecine ultra-compact à vraiment pas cher. Je trouve ça juste génial ! 😀

Afficher le fil de discussion
roptat a partagé

I've been doing streak.osmz.ru/ for the past few days and it's been a really neat way to get into improving #OpenStreetMap little by little. Tonight I sat down to add ten nodes to a river, and ended up posting up over 1000 changed nodes just now. In addition to greatly improving the way for the Ibina River in the DRC in Africa, I added over 50km of previously-unmapped tributaries while I was at it, and tidied up a few nearby villages: openstreetmap.org/changeset/91

I'm now up to 9 days in a row, and 27 points. Onward and upward :)

Many thanks to @Doudouosm for introducing me to it, it's been very effective! #osmstreak #mapping #maps

roptat a partagé
roptat a partagé
roptat a partagé

If you want to torture someone teach them ocap security in a world that hasn't adopted it

That way every day they can suffer through "security experts" advocating fiendishly complex, towering, and frail approaches to mitigate vulnerabilities that *don't exist* on ocap systems

tu es un canard en plastique 

ou alors je ne fais aucun pré-calcul et j'espère que la comparaison directe ne prenne pas trop longtemps... Dans tous les cas, il faut que je trouve si je peux indiquer à klee qu'une fonction ne doit pas être interprétée, et si les fonctions de la bibliothèque changent souvent entre les versions.

Afficher le fil de discussion

tu es un canard en plastique 

En plus je veux obtenir quelque chose de rapide (sans compter un éventuel pré-calcul, comme l'analyse que je fais actuellement avec klee). Donc il faudrait précalculer chaque paire. Soit un nombre exponentiel de précalculs plus ou moins linéaires, soit un nombre linéaire de précalculs exponentiels... le choix est compliqué ^^'

Afficher le fil de discussion

tu es un canard en plastique 

je peux aussi faire une analyse en parallèle, et là les fonctions non interprétées ont plus de sens, parce que je construis le même état (abstrait) des deux côtés, tant que la fonction est la même des deux côtés. le problème, c'est que là j'ai besoin de faire une analyse par *paire* de versions.

Afficher le fil de discussion

tu es un canard en plastique 

mais en même temps, entre deux versions les changements sont faibles. Si je sais quelles versions je veux comparer avant de lancer klee je peux déjà réduire le nombre de fonctions à analyser (avec un diff je repère celles qui n'ont pas changées).

Afficher le fil de discussion

tu es un canard en plastique 

or justement je ne sais pas à l'avance quelles versions je veux comparer, c'est pour ça que j'analyse les versions séparément : j'en analyse un tas et ensuite je peux facilement comparer les résultats deux à deux.

Afficher le fil de discussion

tu es un canard en plastique 

il y a un papier, ucklee, qui propose un truc comme ça, mais impossible de mettre la main sur le code. Une autre possibilité que j'ai vu, c'est d'abstraire l'appel de fonction, et de se retrouver avec une fonction non interprétée dans l'état du programme. Pratique si la fonction est la même entre les deux versions qui m'intéressent, mais sinon sans grand intérêt.

Afficher le fil de discussion

tu es un canard en plastique 

j'ai l'impression qu'il passe beaucoup de temps dans le fonctions de la bibliothèque, plutôt que dans la fonction qui m'intéresse vraiment, et qu'il y repasse plusieurs fois et recommence toute l'analyse de la fonction. Je me demande si je peux pas plutôt lui fournir un résummé de ce que fait la fonction et le laisser résoudre une grosse formule pour trouver les états possibles à la fin

Afficher le fil de discussion

tu es un canard en plastique 

j'ai un programme dont je veux analyser les changements au cours du temps, au niveau sémantique. L'idée c'est de lancer klee (qui trouve tous les chemins d'exécution possibles) séparément sur les deux versions qui m'intéressent, puis de comparer les traces. Sauf qu'à ce rythme là, klee il aura fini dans deux ans.

Afficher le fil de discussion

Bon là je crois que je saisis mieux la différence entre interprétation abstraite et exécution symbolique. Le premier est peu précis mais termine rapidement, le deuxième est exact mais, c'est super leeeeeent...

Je vais voir si je peux reformuler mon problème pour permettre un peu d'imprécision, ça devrait accélérer un peu les choses...

Déplier
Framapiaf

Le réseau social de l'avenir : Pas d'annonces, pas de surveillance institutionnelle, conception éthique et décentralisation ! Possédez vos données avec Mastodon !