Skip to content

Instantly share code, notes, and snippets.

View jefflembeck's full-sized avatar

Jeff Lembeck jefflembeck

View GitHub Profile
@preshing
preshing / sort1mb.cpp
Created October 25, 2012 11:28
Sort one million 8-digit numbers in 1MB RAM
#include <stdio.h>
#include <stdlib.h>
#include <assert.h>
typedef unsigned int u32;
typedef unsigned long long u64;
//-------------------------------------------------------------------------
// WorkArea
//-------------------------------------------------------------------------
@david-christiansen
david-christiansen / FizzBuzzC.idr
Last active August 29, 2022 20:00
Dependently typed FizzBuzz, now with 30% more constructive thinking
module FizzBuzzC
%default total
-- Dependently typed FizzBuzz, constructively
-- A number is fizzy if it is evenly divisible by 3
data Fizzy : Nat -> Type where
ZeroFizzy : Fizzy 0
Fizz : Fizzy n -> Fizzy (3 + n)
@Wilto
Wilto / gist:333607f726580c0b0ddb
Created September 20, 2014 16:17
Thinkpieces dot biz
(function() {
zalgo( document.documentElement );
function zalgo( node ) {
for ( node = node.firstChild; node; node = node.nextSibling ) {
if( node !== null && node.nodeType === 3 ) {
getOffMyLawn( node );
} else {
zalgo( node );
}
rustc points.rs --crate-type=dylib
npm install
node test.js