Skip to content

Instantly share code, notes, and snippets.

Joe Corneli holtzermann17

Block or report user

Report or block holtzermann17

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
View sin_sin.lean
import topology.basic analysis.complex.exponential
import tactic.core
open real set
open tactic
meta def refine_list_expr : list expr → tactic unit
| [] := fail "no matching rule"
| (h::t) := do (refine ``(%%h _ _)) <|> refine_list_expr t
View tridactyl config
data:application/json,{"configversion":"1.1","ignoremaps":{"<S-Insert>":"mode normal","<CA-Escape>":"mode normal","<CA-`>":"mode normal","<S-Escape>":"mode normal","I":"mode normal"},"inputmaps":{"<Escape>":"composite unfocus | mode normal","<C-[>":"composite unfocus | mode normal","<C-i>":"editor","<Tab>":"focusinput -n","<S-Tab>":"focusinput -N","<CA-Escape>":"mode normal","<CA-`>":"mode normal","<C-^>":"buffer %23"},"imaps":{"<Escape>":"composite unfocus | mode normal","<C-[>":"composite unfocus | mode normal","<C-i>":"editor","<CA-Escape>":"mode normal","<CA-`>":"mode normal","<C-6>":"buffer %23","<C-^>":"buffer %23","<S-Escape>":"mode ignore"},"nmaps":{"<A-p>":"pin","<A-m>":"mute toggle","<F1>":"help","o":"fillcmdline open","O":"current_url open","w":"fillcmdline winopen","W":"current_url winopen","t":"fillcmdline tabopen","]]":"followpage next","[[":"followpage prev","[c":"urlincrement -1","]c":"urlincrement 1","<C-x>":"urlincrement -1","<C-a>":"urlincrement 1","T":"current_url tabopen","yy":"clipboard
View gist:3353d8f919384c69b4d2e79a33c34a33
$ stack build && stack exec rasa
these paths will be fetched (164.98 MiB download, 1381.27 MiB unpacked):
/nix/store/0cr6kv5knm0ygp5l2ambrpg4zwqh7kv8-perl5.28.0-HTML-Parser-3.72
/nix/store/1961kbxdd3iqi2ynwz6xvx6iq87a10wh-perl5.28.0-HTTP-Date-6.02
/nix/store/2p8yz7z62qmnzrz75c0fmyh135v4v7vd-perl5.28.0-LWP-MediaTypes-6.02
/nix/store/4q5g8jvh0cxnhnb5jy0z58m4lqqda3qq-mpfr-4.0.1
/nix/store/553xa5p2bah0s1a0bfbqs56zhanib28r-readline-6.3p08
/nix/store/5dv7yx9i7lc7xccrhs7zg98jrl097xvv-Security-osx-10.9.5
/nix/store/5gv2f6rjcvqgjb7lfaww3fvddhhd8mq8-libkrb5-1.15.2
/nix/store/5l52wvj3ypm7rspmnvkydzp2scphp0x5-configd-osx-10.8.5
View LaTeXML.css
/*======================================================================
Core CSS for LaTeXML documents converted to (X)HTML */
/* Generic Page layout */
.ltx_page_header,
.ltx_page_footer { font-size:0.8em; }
.ltx_page_header *[rel~="prev"],
.ltx_page_footer *[rel~="prev"] { float:left; }
.ltx_page_header *[rel~="up"],
.ltx_page_footer *[rel~="up"] { display:block; text-align:center; }
.ltx_page_header *[rel~="next"],
View ltx-article.css
.ltx_title_document { font-size:170%; text-align:center; margin:0.5em 0 0.5em 0; }
.ltx_authors,
.ltx_role_author { text-align:center; margin:0.5em 0 0.5em 0; }
.ltx_role_author .ltx_personname { font-size: 120%; }
.ltx_date { text-align:center; font-size: 120%; margin:0.5em 0 0.5em 0; }
.ltx_subtitle { text-align:center; font-size: 120%; padding-left:0.2em; margin-left:-0.5em; }
.ltx_title_abstract { text-align:center; font-size: 100%; font-weight:bold; }
.ltx_abstract { margin-left:4em; margin-right:4em; }
@holtzermann17
holtzermann17 / pantheon-mode.el
Last active Aug 21, 2016
evil mode + god mode = pantheon mode
View pantheon-mode.el
;;; General commentary:
;;; "Power tends to corrupt and absolute power corrupts absolutely."
;;; - John Dalberg-Acton, 1st Baron Acton
;;; I've decided to combine God mode and Evil mode, because God mode
;;; doesn't seem to manage the cursor color properly, and because Evil
;;; mode is more customizable. God mode is also more familiar and so
;;; useful for quickly learning my way around.
@holtzermann17
holtzermann17 / README.md
Last active Jul 24, 2016
flowrweb readme
View README.md

flowrweb

Code for working with the Goldsmiths FloWr (Flowchart Writer) API.

Usage

To get started:

  1. Obtain a current API token from http://ccg.doc.gold.ac.uk/research/flowr/flowrweb/ -> Admin -> API.
  2. Load the project with Cider via ./src/flowrweb/core.clj -> M-x cider-jack-in.
@holtzermann17
holtzermann17 / 0-branches.md
Last active Nov 4, 2015
quick intro to branches
View 0-branches.md

This is a quick introduction to using branches on Github.

When you go to save your work, you will be given the opportunity to save it to a branch.

At the next screen you are given the option to open a pull request. You don't need to do that right away. You can come back to it when you've made some more changes on the branch.

First, you need to find the branch to make changes. It's available from a dropdown on the repository's main screen.

See images below for an illustration of these points.

View Installing Tex Live - short readme
«For typical needs, we recommend starting the TeX Live installation by
downloading [...] install-tl-unx.tar.gz (3.3mb).»
[http://mirror.ctan.org/systems/texlive/tlnet/install-tl-unx.tar.gz]
«Once you have the software, run the install-tl script to install (on
Windows, install-tl-windows), like this:»
cd /your/download/directory
./install-tl
@holtzermann17
holtzermann17 / patterns-for-concept-invention.md
Last active Sep 10, 2015
patterns for concept invention
View patterns-for-concept-invention.md

Hi all: I've typed up notes that we collaboratively produced at the recent workshop at Goldsmiths! We generated 8 patterns and 15 associated concepts. I will look forward to talking more with you all about how we can use this stuff in our ongoing design work. One meta-level "next step" will be to think about the connections between these patterns. What are some generalizations or "bridge concepts" (blends?) of the patterns that would help connect them to one another, and to our core methodology?

One thing I'd like to invite you all to consider would be to join in a not quite last-minute submission to the Pattern Languages of Programming conference (http://www.hillside.net/plop/2014/). The deadline is April 28th, and so if we're going to do this, we have to work fast!

I think that blending and patterns could be a strong match, and I think this work can be of value not only for our design of the COINVENT system, but also, ultimately, as a way to make our work useful to ma

You can’t perform that action at this time.