Assistant Professor of Philosophy, University of Chicago
Pinned Loading
-
bsearch_benchmark
bsearch_benchmark PublicCode and data for benchmarking of one-comparison and two-comparison bsearch algorithms
OCaml 1
-
vim-markdownfootnotes
vim-markdownfootnotes PublicForked from vim-pandoc/vim-markdownfootnotes
Insert Extended Markdown Footnotes in Vim
Vim Script 1
-
Smartly open a terminal in any VM on...
Smartly open a terminal in any VM on Qubes 1#!/bin/sh
23# Inspired by Holger Levsen's 2017 DebConf talk.
45result="$(qvm-ls --no-spinner --raw-data --fields NAME | dmenu)"
-
Use dmenu to launch browsers by VM
Use dmenu to launch browsers by VM 1#!/bin/sh
23# Inspired by Holger Levsen's 2017 DebConf talk.
45result="$(qvm-ls --no-spinner --raw-data --fields NAME,NETVM | egrep 'sys-whonix|sys-firewall|mirage-firewall' | awk -F '|' '{print $1}' | grep -v -e mirage-firewall -e sys-whonix | dmenu -fn "Monospace-12")"
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.