flipsi

<script src="http://ajax.googleapis.com/ajax/libs/jquery/3.1.0/jquery.min.js"></script>
<script>!window.jQuery && document.write('<script src="lib/jquery-3.1.0.min.js"><\/script>')</script>

flipsi

% Author: Philipp Moers <soziflip+latex@gmail.com>


\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}

\usepackage[ngerman, english]{babel}
% document: \selectlanguage{ngerman}

flipsi

 function gimmeAPromiseWith(x) {
    return new Promise(function(resolve, reject) {
        console.log(`started calculation of ${x}`);
        setTimeout(function() {
            resolve(x);
            console.log(`finished calculation of ${x}`);
        }.bind(this), 10);
    });
}

flipsi

#!/bin/sh

set -e

print_usage_and_exit() {
  echo "This script performs a given command as soon as a TCP port is open."
  echo "Usage: $0 <host> <port> <command>"
  exit 2
}

flipsi

ZIO vs. Cats IO - Functional Programming libraries in Scala

Last updated on 2020-07-24 13:07

OKRs Q3 2020 Key result: "I have decided between ZIO or Cats IO (or similar) and justified this decision."

This document is a wrap-up of my research on which Functional Programming library to use in Scala.

flipsi

Description='netctl profile'
Interface=wlan0
Connection=wireless
Security=wpa-configsection
IP=dhcp
WPAConfigSection=(
    'ssid="SSID"'
    'proto=RSN'
    'key_mgmt=WPA-EAP'

flipsi

% Author: Philipp Moers <soziflip@gmail.com>
%
% Latex Brief-Vorlage
%
% ------------------------------------------------------------------------------

\documentclass
[
    fontsize=12pt, % Schriftgröße
    version=last,  % Neueste Version von KOMA-Skript verwenden

flipsi

Description='A wireless connection using a custom network block configuration'
Interface=wlp0s20f3
Connection=wireless
Security=wpa-configsection
Auth802X=yes
IP=dhcp
WPAConfigSection=(
    'ssid="SSID"'
    'key_mgmt=WPA-EAP'

flipsi

configuration {
/*	modes: "window,drun,run,ssh";*/
	font: "PragmataPro Mono 11";
	location: 0;
/*	yoffset: 0;*/
/*	xoffset: 0;*/
/*	fixed-num-lines: true;*/
	show-icons: false;
/*	preview-cmd: ;*/
/*	terminal: "rofi-sensible-terminal";*/

flipsi

/**
 * rofi -dump-theme output.
 * Rofi version: 1.7.6
 **/
* {
    alternate-urgent-background: var(urgent-background);
    selected-urgent-foreground:  var(urgent-foreground);
    alternate-active-foreground: var(active-foreground);
    selected-active-background:  var(gruvbox-dark-purple-light);
    gruvbox-dark-purple-light:   rgba ( 222, 134, 155, 100 % );