Skip to content

Instantly share code, notes, and snippets.

@noteed
noteed / README.md
Last active July 22, 2020 19:16
A sense of speed
@noteed
noteed / .gitignore
Last active January 9, 2023 21:53
Pandoc, YAML, JSON, CSV, Sqlite
hosts.csv
hosts.db
@noteed
noteed / site.hs
Created October 21, 2018 23:07
Hakyll compiler for inline (embedded in site.hs) content
{-# 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
noteed / output.txt
Created October 21, 2018 23:04
Hakyll Compiler to create files from inline (embedded in site.hs) content
$ ./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
noteed / troubleshooting.md
Last active March 18, 2018 12:38
Haskell troubleshooting

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
noteed / haskell.md
Created January 19, 2018 11:26
Haskell

Haskell

  • Agda
  • BlueSpec
  • Carp
  • clash
  • cogent
  • Cryptol
  • dhall
  • Elm
@noteed
noteed / README.md
Last active June 17, 2017 10:00
Web app

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
noteed / default.nix
Last active November 5, 2018 19:08
OS
{ 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
noteed / certificates.md
Created January 17, 2017 08:05
Certificate notes

Certificate notes

  • View a certificate
openssl x509 -text -noout -in certificate.crt