Marc Juchli mjuchli

Client-side SSL

For excessively paranoid client authentication.

Updated Apr 5 2019:

because this is a gist from 2011 that people stumble into and maybe you should AES instead of 3DES in the year of our lord 2019.

some other notes:

This is the three parts that I'm using on my Jekyll blog (http://voxpelli.com/) to add Flattr.

I add the "default.html" part in the bottom of the default layouts HTML (the one used by posts). I add it just prior to closing body-tag. Make sure to change the "uid" parameter in the s.src variable to be your Flattr username.

I then add the a-tag in "post.html" in the place where I want the flattr button to appear. Since my blog supports both swedish and english posts I define a language attribute - if you don't use that in your Jekyll-blog then feel free to leave it out. Just be sure to change the domain in the href-attribute to be to your site.

Lastly I add the "default_head.html" part in the head-section of the default layouts HTML (the one used by posts). I also define a language attribute here - if you don't use such an attribute in your Jekyll-blog then switch it to something else or leave it out. Make sure to change the domain and to change the "uid" parameter in the s.src variable to be

How to install GHC from source + latest stack + cabal + cabal-install on ubuntu

for your convinience this instuction is available as:
gist
git repo

preferred way install stack than install ghc

stack (package manager and build tool, preferrered way to manage dependencies)

# settings

Tech Links

Compilers, Interpreters, Language Design, etc.

	Latency Comparison Numbers (~2012)
	----------------------------------
	L1 cache reference 0.5 ns
	Branch mispredict 5 ns
	L2 cache reference 7 ns 14x L1 cache
	Mutex lock/unlock 25 ns
	Main memory reference 100 ns 20x L2 cache, 200x L1 cache
	Compress 1K bytes with Zippy 3,000 ns 3 us
	Send 1K bytes over 1 Gbps network 10,000 ns 10 us
	Read 4K randomly from SSD* 150,000 ns 150 us ~1GB/sec SSD

	server {
	listen 80;
	server_name localhost;
	root /home/website/web;

	rewrite ^/app\.php/?(.*)$ /$1 permanent;

	try_files $uri @rewriteapp;

	location @rewriteapp {