danstn

# remap prefix from 'C-b' to 'C-a'
unbind C-b
set-option -g prefix C-a
bind-key C-a send-prefix

# quick config reload
bind r source-file ~/.tmux.conf

# Enable mouse control (clickable windows, panes, resizable panes)
set -g mouse on

danstn

-- Set <space> as the leader key
-- See `:help mapleader`
-- NOTE: Must happen before plugins are loaded (otherwise wrong leader will be used)
vim.g.mapleader = "\\"
vim.g.maplocalleader = "\\"

-- Make line numbers default
vim.opt.number = true

-- Enable mouse mode, can be useful for resizing splits for example!

danstn

package main

import (
        "fmt"
        "log"
        "net/http"
        "net/http/httputil"
        "strings"
)

danstn

""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""
"                                    CORE
""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""

set autoindent   " enable automatic indentation
set expandtab
set hlsearch     " highlight search results
set ignorecase   " case insensitive search
set incsearch    " match the search and return to the initial position
set list         " Show `listchars` characters

danstn

module MachineDemo exposing
    ( Model
    , init
    , myDiv
    , setHeight
    , setMinHeight
    , setWidth
    )

import Element exposing (..)

danstn

export class InfrastructureStack extends cdk.Stack {
  constructor(scope: cdk.Construct, id: string, props?: cdk.StackProps) {
    super(scope, id, props);

    // Create a new bucket
    const bucket = new s3.Bucket(this, BUCKET_ID, {
      bucketName: "<your-domain>",
      websiteIndexDocument: "index.html",
      autoDeleteObjects: true,
      enforceSSL: true,

danstn

{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE NoImplicitPrelude #-}

module HasqlExtra where

import Data.UUID (UUID)
import qualified Hasql.Decoders as D
import Hasql.DynamicStatements.Snippet (Snippet, param, sql)
import Hasql.DynamicStatements.Statement (dynamicallyParameterized)

danstn

newtype PrivateData = PrivateData { ssshhh :: Text }
  deriving (Eq, Show, Generic)
  
newtype PublicData = PublicData { somedata :: Text }
  deriving (Eq, Show, Generic)

instance ToJSON PrivateData
instance ToJSON PublicData

type PublicAPI = Get '[JSON] [PublicData]

danstn

#!/usr/bin/bash

set -e

echo -n "Enter server name (i.e. nginx-server): "
read server

echo "===> [INFO] Generating certs for: $server"

echo "===> [Step 1] Generating Certificate Request (CSR)..."

danstn

-- | simple/basic Scala -> Haskell translation of Runar's presentation
-- | (https://dl.dropboxusercontent.com/u/4588997/ReasonablyPriced.pdf)
-- | trying to use minimal extensions and magic. 
-- | (earlier I had a version using MultiParamTypeClasses for Runar's
-- | Inject class, but scraped it opting for simplicity)
-- | my question: what do we lose by moving towards simplicity?
-- | Future work: use DataKinds, TypeOperators, and potentially TypeFamilies
-- | to maintain and automate the folding of types in Coproduct.

{-# LANGUAGE Rank2Types, DeriveFunctor #-}