Code verifications / provers

C code + ACSL annotations --( Frama-C )--> "WhyML" Why3 format Proofs  --( Why3 analyser )--> proven code

• ACSL By Example (good learning point with plenty of exmaples) Towards a Verified C Standard Library

https://www.mimuw.edu.pl/~alx/konstruowanie/ACSL-by-Example.pdf

• Frama-C code analyser (Framework for Modular Analysis of C programs)

https://frama-c.com/
 https://frama-c.com/html/documentation.html 

https://frama-c.com/2016/11/22/Frama-C-and-ACSL-are-on-GitHub.html

• Why3 / WhyML :

http://why3.lri.fr/

http://why3.lri.fr/doc/starting.html

Recensement Canada 2021, Exemples d'origines ethniques ou culturelles

Lors du recensement canadien auquel j'ai eu a participer cette année, je suis tombé sur cette liste d'exemples d'origines ethniques ou culturelles, et en particulier pour la liste des origines autochtones j'ai trouvé cela intéressant.

Note : il est surement possible de retrouver cela quelque part sur le site canada.ca

  Exemples d'origines ethniques ou culturelles

Les exemples d’origines ethniques ou culturelles comprennent (sans toutefois s’y limiter) ce qui suit :

Origines autochtones

•     Abénaki
•     Ahousaht
•     Algonquin
•     Anishinaabe
•     Apache
•     Assiniboine
•     Atikamekw
•     Blood (Kainai)
•     Castor (Dunne-za)
•     Cayuga
•     Chactas
•     Chemainus (Stz’uminus)
•     Cherokee
•     Cheyenne
•     Chilcotin (Tsilhqot’in)
•     Chipewyan (Denesuline)
•     Cowichan
•     Cri
•     Cri de Moose
•     Cri des bois
•     Cri des plaines
•     Crow
•     Dakota
•     Delaware (Lenape)
•     Déné
•     Dene Tha’ (Esclave)
•     Ditidaht
•     Dzawada’enuxw
•     Ehattesaht
•     Gitxsan
•     Gwa’sala
•     Gwich’in
•     Haïda
•     Haisla
•     Halalt
•     Hän (Tr’ondëk Hwëch’in)
•     Heiltsuk
•     Hesquiaht
•     Homalco
•     Huron (Wendat)
•     Huu-ay-aht
•     Innu
•     Inuit
•     Inuvialuit
•     Iroquois (Haudenosaunee)
•     Kaska
•     K’omoks
•     Ktunaxa (Kutenai)
•     Kwakiutl
•     Kwakwa̱ka̱ʼwakw
•     Kyuquot/Cheklesaht
•     Laich-kwil-tach
•     Lakota
•     Lekwungen
•     Malahat
•     Malécite
•     Mamalilikulla
•     Métis
•     Mi’kmaq
•     Mohawk
•     Montagnais
•     Moskégon (cri des marais)
•     Mowachaht/Muchalaht
•     Musqueam
•     Nakwaxda’xw
•     ’Namgis
•     Naskapi
•     Navajo
•     Nez Percé
•     Nisga’a
•     Nlaka’pamux (Thompson)
•     Nuchatlaht
•     Nuu-chah-nulth
•     Nuxalk
•     Odawa
•     Ojibwé
•     Oji-Cri
•     Okanagan (Syilx)
•     Oneida
•     Onondaga
•     Passamaquoddy
•     Penelakut
•     Pied-Noir
•     Piikani
•     Porteur (Dakelh)
•     Potawatomi
•     Premières Nations
•     Qalipu Mi’kmaq
•     Quatsino
•     Sahtú (Esclave du Nord)
•     Salish
•     Salish de la Côte
•     Salish du continent
•     Saulteaux
•     Secwepemc (Shuswap)
•     Seneca
•     Shawnee
•     Shishalh (Sechelt)
•     Siksika
•     Sioux
•     Snuneymuxw
•     Squamish
•     St’at’imc (Lillooet)
•     Stó:lō
•     Stoney (Nakoda)
•     Tagish
•     Tahltan
•     Tla’amin (Sliammon)
•     Tla-o-qui-aht
•     Tlatlasikwala
•     Tlicho (Flanc-de-chien)
•     Tlingit
•     Tlowitsis
•     Tsek’ene (Sekani)
•     Tseshaht
•     Tsimshian
•     T’Sou-ke
•     Tsuu T’ina (Sarcee)
•     Tuscarora
•     Tutchone
•     Ucluelet
•     Wet’suwet’en
•     W̱SÁNEĆ (Saanich)
•     Wuikinuxv

Origines qui réfèrent à des pays

•     Açoréen
•     Afghan
•     Albanais
•     Algérien
•     Allemand
•     Américain
•     Anglais
•     Angolais
•     Anguillais
•     Antiguais
•     Argentin
•     Arménien
•     Arubais
•     Australien
•     Autrichien
•     Azerbaïdjanais
•     Bahamien
•     Bahreïnien
•     Bangladeshi
•     Barbadien
•     Belge
•     Bélizien
•     Béninois
•     Bermudien
•     Bhoutanais
•     Biélorusse
•     Birman
•     Bolivien
•     Bosnien
•     Brésilien
•     Brunéien
•     Bulgare
•     Burkinabè
•     Burundais
•     Caïmanien
•     Cambodgien
•     Camerounais
•     Canadien
•     Cap-Verdien
•     Centrafricain
•     Chilien
•     Chinois
•     Chypriote
•     Colombien
•     Comorien
•     Congolais
•     Coréen
•     Costaricain
•     Croate
•     Cubain
•     Danois
•     Djiboutien
•     Dominicain
•     Dominiquais
•     Écossais
•     Égyptien
•     Équatorien
•     Érythréen
•     Espagnol
•     Estonien
•     Éthiopien
•     Féroïen
•     Fidjien
•     Finlandais
•     Français
•     Gabonais
•     Gallois
•     Gambien
•     Géorgien
•     Ghanéen
•     Gibraltarien
•     Grec
•     Grenadien
•     Groenlandais
•     Guadeloupéen
•     Guatémaltèque
•     Guinéen
•     Guyanais
•     Haïtien
•     Hollandais
•     Hondurien
•     Hongkongais
•     Hongrois
•     Indien de l’Inde
•     Indonésien
•     Irakien
•     Iranien
•     Irlandais
•     Irlandais du Nord
•     Islandais
•     Israélien
•     Italien
•     Ivoirien
•     Jamaïquain
•     Japonais
•     Jordanien
•     Kazakh
•     Kényan
•     Kirghiz
•     Kittien/Névicien
•     Kosovar
•     Koweïtien
•     Laotien
•     Letton
•     Libanais
•     Libérien
•     Libyen
•     Liechtensteinois
•     Lituanien
•     Luxembourgeois
•     Macédonien
•     Malaisien
•     Malawien
•     Malgache
•     Malien
•     Maltais
•     Mannois
•     Marocain
•     Martiniquais
•     Mauricien
•     Mauritanien
•     Mexicain
•     Moldove
•     Mongol
•     Monténégrin
•     Montserratien
•     Mozambicain
•     Namibien
•     Néo-Zélandais
•     Népalais
•     Nicaraguayen
•     Nigérian
•     Nigérien
•     Norvégien
•     Omanais
•     Ougandais
•     Ouzbek
•     Pakistanais
•     Palestinien
•     Panaméen
•     Papouasien
•     Paraguayen
•     Péruvien
•     Philippin
•     Polonais
•     Portoricain
•     Portugais
•     Réunionnais
•     Roumain
•     Russe
•     Rwandais
•     Sainte-hélénien
•     Saint-Lucien
•     Salvadorien
•     Samoan
•     Saoudien
•     Sénégalais
•     Serbe
•     Seychellois
•     Sierra-Léonais
•     Singapourien
•     Slovaque
•     Slovène
•     Somalien
•     Soudanais
•     Sri-Lankais
•     Sud-Africain
•     Sud-Soudanais
•     Suédois
•     Suisse
•     Surinamien
•     Swazi
•     Syrien
•     Tadjik
•     Tahitien
•     Taïwanais
•     Tanzanien
•     Tchadien
•     Tchèque
•     Thaïlandais
•     Togolais
•     Tongan
•     Trinidadien
•     Tunisien
•     Turc
•     Turkmène
•     Ukrainien
•     Uruguayen
•     Vénézuélien
•     Vietnamien
•     Vincentais
•     Yéménite
•     Zambien
•     Zimbabwéen

Autres origines ethniques ou culturelles

•     Acadien
•     Afar
•     Africain
•     Africain d’Afrique centrale
•     Afrikaner
•     Afro-Américain
•     Afro-Canadien
•     Afro-Caribéen
•     Afro-Néo-Écossais
•     Akan
•     Albertain
•     Allemand de Pennsylvanie
•     Alsacien
•     Amhara
•     Amish
•     Anglo-Indien
•     Antillais
•     Antillais britannique
•     Arabe
•     Arawak
•     Ashanti
•     Asiatique
•     Asiatique de l’Est
•     Asiatique du Sud-Est
•     Asiatique occidental
•     Assyrien
•     Bachkir
•     Baloutche
•     Bambara
•     Bamiléké
•     Bantou
•     Baoulé
•     Basque
•     Batswana
•     Bavarois
•     Bengali
•     Berbère
•     Blanc
•     Bohémien
•     Bosniaque
•     Bouddhiste
•     Breton
•     Britannique
•     Britanno-Colombien
•     Cachoube
•     Canadien français
•     Cap-Bretonnais
•     Catalan
•     Celte
•     Centraméricain
•     Centrasiatique
•     Chaldéen
•     Chin
•     Chrétien
•     Chypriote grec
•     Chypriote turc
•     Cingalais
•     Circassien
•     Copte
•     Cornique
•     Corse
•     Créole
•     Dinka
•     Doukhobor
•     Écossais d’Ulster
•     Edo
•     Esan
•     Est-Africain
•     Eurasien
•     Européen
•     Européen de l’Est
•     Européen de l’Ouest
•     Européen du Nord
•     Européen du Sud
•     Européen du Sud-Est
•     Éwé
•     Fante
•     Flamand
•     Franco-Ontarien
•     Frison
•     Ga-Adangme
•     Galicien
•     Gaspésien
•     Goanais
•     Gujarati
•     Haoussa
•     Harari
•     Hawaïen
•     Hazara
•     Hindou
•     Hispanique
•     Hmong
•     Huguenot
•     Huttérite
•     Hutu
•     Igbo
•     Igorot
•     Ilocano
•     Indien caraïbe (Caribe)
•     Indien d’Amérique centrale (Autochtone)
•     Indien d’Amérique du Sud (Autochtone)
•     Indo-Caribéen
•     Indo-Fidjien
•     Indo-Guyanais
•     Insulaire anglo-normand
•     Insulaire du Pacifique
•     Jat
•     Javanais
•     Juif
•     Kabyle
•     Karen
•     Kashmiri
•     Khmer
•     Kikuyu
•     Kurde
•     Latino-américain
•     Loyaliste de l’Empire-Uni
•     Luba
•     Luo
•     Maghrébin
•     Maharashtrien
•     Malais
•     Malayali
•     Malinké
•     Manitobain
•     Maori
•     Mapuche
•     Marron
•     Maya
•     Mennonite
•     Morave
•     Mossi
•     Moyen-oriental
•     Musulman
•     Ndébélé
•     Néo-Brunswickois
•     Néo-Écossais
•     Noir
•     Nord-african
•     Nord-américain
•     Normand
•     Nubien
•     Océanien
•     Ontarien
•     Orcadien
•     Oromo
•     Ouest-africain
•     Ouïghour
•     Pachtoune
•     Pendjabi
•     Perse
•     Peul
•     Pipil
•     Polynésien
•     Prince-Édouardien
•     Québécois
•     Quechua
•     Rohingya
•     Rom
•     Ruthénien
•     Sami
•     Saskatchewanais
•     Scandinave
•     Sérère
•     Shona
•     Sicilien
•     Sikh
•     Sindhi
•     Slave
•     Soninké
•     Sud-américain
•     Sud-asiatique
•     Swahili
•     Tamoul
•     Tatar
•     Tchécoslovaque
•     Tchétchène
•     Telugu
•     Terre-Neuvien
•     Tibétain
•     Tigrigna
•     Transylvanien
•     Tswana
•     Tutsi
•     Wallon
•     Wolof
•     Xhosa
•     Yézidi
•     Yoruba
•     Yougoslave
•     Zoroastrien
•     Zoulou

Box breathing technique

box breathing or four-square breathing.

Here's how it works:

1. Breathe in for four seconds.
2. Hold air in your lungs for four seconds.
3. Exhale for four seconds.
4. Hold your breath, lungs emptied, for four seconds.

from : https://getpocket.com/explore/item/beat-stress-like-a-navy-seal-with-this-ridiculously-easy-exercise

MVT + Adb : how to use this consensual forensics tool to analyse whether your phone has been compromised by the pegasus/NSO discoveries. Forensics, long time no see !

Following pegasus revelations, I decided to play a bit with the tool provided by Amnesty International Security Lab in July 2021. 

Forensics, long time no see !

Sources : https://github.com/mvt-project/mvt

Doc : https://docs.mvt.re/en/latest/android/download_apks.html

Pretty strait-forward, once you have ADB installed on your computer.

the following steps are for and android phone + mac OS laptop

Step 0 : set your phone in "developper mode". For me I had to go to the settings and press 7 times on the release logo. 

Step 1 : plug your phone in USB, enabling USB debugging https://developer.android.com/studio/debug/dev-options#enable%3E

Step 2 : install ADB

brew install android-platform-tools

Check that you see your device, and then stop adb (not required after).

adb devices

adb kill-server

Step 3 : install mvt

pip3 install mvt
Step 4 : run mvt over your phone

mkdir output && mvt-android download-apks --output ./output --all-checks

Atlassian : plugins version NOT to use / known bugs

Atlassian galaxy of plugins : which plugins to AVOID at all cost

 https://confluence.atlassian.com/jirakb/known-major-problems-with-3rd-party-apps-in-jira-946618564.html

General Electric Washer - Error codes

General Electric Washer / Washing machine / laveuse

GE Model# WCVH4800K2WW 

"hydro heater"

SERVICE MODE access : signal, extra-rinse, signal, extra-rinse

SERVICE MODE options :

• T01 Display 
• T02 Error Codes 
• T03 User interface test 
• T04 Water Valve 
• T05 Water valve sensor test 
• T06 Drain Pump  "P"
• T07 Heater and Thermistor Test 
• T08 Tumble Test  "tt"
• T09 Spin Test

SERVICE MODE controls :

• Start/Pause : enter
• Power : exit
• Knob, to the right : next
• Knob, to the left : previous

* Service Modes : https://www.youtube.com/watch?v=Gb56yOZhb_M

Error codes meaning (service mode t02):

• E00 : all ok  / no Error

First sequence of error seen :

• dE1 :
• bE2
• UE
• 0E
• 5E
• 4E
• E00

* Tech Sheet : https://www.manualslib.com/manual/765140/Ge-Wcvh4800k.html?page=54#manual  (link to page 54 with error codes)

mac os X daily apps

 Context

as I recently had to switch computer, I see that I forgot to save some settings from the previous one, and of course, I don't have it anymore...

Useful apps I'm using :

Homebrew

Package manager for mac os x : https://brew.sh/

Day-0

https://shauninman.com/day-o/datetime.html

EEE h:mm a (z), dd MMM y (w)

Copy-clip

https://apps.apple.com/us/app/copyclip-clipboard-history/id595191960?mt=12

iterm2

https://iterm2.com/

• background color : #efface
• screen color : #decede
• foreground color : black

emacs

I had been using aquamacs recently, 

this time lets try https://emacsformacosx.com/

rambox

NB: I'm looking for an alternative to this one...)

Ansible resources / links

 

 Jeff Geerling : author of the main ansible book, also author of a lot of important ansible roles and modules. In 2020, he did a serie of youtube weekly stream walking through each chapters of his book.

• https://www.jeffgeerling.com/blog/2020/ansible-101-jeff-geerling-youtube-streaming-series

• https://www.ansible.com/resources/webinars-training
  

• mailing list : https://us19.campaign-archive.com/home/?u=56d874e027110e35dea0e03c1&id=d6635f5420

* https://ara.recordsansible.org/ : ARA Records Ansible and makes it easier to understand and troubleshoot... 

Bamboo - 2012 best practices

 

(ARCHIVED)Moneypenny Speaks! Getting the Most From (Bamboo) Agents - Atlassian Summit 2012

https://www.youtube.com/watch?v=Twyopzj9O6A&hd=1

Ec2 elastic 

Utilize Artifact Sharing

• Hung build killer plugin : Terminate hung jobs
• Keep Tabs on Agent Activity : agent smith plugin

You mission, should you choose to accept it

1 - build report connoissance

2 - Eradicates re-compile (*)

3 - Install the HungBuildKiller plugin

(*) Don't layer solutions on top of problems, remove the problems.

Thermophones

 petite note retrouvée dans un carnet :

mkz.fr

Thermophones

J'explore un peu ce site web... où ai-je pu voir cela ?
Etait-ce aux Frigos, à Paris dans le 13ème, en 2017 ?