Friday

Linux Mint: Commands to restart and shutdown PC

On the Linux terminal, type the following command to restart your PC:

$ sudo restart

On the Linux terminal, type the following command to shutdown your PC:

$ sudo poweroff

No comments:

Measure execution time with Julia, example using sorting algorithms

# random integers between 1 and 100 inclusive, generate thousands of them x = rand ( 1 : 100 , 100000 ) @time sort (x; alg=InsertionSort, r...