Skip to content

Instantly share code, notes, and snippets.

@noteed
noteed / Tufte.md
Last active January 6, 2023 23:25
Pandoc, Tufte CSS

Pandoc, Tufte CSS, and more

@noteed
noteed / nix-cache.md
Last active December 7, 2022 07:20
Nix cache

Notes about caching Nix builds

You can use Cachix (I haven't tried it yet but people are happy with it), or spend time like I do crawling through similar notes.

I have to put back my notes in order, because of this tweets: https://twitter.com/noteed/status/1285875859468029958

It turns out I did use a cache on Digital Ocean Spaces in the past, but I didn't have much notes.

Links

@noteed
noteed / md.md
Last active July 18, 2020 05:12
Markdown tricks

Markdown tricks

Note that GitHub and Pandoc have different behaviors.

Checkboxes

  • Unchecked
  • Checked
@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.