I hereby claim:
- I am pranz on github.
- I am pranz (https://keybase.io/pranz) on keybase.
- I have a public key ASABatnUAA59a9_jZ3epyZmSrBMZffeIT2qSXRFIvp2Bdgo
To claim this, I am signing this object:
| main :: IO () | |
| main = do | |
| part2_test | |
| part2 | |
| part1 :: IO () | |
| part1 = do | |
| input <- readFile "./aoc1_input" | |
| let masses = map read . lines $ input | |
| let fuel = map fuelRequired masses |
I hereby claim:
To claim this, I am signing this object:
| var gulp = require('gulp') | |
| jade = require('gulp-jade') | |
| babel = require('gulp-babel') | |
| sass = require('gulp-sass') | |
| concat = require('gulp-concat') | |
| path = require('path'); | |
| paths = { | |
| jade: './src/jade/**/*.jade', | |
| sass: './src/sass/**/*.scss', |
| using System; | |
| using System.Collections.Generic; | |
| namespace Bingo | |
| { | |
| class MainClass | |
| { | |
| public static void Main (string[] args) | |
| { |
| -----BEGIN PGP MESSAGE----- | |
| Version: GnuPG v2 | |
| hQIMA51LFjnuzpRqARAAhc0A3Nz+qNczZdN6oA3XmB0yzZ4Rsli7w+hR9gazlOBl | |
| sFYPJQdtHte70EHznNb2Uhs9e+GxDBcq3rKlVrCSKEAGeohbbsJQZAw9/cqIhqi9 | |
| 646IAEf4uBqC5xrFiio/8GBSfrjxHdD15GwiSHcB9r6c7toITNHv5pyA6YzpS5yf | |
| 6dLUjR+6EwSXUQ8jWC1TffqMv7z2JMlPYMo0b//JBrS/VRy3UOE+EJg3z5wJdNh1 | |
| 83XtNKSMycNzCUNqn5lfQiQ0t5BdFODV5pFJ5y9tzqDMBM+5369ZVXXwj/oII6O9 | |
| zMY6CVEtcwHNyBTz7fYpH8Y/5frx2y7UnI/QQ2g6J3zb9bJm3rJclTBeIFhvofOH | |
| 7bMlFx3WGEvB55DZouXr/1b1tL74nBj2KILOS9UeaI96VmAopET9GkLs/VstkN/X |
I hereby claim:
To claim this, I am signing this object:
| module Raining where | |
| waterVolume :: [Int] -> Int | |
| waterVolume xs = water 0 0 [] xs | |
| where water maxHeight accWater puddles [] = accWater | |
| water maxHeight accWater puddles (x:xs) | |
| | x >= maxHeight = water x (accWater + sum (map (flip subtract maxHeight) puddles)) [] xs | |
| | null puddles = water maxHeight accWater [x] xs | |
| | x > head puddles = let (waterFilled, rest) = break (>= x) puddles in water maxHeight (accWater + sum (map (flip subtract x) waterFilled)) ((waterFilled >> return x) ++ rest) xs |
| {-# LANGUAGE GADTs #-} | |
| {-# LANGUAGE ConstraintKinds #-} | |
| {-# LANGUAGE FlexibleInstances #-} | |
| data ConstraintList c where | |
| Nil :: ConstraintList c | |
| Cons :: (c a) => a -> ConstraintList c -> ConstraintList c | |
| instance Show (ConstraintList Show) where | |
| show Nil = "[]" |
| void filterM(bool (*f)(void*), List *ls){ | |
| List *xs = ls | |
| while !f(xs->head) { | |
| free(xs) | |
| xs = xs->tail; | |
| } | |
| List *prev_node = xs; | |
| for(List *i = xs->tail; i != NIL; i = i->tail){ | |
| if !f(i->head) { | |
| free(i); |