This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| /* ************************************************************************** */ | |
| /* */ | |
| /* :::::::: */ | |
| /* gfx_keys.h :+: :+: */ | |
| /* +:+ */ | |
| /* By: nmartins <nmartins@student.codam.nl> +#+ */ | |
| /* +#+ */ | |
| /* Created: 2019/04/30 00:56:56 by nmartins #+# #+# */ | |
| /* Updated: 2019/05/02 20:28:49 by nmartins ######## odam.nl */ | |
| /* */ |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| let mapleader="," | |
| set nocompatible | |
| filetype off | |
| "let base16colorspace=256 | |
| set termguicolors | |
| let g:loaded_matchit = 1 | |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| // ==UserScript== | |
| // @name Hide Blackhole | |
| // @namespace http://tampermonkey.net/ | |
| // @version 0.1 | |
| // @description try to take over the world! | |
| // @author You | |
| // @match https://profile.intra.42.fr/users/* | |
| // @match https://profile.intra.42.fr/ | |
| // @grant none | |
| // ==/UserScript== |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| import java.io.File | |
| import java.util.stream.Stream | |
| import kotlin.streams.toList | |
| import kotlin.system.measureNanoTime | |
| import kotlin.system.measureTimeMillis | |
| sealed class IntCode { | |
| abstract val steps: Int | |
| object Halt : IntCode() { |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| namespace RFC where | |
| parseDigit = oneOfChars [?0, ?1, ?2, ?3, ?4, ?5, ?6, ?7, ?8, ?9] | |
| parseHex = Unipar.satisfy isHexDigit "wasn't a hex digit" | |
| parseCRLF = (ch ?\r Unipar.>> ch ?\n) | |
| type RawHeaders | |
| = RawHeaders (Map Text Text) | |
| type Request | |
| = Request HostName Text RawHeaders |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| expect! : Either e a -> {Exception e} a | |
| expect! = cases | |
| Left e -> raise e | |
| Right a -> a | |
| identity : Decode Value | |
| identity = | |
| Decode (v -> Right v) | |
| (~>) : Value -> Text -> {Exception Text} Value |
OlderNewer