noteed

{-# LANGUAGE OverloadedStrings #-}
------------------------------------------------------------------------------
-- | This example shows 'rawHttpServe', which use "raw" handlers, instead of
-- 'Snap' handlers.
--
-- (It is built using the "commandline" branch from the `snap-server`
-- repository.)
--
-- 'ServerConfig' is a record containing logging functions, users hooks and
-- some low-level HTTP server options.

noteed

Certificate notes

• View a certificate

openssl x509 -text -noout -in certificate.crt

noteed

Note: this gist is a bit dated. Start at https://github.com/noteed/nix-notes instead.

Nix notes

Getting started

• Nix by example: https://medium.com/@MrJamesFisher/nix-by-example-a0063a1a4c55
• Nix pills: https://nixos.org/nixos/nix-pills/ (previously: http://lethalman.blogspot.be/2014/07/nix-pill-1-why-you-should-give-it-try.html)
• Nix manual: https://nixos.org/nix/manual/

noteed

{ pkgs ? import <nixpkgs> { } }:

let
  kernel_version = "4.4.52";
  kernel-sha256 = "e8d2ddaece73e1a34e045bbdcdcc1383f658e24537797f8d8e0dd520cf1b1f06";
  nix_version = "1.11.9";
  nix-sha256 = "0e943e277f37843f9196b0293cc31d828613ad7a328ee77cd5be01935dc6e7e1";
in rec
{
  linux-tarball = pkgs.fetchurl {

noteed

Web app

Android

The theme-color meta tag is used to specify a toolbar color on Android. The color is used both in Chrome and when the page is used as a web app added to the home screen (actually, there is also a theme-color attribute in the manifest).

To turn the page into a web app (instead of a Chrome tab), add a web app manifest file. See https://developers.google.com/web/fundamentals/engage-and-retain/app-install-banners/ for some detail. Note that the service worker is not necessary for the web app look.

The service-worker is used to implement the off-line behavior of the app, but also web push notifications.

noteed

Haskell

• Agda
• BlueSpec
• Carp
• clash
• cogent
• Cryptol
• dhall
• Elm

noteed

Haskell troubleshooting

Notes about problems I had and what I did about them.

1

gusdev@d6a1d607e6fe:~$ cabal install newtype-generics-0.5.2.2
Resolving dependencies...

noteed

$ ./dist/build/site/site build
Initialising...
  Creating store...
  Creating provider...
  Running rules...
Checking for out-of-date items
Compiling
  updated hello.txt
Success
$ ls _site/

noteed

{-# LANGUAGE GeneralizedNewtypeDeriving #-}
{-# LANGUAGE OverloadedStrings #-}

import Data.Binary (Binary (..))
import Data.Typeable (Typeable)

import Hakyll.Core.Compiler.Internal (compilerAsk, compilerProvider)
import Hakyll.Core.Provider (resourceFilePath)

import Hakyll

noteed

hosts.csv
hosts.db