Skip to content

Instantly share code, notes, and snippets.

View poizan42's full-sized avatar

Kasper Fabæch Brandt poizan42

35 followers · 12 following
View GitHub Profile
@poizan42
poizan42 / explodeUtf8.sml
Last active September 28, 2018 13:49
UTF-8 decoder in Standard ML
exception Encoding of string;
local
fun decodeUtf8Chars nil = nil
| decodeUtf8Chars (c::rest) =
if c < #"\128" then (ord c)::(decodeUtf8Chars rest)
else
let
val cn = ord c
(* 0xF4 is the largest allowed start byte after the restriction
@poizan42
poizan42 / wolf128.sml
Last active August 29, 2015 14:06
SML port of the 128-byte raytracer wolf128. See http://finalpatch.blogspot.dk/2014/06/dissecting-128-byte-raycaster.html. Uses the InstagraML library: https://github.com/DIKU-IP/InstagraML
(* ex: set ts=2 sw=2 et ai: *)
use "InstagraML.sml";
local
fun rayMarch (x,y,z) =
let
val xdist0 = (((x-160) * z + 4096) div 256) mod 256
val ydist = (((y-100) * z + 4096) div 256) mod 256
val xdist = case z div 64 of
@poizan42
poizan42 / keybase.md
Last active August 29, 2015 14:07

Keybase proof

I hereby claim:

  • I am poizan42 on github.
  • I am poizan42 (https://keybase.io/poizan42) on keybase.
  • I have a public key whose fingerprint is 66C6 C343 F614 65F9 248E 204E B00A C5E2 7BCE D2B8

To claim this, I am signing this object:

@poizan42
poizan42 / IOMonad.sml
Created October 7, 2014 22:41
(* const : 'a -> 'b -> 'a
* Giver den konstante funktion der giver x. *)
fun const x _ = x
(* Lad os få os en IO monade så vi ikke skal se på alt det urene snask. *)
signature IOSig = sig
type 'a io
(* Monade operationer *)
val >>= : 'a io -> ('a -> 'b io) -> 'b io
val >> : 'a io -> 'b io -> 'b io
@poizan42
poizan42 / triangular.v
Created November 11, 2014 21:43
Proof of the closed form formula for triangular numbers
Require Import Coq.Arith.Div2.
Require Import Coq.Arith.Mult.
Require Import Coq.Arith.Even.
Require Import ArithRing.
Fixpoint triangular (n: nat) :=
match n with
| 0 => 0
| S n => (S n) + triangular (n)
end.
@poizan42
poizan42 / inf-primes.v
Created November 27, 2014 20:08
Proof of the infinitude of primes
Require Import Coq.ZArith.ZArith.
Require Import Coq.ZArith.Znumtheory.
Require Import Coq.Sets.Ensembles.
Require Import Coq.Sets.Finite_sets.
Require Import Coq.PArith.BinPos.
Definition Z_ens := Ensemble Z.
Print Finite.
Print Empty_set.
Definition is_empty_set U A := forall x, ~(In U A x).
@poizan42
poizan42 / bedre_write_int.c
Created February 23, 2015 00:21
void write_int(int n) {
// Length of INT_MIN as a decimal number is 11 (-2147483647)
char buf[11];
int neg = n < 0;
n *= 1 - 2*neg;
int pos = 11;
do {
buf[--pos] = '0' + (n % 10);
n /= 10;
} while (n);
@poizan42
poizan42 / wmain-call-stub.cpp
Last active August 29, 2015 14:17
stub to call wmain from main
#include <string>
#include <codecvt>
#include <locale>
int main(int argc, const char *argv[])
{
std::wstring_convert < std::codecvt<wchar_t, char, std::mbstate_t> > conv;
std::vector<const wchar_t*> wargv;
std::vector<std::wstring> wsargv;
wargv.resize(argc);
@poizan42
poizan42 / get-all-ad-group-members.ps1
Created March 16, 2015 09:25
Get all AD group members (> 1500)
$listObj = [ADSI]"LDAP://CN=DistList,CN=Users,DC=example,DC=com"
$tmpMembers = $listObj.PSBase.Invoke('Members') | %{([System.DirectoryServices.DirectoryEntry] $_).mail}
@poizan42
poizan42 / 0_reuse_code.js
Last active August 29, 2015 14:17
Here are some things you can do with Gists in GistBox.
// Use Gists to store code you would like to remember later on
console.log(window); // log the "window" object to the console