A higher kinded type is a concept that reifies a type constructor as an actual type.
A type constructor can be thought of in these analogies:
- like a function in the type universe
- as a type with a "hole" in it
#!/bin/bash | |
# Sway WM screen + audio recorder | |
# Usage: ./record -d [display] -a [audio_device] -o [project_output_name] | |
# | |
# Displays can be listed with `swaymsg -t get_outputs`. | |
# Audio devices can be listed with `arecord -l`. | |
# Probably best not to put spaces in the "-o" argument, sorry... | |
# | |
# Dependencies: ffmpeg, alsamixer | |
# |
# - Find Boost | |
# | |
# Copyright (c) 2016 Thiago Perrotta | |
# | |
# Permission is hereby granted, free of charge, to any person obtaining a copy of | |
# this software and associated documentation files (the "Software"), to deal in | |
# the Software without restriction, including without limitation the rights to | |
# use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of | |
# the Software, and to permit persons to whom the Software is furnished to do so, | |
# subject to the following conditions: |
#!/bin/bash | |
WIKI_URL=___ # with trailing slash | |
WIKI_USERNAME=___ | |
WIKI_PASSWORD=___ | |
WIKI_DUMP_DIR=./dump | |
WIKI_DUMP_DIR_LOGIN=${WIKI_DUMP_DIR}/login | |
WIKI_LOGIN_PAGE="index.php?title=Служебная:Вход" | |
#WIKI_START_PAGE="index.php?title=Содержание" | |
WIKI_START_PAGE="index.php/Содержание" |
#!/usr/bin/env bash | |
set -euo pipefail | |
for BRANCH in $(git branch | grep -E -v "^(\* | (develop|master|main)$)"); do | |
if [[ -z $(git --no-pager log develop..$BRANCH --author=$(git config user.email)) ]]; then | |
git branch -D $BRANCH | |
fi | |
done |
Skärmdump från http://www.svtplay.se/video/1680485/del-6-av-10@18:56.
Första delen av koden är från POIU: Parallel Operator on Independent Units.
This can reduce files to ~15% of their size (2.3M to 345K, in one case) with no obvious degradation of quality.
ghostscript -sDEVICE=pdfwrite -dCompatibilityLevel=1.4 -dPDFSETTINGS=/printer -dNOPAUSE -dQUIET -dBATCH -sOutputFile=output.pdf input.pdf
Other options for PDFSETTINGS:
#define _XOPEN_SOURCE 700 | |
#include <signal.h> | |
#include <unistd.h> | |
int main() | |
{ | |
sigset_t set; | |
int status; | |
if (getpid() != 1) return 1; |
cp gtkrc ~/.themes/vim/gtk-2.0-key/gtkrc | |
gconftool-2 -s /desktop/gnome/interface/gtk_key_theme --type string "vi" |