flipsi

(process:1597597): Timings-DEBUG: 19:27:37.760: 0.000000 (0.000000): Started
(process:1597597): Timings-DEBUG: 19:27:37.763: 0.002657 (0.002657): ../rofi/source/rofi.c:main:959 
(process:1597597): Timings-DEBUG: 19:27:37.763: 0.003282 (0.000625): ../rofi/source/rofi.c:main:1010 
(process:1597597): Timings-DEBUG: 19:27:37.763: 0.003374 (0.000092): ../rofi/source/rofi.c:main:1017 Setup Locale
(process:1597597): Timings-DEBUG: 19:27:37.763: 0.003509 (0.000135): ../rofi/source/rofi.c:main:1019 Collect MODES
(process:1597597): Timings-DEBUG: 19:27:37.764: 0.003523 (0.000014): ../rofi/source/rofi.c:main:1021 Setup MODES
(process:1597597): Timings-DEBUG: 19:27:37.764: 0.003539 (0.000016): ../rofi/source/rofi.c:main:1025 Setup mainloop
(process:1597597): Timings-DEBUG: 19:27:37.764: 0.003599 (0.000060): ../rofi/source/rofi.c:main:1028 NK Bindings
(process:1597597): Timings-DEBUG: 19:27:37.764: 0.003883 (0.000284): ../rofi/source/xcb.c:display_setup:1701 Open Display
(process:1597597): Timings-DEBUG: 19:27:37.764: 0.0

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 % );

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

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

% Author: Philipp Moers <[email protected]>
%
% Latex Brief-Vorlage
%
% ------------------------------------------------------------------------------

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

flipsi

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

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

#!/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

 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

% Author: Philipp Moers <[email protected]>


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

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