NickHu

#include <stdio.h>
#include <stdlib.h>
#include <stdint.h>
#include <sys/mman.h>
#include <fcntl.h>
#include <string.h>
#include <signal.h>

#include <assert.h>

NickHu

#include <stdio.h>
#include <stdlib.h>

#include "lz4.h"

enum {
  HEIGHT = 1872,
  WIDTH = 1408,
  BYTES_PER_PIXEL = 2,
  WINDOW_BYTES = WIDTH*HEIGHT*BYTES_PER_PIXEL

NickHu

Keybase proof

I hereby claim:

• I am NickHu on github.
• I am nickhu (https://keybase.io/nickhu) on keybase.
• I have a public key whose fingerprint is B4F0 9027 7B71 B862 F1E3 6FA6 5E8E 74CE B831 FE6E

To claim this, I am signing this object:

NickHu

# Maintainer: Nick Hu <[email protected]>
pkgname=fdr
pkgver=4.2.0
pkgrel=1
pkgdesc="Refinement checker for CSP"
arch=('x86_64')
url="https://www.cs.ox.ac.uk/projects/fdr/"
license=('custom')
depends=('libtinfo5')
source=("https://www.cs.ox.ac.uk/projects/fdr/downloads/fdr-3754-linux-x86_64.tar.gz")

NickHu

import Control.Arrow
import Control.Monad
import Control.Monad.Fix
import Control.Monad.Trans.Class
import Control.Monad.Trans.Maybe
import Data.Maybe
import Data.List
import Data.Random.Extras
import Data.Random.RVar
import Data.Random.Source.DevRandom

NickHu

" cvimrc
let locale = "uk"
let autoupdategist = "true"
let autohidecursor = "true"
let barposition = "bottom"
let hintcharacters = "asdfjkl;"

map <C-d> scrollPageDown
map <C-u> scrollPageUp
map <C-f> scrollFullPageDown

NickHu

#!/usr/bin/env ruby
require 'mumble-ruby'
require 'ruby-mpd'
require 'sqlite3'

class Bot
  attr_reader :queue
  def initialize(client, mpd, quickmpd, karma_db)
    @client = client
    @mpd = mpd

NickHu

Keybase proof

I hereby claim:

• I am nickhu on github.
• I am nickhu (https://keybase.io/nickhu) on keybase.
• I have a public key whose fingerprint is D33C 26D7 6A2A 6B6D 2B7A 0D56 B58D 1B00 79EE C6F7

To claim this, I am signing this object:

NickHu

Fractal Bedroom Build by NickHu
		LEAVESCREEN
	End of group
		HOTKEY_GLASS_BLOCKS
		HOTKEY_CARPENTER_BED
		HOTKEY_SIEGE_BALLISTA
		HOTKEY_CLOTHES_BOX
		HOTKEY_CRAFTS_BONE
		HOTKEY_BUILDING_BED
		HOTKEY_BUILDING_SIEGEENGINE_BALLISTA