Dan Connolly dckc
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| connolly@pav:~/src/Python-2.3.5$ make | |
| ... | |
| ar cr libpython2.3.a Modules/threadmodule.o Modules/signalmodule.o Modules/posixmodule.o Modules/errnomodule.o Modules/_sre.o Modules/_codecsmodule.o Modules/zipimport.o Modules/symtablemodule.o Modules/xxsubtype.o | |
| ranlib libpython2.3.a | |
| gcc -pthread -Xlinker -export-dynamic -o python \ | |
| Modules/python.o \ | |
| libpython2.3.a -lpthread -ldl -lutil -lm | |
| case $MAKEFLAGS in \ | |
| *-s*) CC='gcc -pthread' LDSHARED='gcc -pthread -shared' OPT='-DNDEBUG -g -O3 -Wall -Wstrict-prototypes' ./python -E ./setup.py -q build;; \ | |
| *) CC='gcc -pthread' LDSHARED='gcc -pthread -shared' OPT='-DNDEBUG -g -O3 -Wall -Wstrict-prototypes' ./python -E ./setup.py build;; \ |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| <!DOCTYPE html> | |
| <html xmlns="http://www.w3.org/1999/xhtml"> | |
| <head> | |
| <title>Smart Contract for sponsored, reviewed access</title> | |
| <script type="text/javascript" | |
| src="//caja.appspot.com/caja.js"> | |
| </script> | |
| <script type="text/javascript" | |
| src="policy_host.js"> | |
| </script> |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| On 06/18/10 1:16 PM, Peter Beninato wrote: | |
| Hi, | |
| So I ran query BMI GTE 25 with a tval_char = 'E'. | |
| Here is the panel tag from i2b2_request_xml: | |
| <panel> | |
| <panel_number>1</panel_number> | |
| <invert>0</invert> | |
| <total_item_occurrences>1</total_item_occurrences> | |
| <item> | |
| <hlevel>2</hlevel> |
dckc
/ gist:6145137
Created
August 3, 2013 04:05
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| [debug] runtime.go:220 Loaded container 4ecd89fb763ad825d692afd3d1bccd4e37ad4e2cba42667cfe65e4b7d7f8658b | |
| [debug] runtime.go:220 Loaded container 6db96d1788a988e56a4378e400b6abdbb5462969bd953b4e2822c71ece986bf7 | |
| [debug] runtime.go:220 Loaded container a58f5fef728f66cd9589da8d9fc2ae461b8b7f18184387d06c33a10ef6d86f53 | |
| [debug] runtime.go:220 Loaded container acc87d76fe16713186c6d90a233d1b92b9c8aadd5f816219bc4154a5b861abeb | |
| 2013/08/02 23:00:48 WARNING: Your kernel does not support cgroup swap limit. | |
| 2013/08/02 23:00:48 Listening for HTTP on 127.0.0.1:4243 (tcp) | |
| [debug] api.go:901 Registering GET, /auth | |
| [debug] api.go:901 Registering GET, /images/{name:.*}/history | |
| [debug] api.go:901 Registering GET, /containers/{name:.*}/changes | |
| [debug] api.go:901 Registering GET, /info |
dckc
/ gist:6145250
Created
August 3, 2013 05:03
<dsissitka> DanC: Can you upload your /etc/apt/sources.list?
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # deb cdrom:[Ubuntu 12.04.2 LTS _Precise Pangolin_ - Release amd64 (20130213)]/ dists/precise/main/binary-i386/ | |
| # deb cdrom:[Ubuntu 12.04.2 LTS _Precise Pangolin_ - Release amd64 (20130213)]/ dists/precise/restricted/binary-i386/ | |
| # deb cdrom:[Ubuntu 12.04.2 LTS _Precise Pangolin_ - Release amd64 (20130213)]/ precise main restricted | |
| # See http://help.ubuntu.com/community/UpgradeNotes for how to upgrade to | |
| # newer versions of the distribution. | |
| deb http://us.archive.ubuntu.com/ubuntu/ precise main restricted | |
| deb-src http://us.archive.ubuntu.com/ubuntu/ precise main restricted |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| $ lxc-checkconfig | |
| Kernel config /proc/config.gz not found, looking in other places... | |
| Found kernel config file /boot/config-3.8.0-27-generic | |
| --- Namespaces --- | |
| Namespaces: enabled | |
| Utsname namespace: enabled | |
| Ipc namespace: enabled | |
| Pid namespace: enabled | |
| User namespace: missing | |
| Network namespace: enabled |
dckc
/ Dockerfile
Last active
December 22, 2015 01:19
problem: Step 5 : RUN pip install --upgrade -r requirements.txt ---> Running in 6c1f0500c1e2 Could not fetch URL https://pypi.python.org/simple/django/: There was a problem confirming the ssl certificate: <urlopen error _ssl.c:489: The handshake operation timed out>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # Dockerfile Best Practices | |
| # Sun 14 July 2013 | |
| # By Michael Crosby | |
| # http://crosbymichael.com/dockerfile-best-practices.html | |
| # ack: | |
| # https://github.com/crosbymichael/docker-cookbooks/blob/master/django/Dockerfile | |
| FROM crosbymichael/django | |
| MAINTAINER Dan Connolly <[email protected]> |
dckc
/ jenkins_acct.yml
Created
October 17, 2013 23:13
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # Set up a jenkins account. | |
| # TODO: logging | |
| # See also ../ssh_mgmt/Makefile re ssh_known_hosts files. | |
| # https://bmi-work.kumc.edu/work/wiki/GroupOnly/HeronQA#ci | |
| # http://www.ansibleworks.com/docs/modules.html#user | |
| # TODO: parameterize remote_user or consider public key root login |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| > ansible-playbook -i inventory install_R.yml --ask-sudo-pass | |
| sudo password: | |
| ERROR: Syntax Error while loading YAML script, install_R.yml | |
| Note: The error may actually appear before this position: line 10, column 7 | |
| - shell: zypper lr devel:languages:R:patched | grep URI || | |
| zypper ar --type yum ${r_repo} devel:languages:R:patched |
dckc
/ gist:7963708
Last active
December 31, 2015 08:59
When elaborating constructor m373k.defn_pf:
Can't resolve type class Functor f
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| import Data.Vect.Quantifiers | |
| infixl 7 | -- lower than *, + | |
| data (|) : Nat -> Nat -> Type where | |
| defn_divides : {a, k: Nat} -> (a | a * k) | |
| data Prime: Nat -> Type where | |
| {- This is prime_divisors in Coq. -} | |
| {- It doesn't seem to exclude 1. That can't be on purpose, can it? -} |