aaronlelevier

-------------------------------- MODULE RTOP --------------------------------
CONSTANT P, R

VARIABLE ptor, rtop

vars == <<ptor, rtop>>

TypeOK  ==  /\ ptor \in [P -> SUBSET R]
            /\ rtop \in [R -> SUBSET P]

aaronlelevier

%%%-------------------------------------------------------------------
%%% @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).

aaronlelevier

def add1(x):
    return x+1

def double(x):
    return x+x

def square(x):
    return x*x

funs = [add1, double, square]

aaronlelevier

mkdir juptyer-practice
cd juptyer-practice

echo "create virtualenv step"
python3 -m venv venv

echo "activate virtualenv"
source venv/bin/activate

echo "install dependencies"

aaronlelevier

<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" />

aaronlelevier

Define a protocol for an IAM request, example

{
  request_type: assume-role,
  roles: [],
  assume_roles: []
}

aaronlelevier

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']

aaronlelevier

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

aaronlelevier

-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,

aaronlelevier

# coco_checker.py
from pathlib import Path

class LabeledData:

    @classmethod
    def images_numbered_sequentially(cls, filepath):
        """
        Returns a tuple (bool, list)