luochen1990

[[ -e ~/.profile ]] && emulate sh -c 'source ~/.profile'
[[ -e ~/.shrc ]] && emulate sh -c 'source ~/.shrc'
source $HOME/.antigen.zsh

# POWERLEVEL9K_INSTALLATION_PATH=$ANTIGEN_BUNDLES/bhilburn/powerlevel9k

antigen use oh-my-zsh

antigen bundles <<EOF
	npm

luochen1990

--  | This is a module to explain the Attribute based access control system
--  , [ABAC](https://en.wikipedia.org/wiki/Attribute-based_access_control)
--  , [XACML](https://en.wikipedia.org/wiki/XACML)
module SimpleABAC where

import Data.Foldable

type AccessorAttr = String
type ResourceAttr = String
type OperationAttr = String

luochen1990

The mklink command is available on Windows Vista / Windows 7 / 2008 or later. And only Administrator can execute this command.

Suppose we have file a.txt, and now we need to create symbolic link b.txt:

mklink b.txt a.txt

This is similar to the following command in Linux:

luochen1990

docker_exec() {
  matches=$( docker ps | grep $1 )
  echo "$matches"
  pid=$(echo $matches | awk "{print \$1}" )
  echo Entering: $pid
  docker exec -it $pid sh
}

alias dx="docker_exec"

luochen1990

Task parameters:

/icon "c:\dev\msys2\msys2.ico" /dir "%CMDER_START%"

Command:

set CHERE_INVOKING=1 & set MSYS2_PATH_TYPE=inherit & %ConEmuDrive%\dev\msys2\usr\bin\bash.exe --login -i -new_console:t:"bash"

References:

luochen1990

import java.util.function.Function;

public class EitherExample {
    public static void main(String[] args) {
        Either<String, Integer> x = new Left<>("hello");
        Either<String, Integer> y = new Right<>(123);
        System.out.println("hello");
        System.out.println(x);
        System.out.println(y);
    }

luochen1990

import Data.List
import GHC.Exts

type Number = Int

data Op = Add | Sub | Mul | Div | Pow deriving (Show, Eq, Ord, Enum, Bounded)
data AST = BinOp Op AST AST | Lit [Number] deriving (Eq, Ord)

instance Show AST where
    show (BinOp op x y) = "(" ++ show x ++ pure ("+-*/^" !! fromEnum op) ++ show y ++ ")"

luochen1990

total = ['white', 'yellow', 'blue', 'purple', 'black'].map((x, i) => $('.kata .is-' + x + '-rank').length *2*(4**i)).reduce((x, y) => x+y)
count = ['white', 'yellow', 'blue', 'purple', 'black'].map((x) => $('.kata .is-' + x + '-rank').length)
//visit https://www.codewars.com/users/USERNAME/completed , and scroll to bottom of the page, and run above code in console.

luochen1990

;  搜狗输入法: 设置 -> 高级 -> 自定义短语设置 -> 直接编辑配置文件
;  配置文件格式: <按键序列> "逗号" <位置> "等于号" <目标字符序列>


;  希腊字母: 参考 https://en.wikipedia.org/wiki/Greek_alphabet

Alpha,1=Α
alpha,1=α
Nu,9=Ν
nu,9=ν

luochen1990

data Color = Red | Blue
data Size = S | M | L

data Ball : (c : Color) -> (s : Size) -> Type where
  MkRedSBall : Ball Red S
  MkRedMBall : Ball Red M

arr : List (c : Color ** s : Size ** Ball c s)
arr = [(Red ** S ** MkRedSBall), (Red ** M ** MkRedMBall)]