Update theme (and fix a bunch of issues).

.gitignore

@@ -1 +1,2 @@
 /public
+/resources

Makefile

@@ -0,0 +1,64 @@
+.PHONY: all build assets static upload serv clean nuke
+.SECONDARY:
+
+HUGO := hugo --gc
+#KATEX_VERSION := 0.10.2
+URL_MATERIALIZE_ZIP := https://github.com/Dogfalo/materialize/releases/download/1.0.0/materialize-src-v1.0.0.zip
+URL_MATERIALICONS_CSS := https://fonts.googleapis.com/icon?family=Material+Icons
+URL_LUNR_JS := https://unpkg.com/lunr/lunr.min.js
+#URL_KATEX := https://cdn.jsdelivr.net/npm/katex@$(KATEX_VERSION)
+#URL_KATEX_CSS := $(URL_KATEX)/dist/katex.min.css
+#URL_KATEX_JS := $(URL_KATEX)/dist/katex.min.js
+#URL_KATEX_AUTO_RENDER_JS := $(URL_KATEX)/dist/contrib/auto-render.min.js
+ASSETS := assets/vendor/materialize-src assets/vendor/material-icons.css
+#assets/katex.min.css assets/katex.min.js assets/katex-auto-render.min.js
+STATIC := static/vendor/lunr.min.js
+
+all: clean build upload
+
+build: assets static
+	$(HUGO)
+
+assets: $(ASSETS)
+
+static: $(STATIC)
+
+upload:
+	echo "Upload not implemented"
+
+assets/vendor/materialize-src: static/vendor/materialize.zip
+	mkdir -p $(dir $@)
+	unzip $< -d $(dir $@)
+
+static/vendor/materialize.zip:
+	mkdir -p $(dir $@)
+	wget -O $@ $(URL_MATERIALIZE_ZIP)
+
+assets/vendor/material-icons.css:
+	mkdir -p $(dir $@)
+	wget -O $@ $(URL_MATERIALICONS_CSS)
+
+static/vendor/lunr.min.js:
+	mkdir -p $(dir $@)
+	wget -O $@ $(URL_LUNR_JS)
+
+#assets/katex.min.css:
+	#mkdir -p $(dir $@)
+	#wget -O $@ $(URL_KATEX_CSS)
+
+#assets/katex.min.js:
+	#mkdir -p $(dir $@)
+	#wget -O $@ $(URL_KATEX_JS)
+
+#assets/katex-auto-render.min.js:
+	#mkdir -p $(dir $@)
+	#wget -O $@ $(URL_KATEX_AUTO_RENDER_JS)
+
+serv: clean assets static
+	$(HUGO) server
+
+clean:
+	rm -rf resources public
+
+nuke: clean
+	rm -rf $(ASSETS) $(STATIC)

assets/.gitignore

@@ -0,0 +1 @@
+/vendor

assets/sass/main.scss

@@ -0,0 +1,94 @@
+$primary-color: #1d4e9e;
+$secondary-color: #a6b8e4;
+
+@import "assets/vendor/materialize-src/sass/components/color-variables";
+@import "assets/vendor/materialize-src/sass/components/color-classes";
+
+$button-color: color("orange", "lighten-3");
+$button-background-focus: lighten($button-color, 4%);
+$button-raised-background: $button-color;
+$button-floating-background: $button-color;
+
+@import "assets/vendor/materialize-src/sass/materialize.scss";
+
+h4, span.card-subtitle {
+	color: color("grey", "base");
+}
+
+nav.breadcrumbs {
+	background: $secondary-color;
+}
+
+ul.pagination > li.active {
+	background: $secondary-color;
+}
+
+ul.collection > li.collection-item > div > a {
+	display: inline-block;
+	max-width: 90%;
+}
+
+div.navbar-fixed > nav .input-field {
+  position: absolute;
+}
+
+#search {
+
+  //position: absolute;
+  //transition: width 0.5s ease, color 0.5s ease, background-color 0.5s ease;
+
+  &:focus:not([readonly]) {
+    //width: 100%;
+  }
+
+}
+
+div.container {
+  opacity: 1;
+  transition: opacity 0.5s;
+  body.searching > & {
+    opacity: 0.1;
+  }
+}
+
+nav.searchbar {
+  background-color: $button-color;
+  //transition: height 0.5s ease, color 0.5s ease;
+  body:not(.searched-at-least-once) & {
+    height: 0;
+    overflow: hidden;
+  }
+}
+
+#search-results {
+  opacity: 1;
+  z-index: 1;
+  position: absolute;
+  width: 100%;
+  transition: visibility 0, opacity 0.5s;
+  body:not(.searching) & {
+    visibility:hidden;
+    opacity: 0;
+  }
+
+  & > div.collection > a.collection-item {
+    color: #222;
+
+    &.avatar > p {
+      margin-right: 30px;
+    }
+  }
+}
+
+#search-button {
+  opacity: 1;
+  position: fixed;
+  bottom: 2em;
+  right: 2em;
+  transition: visibility 0, opacity 0.5s;
+  body:not(.searching-initialized) & {
+    visibility: hidden;
+    opacity: 0;
+  }
+}
+

config.yml

@@ -1,3 +1,59 @@
-baseurl: https://aureooms.github.io/math/
+baseurl: https://math.blog.aurelienooms.be/
 theme: prove
-title: Aurélien's math blog
+title: Aurélien's Math Notebook
+buildFuture: true
+
+permalinks:
+  today: /:year/:month/:day/:title
+  past: /:year/:month/:day/:title
+  upcoming: /:year/:month/:day/:title
+
+taxonomies:
+  tag: tags
+  author: authors
+
+outputs:
+  home:
+    - HTML
+    - RSS
+    - Calendar
+    - JSON
+  section:
+    - HTML
+    - RSS
+    - Calendar
+  page:
+    - HTML
+    - Calendar
+  taxonomy:
+    - HTML
+    - RSS
+    - Calendar
+  taxonomyTerm:
+    - HTML
+
+params:
+  logo:
+    src: https://cdn.jsdelivr.net/gh/aureooms-ulb/logo/files/ulb-logo-blue-square.svg
+    alt: ULB
+  organizer: 'CN="Aurélien Ooms":mailto:info@math.blog.aurelienooms.be'
+  hostname: math.blog.aurelienooms.be
+  editURL: https://github.com/aureooms/math
+  nav:
+    sections:
+      - today
+      - upcoming
+      - past
+    taxonomies:
+      - tags
+      - authors
+  calendar:
+    tzid: Europe/Brussels
+    status:
+      - CONFIRMED # Indicates event is definite.
+      - TENTATIVE # Indicates event is tentative.
+      - CANCELLED # Indicates event was cancelled.
+    classification:
+      - PUBLIC
+      - PRIVATE
+      - CONFIDENTIAL

content/authors/aurélien-ooms/_index.md

@@ -0,0 +1,6 @@
+---
+title: "Aurélien Ooms"
+homepage: "https://aurelienooms.be"
+thumbnail:
+  src: https://ipfs.io/ipfs/QmaLqjQxyBfDfu23Vm2rW9sNpsnsVSToBmAsmgSAzwSqnm
+---

content/post/2015-06-19-gaussian-elimination.mmark → content/past/2015-06-19-gaussian-elimination.mmark

@@ -2,6 +2,13 @@
 date: 2015-06-19T00:00:00Z
 title: Gaussian elimination
 url: /2015/06/19/gaussian-elimination/
+thumbnail:
+  src: https://ipfs.io/ipfs/QmYaWTZLBGucEgA1uftuUby1DTmBA4zsPo8jCSYSTqJ9Jk
+tags:
+  - Algorithms
+  - Linear Algebra
+authors:
+  - Aurélien Ooms
 ---
 
 [Python implementation](https://cocalc.com/projects/1b2a688b-0ee8-41b1-be25-2f6a95c36c76/files/Gaussian%20elimination.sagews).

content/post/2015-06-23-complex-division.mmark → content/past/2015-06-23-complex-division.mmark

@@ -2,9 +2,18 @@
 date: 2015-06-23T00:00:00Z
 title: Complex numbers division
 url: /2015/06/23/complex-division/
+thumbnail:
+  src: https://ipfs.io/ipfs/Qmd7X75zoQ7fn7QDp6TYkQjRdjazvHDJa1mdgq2YiZY1qJ
+tags:
+  - Numbers
 ---
 
 $$
-\frac{a+bi}{c+di} = \frac{a+bi}{c+di} \frac{c-di}{c-di} = \frac{ac+bd}{c^2+d^2}+\frac{bc-ad}{c^2+d^2}i
+\frac{a+bi}{c+di} = \ldots
 $$
+
 <!--more-->
+
+$$
+\frac{a+bi}{c+di} = \frac{a+bi}{c+di} \frac{c-di}{c-di} = \frac{ac+bd}{c^2+d^2}+\frac{bc-ad}{c^2+d^2}i
+$$

content/post/2015-06-24-binomial-coefficient-tricks.mmark → content/past/2015-06-24-binomial-coefficient-tricks.mmark

@@ -1,7 +1,15 @@
 ---
-date: 2015-06-24T00:00:00Z
+date: 2015-06-24T00:00:00+02:00
 title: Binomial coefficient tricks
-url: /2015/06/24/binomial-coefficient-tricks/
+thumbnail:
+  src: https://ipfs.io/ipfs/QmQeJRjHamrvs9a7R1zrsJUTTDWsv6BBW79GQm2Yc6Z8gT
+tags:
+  - Identities
+duration: PT30M
+status: TENTATIVE
+categories:
+  - POST
+  - TEST
 ---
 
 $$

content/post/2015-06-29-fibonacci.mmark → content/past/2015-06-29-fibonacci.mmark

@@ -2,6 +2,11 @@
 date: 2015-06-29T00:00:00Z
 title: Fibonacci numbers
 url: /2015/06/29/fibonacci/
+thumbnail:
+  src: https://ipfs.io/ipfs/QmZ45td48HxWKnBGLLMCLwyd7qUmLV6yNcU914nxLMZuTW
+tags:
+  - Numbers
+  - Recurrences
 ---
 
 The Fibonacci numbers are defined as $$f_0 = 0,\ f_1 = 1$$ and, for $$i \ge

content/post/2015-06-29-inverse-sum.mmark → content/past/2015-06-29-inverse-sum.mmark

@@ -2,6 +2,12 @@
 date: 2015-06-29T00:00:00Z
 title: Inverse sum equations
 url: /2015/06/29/inverse-sum/
+thumbnail:
+  src: https://ipfs.io/ipfs/QmNnXTqBHeNReAhAE9svPrr5bcXqerc71qb9LJYUhF99h9
+tags:
+  - Brute Force
+  - Algorithms
+  - Systems of Inequalities
 ---
 
 We are given $$k > 0 \in \mathbb{R}$$ and $$a_1, a_2, \ldots, a_n \ge 1 \in \mathbb{N}$$ such that

content/post/2015-07-31-probabilistic-primality-testing.mmark → content/past/2015-07-31-probabilistic-primality-testing.mmark

@@ -2,6 +2,11 @@
 date: 2015-07-31T00:00:00Z
 title: Probabilistic primality testing
 url: /2015/07/31/probabilistic-primality-testing/
+thumbnail:
+  src: https://ipfs.io/ipfs/QmPQSrNd3tqzbesJWXzkswVqY3G8NzEmFMoCq6nkBYjDbM
+tags:
+  - Algorithms
+  - Prime Numbers
 ---
 
 [Sage implementation](https://cocalc.com/projects/49ff84e6-2108-4af7-8b75-1f17996aa5a0/files/PRIMALITY.sagews).

content/post/2015-11-08-symbols.mmark → content/past/2015-11-08-symbols.mmark

@@ -2,6 +2,12 @@
 date: 2015-11-08T00:00:00Z
 title: Symbols
 url: /2015/11/08/symbols/
+thumbnail:
+  src: https://ipfs.io/ipfs/QmcuGk8P95Rom4bQgmSqXFswvQ8M2n1ETDaBEsGbTdS1kx
+  caption: Mmmh
+tags:
+  - Notation
+  - Numbers
 ---
 
 $$

content/post/2016-01-15-polyhedral-sets.mmark → content/past/2016-01-15-polyhedral-sets.mmark

@@ -2,6 +2,11 @@
 date: 2016-01-15T00:00:00Z
 title: Polyhedral sets
 url: /2016/01/15/polyhedral-sets/
+thumbnail:
+  src: https://ipfs.io/ipfs/QmSu4S43YGRZr16TrnNtZA3UxEoEpvSpYLEZiBjkiCn7Gg
+tags:
+  - Geometry
+  - Definitions
 ---
 
 A *polyhedral set* in $$\mathbb{R}^d$$ is the intersection of a finite

content/post/2016-01-17-d-hyperplanes-intersection-bounds.mmark → content/past/2016-01-17-d-hyperplanes-intersection-bounds.mmark

@@ -1,7 +1,12 @@
 ---
-date: 2016-01-17T00:00:00Z
+date: 2016-01-17T00:00:00+01:00
 title: <span class="math">\(d\)</span> hyperplanes intersection bounds
-url: /2016/01/17/d-hyperplanes-intersection-bounds/
+url: /2016/01/17/d-hyperplanes-intersection-bounds
+thumbnail:
+  src: https://ipfs.io/ipfs/QmPAdhtD5ojLZP69nVe9EbHgAhon7BDnQbxic9nGSBk5cv
+tags:
+  - Geometry
+  - Linear Algebra
 ---
 
 We bound the position of the $$0$$-cells of an arrangement of hyperplanes in

content/post/2016-04-12-vc-dimension.mmark → content/past/2016-04-12-vc-dimension.mmark

@@ -2,8 +2,17 @@
 date: 2016-04-12T00:00:00Z
 title: VC-dimension
 url: /2016/04/12/vc-dimension/
+thumbnail:
+  src: https://ipfs.io/ipfs/QmZpYeMXHBqCC1m8NtDJh82DQS8Q5YDLMPAsW3e4ZJtXTz
+tags:
+  - Geometry
+  - VC-dimension
+  - epsilon-nets
 ---
 
+Definitions of VC-dimesion and $$\varepsilon$$-nets.
+<!--more-->
+
 ## Definition 1 (Espilon net)
 Let $$X$$ be a set, let $$\mu$$ be a probability measure on $$X$$, let
 $$\mathcal{F}$$ be a system of $$\mu$$-measurable subsets of $$X$$, and let
@@ -12,7 +21,6 @@ called an $$\varepsilon$$-net for $$(X,\mathcal{F})$$ with respect to
 $$\mu$$ if $$N \cap S \neq \emptyset$$ for all $$S \in \mathcal{F}$$ with
 $$\mu(S) \ge \varepsilon$$.
 
-<!--more-->
 ## Definition 2 (Trace of $$\mathcal{F}$$ on $$Y$$)
 Let $$\mathcal{F}$$ be a set system on $$X$$ and let $$Y \subseteq X$$. We define the
 restriction of $$\mathcal{F}$$ on $$Y$$ (also called the *trace* of
@@ -25,7 +33,7 @@ $$
 
 ## Definition 3 (VC-dimension)
 Let $$\mathcal{F}$$ be a set system on a set $$X$$. Let us say that a subset $$A
-\subseteq X$$ is shttered by $$\mathcal{F}$$ if each of the subsets of $$A$$ can
+\subseteq X$$ is shattered by $$\mathcal{F}$$ if each of the subsets of $$A$$ can
 be obtained as the intersection of some $$S \in \mathcal{F}$$ with $$A$$, i.e.,
 if $$\mathcal{F}|_A = 2^{A}$$. We define the VC-dimension of
 $$\mathcal{F}$$, denoted