2021-07-18 09:35:42 -04:00 
										
									 
								 
							 
							
								
							 
							
								 
							 
							
							
								< head > 
							 
						 
					
						
							
								
									
										
										
										
											2022-05-01 22:06:33 -07:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								  <!--  Meta tags  --> 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								  < meta  charset = "UTF-8"  / > 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								  < meta 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    name="description"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    content="{{if .IsHome}}{{$.Site.Data.config.description}}{{else}}{{.Summary}}{{end}}"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								  />
							 
						 
					
						
							
								
									
										
										
										
											2022-05-27 18:45:42 -07:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								  < title > 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    {{ if .Title }}{{ .Title }}{{ else }}{{ $.Site.Data.config.page_title }}{{
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    end }}
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								  < / title > 
							 
						 
					
						
							
								
									
										
										
										
											2022-05-01 22:06:33 -07:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								  < meta  name = "viewport"  content = "width=device-width, initial-scale=1"  / > 
							 
						 
					
						
							
								
									
										
										
										
											2022-06-27 22:04:32 +02:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								  <!--  HTML Favicon  --> 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								  {{ $favicon := $.Site.Data.config.favicon | default (slice (dict "rel" "shortcut icon" "type" "image/png" "href" "icon.png")) }}
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								  {{ $type := (printf "%T" $favicon) }}
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								  {{ if eq $type "string" }}
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								  {{ $favicon | safeHTML }}
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								  {{ else }}
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								  {{ range $favicon }}
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								  < link  rel = "{{.rel}}"  { { if  . type } } type = "{{.type}}" { { end } }  { { if  . sizes } } sizes = "{{.sizes}}" { { end } }  href = "{{$.Site.BaseURL}}{{.href}}"  / > 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								  {{- end }}
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								  {{ end }}
							 
						 
					
						
							
								
									
										
										
										
											2021-07-18 09:35:42 -04:00 
										
									 
								 
							 
							
								
							 
							
								 
							 
							
							
								
							 
						 
					
						
							
								
									
										
										
										
											2022-05-01 22:06:33 -07:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								  <!--  CSS Stylesheets and Fonts  --> 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								  < link 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    href="https://fonts.googleapis.com/css2?family=Inter:wght@400;600;700&family=Source+Sans+Pro:wght@400; 600;700&family=Fira+Code:wght@400; 700& display=swap"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    rel="stylesheet"
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								  />
							 
						 
					
						
							
								
									
										
										
										
											2022-05-27 18:45:42 -07:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								  {{$sass := resources.Match "styles/[!_]*.scss" }}
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								  {{$css := slice }}
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								  {{range $sass}}
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								  {{$scss := . | resources.ToCSS (dict "outputStyle" "compressed") }}
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								  {{$css = $css | append $scss}}
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								  {{end}}
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								  {{$finalCss := $css | resources.Concat "styles.css" | resources.Fingerprint "md5" | resources.Minify  }}
							 
						 
					
						
							
								
									
										
										
										
											2022-05-01 22:06:33 -07:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								  < link  href = "{{$finalCss.Permalink}}"  rel = "stylesheet"  / > 
							 
						 
					
						
							
								
									
										
										
										
											2021-08-13 22:46:00 +02:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								
							 
						 
					
						
							
								
									
										
										
										
											2022-05-27 18:42:01 -07:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								  {{ $darkMode := resources.Get "js/darkmode.js" | resources.Fingerprint "md5" | resources.Minify }}
							 
						 
					
						
							
								
									
										
										
										
											2022-05-01 22:06:33 -07:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								  < script  src = "{{$darkMode.Permalink}}" > < / script > 
							 
						 
					
						
							
								
									
										
										
										
											2022-05-27 18:45:42 -07:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								  {{partial "katex.html" .}}
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								  {{ $popover := resources.Get "js/popover.js" | resources.Fingerprint "md5" |
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								  resources.Minify }}
							 
						 
					
						
							
								
									
										
										
										
											2022-05-03 08:47:42 -07:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								  < script  src = "{{$popover.Permalink}}" > < / script > 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								
							 
						 
					
						
							
								
									
										
										
										
											2022-05-01 22:06:33 -07:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								  <!--   Preload page vars   --> 
							 
						 
					
						
							
								
									
										
										
										
											2022-05-27 18:45:42 -07:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								  {{$linkIndex := resources.Get "indices/linkIndex.json" | resources.Fingerprint
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								  "md5" | resources.Minify | }} {{$contentIndex := resources.Get
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								  "indices/contentIndex.json" | resources.Fingerprint "md5" | resources.Minify
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								  }}
							 
						 
					
						
							
								
									
										
										
										
											2022-05-01 22:06:33 -07:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								  < script > 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    const BASE_URL = {{.Site.BaseURL}}
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    const fetchData = Promise.all([
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								          fetch("{{ $linkIndex.Permalink }}")
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								            .then(data => data.json())
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								            .then(data => ({
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								              index: data.index,
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								              links: data.links,
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								            })),
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								          fetch("{{ $contentIndex.Permalink }}")
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								            .then(data => data.json()),
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								        ])
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								        .then(([{index, links}, content]) => ({
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								          index,
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								          links,
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								          content,
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								        }))
							 
						 
					
						
							
								
									
										
										
										
											2022-05-20 16:50:56 -04:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								
							 
						 
					
						
							
								
									
										
										
										
											2022-06-06 12:56:47 +01:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								      const render = () => {
							 
						 
					
						
							
								
									
										
										
										
											2022-05-29 20:40:44 -07:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								      // NOTE: everything within this callback will be executed for every page navigation. This is a good place to put JavaScript that loads or modifies data on the page, adds event listeners, etc. If you are only dealing with basic DOM replacement, use the init function
							 
						 
					
						
							
								
									
										
										
										
											2022-06-01 13:49:27 +01:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								      const siteBaseURL = new URL({{$.Site.BaseURL}});
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								      const pathBase = siteBaseURL.pathname;
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								      const pathWindow = window.location.pathname;
							 
						 
					
						
							
								
									
										
										
										
											2022-06-02 07:49:09 +01:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								      const isHome = pathBase == pathWindow;
							 
						 
					
						
							
								
									
										
										
										
											2022-06-01 13:49:27 +01:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								
							 
						 
					
						
							
								
									
										
										
										
											2022-05-28 22:52:18 -07:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								      {{if $.Site.Data.config.enableFooter}}
							 
						 
					
						
							
								
									
										
										
										
											2022-05-03 10:16:09 -07:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								      const container = document.getElementById("graph-container")
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								      // retry if the graph is not ready
							 
						 
					
						
							
								
									
										
										
										
											2022-05-29 20:40:44 -07:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								      if (!container) return requestAnimationFrame(render)
							 
						 
					
						
							
								
									
										
										
										
											2022-05-03 10:16:09 -07:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								      // clear the graph in case there is anything within it
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								      container.textContent = ""
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								
							 
						 
					
						
							
								
									
										
										
										
											2022-06-06 16:42:53 +01:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								      const drawGlobal = isHome & &  {{$.Site.Data.graphConfig.enableGlobalGraph}};
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								      drawGraph(
							 
						 
					
						
							
								
									
										
										
										
											2022-06-01 13:49:27 +01:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								          {{strings.TrimRight "/" .Site.BaseURL}},
							 
						 
					
						
							
								
									
										
										
										
											2022-06-06 16:42:53 +01:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								          drawGlobal,
							 
						 
					
						
							
								
									
										
										
										
											2022-06-02 08:16:02 +01:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								          {{$.Site.Data.graphConfig.paths}},
							 
						 
					
						
							
								
									
										
										
										
											2022-06-06 16:42:53 +01:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								          drawGlobal ? {{$.Site.Data.graphConfig.globalGraph}} : {{$.Site.Data.graphConfig.localGraph}}
							 
						 
					
						
							
								
									
										
										
										
											2022-06-01 13:49:27 +01:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								        );
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								
							 
						 
					
						
							
								
									
										
										
										
											2022-05-28 22:52:18 -07:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								      {{end}}
							 
						 
					
						
							
								
									
										
										
										
											2022-05-29 20:40:44 -07:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								
							 
						 
					
						
							
								
									
										
										
										
											2022-05-03 08:47:42 -07:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								      {{if $.Site.Data.config.enableLinkPreview}}
							 
						 
					
						
							
								
									
										
										
										
											2022-05-05 20:30:55 -04:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								      initPopover(
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								        {{strings.TrimRight "/" .Site.BaseURL }},
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								        {{$.Site.Data.config.enableContextualBacklinks}},
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								        {{$.Site.Data.config.enableLatex}}
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								      )
							 
						 
					
						
							
								
									
										
										
										
											2022-05-03 08:47:42 -07:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								      {{end}}
							 
						 
					
						
							
								
									
										
										
										
											2022-05-29 20:40:44 -07:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								    }
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    const init = (doc = document) => {
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								      // NOTE: everything within this callback will be executed for initial page navigation. This is a good place to put JavaScript that only replaces DOM nodes.
							 
						 
					
						
							
								
									
										
										
										
											2022-05-04 08:10:59 -07:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								      {{if $.Site.Data.config.enableLatex}}
							 
						 
					
						
							
								
									
										
										
										
											2022-05-29 20:40:44 -07:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								      renderMathInElement(doc.body, {
							 
						 
					
						
							
								
									
										
										
										
											2022-05-05 01:03:09 -04:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								        delimiters: [
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								          {left: '$$', right: '$$', display: true},
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								          {left: '$', right: '$', display: false},
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								        ],
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								        throwOnError : false
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								      });
							 
						 
					
						
							
								
									
										
										
										
											2022-05-04 08:10:59 -07:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								      {{end}}
							 
						 
					
						
							
								
									
										
										
										
											2022-05-01 22:06:33 -07:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								    };
							 
						 
					
						
							
								
									
										
										
										
											2022-05-20 16:50:56 -04:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								  < / script > 
							 
						 
					
						
							
								
									
										
										
										
											2022-05-27 18:45:42 -07:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								  {{if $.Site.Data.config.enableSPA}}
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								  {{ $router := resources.Get "js/router.js" | resources.Fingerprint "md5" |
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								  resources.Minify }}
							 
						 
					
						
							
								
									
										
										
										
											2022-05-20 16:50:56 -04:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								  < script  type = "module" > 
							 
						 
					
						
							
								
									
										
										
										
											2022-05-27 18:42:01 -07:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								    import { attachSPARouting } from "{{$router.Permalink}}"
							 
						 
					
						
							
								
									
										
										
										
											2022-05-29 20:40:44 -07:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								    attachSPARouting(init, render)
							 
						 
					
						
							
								
									
										
										
										
											2022-05-01 22:06:33 -07:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								  < / script > 
							 
						 
					
						
							
								
									
										
										
										
											2022-05-03 10:43:22 -04:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								  {{else}}
							 
						 
					
						
							
								
									
										
										
										
											2022-05-20 16:50:56 -04:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								  < script > 
							 
						 
					
						
							
								
									
										
										
										
											2022-05-27 18:42:01 -07:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								    window.Million = {
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								      navigate: (url) => (window.location.href = url),
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								      prefetch: () => {},
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    }
							 
						 
					
						
							
								
									
										
										
										
											2022-05-29 20:40:44 -07:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								    init()
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
							
								    render()
							 
						 
					
						
							
								
									
										
										
										
											2022-05-20 16:50:56 -04:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								  < / script > 
							 
						 
					
						
							
								
									
										
										
										
											2022-05-03 10:43:22 -04:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								  {{end}}
							 
						 
					
						
							
								
									
										
										
										
											2021-07-18 15:19:58 -04:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								< / head > 
							 
						 
					
						
							
								
									
										
										
										
											2021-08-13 22:46:00 +02:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
							
								{{ template "_internal/google_analytics.html" . }}