Add 2021 eoy post

Author: k4rtik

.gitignore

@@ -1,5 +1,6 @@
 # IDEs
 .idea/
+.vscode
 
 # Hugo
 /resources/

config/_default/menus.yaml

@@ -13,6 +13,9 @@ main:
   - name: Authors
     url: authors
     weight: 20
+  - name: Tags
+    url: tags
+    weight: 25
   - name: News
     url: post
     weight: 30

config/_default/params.yaml

@@ -6,38 +6,38 @@
 # Appearance
 
 theme: minimal
-day_night: false
+day_night: true
 font: native
 font_size: L
 
 # SEO
 
 site_type: Organization
 local_business_type: ''
-org_name: ''
+org_name: 'Quantum PL & Verification Bibliography'
 description: Quantum Programming Languages & Verification Bibliography
 twitter: ''
 
 # Contact (edit or remove options as required)
 
-email: [email protected]
-phone: 888 888 88 88
-address:
-  street: 450 Serra Mall
-  city: Stanford
-  region: CA
-  postcode: '94305'
-  country: United States
-  country_code: US
-coordinates:
-  latitude: '37.4275'
-  longitude: '-122.1697'
-directions: Enter Building 1 and take the stairs to Office 200 on Floor 2
-office_hours:
-  - 'Monday 10:00 to 13:00'
-  - 'Wednesday 09:00 to 10:00'
-appointment_url: 'https://calendly.com'
-contact_links:
+# email: [email protected]
+# phone: 888 888 88 88
+# address:
+#   street: 450 Serra Mall
+#   city: Stanford
+#   region: CA
+#   postcode: '94305'
+#   country: United States
+#   country_code: US
+# coordinates:
+#   latitude: '37.4275'
+#   longitude: '-122.1697'
+# directions: Enter Building 1 and take the stairs to Office 200 on Floor 2
+# office_hours:
+#   - 'Monday 10:00 to 13:00'
+#   - 'Wednesday 09:00 to 10:00'
+# appointment_url: 'https://calendly.com'
+# contact_links:
 #  - icon: comments
 #    icon_pack: fas
 #    name: Discuss on Forum

content/post/eoy-2021-updates/index.md

@@ -0,0 +1,44 @@
+---
+
+title: "End of Year 2021 Updates"
+subtitle: ""
+summary: ""
+authors: []
+tags: []
+categories: []
+date: 2021-12-13T09:30:04-06:00
+lastmod: 2021-12-13T09:30:04-06:00
+featured: false
+draft: false
+
+---
+
+Since the [last news item](../gh-org-ui/) in July, there have been several visual and usability improvements to this QPL Bib. I list the major ones here:
+
+- The menu bar of the site includes several new pages:
+  - [an About page](../../about)
+  - two indices:
+     -  [Authors](../../authors) sorted alphabetically
+     -  [Keywords/Tags](../../tags) sorted by both usage and alphabetically
+  - two other renderings of the same bibliography:
+    - [Retro](../../retro/bbt.html) (generated by `bibtex2html`)
+    - [BibBase](../../base)
+- We now have [a tag cloud](../../#tags) at the bottom of the home page.
+- The bibliography has grown to almost 125 publications! We started with just about 50.
+- Apart from old papers, I continue to add preprints of papers at upcoming conferences as soon as they become available. [An example](../../publication/Heunen2022/).
+- We have a new short URL: [git.io/qpl-bib](https://git.io/qpl-bib).
+- There is a new [Contributing Guide](https://github.com/QuantumPL/bib/blob/main/CONTRIBUTING.md).
+- There is some progress on [grouping papers by subareas](https://github.com/QuantumPL/bib/issues/2):
+  - a new publication type for [software](../..//publication/#9).
+  - two new categories:
+    - [Surveys](../../category/Survey)
+    - [PhD Dissertations](../../category/PhD-Thesis/)
+- [Various](https://github.com/QuantumPL/bib/issues?q=is%3Aissue+is%3Aclosed+milestone%3A2021) other [issues](https://github.com/QuantumPL/site/issues?q=is%3Aissue+is%3Aclosed+milestone%3A2021) tracked on GitHub have been resolved.
+- The bibentries themselves have been [normalized](https://github.com/QuantumPL/bib/search?q=normalize&type=commits) in [several](https://github.com/QuantumPL/bib/search?q=canonical&type=commits) ways.
+- We have a new site favicon courtesy of [lastspark from the Noun Project](https://thenounproject.com/term/quantum-computer/1697151/).
+
+Other minor changes get incorporated as I notice issues ([see GitHub](https://github.com/QuantumPL/bib/commits/main)). Your [contributions](https://github.com/QuantumPL/bib/issues) are most welcome as usual.
+
+Thanks to [Robert Rand](../../author/Robert-Rand), [Mingsheng Ying](../../author/Mingsheng-Ying), [Dongho Lee](../../author/Dongho-Lee), [Matt Amy](../../author/Matthew-Amy), and [Sam Staton](../../author/Sam-Staton) for their suggestions in helping improve this community resource.
+
+I wish everyone a Happy New Year 2022!

content/publication/Heunen2019/cite.bib

@@ -9,7 +9,7 @@ @book{Heunen2019
  abstract = {Monoidal category theory serves as a powerful framework for describing logical aspects of quantum theory, giving an abstract language for parallel and sequential composition, and a conceptual way to understand many high-level quantum phenomena. This text lays the foundation for this categorical quantum mechanics, with an emphasis on the graphical calculus which makes computation intuitive. Biproducts and dual objects are introduced and used to model superposition and entanglement, with quantum teleportation studied abstractly using these structures. Monoids, Frobenius structures and Hopf algebras are described, and it is shown how they can be used to model classical information and complementary observables. The CP construction, a categorical tool to describe probabilistic quantum systems, is also investigated. The last chapter introduces higher categories, surface diagrams and 2-Hilbert spaces, and shows how the language of duality in monoidal 2-categories can be used to reason about quantum protocols, including quantum teleportation and dense coding.
 
 Prior knowledge of linear algebra, quantum information or category theory would give an ideal background for studying this text, but it is not assumed, with essential background material given in a self-contained introductory chapter. Throughout the text links with many other areas are highlighted, such as representation theory, topology, quantum algebra, knot theory, and probability theory, and nonstandard models are presented, such as sets and relations. All results are stated rigorously, and full proofs are given as far as possible, making this book an invaluable reference for modern techniques in quantum logic, with much of the material not available in any other textbook.},
- keywords = {category, quantum theory, graphical calculus, quantum teleportation, compositionality, higher categories, tensor product, hopf algebras, frobenius algebras},
+ keywords = {category, category theory, quantum theory, graphical calculus, quantum teleportation, compositionality, higher categories, tensor product, hopf algebras, frobenius algebras},
  note = {Lecture notes (2013) that were source of this textbook are at http://www.cs.ox.ac.uk/people/jamie.vicary/IntroductionToCategoricalQuantumMechanics.pdf}
 }
 

content/publication/Heunen2019/index.md

@@ -9,6 +9,7 @@ authors:
 - Jamie Vicary
 tags:
 - category
+- category theory
 - quantum theory
 - graphical calculus
 - quantum teleportation

content/publication/Huot2019/cite.bib

@@ -10,6 +10,7 @@ @inproceedings{Huot2019
  volume = {287},
  pages = {213--223},
  doi = {10.4204/EPTCS.287.12},
- abstract = {We argue that notions in quantum theory should have universal properties in the sense of category theory. We consider the completely positive trace preserving (CPTP) maps, the basic notion of quantum channel. Physically, quantum channels are derived from pure quantum theory by allowing discarding. We phrase this in category theoretic terms by showing that the category of CPTP maps is the universal monoidal category with a terminal unit that has a functor from the category of isometries. In other words, the CPTP maps are the affine reflection of the isometries.}
+ abstract = {We argue that notions in quantum theory should have universal properties in the sense of category theory. We consider the completely positive trace preserving (CPTP) maps, the basic notion of quantum channel. Physically, quantum channels are derived from pure quantum theory by allowing discarding. We phrase this in category theoretic terms by showing that the category of CPTP maps is the universal monoidal category with a terminal unit that has a functor from the category of isometries. In other words, the CPTP maps are the affine reflection of the isometries.},
+ keywords = {category theory, quantum theory, monoidal category}
 }
 

content/publication/Huot2019/index.md

@@ -7,7 +7,10 @@ summary: ''
 authors:
 - Mathieu Huot
 - Sam Staton
-tags: []
+tags:
+- category theory
+- quantum theory
+- monoidal category
 categories: []
 date: '2019-01-01'
 lastmod: 2021-12-13T08:25:15-06:00

content/tags/ZX-Calculus/_index.md

@@ -1,7 +1,7 @@
 ---
 # Documentation: https://wowchemy.com/docs/managing-content/
 
-title: "ZX-Calculus"
+title: "zx-calculus"
 subtitle: ""
 summary: ""
 authors: []
@@ -27,4 +27,4 @@ image:
 #   Otherwise, set `projects = []`.
 projects: []
 ---
-ZX-Calculus is a sub-field of its own. A comprehensive bibliography is available at https://zxcalculus.com. This site only includes ZX-related papers that may be relevant to programming languages and/or program verification.
+ZX-calculus is a sub-field of its own. A comprehensive bibliography is available at https://zxcalculus.com. This site only includes ZX-related papers that may be relevant to programming languages and/or program verification.

layouts/authors/terms.html

@@ -8,9 +8,9 @@
   {{ with .Content }}
   <div class="article-style">{{ . }}</div>
   {{ end }}
-  
+
   Sorted alphabetically:
-  
+
   <ul>
     {{range $k, $v := sort .Data.Pages "Title" }}
       {{ if not (eq $v.Title "Kartik") }}