website: parameterized-package-for-guix: Tweak.

* website/posts/parameterized-packages-for-guix.md: Change date and
tags.  Tweak heading levels.  Add no-break spaces.

website/posts/parameterized-packages-for-guix.md

@@ -1,14 +1,15 @@
-title: Parameterized Packages for GNU Guix
-date: 2023-06-06 13:37
+title: Parameterized Packages for GNU Guix
+date: 2023-06-09 16:00
 author: Sarthak Shah
-tags: GSoC
+tags: GSoC, Scheme API
 ---
 Hello Guix!
+
 I'm Sarthak and I'll be working on implementing Parameterized Packages
-for GNU Guix as a [Google Summer of Code](https://summerofcode.withgoogle.com/)
+for GNU Guix as a [Google Summer of Code](https://summerofcode.withgoogle.com/)
 intern under the guidance of Pjotr Prins and Gábor Boskovits.
 
-#### What are Parameterized Packages?
+# What are Parameterized Packages?
 
 One of the many advantages of [free software](https://www.gnu.org/philosophy/free-sw.html) is the
 availability of compile-time options for almost all packages.
@@ -27,7 +28,7 @@ variety of applications, ranging from High-Performance Computing to
 Embedded Systems and could also help tackle a few of Guix's issues
 like large binary sizes and dense dependency graphs.
 
-#### What would these look like?
+# What would these look like?
 
 The *syntax* for parameterized packages is still under heavy
 deliberation, however the final syntax will have the following
@@ -45,7 +46,7 @@ will apply to all packages - Packages will be built with the
 _default_ configuration if the global transform creates an
 invalid configuration
 
-#### Potential Problems with Parameterization
+# Potential Problems with Parameterization
 
 ### Combinatorial Explosion of Variants
 
@@ -71,7 +72,7 @@ the number of substitutes build farms will have to create, and
 thus as such there are only plans on building substitutes for
 default and very popular parameter combinations.
 
-#### Other topics under discussion
+### Other topics under discussion
 
 Some of the other points of discussion with respect to parameters are
 - **Scope**: Parameterization has a very wide and overarching scope,
@@ -95,7 +96,7 @@ If you would like to join the discussion, check out [this mailing list
 discussion about this project](https://lists.gnu.org/archive/html/guix-devel/2023-05/msg00156.html),
 and also have a look at the [original thread](https://lists.gnu.org/archive/html/guix-devel/2020-11/msg00312.html) about parameterization.
 
-#### Conclusion
+# Conclusion
 
 Parameters hold the potential to greatly increase Guix's flexibility,
 but will also lead to greater complexity. In my opinion, Guix is