Clément Joly cljoly

tmux shortcuts & cheatsheet

start new:

tmux

start new with session name:

tmux new -s myname

The Indexed Privilege Monad in Haskell, Scala, and C# (and OCaml at some point?)

We've already looked at two different indexed monads in our tour so far, so let's go for a third whose regular counterpart isn't as well known: the privilege monad.

Motivation

The regular privilege monad allows you to express constraints on which operations a given component is allowed to perform. This lets the developers of seperate interacting components be statically assured that other components can't access their private state, and it gives you a compile-time guarantee that any code that doesn't have appropriate permissions cannot do things that would require those permissions. Unfortunately, you cannot easily, and sometimes cannot at all, build code in the privilege monad that gains or loses permissions as the code runs; in other words, you cannot (in general) raise or lower your own privilege level, not even w

Operational PGP

This is a guide on how to email securely.

There are many guides on how to install and use PGP to encrypt email. This is not one of them. This is a guide on secure communication using email with PGP encryption. If you are not familiar with PGP, please read another guide first. If you are comfortable using PGP to encrypt and decrypt emails, this guide will raise your security to the next level.

Editing remote files in Vim with SSH

Configure SSH

In ~/.ssh/config, include the lines:
```
Host *
ControlPath ~/.ssh/sockets/%r@%h-%p
```

Super fast, keyboard-optimized, client side Hugo search

This is a fork of and builds upon the work of Eddie Webb's search and Matthew Daly's search explorations.

It's built for the Hugo static site generator, but could be adopted to function with any json index compatible with Fuse fuzzy search library.

To see it in action, go to craigmod.com and press CMD-/ and start typing.

	(* ocamlfind ocamlopt -o exmpl -package curl -linkpkg exmpl.ml *)
	open Printf

	let _ = Curl.global_init Curl.CURLINIT_GLOBALALL

	(*
	*************************************************************************
	** Aux. functions
	*************************************************************************
	*)

	import sys
	import markdown
	import yaml
	import os
	from jinja2 import Environment, FileSystemLoader

	with open(sys.argv[2], 'r') as f:
	content = yaml.safe_load(f.read())

	for k in content:

	#!/bin/bash

	# settings
	# Login information of freenom.com
	freenom_email="main@address"
	freenom_passwd="pswd"
	# Open DNS management page in your browser.
	# URL vs settings:
	# https://my.freenom.com/clientarea.php?managedns={freenom_domain_name}&domainid={freenom_domain_id}
	freenom_domain_name="domain.name"

	###################################################################################
	# Copyright 2012-2013 Institut National des Sciences Appliquées de Lyon (INSA-Lyon)
	#
	# Licensed under the Apache License, Version 2.0 (the "License");
	# you may not use this file except in compliance with the License.
	# You may obtain a copy of the License at
	#
	# http://www.apache.org/licenses/LICENSE-2.0
	#
	# Unless required by applicable law or agreed to in writing, software

	/*
	Buttondown
	A Markdown/MultiMarkdown/Pandoc HTML output CSS stylesheet
	Author: Ryan Gray
	Date: 15 Feb 2011
	Revised: 21 Feb 2012

	General style is clean, with minimal re-definition of the defaults or
	overrides of user font settings. The body text and header styles are
	left alone except title, author and date classes are centered. A Pandoc TOC