Define a protocol for an IAM request, example
{
request_type: assume-role,
roles: [],
assume_roles: []
}
-------------------------------- MODULE RTOP -------------------------------- | |
CONSTANT P, R | |
VARIABLE ptor, rtop | |
vars == <<ptor, rtop>> | |
TypeOK == /\ ptor \in [P -> SUBSET R] | |
/\ rtop \in [R -> SUBSET P] |
%%%------------------------------------------------------------------- | |
%%% @author Aaron Lelevier | |
%%% @doc Practice with Lists in Erlang. It's been about a week since coding up some Erlang | |
%%% These functions are all in the [lists](http://erlang.org/doc/man/lists.html) module | |
%%% @end | |
%%% Created : 27. Sep 2020 2:26 PM | |
%%%------------------------------------------------------------------- | |
-module(practice). | |
-author("Aaron Lelevier"). | |
-vsn(1.0). |
def add1(x): | |
return x+1 | |
def double(x): | |
return x+x | |
def square(x): | |
return x*x | |
funs = [add1, double, square] |
mkdir juptyer-practice | |
cd juptyer-practice | |
echo "create virtualenv step" | |
python3 -m venv venv | |
echo "activate virtualenv" | |
source venv/bin/activate | |
echo "install dependencies" |
<keymap version="1" name="Mac OS X 10.5+ copy" parent="Mac OS X 10.5+"> | |
<action id="ChangesView.Diff" /> | |
<action id="ChangesView.GroupBy.Directory" /> | |
<action id="CompareTwoFiles" /> | |
<action id="Diff.ShowDiff" /> | |
<action id="EditorDuplicate" /> | |
<action id="FileChooser.GotoDesktop" /> | |
<action id="FileChooser.TogglePathShowing" /> | |
<action id="FileStructurePopup"> | |
<keyboard-shortcut first-keystroke="meta f12" /> |
Define a protocol for an IAM request, example
{
request_type: assume-role,
roles: [],
assume_roles: []
}
{ | |
"binary_file_patterns": | |
[ | |
"*min.js", | |
"*.debug.js", | |
"*prod.js", | |
"*.dex", | |
"*.zip", | |
"*.bin", | |
".coverage", |
Python 2.7.16 (v2.7.16:413a49145e, Mar 2 2019, 14:32:10) | |
[GCC 4.2.1 Compatible Apple LLVM 6.0 (clang-600.0.57)] on darwin | |
Type "help", "copyright", "credits" or "license" for more information. | |
>>> # let's do this the same way. It has to be command line. If it were in Jupyter notebook, then that just wouldn't be fair. Right?! | |
... | |
>>> d = {'foo': 1, 'bar': 2} | |
>>> # what are they keys | |
... | |
>>> d.keys() | |
['foo', 'bar'] |
Erlang/OTP 20 [erts-9.2.1] [source] [64-bit] [smp:4:4] [ds:4:4:10] [async-threads:10] [hipe] [kernel-poll:false] [dtrace] | |
Eshell V9.2.1 (abort with ^G) | |
1> bob. | |
bob | |
2> % ok let's go. | |
2> ab. | |
ab | |
3> bob. | |
bob |
-module(complete_a_task). | |
-author("Aaron Lelevier"). | |
-export([ | |
%% prod | |
completion_date/2, | |
add_days/2, | |
total_weeks_to_complete/1, | |
total_days_to_complete/1, | |
work_days_to_complete/1, |