| for model in llama resnet50 resnet152 vgg16 hf_gpt2 hf_gpt2_large hf_bert yolov3; do python run.py -d cuda -t eval $model; python run.py -d cuda -t train $model; done 2>&1 | tee benchmark.log |
Defaults to fedora, can be changed through the settings app, under sharing or about
sudo sed -ise "s/^$/exclude=kernel kernel-core kernel-devel\n/g" /etc/yum.repos.d/fedora.repo /etc/yum.repos.d/fedora-updates.repo /etc/yum.repos.d/fedora-updates-testing.repo sudo dnf copr enable lukenukem/asus-kernel
| #!/bin/bash | |
| # Based on https://fedoramagazine.org/hibernation-in-fedora-36-workstation/ | |
| set -eo pipefail | |
| ZRAM_KBYTES=$(cat /proc/swaps | grep zram0 | sed -E 's/\s+/\t/g' | cut -f 3) | |
| TOTAL_RAM=$(free -k | egrep ^Mem: | sed -E "s/ +/\t/g" | cut -f2) | |
| TOTAL_ZRAM=0 | |
| UNCOMPRESSED_RAM=${TOTAL_RAM} | |
| for ZRAM in ${ZRAM_KBYTES}; do |
| #!/bin/bash | |
| # Spotify song recorder. Records songs played back with Spotify to ~/Music, as MP3 files with correct-ish ID3 tags. | |
| # Songs are organized by album, one directory per album. | |
| # Only works on Linux with pulseaudio (or pipewire). | |
| # | |
| # For Ubuntu users: apt install sox libsox-fmt-mp3 id3 | |
| # TODO: record into playlist directory instead of album | |
| LAST_FILENAME="" |
| FROM opensuse:tumbleweed | |
| RUN zypper -n -q install bash tar curl clang llvm python git | |
| ENV SHELL /bin/bash | |
| RUN curl -sSf https://sh.rustup.rs | bash -s -- -y | |
| RUN echo "export PATH=~/.cargo/bin:$PATH" >> ~/.bashrc | |
| RUN source ~/.bashrc |
| import urllib.request | |
| from html.parser import HTMLParser | |
| class DilbertParser(HTMLParser): | |
| def handle_starttag(self, tag, attrs): | |
| if tag == "img": | |
| comic = False | |
| src = None | |
| for attr in attrs: | |
| name, value = attr |
| module: limited | |
| define class <some-thing> (<object>) | |
| slot foo :: <integer>, init-keyword: foo:; | |
| end class; | |
| define method limited-instance? (obj :: <some-thing>, limited-type :: subclass(limited(<some-thing>))) | |
| => (result :: <boolean>) | |
| format-out("limited-instance?(%=, %=)\n", obj, limited-type); | |
| force-output(*standard-output*); |
| // ==UserScript== | |
| // @name Promoted tweet blocker | |
| // @namespace org.fixnum.tweetblock | |
| // @include https://twitter.com/ | |
| // @version 1 | |
| // @grant none | |
| // ==/UserScript== | |
| var tweets = document.getElementsByClassName("tweet"); | |
| for(tweetIdx = 0; tweetIdx < tweets.length; tweetIdx++) { |
| module: main | |
| define function main() => () | |
| format-out("In main()\n"); | |
| let val :: <integer> = floor/($minimum-integer + 1, 10); | |
| format-out("(min+1)/10: "); | |
| format-out(integer-to-string(val)); | |
| format-out("\n"); |
| set tabpagemax=12 | |
| set showtabline=2 | |
| map <F1> <ESC>:tabn 1<CR> | |
| map <F2> <ESC>:tabn 2<CR> | |
| map <F3> <ESC>:tabn 3<CR> | |
| map <F4> <ESC>:tabn 4<CR> | |
| map <F5> <ESC>:tabn 5<CR> | |
| map <F6> <ESC>:tabn 6<CR> | |
| map <F7> <ESC>:tabn 7<CR> |