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 <[email protected]> +#+ */ | |
/* +#+ */ | |
/* 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