Eugenio Marletti Takhion

## TwitterHandle.kt
/* Coming up ~ April 2020 */

package test
import arrow.*

inline class TwitterHandle(val handle: String)  {
  companion object : Refined<String> {
    override val validate: String.() -> Map<String, Boolean> = {
      mapOf(
        "Should start with '@'" to startsWith("@"),

## whitelist.md

      
              1 file
            
          
              2 forks
            
          
              0 comments
            
          
              17 stars
            
          
                kivikakk
                / whitelist.md
            
            
              Created
              November 16, 2018 02:18
            
              
                HTML sanitizer whitelist for user content on GitHub.com
              
          
Any allowed id and name attributes have "user-content-" prefixed to their value.
A maximum of 2 nested sub or sup tags are allowed.
A maximum of 10 nested ul or ol tags are allowed.


Allowed Element
Allowed Attributes


All allowed elements
abbr, accept, accept-charset, accesskey, action, align, alt, axis, border, cellpadding, cellspacing, char, charoff, charset, checked, clear, color, cols, colspan, compact, coords, datetime, dir, disabled, enctype, for, frame, headers, height, hreflang, hspace, id, ismap, itemprop, label, lang, maxlength, media, method, multiple, name, nohref, noshade, nowrap, open, prompt, readonly, rev, rows, rowspan, rules, scope, selected, shape, size, span, start, summary, tabindex, title, type, usemap, valign, value, vspace, width


a
As above plus href (must be github-mac, github-windows, http,


## normalizeColorHex.kts
/*
 * ----------------------------------------------------------------------------
 * "THE BEER-WARE LICENSE" (Revision 42):
 * Sebastiano Poggi wrote this file.  As long as you retain this notice you
 * can do whatever you want with this stuff. If we meet some day, and you think
 * this stuff is worth it, you can buy me a beer in return.   Seb
 * ----------------------------------------------------------------------------
 * Feel free to attribute this code in compiled products if you feel like it,
 * but it's not required.
 */

## ExhaustiveWhen.kt
@file:Suppress("PackageDirectoryMismatch") // root package looks great when importing, ie. `import exhaustive`

/**
 * Allows requiring an exhaustive mapping in a `when` block when used with the [rangeTo] operator.

 * @sample [exhaustive_when_example]
 */
@Suppress("ClassName") // lowercase because it should look like a keyword
object exhaustive {

## Leftpad.idr
import Data.Vect

-- `minus` is saturating subtraction, so this works like we want it to
eq_max : (n, k : Nat) -> maximum k n = plus (n `minus` k) k
eq_max  n     Z    = rewrite minusZeroRight n in rewrite plusZeroRightNeutral n in Refl
eq_max  Z    (S _) = Refl
eq_max (S n) (S k) = rewrite sym $ plusSuccRightSucc (n `minus` k) k in rewrite eq_max n k in Refl

-- The type here says "the result is" padded to (maximum k n), and is padding plus the original
leftPad : (x : a) -> (n : Nat) -> (xs : Vect k a)

## sort-commits-for-github.sh
git rebase "$(git merge-base HEAD master)" -x 'git commit --amend -C HEAD --date="$(date -R)" && sleep 1.05'

## Units.kt
/**
 * Based on Ben Trengrove's example: https://gist.github.com/bentrengrove/9759a3fbb564d62e1e63f417c58a3895
 */
package units

import java.util.concurrent.TimeUnit

abstract class Unit(val suffix: String, val ratio: Double) {
  internal fun convertToBaseUnit(amount: Double) = amount * ratio
  internal fun convertFromBaseUnit(amount: Double) = amount / ratio

## facebook-photo-download.go
package main

/*
 * A simple go program to download all the high resolution pictures from your facebook albums.
 *
 * To run this:
 * 1. Go to https://developers.facebook.com/tools/explorer/?method=GET&path=me&version=v2.8
 * 2. Get an Access Token: Get Token > Get User Access Token > Check "user_photos"
 * 3. Paste in the app.
 */

## main.swift
// A reminder to myself on how to quickly create a throw away gui app on OSX (i.e. a single file,
// w/o relying on XCode project templates

//Notes: In general it is hard to know how to create a Cocoa based gui without using XCode.
//This issue has existed for both Objective-C and now Swift

//Furthermore, Swift<-->Cocoa syntax has changed dramatically over various Swift versions,
//making stackoverflow posts unreliable

//This file provides a template for creating a throw away gui app

## zsh-cheat-sheet
= Resources =

* zsh         - http://www.zsh.org/
* ZSH-LOVERS  - http://grml.org/zsh/zsh-lovers.html
* manual      - http://zsh.sourceforge.net/Doc/Release/index.html
* oh-my-zsh   - https://github.com/robbyrussell/oh-my-zsh
* prezo       - https://github.com/sorin-ionescu/prezto
* zsh-users   - https://github.com/zsh-users

= Functions =
	/* Coming up ~ April 2020 */

	package test
	import arrow.*

	inline class TwitterHandle(val handle: String) {
	companion object : Refined<String> {
	override val validate: String.() -> Map<String, Boolean> = {
	mapOf(
	"Should start with '@'" to startsWith("@"),
	/*
	* ----------------------------------------------------------------------------
	* "THE BEER-WARE LICENSE" (Revision 42):
	* Sebastiano Poggi wrote this file. As long as you retain this notice you
	* can do whatever you want with this stuff. If we meet some day, and you think
	* this stuff is worth it, you can buy me a beer in return. Seb
	* ----------------------------------------------------------------------------
	* Feel free to attribute this code in compiled products if you feel like it,
	* but it's not required.
	*/
	@file:Suppress("PackageDirectoryMismatch") // root package looks great when importing, ie. `import exhaustive`

	/**
	* Allows requiring an exhaustive mapping in a `when` block when used with the [rangeTo] operator.

	* @sample [exhaustive_when_example]
	*/
	@Suppress("ClassName") // lowercase because it should look like a keyword
	object exhaustive {
	import Data.Vect

	-- `minus` is saturating subtraction, so this works like we want it to
	eq_max : (n, k : Nat) -> maximum k n = plus (n `minus` k) k
	eq_max n Z = rewrite minusZeroRight n in rewrite plusZeroRightNeutral n in Refl
	eq_max Z (S _) = Refl
	eq_max (S n) (S k) = rewrite sym $ plusSuccRightSucc (n `minus` k) k in rewrite eq_max n k in Refl

	-- The type here says "the result is" padded to (maximum k n), and is padding plus the original
	leftPad : (x : a) -> (n : Nat) -> (xs : Vect k a)
	/**
	* Based on Ben Trengrove's example: https://gist.github.com/bentrengrove/9759a3fbb564d62e1e63f417c58a3895
	*/
	package units

	import java.util.concurrent.TimeUnit

	abstract class Unit(val suffix: String, val ratio: Double) {
	internal fun convertToBaseUnit(amount: Double) = amount * ratio
	internal fun convertFromBaseUnit(amount: Double) = amount / ratio
	package main

	/*
	* A simple go program to download all the high resolution pictures from your facebook albums.
	*
	* To run this:
	* 1. Go to https://developers.facebook.com/tools/explorer/?method=GET&path=me&version=v2.8
	* 2. Get an Access Token: Get Token > Get User Access Token > Check "user_photos"
	* 3. Paste in the app.
	*/
	// A reminder to myself on how to quickly create a throw away gui app on OSX (i.e. a single file,
	// w/o relying on XCode project templates

	//Notes: In general it is hard to know how to create a Cocoa based gui without using XCode.
	//This issue has existed for both Objective-C and now Swift

	//Furthermore, Swift<-->Cocoa syntax has changed dramatically over various Swift versions,
	//making stackoverflow posts unreliable

	//This file provides a template for creating a throw away gui app
	= Resources =

	* zsh - http://www.zsh.org/
	* ZSH-LOVERS - http://grml.org/zsh/zsh-lovers.html
	* manual - http://zsh.sourceforge.net/Doc/Release/index.html
	* oh-my-zsh - https://github.com/robbyrussell/oh-my-zsh
	* prezo - https://github.com/sorin-ionescu/prezto
	* zsh-users - https://github.com/zsh-users

	= Functions =