Luca Molteni lucamolteni

Installation of NixOS with encrypted root

These are my notes on instaling NixOS 16.03 on a Lenovo ThinkPad X1 Carbon (4th generation) with an encrypted root file system using UEFI.

Most of this is scrambled from the following pages:

Raspberry Pi VPN Router

This is a quick-and-dirty guide to setting up a Raspberry Pi as a "router on a stick" to PrivateInternetAccess VPN.

Requirements

Install Raspbian Jessie (2016-05-27-raspbian-jessie.img) to your Pi's sdcard.

Use the Raspberry Pi Configuration tool or sudo raspi-config to:

TL;DR

Create 5GB FreeBSD image.
Install FreeBSD on xhyve.
Mount host directory.

Requisites

When should you use DateTime and when should you use Time?

It's a common misconception that [William Shakespeare][1] and [Miguel de Cervantes][2] died on the same day in history - so much so that UNESCO named April 23 as [World Book Day because of this fact][3]. However because England hadn't yet adopted [Gregorian Calendar Reform][4] (and wouldn't until [1752][5]) their deaths are actually 10 days apart. Since Ruby's Time class implements a [proleptic Gregorian calendar][6] and has no concept of calendar reform then there's no way to express this. This is where DateTime steps in:

>> shakespeare = DateTime.iso8601('1616-04-23', Date::ENGLAND)
=> Tue, 23 Apr 1616 00:00:00 +0000
>> cervantes = DateTime.iso8601('1616-04-23', Date::ITALY)
=> Sat, 23 Apr 1616 00:00:00 +0000

The introduction to Reactive Programming you've been missing

(by @andrestaltz)

This tutorial as a series of videos

If you prefer to watch video tutorials with live-coding, then check out this series I recorded with the same contents as in this article: Egghead.io - Introduction to Reactive Programming.

	#include "functional"
	#include "iostream"

	namespace proj
	{
	/// Polymorphism in C++ is typically implemented with dynamic dispatch. On the plus side, it's
	/// easy to grasp (initially), well-understood, and works retroactively. On the minus side, it
	/// sucks you into OOP quagmires too easily and is not terribly efficient. Knowing about other
	/// types of polymorphims may lead you to avoid this approach wherever practical. Places where
	/// it's practically unavoidable are those that require user-defined subtypes, such as plugins

	-- With much thanks to Cirdec of Stack Overflow: http://stackoverflow.com/questions/32673144/how-do-i-compare-a-program-specified-as-a-free-monad-against-a-description-of-ex

	{-# LANGUAGE GADTs #-}
	{-# LANGUAGE StandaloneDeriving #-}
	{-# LANGUAGE ViewPatterns #-}

	import Text.Show.Functions
	import Control.Monad.Operational

	-- Core effect definition

	Xft.antialias: true
	Xft.rgba: rgb
	Xft.hinting: true
	Xft.autohint: true
	Xft.hintstyle: hintfull

	import java.sql.Connection;
	import java.sql.ResultSet;
	import java.sql.SQLException;
	import java.sql.Statement;
	import java.sql.Timestamp
	import java.util.Date

	import scala.slick.driver.MySQLDriver.simple._
	//import scala.slick.driver.H2Driver.simple._
	//MultipleDB examples, DAL included: https://github.com/slick/slick-examples/blob/2.0.0-M3/src/main/scala/com/typesafe/slick/examples/lifted/MultiDBExample.scala e https://github.com/slick/slick-examples/blob/2.0.0-M3/src/main/scala/com/typesafe/slick/examples/lifted/MultiDBCakeExample.scala

	module Main
	where

	main = undefined