Miles Rout milesrout

Law grad in New Zealand. My repositories here relate to some of my interests: C, mathematics, logic, cryptography, graphics and more

milesrout / gist:2ed00f9192af48dad4757dfc7f3d90d8

Created July 20, 2016 05:04

GHC problems

	I can't use MonadFailDesugaring because it's only supported in GHC 8.0, and GHC 8.0.1
	has a major bug in its pattern synonym support: it panics on nested synonyms when
	loaded into GHCI.

milesrout / new-shell-idea.txt

Last active July 19, 2016 07:20

	$ (apply (run "vlc") (filter (make-file-pred :modified :since :yesterday)
	(run "ls")))

milesrout / regexp types

Last active July 19, 2016 06:49

	Given a type T:

	T? an optional T (c.f. Maybe, Either T ())
	T* a sequence of Ts (c.f. [T])
	T+ a non-empty sequence of Ts (c.f. (T,[T]), NonEmpty T)
	T{N} exactly N Ts

	Given types T and U:

	T,U the product type of T and U (c.f. (T,U))

milesrout / gist:b545b19c04a524f08e6c2fe106b4807d

Created July 14, 2016 06:58

milesrout / .netrc

Created July 11, 2016 01:42

	machine github.com
	login milesrout
	password SECRETACCESSTOKEN
	protocol https

milesrout / test.hs

Last active July 11, 2016 01:48

milesrout / memes

Last active July 5, 2016 12:13

let the memes commence

	miles@laptop:~/Projects/monad_io $ g++ monad_io.cpp -std=c++1y
	miles@laptop:~/Projects/monad_io $ ./a.out \| c++filt
	builtin_cons<
	builtin_char<(char)72>,
	builtin_cons<
	builtin_char<(char)101>,
	builtin_cons<
	builtin_char<(char)108>,
	builtin_cons<
	builtin_char<(char)108>,

milesrout / functions.php

Created June 27, 2016 09:54

DON'T USE THIS I WROTE IT WHEN I WAS A CHILD AND AM STILL EMBARRASSED BUT IT'S MOSTLY PHP'S FAULT FOR BEING AWFUL

	<?php



	function dbConnect($type, $SQLdata) {
	$sqlPassData = array('error' => true);
	if($type == 'query') {
	$sqlPassData = array( 'user' => $SQLdata['queryUsername'],
	'pwd' => $SQLdata['queryPassword']);
	} elseif ($type == 'admin') {

milesrout / 1.basic.md

Last active June 12, 2016 11:53

Chalice Examples

int add(int x, int y)
{
        return x + y;
}

int main()
{
        assert_eq(3, add(1, 2));
}

milesrout / gist:634ce70ef60f568b2307b23f02f60a5e

Last active June 10, 2016 13:20