Skip to content

Instantly share code, notes, and snippets.

View Gerrit0's full-sized avatar

Gerrit Birkeland Gerrit0

View GitHub Profile
@zer0beat
zer0beat / install-vim-on-wsl.sh
Last active March 2, 2022 03:13
Install vim from source on Bash for Windows (WSL)
#!/bin/bash
# Download and install command
# wget -qO- https://gist.github.com/zer0beat/2f3aa1e81d9bedb0355a46e59ffcea34/raw | VIM_VERSION=8.0.1111 bash
VIM_VERSION=${VIM_VERSION:-"8.0.1111"}
VIM_SOURCE_CODE=https://github.com/vim/vim/archive/v${VIM_VERSION}.tar.gz
WORKDIR=~/vim-install
# Install dependencies
@fatcerberus
fatcerberus / monads4all.md
Last active February 24, 2024 07:58
Monads for the Rest of Us

Monads for the Rest of Us

by Bruce Pascoe - 1 May, 2019

"A monad is just a monoid in the category of endofunctors. What's the problem?" ~James Iry[^1]

The problem... is that there are several problems.

It's been said that monads bear a dreadful curse. Once you finally understand what they are, you begin to see them everywhere--but somehow become completely incapable of explaining them to anyone else. Many tutorial writers have tried to break the Great Curse--the Web is lousy with bold attempts and half successes that attest to this--and just as many have failed. Well, I'm here to address the elephant in the room[^2] and tell you that I intend to break the Great Curse once and for all.

There are basically two ways a monad tutorial tends to go. One is a paragraph or two of minimal descriptions of one or two common monads (Haskell's Maybe in particular is very popular), followed by a lot of intimidating Haskell syntax trying to explain--precisely--how it all fits together. This is well

@BrianMitchL
BrianMitchL / Eleventy Redirect From.md
Last active February 28, 2024 23:05
Eleventy Redirect From

Eleventy Redirect From

Use this template for drop-in replacement from the jekyll-redirect-from style of creating redirect files from old routes to the route of the current page.

In the front matter or data of a page, add one or many redirects:

Single

redirect_from: /old-url/page