Pitometsu

(self: super:
  let
    # gcc = super.pkgs.gcc8;
    # gcc8 = super.pkgs.gcc8.override { stdenv = super.stdenv; };
    stdenv = super.stdenvAdapters.overrideCC super.stdenv super.pkgs.gcc8;
  in
    {
      inherit stdenv; # gcc8 gcc;
      # stdenv = super.overrideCC super.stdenv self.pkgs.gcc;
      # gcc8 = super.gcc8.override { stdenv = super.stdenv; };

Pitometsu

Xcursor.theme: ATER

! UI elements
Emacs.menuBar: 0
Emacs.toolBar: 0
Emacs.verticalScrollBars: off
! Font settings
Emacs.FontBackend: xft,x
Emacs.font: Inconsolata LGC-8.6

Pitometsu

• Algorithm Design with Haskell
• Beginning Haskell: A Project-Based Approach
• Developing Web Apps with Haskell and Yesod
• Functional Design and Architecture
• Get Programming with Haskell
• Haskell Book
• Haskell Cookbook
• Haskell Data Analysis Cookbook
• Haskell Design Patterns
• Haskell from the Very Beginning

Pitometsu

import static java.lang.System.*;

import java.util.function.BiFunction;
import java.util.function.Function;

// Implementation of a pseudo-GADT in Java, translating the examples from
// http://www.cs.ox.ac.uk/ralf.hinze/publications/With.pdf
// The technique presented below is, in fact, just an encoding of a normal Algebraic Data Type
// using a variation of the visitor pattern + the application of the Yoneda lemma to make it
// isomorphic to the targeted 'GADT'.

Pitometsu

// lets define Applicative Functor for (->)r type (function of function)
// tip: similar to Reader monad.
infix operator <*> { associativity left precedence 150 }
func <*> <A, B, C> (f : A -> B -> C, g : A -> B)(x : A) -> C {
    return f (x) (g(x))
}
 
infix operator <|> { associativity left precedence 150 }
func <|> <A, B, C> (f : A -> B -> C, g : C -> A) -> C -> B -> C {
    return pure(f) <*> g

Pitometsu

{
  "keymap": [
    {
      "keyCode": 30,
      "label": "1",
      "extraLabel": "!"
    },
    {
      "keyCode": 31,
      "label": "2",

Pitometsu

{
  "keymap": [
    {
      "keyCode": 2079,
      "label": "@"
    },
    {
      "keyCode": 2078,
      "label": "!"
    },

Pitometsu

{-# LANGUAGE DataKinds #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE ConstraintKinds #-}
{-# LANGUAGE PolyKinds #-}

import Data.Kind (Constraint)

type family All (c :: k -> Constraint) ts :: Constraint where All c '[] = (); All c (t:ts) = (c t, All c ts)

Pitometsu

{-# LANGUAGE DataKinds #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE OverloadedLabels #-}
{-# LANGUAGE BlockArguments #-}
{-# LANGUAGE UnicodeSyntax #-}

Pitometsu

- nox?
- nix
- home-manager/homesick
- gpg2
- git-secret/git-crypt/blackbox/yadm
- niv?
- nixos-shell (https://github.com/Mic92/nixos-shell)
- pass?