Optimize page load

Author: armanbilge

build.scala

@@ -3,6 +3,7 @@
 //> using dep com.monovore::decline-effect::2.6.0
 //> using dep org.graalvm.js:js:25.0.2
 //> using dep org.webjars.npm:katex:0.16.28
+//> using dep org.webjars.npm:fortawesome__fontawesome-free:7.1.0
 //> using dep pink.cozydev::protosearch-laika:0.0-fdae301-SNAPSHOT
 //> using repository https://central.sonatype.com/repository/maven-snapshots
 //> using option -deprecation
@@ -11,6 +12,7 @@ import cats.effect.*
 import cats.syntax.all.*
 import com.monovore.decline.Opts
 import com.monovore.decline.effect.CommandIOApp
+import java.io.FileNotFoundException
 
 // Welcome to the typelevel.org build script!
 // This script builds the site and can serve it locally for previewing.
@@ -116,7 +118,9 @@ object LaikaBuild {
       LaikaCustomizations.Directives,
       LaikaCustomizations.RssExtensions
     )
-    .withConfigValue(LinkValidation.Global(excluded = Seq(Path.Root / "blog" / "feed.rss")))
+    .withConfigValue(
+      LinkValidation.Global(excluded = Seq(Path.Root / "blog" / "feed.rss"))
+    )
     .withConfigValue(LaikaKeys.siteBaseURL, "https://typelevel.org/")
     .parallel[IO]
     .withTheme(theme)
@@ -180,7 +184,7 @@ object LaikaCustomizations {
     val link = h.options.id.map { id =>
       SpanLink
         .internal(RelativePath.CurrentDocument(id))(
-          Literal("", Styles("fas", "fa-link", "fa-sm"))
+          RawContent(NonEmptySet.of("html"), Icons("fa-link"))
         )
         .withOptions(
           Styles("anchor-link")
@@ -248,6 +252,14 @@ object LaikaCustomizations {
             .leftMap(_.message)
             .map(TemplateSpanSequence(_))
         }
+      },
+      TemplateDirectives.create("svg") {
+        import TemplateDirectives.dsl.*
+        attribute(0).as[String].map { icon =>
+          TemplateElement(
+            RawContent(NonEmptySet.of("html", "rss"), Icons(icon))
+          )
+        }
       }
     )
 
@@ -329,6 +341,36 @@ object LaikaCustomizations {
         }
     }
   }
+
+  val Icons = {
+    def loadFaIcon(prefix: String, name: String) = {
+      val resourcePath =
+        "/META-INF/resources/webjars/fortawesome__fontawesome-free/7.1.0"
+      val inputStream =
+        getClass.getResourceAsStream(s"$resourcePath/svgs/$prefix/$name.svg")
+      String(inputStream.readAllBytes())
+    }
+
+    Map(
+      // brands
+      "fa-bluesky" -> loadFaIcon("brands", "bluesky"),
+      "fa-discord" -> loadFaIcon("brands", "discord"),
+      "fa-github" -> loadFaIcon("brands", "github"),
+      "fa-linkedin" -> loadFaIcon("brands", "linkedin"),
+      "fa-mastodon" -> loadFaIcon("brands", "mastodon"),
+      "fa-youtube" -> loadFaIcon("brands", "youtube"),
+      // solids
+      "fa-book" -> loadFaIcon("solid", "book"),
+      "fa-envelope" -> loadFaIcon("solid", "envelope"),
+      "fa-globe" -> loadFaIcon("solid", "globe"),
+      "fa-hand-holding-heart" -> loadFaIcon("solid", "hand-holding-heart"),
+      "fa-link" -> loadFaIcon("solid", "link"),
+      "fa-magnifying-glass" -> loadFaIcon("solid", "magnifying-glass"),
+      "fa-person-chalkboard" -> loadFaIcon("solid", "person-chalkboard"),
+      "fa-puzzle-piece" -> loadFaIcon("solid", "puzzle-piece"),
+      "fa-square-rss" -> loadFaIcon("solid", "square-rss")
+    )
+  }
 }
 
 object KaTeX {
@@ -338,7 +380,7 @@ object KaTeX {
   private def loadKaTeX(): String = {
     val resourcePath = "/META-INF/resources/webjars/katex/0.16.28/dist/katex.js"
     val inputStream = getClass.getResourceAsStream(resourcePath)
-    new String(inputStream.readAllBytes())
+    String(inputStream.readAllBytes())
   }
 
   private lazy val katex = {
@@ -352,7 +394,11 @@ object KaTeX {
 
   def apply(latex: String, displayMode: Boolean = false): String =
     synchronized {
-      val options = Map("throwOnError" -> true, "strict" -> true, "displayMode" -> displayMode)
+      val options = Map(
+        "throwOnError" -> true,
+        "strict" -> true,
+        "displayMode" -> displayMode
+      )
       katex.invokeMember("renderToString", latex, options.asJava).asString
     }
 

src/blog/algebraic-api-design.md

@@ -2,6 +2,7 @@
   author: ${battermann}
   date: "2019-02-06"
   tags: [technical]
+  katex: true
 %}
 
 # Algebraic API Design - Types, Functions, Properties

src/blog/blog.template.html

@@ -6,7 +6,7 @@
       <span class="bulma-icon-text bulma-has-text-light">
         Blog
         <a class="bulma-icon bulma-has-text-current" href="@:target(feed.rss)">
-          <i class="fas fa-square-rss"></i>
+          @:svg(fa-square-rss)
         </a>
       </span>
     </p>

src/blog/deriving-instances-1.md

@@ -2,6 +2,7 @@
   author: ${larsrh}
   date: "2013-06-24"
   tags: [technical]
+  katex: true
 %}
 
 # Deriving Type Class Instances

src/blog/equivalence-vs-equality.md

@@ -2,6 +2,7 @@
   author: ${TomasMikula}
   date: "2017-04-02"
   tags: [technical]
+  katex: true
 %}
 
 # Equivalence versus Equality

src/blog/existential-inside.md

@@ -2,6 +2,7 @@
   author: ${S11001001}
   date: "2016-01-28"
   tags: [technical]
+  katex: true
 %}
 
 # It’s existential on the inside
@@ -81,7 +82,7 @@ cases, `duzzle` among them, this is one where the caller determines
 the type.
 
 We’ve [discussed](method-equiv.md) how you can
-prove that `duzzle` ≡*<sub><small>m</small></sub>* `duzzle2`, in a
+prove that `duzzle` @:math \equiv_{m} @:@ `duzzle2`, in a
 previous post. Now, it’s time to see why.
 
 ## Type parameters are parameters
@@ -118,7 +119,7 @@ PList[([A], PList[A])]            // “paired”
 ## The `duzzle`s are currying
 
 With these two models, we can finally get to the bottom of
-`duzzle` ≡*<sub><small>m</small></sub>* `duzzle2`. Here are their
+`duzzle` @:math \equiv_{m} @:@ `duzzle2`. Here are their
 types, rewritten in the forms we’ve just seen.
 
 ```scala

src/blog/libra.md

@@ -2,6 +2,7 @@
   author: ${zainabali}
   date: "2017-06-13"
   tags: [technical]
+  katex: true
 %}
 
 # Compile time dimensional analysis with Libra
@@ -27,8 +28,8 @@ This is actually a form of dimensional analysis.  We're mentally assigning the d
 
 ### Why is it important?
 
-Ignoring the laws can result in serious problems. 
-Take the Mars Climate Orbiter, a $200 million space probe which successfully reached Mars after a year long voyage, but suddenly crashed into the Martian atmosphere on arrival.  Most components on the orbiter were using metric units, however a single component was sending instructions in Imperial units.  The other components did not detect this, and instead began a sudden descent causing the orbiter to burn up.  This was a simple unit conversion error!  It was a basic mistake that could have been easily avoided.  It should have been picked up during testing, or in the runtime validation layer.  
+Ignoring the laws can result in serious problems.
+Take the Mars Climate Orbiter, a $200 million space probe which successfully reached Mars after a year long voyage, but suddenly crashed into the Martian atmosphere on arrival.  Most components on the orbiter were using metric units, however a single component was sending instructions in Imperial units.  The other components did not detect this, and instead began a sudden descent causing the orbiter to burn up.  This was a simple unit conversion error!  It was a basic mistake that could have been easily avoided.  It should have been picked up during testing, or in the runtime validation layer.
 
 In fact, it could even have been caught at compile time.
 
@@ -42,21 +43,21 @@ We'll begin by working through our calculation in doubles before adding compile
 
 The star that we're aiming for is Alpha Librae.  This is pretty far, so we can only send one very small person.  We have been given the following quantities to work with:
 
--   rocket mass of a small person - 40kg
--   fuel mass of a lot of fuel - 10<sup>4</sup>kg
--   exhaust speed of a decent fuel - 10<sup>6</sup>ms<sup>-1</sup>
--   distance to Alpha Librae - 77 ly
+-   rocket mass of a small person - @:math 40 \text{kg} @:@
+-   fuel mass of a lot of fuel - @:math 10^4 \text{kg} @:@
+-   exhaust speed of a decent fuel - @:math 10^6 \text{ms}^{-1} @:@
+-   distance to Alpha Librae - @:math 77 \text{ly} @:@
 
 We want to calculate when the rocket will arrive.
 
 To do so, we're going to make use of a formula known as the *Ideal Rocket Equation*.
 This calculates the speed of a rocket in ideal conditions.
-    
+
 ```scala
 val rocketSpeed = exhaustSpeed * log((rocketMass + fuelMass) / rocketMass)
 ```
 Once we have the speed, we can work out the travel time.
-    
+
 ```scala
 val time = distance / rocketSpeed
 ```
@@ -92,7 +93,7 @@ case class Quantity[A](value: Double)
 
 
 
-    
+
 ```scala
 type Kilogram
 type Metre
@@ -104,7 +105,7 @@ type Year
 ```
 
 We can create quantities:
-    
+
 ```scala
 val rocketMass = Quantity[Kilogram](40.0)
 val fuelMass = Quantity[Kilogram](10000.0)
@@ -196,13 +197,13 @@ type Dimensionless
 And we'll need to write instances for all combinations of dimensions.
 
 ```scala
-implicit val kgDivideKg: Divide.Aux[Kilogram, Kilogram, Dimensionless] = 
+implicit val kgDivideKg: Divide.Aux[Kilogram, Kilogram, Dimensionless] =
   new Divide[Kilogram, Kilogram] { type Out = Dimensionless }
 
-implicit val lyDivideC: Divide.Aux[LightYear, C, Year] = 
+implicit val lyDivideC: Divide.Aux[LightYear, C, Year] =
   new Divide[LightYear, C] { type Out = Year }
-	
-implicit val lyDivideMps: Divide.Aux[LightYear, MetresPerSecond, LightYearSecondsPerMetre] = 
+
+implicit val lyDivideMps: Divide.Aux[LightYear, MetresPerSecond, LightYearSecondsPerMetre] =
   new Divide[LightYear, MetresPerSecond] { type Out = LightYearSecondsPerMetre }
 
 implicit val mpsDivideC: Divide.Aux[MetresPerSecond, C, MetresPerSecondPerC] =
@@ -348,7 +349,7 @@ implicit def baseCase: Invert.Aux[HNil, HNil] = new Invert[HNil] { type Out = HN
 The inductive case assumes that the tail has an instance, and derives an instance for the head by negating the exponent:
 
 ```scala
-implicit def inductiveCase[D, Exp <: XInt, NExp <: XInt, Tail <: HList, 
+implicit def inductiveCase[D, Exp <: XInt, NExp <: XInt, Tail <: HList,
   OutTail <: HList](
     implicit negateEv: OpInt.Aux[Negate[Exp], NExp],
     tailEv: Invert.Aux[Tail, OutTail]
@@ -398,13 +399,13 @@ We can define the inductive case using the following logic:
 4.  Look for a typeclass instance for the left list tail and the remaining elements in the right list
 
 ```scala
-implicit def inductiveCase[D, R <: HList, LExp <: XInt , RExp <: XInt, 
+implicit def inductiveCase[D, R <: HList, LExp <: XInt , RExp <: XInt,
   OutExp <: XInt, RTail <: HList, LTail <: HList, OutTail <: HList](
   implicit pickEv: Selector.Aux[R, D, RExp],
   addEv: OpInt.Aux[LExp + RExp, OutExp],
   filterEv: FilterNot.Aux[R, FieldType[D, RExp], RTail],
   tailEv: Multiply.Aux[LTail, RTail, OutTail]
-): Multiply.Aux[FieldType[D, LExp] :: LTail, R, FieldType[D, OutExp] :: OutTail] = 
+): Multiply.Aux[FieldType[D, LExp] :: LTail, R, FieldType[D, OutExp] :: OutTail] =
   new Multiply[FieldType[D, LExp] :: LTail, R] {
     type Out = FieldType[D, OutExp] :: OutTail
 }
@@ -428,7 +429,7 @@ Dividing a numerator by a denominator is as simple as inverting the denominator
 We can write this in a single non-inductive instance:
 
 ```scala
-implicit def divide[L <: HList, R <: HList, RInverted <: HList, 
+implicit def divide[L <: HList, R <: HList, RInverted <: HList,
   Divided <: HList](
   implicit invertEv: Invert.Aux[R, RInverted],
   multiplyEv: Multiply.Aux[L, RInverted, Divided]
@@ -486,7 +487,7 @@ And we finished with compile time dimensional analysis:
 
 ```scala
 val rocketSpeed = 1000000.0.mps * log(((40.0.kg +10000.0.kg) /40.0.kg).value)
-val speedConversion = 300000000.0.mps / 1.c 
+val speedConversion = 300000000.0.mps / 1.c
 val speedInC = rocketSpeed / speedConversion
 val time = 77.0.ly / speedInC
 //time: Quantity[FieldType[Year, 1] :: HNil] = Quantity(4180.65274634)
@@ -500,8 +501,8 @@ All we need to provide for the business logic of our rocket launch problem are t
 We could roll this out to any other problem.  Let's say we wanted to do a currency conversion between `GBP` and `DKK`:
 
 ```scala
-val exchangeRate: Quantity[FieldType[DKK, 1] :: FieldType[GBP, -1] :: HNil] = 
-   currentExchangeRate() 
+val exchangeRate: Quantity[FieldType[DKK, 1] :: FieldType[GBP, -1] :: HNil] =
+   currentExchangeRate()
 Val krone: Quantity[FieldType[DKK, 1] :: HNil] = 10.gbp * exchangeRate
 ```
 

src/blog/method-equiv.md

@@ -2,6 +2,7 @@
   author: ${S11001001}
   date: "2015-07-16"
   tags: [technical]
+  katex: true
 %}
 
 # When are two methods alike?

src/blog/minicheck.md

@@ -2,6 +2,7 @@
   author: ${larsrh}
   date: "2016-10-17"
   tags: [technical]
+  katex: true
 %}
 
 # Let's build ourselves a small ScalaCheck

src/blog/nested-existentials.md

@@ -2,6 +2,7 @@
   author: ${S11001001}
   date: "2015-07-27"
   tags: [technical]
+  katex: true
 %}
 
 # Nested existentials
@@ -167,7 +168,7 @@ condition satisfied by either `PList[PList[_]]` or its equivalent
   reasoning; we have written the definition of `PList` in a
   way that scalac assumes that such a method may exist.  You can
   determine the consequences yourself by adding the
-  `lookAt</code> method to <code>PList`, repeating the
+  `lookAt` method to `PList`, repeating the
   above substitution for `PList`, and thinking about the
   meaning of the resulting `def lookAt(x:
   PList[E] forSome {type E}): Unit`.
@@ -393,5 +394,3 @@ full of compiler errors, especially when allowing for mutation and
 impure functions.
 
 *This article was tested with Scala 2.11.7 and Java 1.8.0_45.*
-
-[e]: /todo/README.md