Zsolt Szende pwm

a simple git branching model (written in 2013)

This is a very simple git workflow. It (and variants) is in use by many people. I settled on it after using it very effectively at Athena. GitHub does something similar; Zach Holman mentioned it in this talk.

Update: Woah, thanks for all the attention. Didn't expect this simple rant to get popular.

Default

Powerlevel10k

These links no longer work. Springer have pulled the free plug.

Graduate texts in mathematics

duplicates = multiple editions

A Classical Introduction to Modern Number Theory, Kenneth Ireland Michael Rosen

Thoughts on an InlineDoBind extension

An expression beginning with a left arrow (<-) inside a do block statement is desugared to a monadic binding. This is syntactically a superset of existing Haskell, including extensions. It admits a clean notation that subsumes existing patterns and comes with few downsides.

Examples

do
  f (<- x) (<- y)
-- ===

	type re = C of char \| Nil \| Seq of re * re \| Bot \| Alt of re * re \| Star of re

	let rec null = function
	\| C _ \| Bot -> false
	\| Nil \| Star _ -> true
	\| Alt(r1, r2) -> null r1 \|\| null r2
	\| Seq(r1, r2) -> null r1 && null r2

	module R = Set.Make(struct type t = re let compare = compare end)
	let rmap f rs = R.fold (fun r -> R.add (f r)) rs R.empty

	#!/bin/bash
	#
	# The MIT License (MIT)
	#
	# Copyright (c) 2014 Mathias Leppich <[email protected]>
	#
	# Permission is hereby granted, free of charge, to any person obtaining a copy
	# of this software and associated documentation files (the "Software"), to deal
	# in the Software without restriction, including without limitation the rights
	# to use, copy, modify, merge, publish, distribute, sublicense, and/or sell

	Purity is a useful construct that forces programmers to consider that the
	environment that they are operating in is unclean, and this introduces
	barriers to formally defining the behaviour of the system comprising
	the program and its environment.

	This file is a [literate Haskell
	file](https://gist.github.com/kisom/3863f17636d99b4f8401) run through
	[pandoc](http://johnmacfarlane.net/pandoc/) to produce a Markdown
	post. There might be a few glitches as I'm still developing a workflow
	in this style.

	{-# LANGUAGE
	UndecidableInstances, RankNTypes, TypeOperators, TypeFamilies,
	StandaloneDeriving, DataKinds, PolyKinds, DeriveFunctor, DeriveFoldable,
	DeriveTraversable, LambdaCase, PatternSynonyms, TemplateHaskell #-}

	import Control.Monad
	import Control.Applicative
	import Data.Singletons.TH

	{-# LANGUAGE GeneralizedNewtypeDeriving #-}

	import Control.Monad.IO.Class
	import Control.Monad.Trans.Class
	import Prelude hiding (log)

	--------------------------------------------------------------------------------
	-- The API for cloud files.
	class Monad m => MonadCloud m where
	saveFile :: Path -> Bytes -> m ()

	#!/bin/bash

	# ---------------------------------------------------------
	# Customizable Settings
	# ---------------------------------------------------------

	MOUNT_POINT="${CASE_SAFE_MOUNT_POINT:-${HOME}/casesafe}"
	VOLUME_PATH="${CASE_SAFE_VOLUME_PATH:-${HOME}/.casesafe.dmg.sparseimage}"
	VOLUME_NAME="${CASE_SAFE_VOLUME_NAME:-casesafe}"
	VOLUME_SIZE="${CASE_SAFE_VOLUME_SIZE:-60g}"