Skip to content

Commit 93bca54

Browse files
AoifeHughesAoifeHughes
committed
Deploy preview for PR 629
1 parent dfcd0f3 commit 93bca54

File tree

53 files changed

+2414
-1982
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

53 files changed

+2414
-1982
lines changed

‎pr-previews/629/404.html‎

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
<html xmlns="http://www.w3.org/1999/xhtml" lang="en" xml:lang="en"><head>
33

44
<meta charset="utf-8">
5-
<meta name="generator" content="quarto-1.7.33">
5+
<meta name="generator" content="quarto-1.7.34">
66

77
<meta name="viewport" content="width=device-width, initial-scale=1.0, user-scalable=yes">
88

@@ -37,14 +37,14 @@
3737
<script src="/docs/site_libs/quarto-html/tippy.umd.min.js"></script>
3838
<script src="/docs/site_libs/quarto-html/anchor.min.js"></script>
3939
<link href="/docs/site_libs/quarto-html/tippy.css" rel="stylesheet">
40-
<link href="/docs/site_libs/quarto-html/quarto-syntax-highlighting-59898bd1c6b9d2bb783127feaa000c76.css" rel="stylesheet" class="quarto-color-scheme" id="quarto-text-highlighting-styles">
41-
<link href="/docs/site_libs/quarto-html/quarto-syntax-highlighting-dark-d329e753491efaeac79c98c4b193a686.css" rel="stylesheet" class="quarto-color-scheme quarto-color-alternate" id="quarto-text-highlighting-styles">
42-
<link href="/docs/site_libs/quarto-html/quarto-syntax-highlighting-59898bd1c6b9d2bb783127feaa000c76.css" rel="stylesheet" class="quarto-color-scheme-extra" id="quarto-text-highlighting-styles">
40+
<link href="/docs/site_libs/quarto-html/quarto-syntax-highlighting-9582434199d49cc9e91654cdeeb4866b.css" rel="stylesheet" class="quarto-color-scheme" id="quarto-text-highlighting-styles">
41+
<link href="/docs/site_libs/quarto-html/quarto-syntax-highlighting-dark-8dcd8563ea6803ab7cbb3d71ca5772e1.css" rel="stylesheet" class="quarto-color-scheme quarto-color-alternate" id="quarto-text-highlighting-styles">
42+
<link href="/docs/site_libs/quarto-html/quarto-syntax-highlighting-9582434199d49cc9e91654cdeeb4866b.css" rel="stylesheet" class="quarto-color-scheme-extra" id="quarto-text-highlighting-styles">
4343
<script src="/docs/site_libs/bootstrap/bootstrap.min.js"></script>
4444
<link href="/docs/site_libs/bootstrap/bootstrap-icons.css" rel="stylesheet">
45-
<link href="/docs/site_libs/bootstrap/bootstrap-880f47a7476913b4386856d094d7f01d.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme" id="quarto-bootstrap" data-mode="light">
46-
<link href="/docs/site_libs/bootstrap/bootstrap-dark-c2fa6fa1a1f4e3883ea05d73102366a5.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme quarto-color-alternate" id="quarto-bootstrap" data-mode="dark">
47-
<link href="/docs/site_libs/bootstrap/bootstrap-880f47a7476913b4386856d094d7f01d.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme-extra" id="quarto-bootstrap" data-mode="light">
45+
<link href="/docs/site_libs/bootstrap/bootstrap-508d28d71294346e21aec6716d708e11.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme" id="quarto-bootstrap" data-mode="light">
46+
<link href="/docs/site_libs/bootstrap/bootstrap-dark-09c1d65c31f542422db515f6a3906e66.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme quarto-color-alternate" id="quarto-bootstrap" data-mode="dark">
47+
<link href="/docs/site_libs/bootstrap/bootstrap-508d28d71294346e21aec6716d708e11.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme-extra" id="quarto-bootstrap" data-mode="light">
4848
<script id="quarto-search-options" type="application/json">{
4949
"location": "navbar",
5050
"copy-button": false,

‎pr-previews/629/core-functionality/index.html‎

Lines changed: 36 additions & 36 deletions
Large diffs are not rendered by default.

‎pr-previews/629/developers/compiler/design-overview/index.html‎

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
<html xmlns="http://www.w3.org/1999/xhtml" lang="en" xml:lang="en"><head>
33

44
<meta charset="utf-8">
5-
<meta name="generator" content="quarto-1.7.33">
5+
<meta name="generator" content="quarto-1.7.34">
66

77
<meta name="viewport" content="width=device-width, initial-scale=1.0, user-scalable=yes">
88

@@ -74,14 +74,14 @@
7474
<script src="../../../site_libs/quarto-html/tippy.umd.min.js"></script>
7575
<script src="../../../site_libs/quarto-html/anchor.min.js"></script>
7676
<link href="../../../site_libs/quarto-html/tippy.css" rel="stylesheet">
77-
<link href="../../../site_libs/quarto-html/quarto-syntax-highlighting-59898bd1c6b9d2bb783127feaa000c76.css" rel="stylesheet" class="quarto-color-scheme" id="quarto-text-highlighting-styles">
78-
<link href="../../../site_libs/quarto-html/quarto-syntax-highlighting-dark-d329e753491efaeac79c98c4b193a686.css" rel="stylesheet" class="quarto-color-scheme quarto-color-alternate" id="quarto-text-highlighting-styles">
79-
<link href="../../../site_libs/quarto-html/quarto-syntax-highlighting-59898bd1c6b9d2bb783127feaa000c76.css" rel="stylesheet" class="quarto-color-scheme-extra" id="quarto-text-highlighting-styles">
77+
<link href="../../../site_libs/quarto-html/quarto-syntax-highlighting-9582434199d49cc9e91654cdeeb4866b.css" rel="stylesheet" class="quarto-color-scheme" id="quarto-text-highlighting-styles">
78+
<link href="../../../site_libs/quarto-html/quarto-syntax-highlighting-dark-8dcd8563ea6803ab7cbb3d71ca5772e1.css" rel="stylesheet" class="quarto-color-scheme quarto-color-alternate" id="quarto-text-highlighting-styles">
79+
<link href="../../../site_libs/quarto-html/quarto-syntax-highlighting-9582434199d49cc9e91654cdeeb4866b.css" rel="stylesheet" class="quarto-color-scheme-extra" id="quarto-text-highlighting-styles">
8080
<script src="../../../site_libs/bootstrap/bootstrap.min.js"></script>
8181
<link href="../../../site_libs/bootstrap/bootstrap-icons.css" rel="stylesheet">
82-
<link href="../../../site_libs/bootstrap/bootstrap-880f47a7476913b4386856d094d7f01d.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme" id="quarto-bootstrap" data-mode="light">
83-
<link href="../../../site_libs/bootstrap/bootstrap-dark-c2fa6fa1a1f4e3883ea05d73102366a5.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme quarto-color-alternate" id="quarto-bootstrap" data-mode="dark">
84-
<link href="../../../site_libs/bootstrap/bootstrap-880f47a7476913b4386856d094d7f01d.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme-extra" id="quarto-bootstrap" data-mode="light">
82+
<link href="../../../site_libs/bootstrap/bootstrap-508d28d71294346e21aec6716d708e11.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme" id="quarto-bootstrap" data-mode="light">
83+
<link href="../../../site_libs/bootstrap/bootstrap-dark-09c1d65c31f542422db515f6a3906e66.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme quarto-color-alternate" id="quarto-bootstrap" data-mode="dark">
84+
<link href="../../../site_libs/bootstrap/bootstrap-508d28d71294346e21aec6716d708e11.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme-extra" id="quarto-bootstrap" data-mode="light">
8585
<script id="quarto-search-options" type="application/json">{
8686
"location": "navbar",
8787
"copy-button": false,

‎pr-previews/629/developers/compiler/minituring-compiler/index.html‎

Lines changed: 9 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
<html xmlns="http://www.w3.org/1999/xhtml" lang="en" xml:lang="en"><head>
33

44
<meta charset="utf-8">
5-
<meta name="generator" content="quarto-1.7.33">
5+
<meta name="generator" content="quarto-1.7.34">
66

77
<meta name="viewport" content="width=device-width, initial-scale=1.0, user-scalable=yes">
88

@@ -74,14 +74,14 @@
7474
<script src="../../../site_libs/quarto-html/tippy.umd.min.js"></script>
7575
<script src="../../../site_libs/quarto-html/anchor.min.js"></script>
7676
<link href="../../../site_libs/quarto-html/tippy.css" rel="stylesheet">
77-
<link href="../../../site_libs/quarto-html/quarto-syntax-highlighting-59898bd1c6b9d2bb783127feaa000c76.css" rel="stylesheet" class="quarto-color-scheme" id="quarto-text-highlighting-styles">
78-
<link href="../../../site_libs/quarto-html/quarto-syntax-highlighting-dark-d329e753491efaeac79c98c4b193a686.css" rel="stylesheet" class="quarto-color-scheme quarto-color-alternate" id="quarto-text-highlighting-styles">
79-
<link href="../../../site_libs/quarto-html/quarto-syntax-highlighting-59898bd1c6b9d2bb783127feaa000c76.css" rel="stylesheet" class="quarto-color-scheme-extra" id="quarto-text-highlighting-styles">
77+
<link href="../../../site_libs/quarto-html/quarto-syntax-highlighting-9582434199d49cc9e91654cdeeb4866b.css" rel="stylesheet" class="quarto-color-scheme" id="quarto-text-highlighting-styles">
78+
<link href="../../../site_libs/quarto-html/quarto-syntax-highlighting-dark-8dcd8563ea6803ab7cbb3d71ca5772e1.css" rel="stylesheet" class="quarto-color-scheme quarto-color-alternate" id="quarto-text-highlighting-styles">
79+
<link href="../../../site_libs/quarto-html/quarto-syntax-highlighting-9582434199d49cc9e91654cdeeb4866b.css" rel="stylesheet" class="quarto-color-scheme-extra" id="quarto-text-highlighting-styles">
8080
<script src="../../../site_libs/bootstrap/bootstrap.min.js"></script>
8181
<link href="../../../site_libs/bootstrap/bootstrap-icons.css" rel="stylesheet">
82-
<link href="../../../site_libs/bootstrap/bootstrap-880f47a7476913b4386856d094d7f01d.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme" id="quarto-bootstrap" data-mode="light">
83-
<link href="../../../site_libs/bootstrap/bootstrap-dark-c2fa6fa1a1f4e3883ea05d73102366a5.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme quarto-color-alternate" id="quarto-bootstrap" data-mode="dark">
84-
<link href="../../../site_libs/bootstrap/bootstrap-880f47a7476913b4386856d094d7f01d.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme-extra" id="quarto-bootstrap" data-mode="light">
82+
<link href="../../../site_libs/bootstrap/bootstrap-508d28d71294346e21aec6716d708e11.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme" id="quarto-bootstrap" data-mode="light">
83+
<link href="../../../site_libs/bootstrap/bootstrap-dark-09c1d65c31f542422db515f6a3906e66.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme quarto-color-alternate" id="quarto-bootstrap" data-mode="dark">
84+
<link href="../../../site_libs/bootstrap/bootstrap-508d28d71294346e21aec6716d708e11.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme-extra" id="quarto-bootstrap" data-mode="light">
8585
<script id="quarto-search-options" type="application/json">{
8686
"location": "navbar",
8787
"copy-button": false,
@@ -1039,8 +1039,8 @@ <h1>Consider a probabilistic model defined by</h1>
10391039
Iterations = 1:1:1000000
10401040
Number of chains = 1
10411041
Samples per chain = 1000000
1042-
Wall duration = 22.4 seconds
1043-
Compute duration = 22.4 seconds
1042+
Wall duration = 21.71 seconds
1043+
Compute duration = 21.71 seconds
10441044
parameters = a, b
10451045
internals = lp
10461046

‎pr-previews/629/developers/compiler/minituring-contexts/index.html‎

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
<html xmlns="http://www.w3.org/1999/xhtml" lang="en" xml:lang="en"><head>
33

44
<meta charset="utf-8">
5-
<meta name="generator" content="quarto-1.7.33">
5+
<meta name="generator" content="quarto-1.7.34">
66

77
<meta name="viewport" content="width=device-width, initial-scale=1.0, user-scalable=yes">
88

@@ -74,14 +74,14 @@
7474
<script src="../../../site_libs/quarto-html/tippy.umd.min.js"></script>
7575
<script src="../../../site_libs/quarto-html/anchor.min.js"></script>
7676
<link href="../../../site_libs/quarto-html/tippy.css" rel="stylesheet">
77-
<link href="../../../site_libs/quarto-html/quarto-syntax-highlighting-59898bd1c6b9d2bb783127feaa000c76.css" rel="stylesheet" class="quarto-color-scheme" id="quarto-text-highlighting-styles">
78-
<link href="../../../site_libs/quarto-html/quarto-syntax-highlighting-dark-d329e753491efaeac79c98c4b193a686.css" rel="stylesheet" class="quarto-color-scheme quarto-color-alternate" id="quarto-text-highlighting-styles">
79-
<link href="../../../site_libs/quarto-html/quarto-syntax-highlighting-59898bd1c6b9d2bb783127feaa000c76.css" rel="stylesheet" class="quarto-color-scheme-extra" id="quarto-text-highlighting-styles">
77+
<link href="../../../site_libs/quarto-html/quarto-syntax-highlighting-9582434199d49cc9e91654cdeeb4866b.css" rel="stylesheet" class="quarto-color-scheme" id="quarto-text-highlighting-styles">
78+
<link href="../../../site_libs/quarto-html/quarto-syntax-highlighting-dark-8dcd8563ea6803ab7cbb3d71ca5772e1.css" rel="stylesheet" class="quarto-color-scheme quarto-color-alternate" id="quarto-text-highlighting-styles">
79+
<link href="../../../site_libs/quarto-html/quarto-syntax-highlighting-9582434199d49cc9e91654cdeeb4866b.css" rel="stylesheet" class="quarto-color-scheme-extra" id="quarto-text-highlighting-styles">
8080
<script src="../../../site_libs/bootstrap/bootstrap.min.js"></script>
8181
<link href="../../../site_libs/bootstrap/bootstrap-icons.css" rel="stylesheet">
82-
<link href="../../../site_libs/bootstrap/bootstrap-880f47a7476913b4386856d094d7f01d.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme" id="quarto-bootstrap" data-mode="light">
83-
<link href="../../../site_libs/bootstrap/bootstrap-dark-c2fa6fa1a1f4e3883ea05d73102366a5.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme quarto-color-alternate" id="quarto-bootstrap" data-mode="dark">
84-
<link href="../../../site_libs/bootstrap/bootstrap-880f47a7476913b4386856d094d7f01d.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme-extra" id="quarto-bootstrap" data-mode="light">
82+
<link href="../../../site_libs/bootstrap/bootstrap-508d28d71294346e21aec6716d708e11.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme" id="quarto-bootstrap" data-mode="light">
83+
<link href="../../../site_libs/bootstrap/bootstrap-dark-09c1d65c31f542422db515f6a3906e66.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme quarto-color-alternate" id="quarto-bootstrap" data-mode="dark">
84+
<link href="../../../site_libs/bootstrap/bootstrap-508d28d71294346e21aec6716d708e11.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme-extra" id="quarto-bootstrap" data-mode="light">
8585
<script id="quarto-search-options" type="application/json">{
8686
"location": "navbar",
8787
"copy-button": false,

‎pr-previews/629/developers/compiler/model-manual/index.html‎

Lines changed: 10 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
<html xmlns="http://www.w3.org/1999/xhtml" lang="en" xml:lang="en"><head>
33

44
<meta charset="utf-8">
5-
<meta name="generator" content="quarto-1.7.33">
5+
<meta name="generator" content="quarto-1.7.34">
66

77
<meta name="viewport" content="width=device-width, initial-scale=1.0, user-scalable=yes">
88

@@ -74,14 +74,14 @@
7474
<script src="../../../site_libs/quarto-html/tippy.umd.min.js"></script>
7575
<script src="../../../site_libs/quarto-html/anchor.min.js"></script>
7676
<link href="../../../site_libs/quarto-html/tippy.css" rel="stylesheet">
77-
<link href="../../../site_libs/quarto-html/quarto-syntax-highlighting-59898bd1c6b9d2bb783127feaa000c76.css" rel="stylesheet" class="quarto-color-scheme" id="quarto-text-highlighting-styles">
78-
<link href="../../../site_libs/quarto-html/quarto-syntax-highlighting-dark-d329e753491efaeac79c98c4b193a686.css" rel="stylesheet" class="quarto-color-scheme quarto-color-alternate" id="quarto-text-highlighting-styles">
79-
<link href="../../../site_libs/quarto-html/quarto-syntax-highlighting-59898bd1c6b9d2bb783127feaa000c76.css" rel="stylesheet" class="quarto-color-scheme-extra" id="quarto-text-highlighting-styles">
77+
<link href="../../../site_libs/quarto-html/quarto-syntax-highlighting-9582434199d49cc9e91654cdeeb4866b.css" rel="stylesheet" class="quarto-color-scheme" id="quarto-text-highlighting-styles">
78+
<link href="../../../site_libs/quarto-html/quarto-syntax-highlighting-dark-8dcd8563ea6803ab7cbb3d71ca5772e1.css" rel="stylesheet" class="quarto-color-scheme quarto-color-alternate" id="quarto-text-highlighting-styles">
79+
<link href="../../../site_libs/quarto-html/quarto-syntax-highlighting-9582434199d49cc9e91654cdeeb4866b.css" rel="stylesheet" class="quarto-color-scheme-extra" id="quarto-text-highlighting-styles">
8080
<script src="../../../site_libs/bootstrap/bootstrap.min.js"></script>
8181
<link href="../../../site_libs/bootstrap/bootstrap-icons.css" rel="stylesheet">
82-
<link href="../../../site_libs/bootstrap/bootstrap-880f47a7476913b4386856d094d7f01d.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme" id="quarto-bootstrap" data-mode="light">
83-
<link href="../../../site_libs/bootstrap/bootstrap-dark-c2fa6fa1a1f4e3883ea05d73102366a5.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme quarto-color-alternate" id="quarto-bootstrap" data-mode="dark">
84-
<link href="../../../site_libs/bootstrap/bootstrap-880f47a7476913b4386856d094d7f01d.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme-extra" id="quarto-bootstrap" data-mode="light">
82+
<link href="../../../site_libs/bootstrap/bootstrap-508d28d71294346e21aec6716d708e11.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme" id="quarto-bootstrap" data-mode="light">
83+
<link href="../../../site_libs/bootstrap/bootstrap-dark-09c1d65c31f542422db515f6a3906e66.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme quarto-color-alternate" id="quarto-bootstrap" data-mode="dark">
84+
<link href="../../../site_libs/bootstrap/bootstrap-508d28d71294346e21aec6716d708e11.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme-extra" id="quarto-bootstrap" data-mode="light">
8585
<script id="quarto-search-options" type="application/json">{
8686
"location": "navbar",
8787
"copy-button": false,
@@ -800,7 +800,7 @@ <h1 class="title">Manually Defining a Model</h1>
800800
<div class="cell-output cell-output-stdout">
801801
<div class="ansi-escaped-output">
802802
<pre><span class="ansi-cyan-fg ansi-bold">┌ </span><span class="ansi-cyan-fg ansi-bold">Info: </span>Found initial step size
803-
<span class="ansi-cyan-fg ansi-bold">└ </span> ϵ = 0.4
803+
<span class="ansi-cyan-fg ansi-bold">└ </span> ϵ = 1.6
804804
</pre>
805805
</div>
806806
</div>
@@ -810,8 +810,8 @@ <h1 class="title">Manually Defining a Model</h1>
810810
Iterations = 501:1:1500
811811
Number of chains = 1
812812
Samples per chain = 1000
813-
Wall duration = 8.23 seconds
814-
Compute duration = 8.23 seconds
813+
Wall duration = 7.93 seconds
814+
Compute duration = 7.93 seconds
815815
parameters = s², m
816816
internals = lp, n_steps, is_accept, acceptance_rate, log_density, hamiltonian_energy, hamiltonian_energy_error, max_hamiltonian_energy_error, tree_depth, numerical_error, step_size, nom_step_size
817817

0 commit comments

Comments
 (0)