Skip to content

Instantly share code, notes, and snippets.

oplaxity cell

Greg Pfeil sellout

oplaxity cell
Block or report user

Report or block sellout

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
View GitHub Profile
sellout / secret-santa.lisp
Created Oct 17, 2010
A simple script for sending out secret santa emails.
View secret-santa.lisp
(ql:quickload "mel-base")
(defparameter *debugp* t)
(defvar *purchasers* ()
"A list of lists in the format (name email exclusion-list historical-results)")
(define-condition bad-match (condition)
(defun secret-santa (historical-exclusion-function &rest purchasers)
sellout / gist:662106
Created Nov 4, 2010
in-place modification
View gist:662106
(include-component "library/characters")
;; all valid sequence operations are valid string operations, so we `load` the
;; component instead of using one of the `*-component operations`.
(load "library/sequences")
(trigger {upcase (list ?string {?rc}) up} ...)
A thought … if there's a
sellout / color-theme-solarized.el
Created Mar 26, 2011
First step of a Solarized color theme for Emacs (
View color-theme-solarized.el
(require 'color-theme))
(defun color-theme-solarized (mode)
"Color theme by Ethan Schoonover, created 2011-03-24.
Ported to Emacs by Greg Pfeil,"
(interactive "Slight or dark? ")
(let ((base03 "#002b36")
(base02 "#073642")
(base01 "#586e75")
sellout / Solarized dark.terminal
Created Apr 5, 2012
Simple Solarized theme for OS X Terminal
View Solarized dark.terminal
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE plist PUBLIC "-//Apple//DTD PLIST 1.0//EN" "">
<plist version="1.0">
sellout / gist:2495083
Created Apr 26, 2012
comment formatting
View gist:2495083
;;; 1 2 3 4 5 6 0
;;;12345678 1 2 3 4 5 6
;;; 123456789012345678901234567890123456789012345678901234567890123456.
;;; This document is intended to show better comment formatting. It
;;; allows for 66 characters of main body text, with an 8-space margin
;;; to the left, and a one-space margin to the right, while fitting
;;; within 78 columns.
sellout / gist:2794138
Created May 26, 2012
transactions in Kilns
View gist:2794138
;; This simple snapshotting trigger example keeps a kell running but
;; sends a copy of its current state over `?rc`.
(trigger* {snapshot (list {?kell} {?rc})}
(trigger [kell ?a]
[kell ?a]
{rc {kell ?a}}))
;; This is a simple example of a rollback trigger. (Actually, it’s
;; more general than a rollback – there is no restriction on the new
;; state.) It simply grabs a kell and replaces its state in situ.
View gist:3889105
(defun fishspam (input) (if (member input '("tunafish" "tuna" "sardines") :test #'string=)
'(<:p "thanks for your comments")
'(addcomment article (hunchentoot:post-parameter "comment") (document-property :comments (get-document article))(hunchentoot:post-parameter "name"))
'(<:p "are you a robot?") ))

Keybase proof

I hereby claim:

  • I am sellout on github.
  • I am sellout ( on keybase.
  • I have a public key whose fingerprint is 6A45 7A06 CB07 E916 EC88 EC74 1193 ACD1 96ED 61F2

To claim this, I am signing this object:

View broken-scanl.idr
scanl : (b -> a -> b) -> b -> Vect n a -> Vect (S n) b
scanl f q ls = q :: (case ls of
[] => []
x::xs => scanl f (f q x) xs)
-- When elaborating left hand side of block in scanl:
-- When elaborating argument ls to block in scanl:
-- Can't unify
-- Vect 0 a
-- with
sellout / gist:10744574
Last active Aug 29, 2015
very confused, as usual
View gist:10744574
import Data.Bits
trim : Bits (1 + n) -> Bits n
trim b = truncate b
BoundedInt : Integer -> Nat -> Type
BoundedInt min max = (x : Integer ** so (min <= x && x < toIntegerNat max))
postulate bounds : (x : Integer) -> so (lower <= x && x < toIntegerNat upper) -> so (lower <= x && 1+2*x < pow 2 upper)
You can’t perform that action at this time.