| # Install ARCH Linux with encrypted file-system and UEFI | |
| # The official installation guide (https://wiki.archlinux.org/index.php/Installation_Guide) contains a more verbose description. | |
| # Download the archiso image from https://www.archlinux.org/ | |
| # Copy to a usb-drive | |
| dd if=archlinux.img of=/dev/sda bs=16M && sync # on linux | |
| # Boot from the usb. If the usb fails to boot, make sure that secure boot is disabled in the BIOS configuration. | |
| # This assumes a wifi only system... |
| # Kernel downgrade on ARCH Linux with encrypted file-system | |
| # | |
| # assumes you followed https://gist.github.com/mattiaslundberg/8620837 to set up your system | |
| # | |
| # Credits: | |
| # https://stephentanner.com/restoring-grub-for-an-encrypted-lvm.html | |
| # https://wiki.archlinux.org/index.php/Kernel_Panics | |
| # Boot into archiso live USB |
| " vimscript function takes input string `inp`, hands it to python function `parse` (module `dateparser`), | |
| " and outputs the parsed date in format `fmt`; return `inp` if string could not be parsed to valid date | |
| " Example: | |
| " :echo ParseDate('tomorrow', '%Y %m %d') | |
| function! ParseDate(inp, fmt) | |
| python << endpython | |
| import vim, dateparser as dp | |
| inp = vim.eval('a:inp') | |
| fmt = vim.eval('a:fmt') | |
| inp_parsed = dp.parse(inp, languages=['en','de'], |
| n = 1 | |
| theta = 1 | |
| alpha = 0.05 | |
| lo = up = numeric(10000) | |
| for (i in 1:10000) { | |
| x = rexp(n, 1/theta) | |
| lo[i] = -x / log(alpha) | |
| up[i] = -x / log(1-alpha) | |
| } | |
| mean(theta < lo) |
The official installation guide (https://wiki.archlinux.org/index.php/Installation_Guide) contains a more verbose description.
| n = 10 | |
| theta = 1 | |
| alpha = 0.05 | |
| lo = up = numeric(10000) | |
| for (i in 1:10000) { | |
| x = rexp(n, 1/theta) | |
| lo[i] = ((1-alpha)^(-1/n) - 1) * sum(x) | |
| up[i] = (alpha^(-1/n) - 1) * sum(x) | |
| } | |
| xo = rexp(10000, 1/theta) |
| tt = seq(as.Date('2020-02-25'), as.Date('2020-03-08'), by='1 day') | |
| I = c(13, 13, 15, 20, 23, 36, 39, 51, 85, 116, 164, 209, 273) | |
| # Example 3.12 | |
| x = c(0.02, 0.19, 0.27, 0.28, 0.32, 0.50, 1.08, 1.42, 2.23) | |
| # Example 3.13 | |
| x = c(-0.63, 0.18, -0.84, 1.60, 0.33, -0.82, 0.49, 0.74, 0.58) | |
| y = c(-0.31, 1.51, 0.39, -0.62, -2.21, 1.12, -0.04, -0.02, 0.94) |
| # Example 3.12 | |
| x = c(0.02, 0.19, 0.27, 0.28, 0.32, 0.50, 1.08, 1.42, 2.23) | |
| # Example 3.13 | |
| x = c(-0.63, 0.18, -0.84, 1.60, 0.33, -0.82, 0.49, 0.74, 0.58) | |
| y = c(-0.31, 1.51, 0.39, -0.62, -2.21, 1.12, -0.04, -0.02, 0.94) | |
| # Example 3.16 | |
| x = c(0.38, 0.59, 0.06, 0.08, 0.22, 1.45, 0.61, 0.27, 0.48, 0.07) | |
| B = 1000 |
To create a screencast using Linux command line tools I have used the methods outlined on this page:
https://sandilands.info/sgordon/multimedia-on-linux-command-line
(Ctrl-F screencast)
This might not be the easiest method, but it was simple enough for me and uses only tools that I had installed already.