| Description='eduroam' | |
| Connection='wireless' | |
| Interface=wlp3s0 | |
| Security='wpa-configsection' | |
| Description="eduroam network" | |
| IP='dhcp' | |
| TimeoutWPA=30 | |
| WPAConfigSection=( | |
| 'ssid="eduroam"' | |
| 'proto=RSN' |
| map <M-h> previousTab | |
| map <M-l> nextTab | |
| let searchengine hayoo = "http://hayoo.fh-wedel.de/?query=%s" | |
| let completionengines = ["google", "wikipedia", "hayoo"] | |
| let searchalias h = "hayoo" | |
| let hintcharacters = "asdfghjkl;" | |
| let blacklists = ["https://mail.google.com/*","http://localhost/*","https://www.sharelatex.com/*"] |
Copyright © 2017 Fantasyland Institute of Learning. All rights reserved.
A function is a mapping from one set, called a domain, to another set, called the codomain. A function associates every element in the domain with exactly one element in the codomain. In Scala, both domain and codomain are types.
val square : Int => Int = x => x * x
| import pandas as pd | |
| import argparse | |
| # Example: printStuff('blub.html') | |
| # Where 'blub.html' is downloaded from Moodle | |
| def printStuff(fileName): | |
| table = pd.read_html(fileName)[0] | |
| res = table[1:-2][['Bereich', 'Prozentsatz']] | |
| res['Bereich'] = res['Bereich'].apply(lambda x: int(x[2:])) |
Delimited continuations manipulate the control flow of programs. Similar to control structures like conditionals or loops they allow to deviate from a sequential flow of control.
We use exception handling as another example for control flow manipulation and later show how to implement it using delimited continuations. Finally, we show that nondeterminism can also be expressed using delimited continuations.
| main :: IO () | |
| main = do | |
| starman "covfefe" 10 | |
| putStrLn "Program now shuts down" | |
| --starman super game | |
| starman :: String -> Int -> IO () | |
| starman word n = turn word ['-' | x <- word] n |
| # Edit this configuration file to define what should be installed on your system. Help is available in the configuration.nix(5) man page and in the NixOS manual (accessible by running ‘nixos-help’). | |
| { config, pkgs, ... }: | |
| { | |
| imports = [ # Include the results of the hardware scan. | |
| ./hardware-configuration.nix | |
| ./ssd-configuration.nix | |
| ./users.nix <home-manager/nixos> | |
| ]; |
| <!DOCTYPE html> | |
| <html lang="en" class="no-js"> | |
| <head> | |
| <meta charset="utf-8"> | |
| <meta name="viewport" content="width=device-width,initial-scale=1.0"> | |
| <style> | |
| html body {width: 100%;height: 100%;padding: 0px;margin: 0px;overflow: hidden;font-family: arial;font-size: 10px;color: #6e6e6e;background-color: #000;} #preview-frame {width: 100%;background-color: #fff;}</style> | |
| <script src="https://ajax.googleapis.com/ajax/libs/jquery/3.7.1/jquery.min.js"></script> | |
| <script> | |
| //function to fix height of iframe! |
| sudo openconnect --protocol=anyconnect --user=<Username>@tu-berlin.de https://vpn.tu-berlin.de/ |
| /** | |
| * This is a ESLint config for a Remix project. | |
| */ | |
| /** @type {import('eslint').Linter.Config} */ | |
| module.exports = { | |
| root: true, | |
| parserOptions: { | |
| ecmaVersion: "latest", | |
| sourceType: "module", |