Rick Elrod relrod

Learning Rust • Lead of @dagd • Ham radio, functional programming and type theory.

307 followers · 402 following

View GitHub Profile

Recently created

Least recently created

Recently updated

Least recently updated

relrod / proxy.md

Created September 22, 2020 17:41 — forked from yougg/proxy.md

complete ways to set http/socks/ssh proxy environment variables

set http or socks proxy environment variables

# set http proxy
export http_proxy=http://PROXYHOST:PROXYPORT

# set http proxy with user and password
export http_proxy=http://USERNAME:PASSWORD@PROXYHOST:PROXYPORT

# set http proxy with user and password (with special characters)

relrod / topology.v

Created May 15, 2016 08:24 — forked from andrejbauer/topology.v

How to get started with point-set topology in Coq. This is not actually how one would do it, but it is an intuitive setup for a classical mathematician.

	(* How do to topology in Coq if you are secretly an HOL fan.
	We will not use type classes or canonical structures because they
	count as "advanced" technology. But we will use notations.
	*)

	(* We think of subsets as propositional functions.
	Thus, if [A] is a type [x : A] and [U] is a subset of [A],
	[U x] means "[x] is an element of [U]".
	*)
	Definition P (A : Type) := A -> Prop.

relrod / AlaCarte.hs

Last active August 29, 2015 14:07 — forked from puffnfresh/AlaCarte.hs

	module AlaCarte where

	-- Control.Monad.Free

	data Free f a = Free (f (Free f a)) \| Pure a

	instance Functor f => Monad (Free f) where
	Pure a >>= f = f a
	Free r >>= f = Free (fmap (>>= f) r)
	return = Pure

relrod / haskell-res.md

Created October 2, 2013 12:41 — forked from leroux/haskell-resources.md

Haskell Resources

Introductory

relrod / scala-irc

Created May 26, 2013 07:34 — forked from ymasory/scala-irc

	Please help compile a list of all Scala-related IRC rooms.

	All of these channels are on Freenode.

	#akka \| concurrency & distribution framework
	#argonaut \| json library
	#fp-in-scala \| the book Functional Programming in Scala
	#geotrellis \| geoprocessing library
	#indyscala \| regional scala group
	#json4s \| json library

relrod / gist:3957223

Created October 26, 2012 06:25 — forked from kg4sgp/gist:3957221

	#!/bin/bash
	for i in {1..64}; do
	./errbit 2400 hts1_2k4.c2 hts1_2k4_$i.c2 $i;
	done;

relrod / a.scala

Created August 5, 2012 17:35

	case class Person(name: String, age: Int) {
	def <=>(person: Person) = age compare person.age
	override def toString = name + " (" + age + ")"
	}

	val group = List(
	Person("Bob", 33),
	Person("Chris", 16),
	Person("Ash", 23)
	)

relrod / test.php

Created January 8, 2011 19:19 — forked from JAChapmanII/test.php

	<html>
	<head>
	</head>
	<body>
	<pre>
	<?php
	$json = file_get_contents( "http://github.com/api/v2/json/repos/show/JAChapmanII" );
	$output = json_decode( $json );

	foreach( $output->repositories as $repo ) {

relrod / git_podcasts.textile

Created August 30, 2010 08:11 — forked from tekkub/git_podcasts.textile

Gitsplosion Podcast – links from GitHub blog , iTunes xml etc feed here

GitCasts – links from GitCasts, HighResRSS

relrod / gist:435506

Created June 12, 2010 07:01 — forked from duckinator/gist:435482

Comments

/* */
//

Function Definition

:function1 [str1 str2]

:string (join " " [str1 str2])

NewerOlder

	Please help compile a list of all Scala-related IRC rooms.

	All of these channels are on Freenode.

	#akka \| concurrency & distribution framework
	#argonaut \| json library
	#fp-in-scala \| the book Functional Programming in Scala
	#geotrellis \| geoprocessing library
	#indyscala \| regional scala group
	#json4s \| json library