Skip to content

Commit 0e859bb

Browse files
sean-parentsean-parent
committed
Updating tooling
commiting so I can move development into wsl 2 container on windows.
1 parent 1ffa91f commit 0e859bb

File tree

93 files changed

+480307
-437267
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

93 files changed

+480307
-437267
lines changed

‎.gitmodules

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
1-
[submodule "docs/reveal.js"]
2-
path = docs/reveal.js
3-
url = https://github.com/sean-parent/reveal.js
41
[submodule "stlab/libraries"]
52
path = stlab/libraries
63
url = https://github.com/stlab/libraries
4+
[submodule "docs/reveal.js"]
5+
path = docs/reveal.js
6+
url = https://github.com/sean-parent/reveal.js.git

‎.ruby-version

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
2.6.6
1+
2.7.1

‎.vscode/settings.json

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
{
2+
"jupyter.jupyterServerType": "local"
3+
}

‎_jupyter/lab/@jupyterlab/shortcuts-extension/shortcuts.jupyterlab-settings

Lines changed: 19 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,19 @@
1+
{
2+
"shortcuts": [
3+
{
4+
"command": "runmenu:run-all",
5+
"keys": [
6+
"Ctrl R"
7+
],
8+
"selector": "[data-jp-code-runner]"
9+
},
10+
11+
{
12+
"command": "kernelmenu:restart-and-clear",
13+
"keys": [
14+
"Ctrl Alt R"
15+
],
16+
"selector": "[data-jp-code-runner]"
17+
}
18+
]
19+
}

‎_jupyter/lab/user-settings/@jupyterlab/extensionmanager-extension/plugin.jupyterlab-settings

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -4,6 +4,10 @@
44
// Extension manager settings.
55
// *********************************************
66

7+
// Disclaimed Status
8+
// Whether the user understand that extensions managed through this interface run arbitrary code that may be dangerous
9+
"disclaimed": true,
10+
711
// Enabled Status
812
// Enables extension manager (requires Node.js/npm).
913
// WARNING: installing untrusted extensions may be unsafe.

‎_jupyter/lab/user-settings/@jupyterlab/shortcuts-extension/shortcuts.jupyterlab-settings

Lines changed: 10 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,11 +1,19 @@
11
{
22
"shortcuts": [
3-
{
4-
"command": "runmenu:restart-and-run-all",
3+
{
4+
"command": "runmenu:run-all",
55
"keys": [
66
"Ctrl R"
77
],
88
"selector": "[data-jp-code-runner]"
9+
},
10+
11+
{
12+
"command": "kernelmenu:restart-and-clear",
13+
"keys": [
14+
"Ctrl Alt R"
15+
],
16+
"selector": "[data-jp-code-runner]"
917
}
1018
]
1119
}

‎better-code-class/00-introduction.ipynb

Lines changed: 31 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -4,6 +4,12 @@
44
"cell_type": "code",
55
"execution_count": 1,
66
"metadata": {
7+
"execution": {
8+
"iopub.execute_input": "2020-12-21T05:11:08.527488Z",
9+
"iopub.status.busy": "2020-12-21T05:11:08.526807Z",
10+
"iopub.status.idle": "2020-12-21T05:11:08.553320Z",
11+
"shell.execute_reply": "2020-12-21T05:11:08.552775Z"
12+
},
713
"slideshow": {
814
"slide_type": "skip"
915
}
@@ -68,6 +74,31 @@
6874
"- _Scalable_\n",
6975
" - With large data sets, but primarily on a single machine"
7076
]
77+
},
78+
{
79+
"cell_type": "markdown",
80+
"metadata": {
81+
"slideshow": {
82+
"slide_type": "slide"
83+
}
84+
},
85+
"source": [
86+
"## Course Outline\n",
87+
"\n",
88+
"- Introduction\n",
89+
"- Preface\n",
90+
"- Types\n",
91+
" - Goal: Write _complete_, _expressive_, and _efficient_ types\n",
92+
"- Algorithms\n",
93+
" - Goal: No _raw_ loops\n",
94+
"- Data Structures\n",
95+
" - Goal: No _incidental_ data structures\n",
96+
"- Concurrency\n",
97+
" - Goal: No _raw_ synchronization\n",
98+
"- Relationships\n",
99+
" - Goal: No contradictions\n",
100+
"- Epilogue"
101+
]
71102
}
72103
],
73104
"metadata": {

‎better-code-class/01-preliminaries.ipynb

Lines changed: 89 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -4,6 +4,12 @@
44
"cell_type": "code",
55
"execution_count": 1,
66
"metadata": {
7+
"execution": {
8+
"iopub.execute_input": "2020-12-21T05:11:10.573875Z",
9+
"iopub.status.busy": "2020-12-21T05:11:10.573388Z",
10+
"iopub.status.idle": "2020-12-21T05:11:10.598790Z",
11+
"shell.execute_reply": "2020-12-21T05:11:10.598226Z"
12+
},
713
"slideshow": {
814
"slide_type": "skip"
915
}
@@ -70,7 +76,7 @@
7076
}
7177
},
7278
"source": [
73-
"## Types\n",
79+
"# Types\n",
7480
"\n",
7581
"**Goal: Write _complete_, _expressive_, and _efficient_ types**"
7682
]
@@ -213,6 +219,12 @@
213219
"cell_type": "code",
214220
"execution_count": 2,
215221
"metadata": {
222+
"execution": {
223+
"iopub.execute_input": "2020-12-21T05:11:10.601635Z",
224+
"iopub.status.busy": "2020-12-21T05:11:10.601065Z",
225+
"iopub.status.idle": "2020-12-21T05:11:10.602171Z",
226+
"shell.execute_reply": "2020-12-21T05:11:10.602681Z"
227+
},
216228
"slideshow": {
217229
"slide_type": "fragment"
218230
}
@@ -230,6 +242,12 @@
230242
"cell_type": "code",
231243
"execution_count": 3,
232244
"metadata": {
245+
"execution": {
246+
"iopub.execute_input": "2020-12-21T05:11:10.604843Z",
247+
"iopub.status.busy": "2020-12-21T05:11:10.604340Z",
248+
"iopub.status.idle": "2020-12-21T05:11:10.605349Z",
249+
"shell.execute_reply": "2020-12-21T05:11:10.605858Z"
250+
},
233251
"slideshow": {
234252
"slide_type": "skip"
235253
}
@@ -254,6 +272,12 @@
254272
"cell_type": "code",
255273
"execution_count": 4,
256274
"metadata": {
275+
"execution": {
276+
"iopub.execute_input": "2020-12-21T05:11:10.608482Z",
277+
"iopub.status.busy": "2020-12-21T05:11:10.607805Z",
278+
"iopub.status.idle": "2020-12-21T05:11:10.608934Z",
279+
"shell.execute_reply": "2020-12-21T05:11:10.609372Z"
280+
},
257281
"slideshow": {
258282
"slide_type": "fragment"
259283
}
@@ -272,6 +296,12 @@
272296
"cell_type": "code",
273297
"execution_count": 5,
274298
"metadata": {
299+
"execution": {
300+
"iopub.execute_input": "2020-12-21T05:11:10.611754Z",
301+
"iopub.status.busy": "2020-12-21T05:11:10.611157Z",
302+
"iopub.status.idle": "2020-12-21T05:11:10.612301Z",
303+
"shell.execute_reply": "2020-12-21T05:11:10.613034Z"
304+
},
275305
"slideshow": {
276306
"slide_type": "skip"
277307
}
@@ -302,6 +332,12 @@
302332
"cell_type": "code",
303333
"execution_count": 6,
304334
"metadata": {
335+
"execution": {
336+
"iopub.execute_input": "2020-12-21T05:11:10.615597Z",
337+
"iopub.status.busy": "2020-12-21T05:11:10.614898Z",
338+
"iopub.status.idle": "2020-12-21T05:11:10.622006Z",
339+
"shell.execute_reply": "2020-12-21T05:11:10.621516Z"
340+
},
305341
"slideshow": {
306342
"slide_type": "slide"
307343
}
@@ -330,6 +366,12 @@
330366
"cell_type": "code",
331367
"execution_count": 7,
332368
"metadata": {
369+
"execution": {
370+
"iopub.execute_input": "2020-12-21T05:11:10.624068Z",
371+
"iopub.status.busy": "2020-12-21T05:11:10.623506Z",
372+
"iopub.status.idle": "2020-12-21T05:11:10.628252Z",
373+
"shell.execute_reply": "2020-12-21T05:11:10.627629Z"
374+
},
333375
"slideshow": {
334376
"slide_type": "skip"
335377
}
@@ -347,7 +389,7 @@
347389
}
348390
},
349391
"source": [
350-
"#### Semantics and Complexity\n",
392+
"### Semantics and Complexity\n",
351393
"\n",
352394
"- We associate semantics with operation names to ascribe meaning to software\n",
353395
" - Operations with the same semantics should have the same name\n",
@@ -470,6 +512,12 @@
470512
"cell_type": "code",
471513
"execution_count": 8,
472514
"metadata": {
515+
"execution": {
516+
"iopub.execute_input": "2020-12-21T05:11:10.631050Z",
517+
"iopub.status.busy": "2020-12-21T05:11:10.630484Z",
518+
"iopub.status.idle": "2020-12-21T05:11:10.631537Z",
519+
"shell.execute_reply": "2020-12-21T05:11:10.631967Z"
520+
},
473521
"slideshow": {
474522
"slide_type": "fragment"
475523
}
@@ -487,6 +535,12 @@
487535
"cell_type": "code",
488536
"execution_count": 9,
489537
"metadata": {
538+
"execution": {
539+
"iopub.execute_input": "2020-12-21T05:11:10.634147Z",
540+
"iopub.status.busy": "2020-12-21T05:11:10.633666Z",
541+
"iopub.status.idle": "2020-12-21T05:11:10.634620Z",
542+
"shell.execute_reply": "2020-12-21T05:11:10.635048Z"
543+
},
490544
"slideshow": {
491545
"slide_type": "skip"
492546
}
@@ -557,6 +611,12 @@
557611
"cell_type": "code",
558612
"execution_count": 10,
559613
"metadata": {
614+
"execution": {
615+
"iopub.execute_input": "2020-12-21T05:11:10.637538Z",
616+
"iopub.status.busy": "2020-12-21T05:11:10.636934Z",
617+
"iopub.status.idle": "2020-12-21T05:11:10.638070Z",
618+
"shell.execute_reply": "2020-12-21T05:11:10.638603Z"
619+
},
560620
"slideshow": {
561621
"slide_type": "fragment"
562622
}
@@ -585,6 +645,12 @@
585645
"cell_type": "code",
586646
"execution_count": 11,
587647
"metadata": {
648+
"execution": {
649+
"iopub.execute_input": "2020-12-21T05:11:10.640875Z",
650+
"iopub.status.busy": "2020-12-21T05:11:10.640274Z",
651+
"iopub.status.idle": "2020-12-21T05:11:10.642951Z",
652+
"shell.execute_reply": "2020-12-21T05:11:10.642426Z"
653+
},
588654
"slideshow": {
589655
"slide_type": "slide"
590656
}
@@ -619,7 +685,14 @@
619685
{
620686
"cell_type": "code",
621687
"execution_count": 12,
622-
"metadata": {},
688+
"metadata": {
689+
"execution": {
690+
"iopub.execute_input": "2020-12-21T05:11:10.644906Z",
691+
"iopub.status.busy": "2020-12-21T05:11:10.644476Z",
692+
"iopub.status.idle": "2020-12-21T05:11:10.645318Z",
693+
"shell.execute_reply": "2020-12-21T05:11:10.645790Z"
694+
}
695+
},
623696
"outputs": [],
624697
"source": [
625698
".undo 2"
@@ -695,6 +768,12 @@
695768
"cell_type": "code",
696769
"execution_count": 13,
697770
"metadata": {
771+
"execution": {
772+
"iopub.execute_input": "2020-12-21T05:11:10.648819Z",
773+
"iopub.status.busy": "2020-12-21T05:11:10.648166Z",
774+
"iopub.status.idle": "2020-12-21T05:11:10.649236Z",
775+
"shell.execute_reply": "2020-12-21T05:11:10.650165Z"
776+
},
698777
"slideshow": {
699778
"slide_type": "slide"
700779
}
@@ -724,6 +803,12 @@
724803
"cell_type": "code",
725804
"execution_count": 14,
726805
"metadata": {
806+
"execution": {
807+
"iopub.execute_input": "2020-12-21T05:11:10.652932Z",
808+
"iopub.status.busy": "2020-12-21T05:11:10.652209Z",
809+
"iopub.status.idle": "2020-12-21T05:11:10.655236Z",
810+
"shell.execute_reply": "2020-12-21T05:11:10.654588Z"
811+
},
727812
"slideshow": {
728813
"slide_type": "slide"
729814
}
@@ -820,6 +905,7 @@
820905
"toc_section_display": "block",
821906
"toc_window_display": true
822907
},
908+
"toc-autonumbering": false,
823909
"toc-showcode": false,
824910
"toc-showmarkdowntxt": false,
825911
"toc-showtags": true

0 commit comments

Comments
 (0)