Skip to content

Instantly share code, notes, and snippets.

View coyotebush's full-sized avatar

Corey Ford coyotebush

View GitHub Profile

Keybase proof

I hereby claim:

  • I am coyotebush on github.
  • I am coyotebush (https://keybase.io/coyotebush) on keybase.
  • I have a public key whose fingerprint is 8AE8 3D54 29C7 2B78 54C0 A274 F745 EA21 9F68 D026

To claim this, I am signing this object:

(define-syntax (sdo stx)
(syntax-case stx (in-list)
[(sdo ([name <- comp] ...) final)
(foldr (lambda (n c next) #`(bind #,c (lambda (#,n) #,next)))
#'final
(syntax->list #'(name ...))
(syntax->list #'(comp ...)))]))
{-# LANGUAGE ExistentialQuantification, ImpredicativeTypes, MultiParamTypeClasses, FlexibleInstances #-}
module Topics (topics) where
import XMonad
import XMonad.StackSet
import XMonad.Layout.Grid
import XMonad.Layout.PerWorkspace
import XMonad.Layout.Tabbed
data LayoutBox a = forall l. LayoutClass l a => LB (l a)
@coyotebush
coyotebush / C027_mdm_or_eth.cpp
Created May 27, 2015 04:48
switch between cellular modem and ethernet on u-blox C027
// Include in your project:
// https://developer.mbed.org/teams/ublox/code/C027_Support/
// plus, ONLY when compiling without CELLULAR_NETWORK:
// https://developer.mbed.org/users/mbed_official/code/EthernetInterface/
// https://developer.mbed.org/users/mbed_official/code/mbed-rtos/
#include "mbed.h"
// ...
#define CELLULAR_NETWORK 1
@coyotebush
coyotebush / cscproxy.sh
Last active February 5, 2016 18:24
SSH to lab workstations, even off campus
#!/bin/sh
# adapted from: http://superuser.com/a/827803/94698
if /sbin/ifconfig -a | grep -q 'inet 129\.65\.'; then
exec nc $1 $2
else
exec ssh -xaqW $1:$2 csc
fi
@coyotebush
coyotebush / redmpi_async_functions.c
Created August 29, 2016 01:48
Asynchronous verification algorithms for RedMPI
#ifdef MRMPI_SDC_AsyncHash
/**
* Verifies the integrity of messages between replicas using a delayed hash.
* May be called repeatedly on the same request.
* @param req The request type struct to veryify (IN).
* @return MPI_SUCCESS for success (including inconclusive situations
* where the procedure should be called again), or MPI_ERR_OTHER
* for error.
*/
int MRMPI_Reqs_verifyintegrity_AsyncHash(MRMPI_ReqTypePtr req) {