From f09f85e95e22e14e7e0e4824d73d6d4cfa06b2e0 Mon Sep 17 00:00:00 2001 From: OlivierHnt <38465572+OlivierHnt@users.noreply.github.com> Date: Wed, 10 Apr 2024 14:57:14 +0200 Subject: [PATCH] Initialize content --- LICENSE.md | 10 +- PlutoPages.jl | 2 +- README.md | 10 +- pluto-deployment-environment/Manifest.toml | 426 ++++--- src/_data/course_info.jl | 19 +- src/_data/homepage.jl | 14 +- src/_data/sidebar.jl | 9 +- src/_data/tracks.jl | 7 +- src/_includes/layout.jlhtml | 28 +- src/_includes/welcome.jlmd | 10 +- src/assets/logo.png | Bin 0 -> 11903 bytes src/cheatsheets.md | 13 - src/homework/hw1.jl | 6 +- src/installation.md | 111 +- src/logistics.md | 2 - src/mod1/getting_started.md | 10 + src/mod1_setup_website/basic_info.md | 89 -- src/mod1_setup_website/getting_started.md | 46 - src/mod1_setup_website/working_locally.md | 21 - src/mod2/periodic_orbits.md | 10 + src/mod2_add_material/add_markdown.md | 89 -- src/mod2_add_material/add_pluto.jl | 506 -------- src/mod2_add_material/plutoui_showcase.jl | 1021 ----------------- src/mod3_publish_website/deploy_static.md | 34 - src/mod3_publish_website/precompute_output.md | 10 - src/mod3_publish_website/setup_server.md | 11 - 26 files changed, 368 insertions(+), 2146 deletions(-) create mode 100644 src/assets/logo.png delete mode 100644 src/cheatsheets.md create mode 100644 src/mod1/getting_started.md delete mode 100644 src/mod1_setup_website/basic_info.md delete mode 100644 src/mod1_setup_website/getting_started.md delete mode 100644 src/mod1_setup_website/working_locally.md create mode 100644 src/mod2/periodic_orbits.md delete mode 100644 src/mod2_add_material/add_markdown.md delete mode 100644 src/mod2_add_material/add_pluto.jl delete mode 100644 src/mod2_add_material/plutoui_showcase.jl delete mode 100644 src/mod3_publish_website/deploy_static.md delete mode 100644 src/mod3_publish_website/precompute_output.md delete mode 100644 src/mod3_publish_website/setup_server.md diff --git a/LICENSE.md b/LICENSE.md index 81d06b1c..91eeb783 100644 --- a/LICENSE.md +++ b/LICENSE.md @@ -1,6 +1,12 @@ -My license here: +MIT License - +Copyright (c) 2024 Olivier HΓ©not + +Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions: + +The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software. + +THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. This repository was generated from https://github.com/JuliaPluto/computational-thinking-template which is licensed as follows: diff --git a/PlutoPages.jl b/PlutoPages.jl index 832b288b..0bca671c 100644 --- a/PlutoPages.jl +++ b/PlutoPages.jl @@ -1,5 +1,5 @@ ### A Pluto.jl notebook ### -# v0.19.25 +# v0.19.40 using Markdown using InteractiveUtils diff --git a/README.md b/README.md index 9968d671..5e1b333d 100644 --- a/README.md +++ b/README.md @@ -1,7 +1,5 @@ -# Computational thinking template +

+Computer-assisted proofs in nonlinear analysis +

-

Go to template website :balloon:

- -This repository is a template to build a website like the [Computational thinking course](https://computationalthinking.mit.edu/) tought at MIT. - -**Note**: This is an early experiment and very WIP, use at your own risk. +[Course website](https://olivierhnt.github.io/Computer-assisted-proofs-in-nonlinear-analysis/) diff --git a/pluto-deployment-environment/Manifest.toml b/pluto-deployment-environment/Manifest.toml index f4924457..80bec022 100644 --- a/pluto-deployment-environment/Manifest.toml +++ b/pluto-deployment-environment/Manifest.toml @@ -1,25 +1,52 @@ # This file is machine-generated - editing it directly is not advised -julia_version = "1.8.5" +julia_version = "1.10.2" manifest_format = "2.0" project_hash = "1897773a8065215ef94f8d665d12f3684212efac" [[deps.AbstractPlutoDingetjes]] deps = ["Pkg"] -git-tree-sha1 = "8eaf9f1b4921132a4cff3f36a1d9ba923b14a481" +git-tree-sha1 = "0f748c81756f2e5e6854298f11ad8b2dfae6911a" uuid = "6e696c72-6542-2067-7265-42206c756150" -version = "1.1.4" +version = "1.3.0" [[deps.AbstractTrees]] -git-tree-sha1 = "faa260e4cb5aba097a73fab382dd4b5819d8ec8c" +git-tree-sha1 = "2d9c9a55f9c93e8887ad391fbae72f8ef55e1177" uuid = "1520ce14-60c1-5f80-bbc7-55ef81b5835c" -version = "0.4.4" +version = "0.4.5" + +[[deps.Accessors]] +deps = ["CompositionsBase", "ConstructionBase", "Dates", "InverseFunctions", "LinearAlgebra", "MacroTools", "Markdown", "Test"] +git-tree-sha1 = "c0d491ef0b135fd7d63cbc6404286bc633329425" +uuid = "7d9f7c33-5ae7-4f3b-8dc6-eff91059b697" +version = "0.1.36" + + [deps.Accessors.extensions] + AccessorsAxisKeysExt = "AxisKeys" + AccessorsIntervalSetsExt = "IntervalSets" + AccessorsStaticArraysExt = "StaticArrays" + AccessorsStructArraysExt = "StructArrays" + AccessorsUnitfulExt = "Unitful" + + [deps.Accessors.weakdeps] + AxisKeys = "94b1ba4f-4ee9-5380-92f1-94cde586c3c5" + IntervalSets = "8197267c-284f-5f27-9208-e0e47529a953" + Requires = "ae029012-a4dd-5104-9daa-d747884805df" + StaticArrays = "90137ffa-7385-5640-81b9-e52037218182" + StructArrays = "09ab397b-f2b6-538f-b94a-2f83cf4a842a" + Unitful = "1986cc42-f94f-5a68-af5c-568840ba703d" [[deps.Adapt]] deps = ["LinearAlgebra", "Requires"] -git-tree-sha1 = "76289dc51920fdc6e0013c872ba9551d54961c24" +git-tree-sha1 = "6a55b747d1812e699320963ffde36f1ebdda4099" uuid = "79e6a3ab-5dfb-504d-930d-738a2a938a0e" -version = "3.6.2" +version = "4.0.4" + + [deps.Adapt.extensions] + AdaptStaticArraysExt = "StaticArrays" + + [deps.Adapt.weakdeps] + StaticArrays = "90137ffa-7385-5640-81b9-e52037218182" [[deps.ArgCheck]] git-tree-sha1 = "a3a402a35a2f7e0b87828ccabbd5ebfbebe356b4" @@ -34,10 +61,26 @@ version = "1.1.1" uuid = "56f22d72-fd6d-98f1-02f0-08ddc0907c33" [[deps.BangBang]] -deps = ["Compat", "ConstructionBase", "InitialValues", "LinearAlgebra", "Requires", "Setfield", "Tables"] -git-tree-sha1 = "e28912ce94077686443433c2800104b061a827ed" +deps = ["Accessors", "Compat", "ConstructionBase", "InitialValues", "LinearAlgebra", "Requires"] +git-tree-sha1 = "490e739172eb18f762e68dc3b928cad2a077983a" uuid = "198e06fe-97b7-11e9-32a5-e1d131e6ad66" -version = "0.3.39" +version = "0.4.1" + + [deps.BangBang.extensions] + BangBangChainRulesCoreExt = "ChainRulesCore" + BangBangDataFramesExt = "DataFrames" + BangBangStaticArraysExt = "StaticArrays" + BangBangStructArraysExt = "StructArrays" + BangBangTablesExt = "Tables" + BangBangTypedTablesExt = "TypedTables" + + [deps.BangBang.weakdeps] + ChainRulesCore = "d360d2e6-b24c-11e9-a2a3-2a2ae2dbcce4" + DataFrames = "a93c6f00-e57d-5684-b7b6-d8193f3e46c0" + StaticArrays = "90137ffa-7385-5640-81b9-e52037218182" + StructArrays = "09ab397b-f2b6-538f-b94a-2f83cf4a842a" + Tables = "bd369af6-aec1-5ad0-b16a-f7cc5008161c" + TypedTables = "9d95f2ec-7b3d-5a63-8d20-e2491e220bb9" [[deps.Base64]] uuid = "2a0f44e3-6c83-55bd-87e4-b1978d98bd5f" @@ -54,27 +97,27 @@ uuid = "c9fd44ac-77b5-486c-9482-9798bd063cc6" version = "0.1.5" [[deps.BitFlags]] -git-tree-sha1 = "43b1a4a8f797c1cddadf60499a8a077d4af2cd2d" +git-tree-sha1 = "2dc09997850d68179b69dafb58ae806167a32b1b" uuid = "d1d4a3ce-64b1-5f1a-9ba4-7e7e69966f35" -version = "0.1.7" +version = "0.1.8" [[deps.CodeTracking]] deps = ["InteractiveUtils", "UUIDs"] -git-tree-sha1 = "d730914ef30a06732bdd9f763f6cc32e92ffbff1" +git-tree-sha1 = "c0216e792f518b39b22212127d4a84dc31e4e386" uuid = "da1fd8a2-8d9e-5ec2-8556-3022fb5608a2" -version = "1.3.1" +version = "1.3.5" [[deps.CodecZlib]] deps = ["TranscodingStreams", "Zlib_jll"] -git-tree-sha1 = "9c209fb7536406834aa938fb149964b985de6c83" +git-tree-sha1 = "59939d8a997469ee05c4b4944560a820f9ba0d73" uuid = "944b1d66-785c-5afd-91f1-9de20f533193" -version = "0.7.1" +version = "0.7.4" [[deps.ColorTypes]] deps = ["FixedPointNumbers", "Random"] -git-tree-sha1 = "eb7f0f8307f71fac7c606984ea5fb2817275d6e4" +git-tree-sha1 = "b10d0b65641d57b8b4d5e234446582de5047050d" uuid = "3da002f7-5984-5a60-b8a6-cbb66c0b333f" -version = "0.11.4" +version = "0.11.5" [[deps.CommonMark]] deps = ["Crayons", "JSON", "PrecompileTools", "URIs"] @@ -83,38 +126,54 @@ uuid = "a80b9123-70ca-4bc0-993e-6e3bcb318db6" version = "0.8.12" [[deps.Compat]] -deps = ["Dates", "LinearAlgebra", "UUIDs"] -git-tree-sha1 = "7a60c856b9fa189eb34f5f8a6f6b5529b7942957" +deps = ["TOML", "UUIDs"] +git-tree-sha1 = "c955881e3c981181362ae4088b35995446298b80" uuid = "34da2185-b29b-5c13-b0c7-acf172513d20" -version = "4.6.1" +version = "4.14.0" +weakdeps = ["Dates", "LinearAlgebra"] + + [deps.Compat.extensions] + CompatLinearAlgebraExt = "LinearAlgebra" [[deps.CompilerSupportLibraries_jll]] deps = ["Artifacts", "Libdl"] uuid = "e66e0078-7015-5450-92f7-15fbd957f2ae" -version = "1.0.1+0" +version = "1.1.0+0" [[deps.CompositionsBase]] git-tree-sha1 = "802bb88cd69dfd1509f6670416bd4434015693ad" uuid = "a33af91c-f02d-484b-be07-31d278c5ca2b" version = "0.1.2" +weakdeps = ["InverseFunctions"] + + [deps.CompositionsBase.extensions] + CompositionsBaseInverseFunctionsExt = "InverseFunctions" [[deps.ConcurrentUtilities]] deps = ["Serialization", "Sockets"] -git-tree-sha1 = "96d823b94ba8d187a6d8f0826e731195a74b90e9" +git-tree-sha1 = "6cbbd4d241d7e6579ab354737f4dd95ca43946e1" uuid = "f0e56b4a-5159-44fe-b623-3e5288b988bb" -version = "2.2.0" +version = "2.4.1" [[deps.Configurations]] deps = ["ExproniconLite", "OrderedCollections", "TOML"] -git-tree-sha1 = "62a7c76dbad02fdfdaa53608104edf760938c4ca" +git-tree-sha1 = "4358750bb58a3caefd5f37a4a0c5bfdbbf075252" uuid = "5218b696-f38b-4ac9-8b61-a12ec717816d" -version = "0.17.4" +version = "0.17.6" [[deps.ConstructionBase]] deps = ["LinearAlgebra"] -git-tree-sha1 = "738fec4d684a9a6ee9598a8bfee305b26831f28c" +git-tree-sha1 = "260fd2400ed2dab602a7c15cf10c1933c59930a2" uuid = "187b0558-2788-49d3-abe0-74a17ed4e7c9" -version = "1.5.2" +version = "1.5.5" + + [deps.ConstructionBase.extensions] + ConstructionBaseIntervalSetsExt = "IntervalSets" + ConstructionBaseStaticArraysExt = "StaticArrays" + + [deps.ConstructionBase.weakdeps] + IntervalSets = "8197267c-284f-5f27-9208-e0e47529a953" + StaticArrays = "90137ffa-7385-5640-81b9-e52037218182" [[deps.Crayons]] git-tree-sha1 = "249fe38abf76d48563e2f4556bebd215aa317e15" @@ -122,9 +181,9 @@ uuid = "a8cc5b0e-0ffa-5ad4-8c14-923d3ee1735f" version = "4.1.1" [[deps.DataAPI]] -git-tree-sha1 = "8da84edb865b0b5b0100c0666a9bc9a0b71c553c" +git-tree-sha1 = "abe83f3a2f1b857aac70ef8b269080af17764bbe" uuid = "9a962f9c-6df0-11e9-0e5d-c546b8b5ee8a" -version = "1.15.0" +version = "1.16.0" [[deps.DataValueInterfaces]] git-tree-sha1 = "bfc1187b79289637fa0ef6d4436ebdfe6905cbd6" @@ -155,17 +214,27 @@ deps = ["ArgTools", "FileWatching", "LibCURL", "NetworkOptions"] uuid = "f43a241f-c20a-4ad4-852c-f6b1247861c6" version = "1.6.0" +[[deps.ExceptionUnwrapping]] +deps = ["Test"] +git-tree-sha1 = "dcb08a0d93ec0b1cdc4af184b26b591e9695423a" +uuid = "460bff9d-24e4-43bc-9d9f-a8973cb893f4" +version = "0.1.10" + [[deps.Expat_jll]] -deps = ["Artifacts", "JLLWrappers", "Libdl", "Pkg"] -git-tree-sha1 = "bad72f730e9e91c08d9427d5e8db95478a3c323d" +deps = ["Artifacts", "JLLWrappers", "Libdl"] +git-tree-sha1 = "4558ab818dcceaab612d1bb8c19cee87eda2b83c" uuid = "2e619515-83b5-522b-bb60-26c02a35a201" -version = "2.4.8+0" +version = "2.5.0+0" + +[[deps.ExpressionExplorer]] +git-tree-sha1 = "0da78bef32ca71276337442389a3d1962a1ee0da" +uuid = "21656369-7473-754a-2065-74616d696c43" +version = "1.0.2" [[deps.ExproniconLite]] -deps = ["Pkg", "TOML"] -git-tree-sha1 = "c2eb763acf6e13e75595e0737a07a0bec0ce2147" +git-tree-sha1 = "5552cf384e4577c5dd2db57d7086a4a41747dbb9" uuid = "55351af7-c7e9-48d6-89ff-24e801d99491" -version = "0.7.11" +version = "0.10.6" [[deps.FileWatching]] uuid = "7b1f6079-737a-58dc-b8bc-7a2ca5c1b5ee" @@ -188,27 +257,27 @@ uuid = "9fa8497b-333b-5362-9e8d-4d0656e87820" [[deps.FuzzyCompletions]] deps = ["REPL"] -git-tree-sha1 = "e16dd964b4dfaebcded16b2af32f05e235b354be" +git-tree-sha1 = "40ec72c57559a4473961bbcd12c96bcd4c2aaab4" uuid = "fb4132e2-a121-4a70-b8a1-d5b831dcdcc2" -version = "0.5.1" +version = "0.5.4" [[deps.Git]] deps = ["Git_jll"] -git-tree-sha1 = "51764e6c2e84c37055e846c516e9015b4a291c7d" +git-tree-sha1 = "04eff47b1354d702c3a85e8ab23d539bb7d5957e" uuid = "d7ba0133-e1db-5d97-8f8c-041e4b3a1eb2" -version = "1.3.0" +version = "1.3.1" [[deps.GitHubActions]] deps = ["JSON", "Logging"] -git-tree-sha1 = "56e01ec63d13e1cf015d9ff586156eae3cc7cd6f" +git-tree-sha1 = "8750718611144f23584ca265d899baa1bf1a4531" uuid = "6b79fd1a-b13a-48ab-b6b0-aaee1fee41df" -version = "0.1.4" +version = "0.1.7" [[deps.Git_jll]] deps = ["Artifacts", "Expat_jll", "JLLWrappers", "LibCURL_jll", "Libdl", "Libiconv_jll", "OpenSSL_jll", "PCRE2_jll", "Zlib_jll"] -git-tree-sha1 = "d8be4aab0f4e043cc40984e9097417307cce4c03" +git-tree-sha1 = "d18fb8a1f3609361ebda9bf029b60fd0f120c809" uuid = "f8c6e375-362e-5223-8a59-34ff63f689eb" -version = "2.36.1+2" +version = "2.44.0+2" [[deps.Glob]] git-tree-sha1 = "97285bbd5230dd766e9ef6749b80fc617126d496" @@ -228,28 +297,28 @@ uuid = "528830af-5a63-567c-a44a-034ed33b8444" version = "0.10.2+0" [[deps.HTTP]] -deps = ["Base64", "CodecZlib", "ConcurrentUtilities", "Dates", "Logging", "LoggingExtras", "MbedTLS", "NetworkOptions", "OpenSSL", "Random", "SimpleBufferStream", "Sockets", "URIs", "UUIDs"] -git-tree-sha1 = "5e77dbf117412d4f164a464d610ee6050cc75272" +deps = ["Base64", "CodecZlib", "ConcurrentUtilities", "Dates", "ExceptionUnwrapping", "Logging", "LoggingExtras", "MbedTLS", "NetworkOptions", "OpenSSL", "Random", "SimpleBufferStream", "Sockets", "URIs", "UUIDs"] +git-tree-sha1 = "8e59b47b9dc525b70550ca082ce85bcd7f5477cd" uuid = "cd3eb016-35fb-5094-929b-558a96fad6f3" -version = "1.9.6" +version = "1.10.5" [[deps.Hyperscript]] deps = ["Test"] -git-tree-sha1 = "8d511d5b81240fc8e6802386302675bdf47737b9" +git-tree-sha1 = "179267cfa5e712760cd43dcae385d7ea90cc25a4" uuid = "47d2ed2b-36de-50cf-bf87-49c2cf4b8b91" -version = "0.0.4" +version = "0.0.5" [[deps.HypertextLiteral]] deps = ["Tricks"] -git-tree-sha1 = "c47c5fa4c5308f27ccaac35504858d8914e102f9" +git-tree-sha1 = "7134810b1afce04bbc1045ca1985fbe81ce17653" uuid = "ac1192a8-f4b3-4bfe-ba22-af5b92cd3ab2" -version = "0.9.4" +version = "0.9.5" [[deps.IOCapture]] deps = ["Logging", "Random"] -git-tree-sha1 = "d75853a0bdbfb1ac815478bacd89cd27b550ace6" +git-tree-sha1 = "8b72179abc660bfab5e28472e019392b97d0985c" uuid = "b5f81e59-6552-4d32-b1f0-c071b021bf89" -version = "0.2.3" +version = "0.2.4" [[deps.InitialValues]] git-tree-sha1 = "4da0f88e9a39111c2fa3add390ab15f3a44f3ca3" @@ -260,16 +329,26 @@ version = "0.3.1" deps = ["Markdown"] uuid = "b77e0a4c-d291-57a0-90e8-8db25a27a240" +[[deps.InverseFunctions]] +deps = ["Test"] +git-tree-sha1 = "896385798a8d49a255c398bd49162062e4a4c435" +uuid = "3587e190-3f89-42d0-90ee-14403ec27112" +version = "0.1.13" +weakdeps = ["Dates"] + + [deps.InverseFunctions.extensions] + DatesExt = "Dates" + [[deps.IteratorInterfaceExtensions]] git-tree-sha1 = "a3f24677c21f5bbe9d2a714f95dcd58337fb2856" uuid = "82899510-4779-5014-852e-03e436cf321d" version = "1.0.0" [[deps.JLLWrappers]] -deps = ["Preferences"] -git-tree-sha1 = "abc9885a7ca2052a736a600f7fa66209f96506e1" +deps = ["Artifacts", "Preferences"] +git-tree-sha1 = "7e5d6779a1e09a36db2a7b6cff50942a0a7d0fca" uuid = "692b3bcd-3c85-4b1f-b108-f13ce0eb3210" -version = "1.4.1" +version = "1.5.0" [[deps.JSON]] deps = ["Dates", "Mmap", "Parsers", "Unicode"] @@ -279,19 +358,23 @@ version = "0.21.4" [[deps.JuliaInterpreter]] deps = ["CodeTracking", "InteractiveUtils", "Random", "UUIDs"] -git-tree-sha1 = "6a125e6a4cb391e0b9adbd1afa9e771c2179f8ef" +git-tree-sha1 = "e9648d90370e2d0317f9518c9c6e0841db54a90b" uuid = "aa1ae85d-cabe-5617-a682-6adf51b2e16a" -version = "0.9.23" +version = "0.9.31" [[deps.LRUCache]] -git-tree-sha1 = "48c10e3cc27e30de82463c27bef0b8bdbd1dc634" +git-tree-sha1 = "b3cc6698599b10e652832c2f23db3cab99d51b59" uuid = "8ac3fa9e-de4c-5943-b1dc-09c6b5f20637" -version = "1.4.1" +version = "1.6.1" +weakdeps = ["Serialization"] + + [deps.LRUCache.extensions] + SerializationExt = ["Serialization"] [[deps.LazilyInitializedFields]] -git-tree-sha1 = "410fe4739a4b092f2ffe36fcb0dcc3ab12648ce1" +git-tree-sha1 = "8f7f3cabab0fd1800699663533b6d5cb3fc0e612" uuid = "0e77f7df-68c5-4e49-93ce-4cd80f5598bf" -version = "1.2.1" +version = "1.2.2" [[deps.LeftChildRightSiblingTrees]] deps = ["AbstractTrees"] @@ -302,33 +385,38 @@ version = "0.2.0" [[deps.LibCURL]] deps = ["LibCURL_jll", "MozillaCACerts_jll"] uuid = "b27032c2-a3e7-50c8-80cd-2d36dbcbfd21" -version = "0.6.3" +version = "0.6.4" [[deps.LibCURL_jll]] deps = ["Artifacts", "LibSSH2_jll", "Libdl", "MbedTLS_jll", "Zlib_jll", "nghttp2_jll"] uuid = "deac9b47-8bc7-5906-a0fe-35ac56dc84c0" -version = "7.84.0+0" +version = "8.4.0+0" [[deps.LibGit2]] -deps = ["Base64", "NetworkOptions", "Printf", "SHA"] +deps = ["Base64", "LibGit2_jll", "NetworkOptions", "Printf", "SHA"] uuid = "76f85450-5226-5b5a-8eaa-529ad045b433" +[[deps.LibGit2_jll]] +deps = ["Artifacts", "LibSSH2_jll", "Libdl", "MbedTLS_jll"] +uuid = "e37daf67-58a4-590a-8e99-b0245dd2ffc5" +version = "1.6.4+0" + [[deps.LibSSH2_jll]] deps = ["Artifacts", "Libdl", "MbedTLS_jll"] uuid = "29816b5a-b9ab-546f-933c-edad1886dfa8" -version = "1.10.2+0" +version = "1.11.0+1" [[deps.Libdl]] uuid = "8f399da3-3557-5675-b5ff-fb832c97cbdb" [[deps.Libiconv_jll]] -deps = ["Artifacts", "JLLWrappers", "Libdl", "Pkg"] -git-tree-sha1 = "c7cb1f5d892775ba13767a87c7ada0b980ea0a71" +deps = ["Artifacts", "JLLWrappers", "Libdl"] +git-tree-sha1 = "f9557a255370125b405568f9767d6d195822a175" uuid = "94ce4f54-9a6c-5748-9c1c-f9c7231a4531" -version = "1.16.1+2" +version = "1.17.0+0" [[deps.LinearAlgebra]] -deps = ["Libdl", "libblastrampoline_jll"] +deps = ["Libdl", "OpenBLAS_jll", "libblastrampoline_jll"] uuid = "37e2e46d-f89d-539d-b4ee-838fcccc9c8e" [[deps.Logging]] @@ -336,15 +424,15 @@ uuid = "56ddb016-857b-54e1-b83d-db4d58db5568" [[deps.LoggingExtras]] deps = ["Dates", "Logging"] -git-tree-sha1 = "cedb76b37bc5a6c702ade66be44f831fa23c681e" +git-tree-sha1 = "c1dd6d7978c12545b4179fb6153b9250c96b0075" uuid = "e6f89c97-d47a-5376-807f-9c37f3926c36" -version = "1.0.0" +version = "1.0.3" [[deps.LoweredCodeUtils]] deps = ["JuliaInterpreter"] -git-tree-sha1 = "60168780555f3e663c536500aa790b6368adc02a" +git-tree-sha1 = "31e27f0b0bf0df3e3e951bfcc43fe8c730a219f6" uuid = "6f1432cf-f94c-5a45-995e-cdbf5db27b0b" -version = "2.3.0" +version = "2.4.5" [[deps.MIMEs]] git-tree-sha1 = "65f28ad4b594aebe22157d6fac869786a255b7eb" @@ -353,9 +441,15 @@ version = "0.1.4" [[deps.MacroTools]] deps = ["Markdown", "Random"] -git-tree-sha1 = "42324d08725e200c23d4dfb549e0d5d89dede2d2" +git-tree-sha1 = "2fa9ee3e63fd3a4f7a9a4f4744a52f4856de82df" uuid = "1914dd2f-81c6-5fcd-8719-6d5c9610ff09" -version = "0.5.10" +version = "0.5.13" + +[[deps.Malt]] +deps = ["Distributed", "Logging", "RelocatableFolders", "Serialization", "Sockets"] +git-tree-sha1 = "18cf4151e390fce29ca846b92b06baf9bc6e002e" +uuid = "36869731-bdee-424d-aa32-cab38c994e3b" +version = "1.1.1" [[deps.Markdown]] deps = ["Base64"] @@ -368,15 +462,15 @@ uuid = "736d6165-7244-6769-4267-6b50796e6954" version = "0.1.1" [[deps.MbedTLS]] -deps = ["Dates", "MbedTLS_jll", "MozillaCACerts_jll", "Random", "Sockets"] -git-tree-sha1 = "03a9b9718f5682ecb107ac9f7308991db4ce395b" +deps = ["Dates", "MbedTLS_jll", "MozillaCACerts_jll", "NetworkOptions", "Random", "Sockets"] +git-tree-sha1 = "c067a280ddc25f196b5e7df3877c6b226d390aaf" uuid = "739be429-bea8-5141-9913-cc70e7f3736d" -version = "1.1.7" +version = "1.1.9" [[deps.MbedTLS_jll]] deps = ["Artifacts", "Libdl"] uuid = "c8ffd9c3-330d-5841-b78e-0817d7145fa1" -version = "2.28.0+0" +version = "2.28.2+1" [[deps.Memoize]] deps = ["MacroTools"] @@ -385,23 +479,23 @@ uuid = "c03570c3-d221-55d1-a50c-7939bbd78826" version = "0.4.4" [[deps.MicroCollections]] -deps = ["BangBang", "InitialValues", "Setfield"] -git-tree-sha1 = "629afd7d10dbc6935ec59b32daeb33bc4460a42e" +deps = ["Accessors", "BangBang", "InitialValues"] +git-tree-sha1 = "44d32db644e84c75dab479f1bc15ee76a1a3618f" uuid = "128add7d-3638-4c79-886c-908ea0c25c34" -version = "0.1.4" +version = "0.2.0" [[deps.Mmap]] uuid = "a63ad114-7e13-5084-954f-fe012c677804" [[deps.MozillaCACerts_jll]] uuid = "14a3606d-f60d-562e-9121-12d972cd8159" -version = "2022.2.1" +version = "2023.1.10" [[deps.MsgPack]] deps = ["Serialization"] -git-tree-sha1 = "fc8c15ca848b902015bd4a745d350f02cf791c2a" +git-tree-sha1 = "f5db02ae992c260e4826fe78c942954b48e1d9c2" uuid = "99f44e22-a591-53d1-9472-aa23ef4bd671" -version = "1.2.0" +version = "1.2.1" [[deps.NetworkOptions]] uuid = "ca575930-c2e3-43a9-ace4-1e988b2c1908" @@ -410,46 +504,52 @@ version = "1.2.0" [[deps.OpenBLAS_jll]] deps = ["Artifacts", "CompilerSupportLibraries_jll", "Libdl"] uuid = "4536629a-c528-5b80-bd46-f80d51c5b363" -version = "0.3.20+0" +version = "0.3.23+4" [[deps.OpenSSL]] deps = ["BitFlags", "Dates", "MozillaCACerts_jll", "OpenSSL_jll", "Sockets"] -git-tree-sha1 = "51901a49222b09e3743c65b8847687ae5fc78eb2" +git-tree-sha1 = "af81a32750ebc831ee28bdaaba6e1067decef51e" uuid = "4d8831e6-92b7-49fb-bdf8-b643e874388c" -version = "1.4.1" +version = "1.4.2" [[deps.OpenSSL_jll]] deps = ["Artifacts", "JLLWrappers", "Libdl"] -git-tree-sha1 = "1aa4b74f80b01c6bc2b89992b861b5f210e665b5" +git-tree-sha1 = "3da7367955dcc5c54c1ba4d402ccdc09a1a3e046" uuid = "458c3c95-2e84-50aa-8efc-19380b2a3a95" -version = "1.1.21+0" +version = "3.0.13+1" [[deps.OrderedCollections]] -git-tree-sha1 = "d321bf2de576bf25ec4d3e4360faca399afca282" +git-tree-sha1 = "dfdf5519f235516220579f949664f1bf44e741c5" uuid = "bac558e1-5e72-5ebc-8fee-abe8a469f55d" -version = "1.6.0" +version = "1.6.3" [[deps.PCRE2_jll]] deps = ["Artifacts", "Libdl"] uuid = "efcefdf7-47ab-520b-bdef-62a2eaa19f15" -version = "10.40.0+0" +version = "10.42.0+1" [[deps.Parsers]] deps = ["Dates", "PrecompileTools", "UUIDs"] -git-tree-sha1 = "a5aef8d4a6e8d81f171b2bd4be5265b01384c74c" +git-tree-sha1 = "8489905bcdbcfac64d1daa51ca07c0d8f0283821" uuid = "69de0a69-1ddd-5017-9359-2bf0b02dc9f0" -version = "2.5.10" +version = "2.8.1" [[deps.Pkg]] -deps = ["Artifacts", "Dates", "Downloads", "LibGit2", "Libdl", "Logging", "Markdown", "Printf", "REPL", "Random", "SHA", "Serialization", "TOML", "Tar", "UUIDs", "p7zip_jll"] +deps = ["Artifacts", "Dates", "Downloads", "FileWatching", "LibGit2", "Libdl", "Logging", "Markdown", "Printf", "REPL", "Random", "SHA", "Serialization", "TOML", "Tar", "UUIDs", "p7zip_jll"] uuid = "44cfe95a-1eb2-52ea-b672-e2afdf69b78f" -version = "1.8.0" +version = "1.10.0" [[deps.Pluto]] -deps = ["Base64", "Configurations", "Dates", "Distributed", "FileWatching", "FuzzyCompletions", "HTTP", "HypertextLiteral", "InteractiveUtils", "Logging", "LoggingExtras", "MIMEs", "Markdown", "MsgPack", "Pkg", "PrecompileSignatures", "REPL", "RegistryInstances", "RelocatableFolders", "SnoopPrecompile", "Sockets", "TOML", "Tables", "URIs", "UUIDs"] -git-tree-sha1 = "c3127195e4d10d9de5aa7364b5924ae062dcad35" +deps = ["Base64", "Configurations", "Dates", "Downloads", "ExpressionExplorer", "FileWatching", "FuzzyCompletions", "HTTP", "HypertextLiteral", "InteractiveUtils", "Logging", "LoggingExtras", "MIMEs", "Malt", "Markdown", "MsgPack", "Pkg", "PlutoDependencyExplorer", "PrecompileSignatures", "PrecompileTools", "REPL", "RegistryInstances", "RelocatableFolders", "Scratch", "Sockets", "TOML", "Tables", "URIs", "UUIDs"] +git-tree-sha1 = "35280d2e6b2211bc5f9e913460c263ac89ef56f0" uuid = "c3e4b0f8-55cb-11ea-2926-15256bba5781" -version = "0.19.25" +version = "0.19.40" + +[[deps.PlutoDependencyExplorer]] +deps = ["ExpressionExplorer", "InteractiveUtils", "Markdown"] +git-tree-sha1 = "4bc5284f77d731196d3e97f23abb732ad6f2a6e4" +uuid = "72656b73-756c-7461-726b-72656b6b696b" +version = "1.0.4" [[deps.PlutoHooks]] deps = ["InteractiveUtils", "Markdown", "UUIDs"] @@ -465,15 +565,15 @@ version = "0.1.6" [[deps.PlutoSliderServer]] deps = ["AbstractPlutoDingetjes", "Base64", "BetterFileWatching", "Configurations", "Distributed", "FromFile", "Git", "GitHubActions", "Glob", "HTTP", "JSON", "Logging", "Pkg", "Pluto", "SHA", "Sockets", "TOML", "TerminalLoggers", "UUIDs"] -git-tree-sha1 = "2bca19d5d90959f6ffda8ec4bcfaa25ebf09b6b7" +git-tree-sha1 = "bebd149349757df4ef8f1f62b78408b68114e133" uuid = "2fc8631c-6f24-4c5b-bca7-cbb509c42db4" -version = "0.3.25" +version = "0.3.29" [[deps.PlutoUI]] deps = ["AbstractPlutoDingetjes", "Base64", "ColorTypes", "Dates", "FixedPointNumbers", "Hyperscript", "HypertextLiteral", "IOCapture", "InteractiveUtils", "JSON", "Logging", "MIMEs", "Markdown", "Random", "Reexport", "URIs", "UUIDs"] -git-tree-sha1 = "b478a748be27bd2f2c73a7690da219d0844db305" +git-tree-sha1 = "71a22244e352aa8c5f0f2adde4150f62368a3f2e" uuid = "7f904dfe-b85e-4ff6-b463-dae2292396a8" -version = "0.7.51" +version = "0.7.58" [[deps.PrecompileSignatures]] git-tree-sha1 = "18ef344185f25ee9d51d80e179f8dad33dc48eb1" @@ -482,15 +582,15 @@ version = "3.0.3" [[deps.PrecompileTools]] deps = ["Preferences"] -git-tree-sha1 = "9673d39decc5feece56ef3940e5dafba15ba0f81" +git-tree-sha1 = "5aa36f7049a63a1528fe8f7c3f2113413ffd4e1f" uuid = "aea7be01-6a6a-4083-8856-8a6e6704d82a" -version = "1.1.2" +version = "1.2.1" [[deps.Preferences]] deps = ["TOML"] -git-tree-sha1 = "7eb1686b4f04b82f96ed7a4ea5890a4f0c7a09f1" +git-tree-sha1 = "9306f6085165d270f7e3db02af26a400d580f5c6" uuid = "21216c6a-2e73-6563-6e65-726566657250" -version = "1.4.0" +version = "1.4.3" [[deps.Printf]] deps = ["Unicode"] @@ -507,7 +607,7 @@ deps = ["InteractiveUtils", "Markdown", "Sockets", "Unicode"] uuid = "3fa0cd96-eef1-5676-8a61-b3b8758bbffb" [[deps.Random]] -deps = ["SHA", "Serialization"] +deps = ["SHA"] uuid = "9a3f8284-a2c9-5f02-9a11-845980a1fd5c" [[deps.Reexport]] @@ -517,9 +617,9 @@ version = "1.2.2" [[deps.Referenceables]] deps = ["Adapt"] -git-tree-sha1 = "e681d3bfa49cd46c3c161505caddf20f0e62aaa9" +git-tree-sha1 = "02d31ad62838181c1a3a5fd23a1ce5914a643601" uuid = "42d2dcc6-99eb-4e98-b66c-637b7d73030e" -version = "0.1.2" +version = "0.1.3" [[deps.RegistryInstances]] deps = ["LazilyInitializedFields", "Pkg", "TOML", "Tar"] @@ -529,9 +629,9 @@ version = "0.1.0" [[deps.RelocatableFolders]] deps = ["SHA", "Scratch"] -git-tree-sha1 = "90bc7a7c96410424509e4263e277e43250c05691" +git-tree-sha1 = "ffdaf70d81cf6ff22c2b6e733c900c3321cab864" uuid = "05181044-ff0b-4ac5-8273-598c1e38db00" -version = "1.0.0" +version = "1.0.1" [[deps.Requires]] deps = ["UUIDs"] @@ -541,9 +641,9 @@ version = "1.3.0" [[deps.Revise]] deps = ["CodeTracking", "Distributed", "FileWatching", "JuliaInterpreter", "LibGit2", "LoweredCodeUtils", "OrderedCollections", "Pkg", "REPL", "Requires", "UUIDs", "Unicode"] -git-tree-sha1 = "feafdc70b2e6684314e188d95fe66d116de834a7" +git-tree-sha1 = "12aa2d7593df490c407a3bbd8b86b8b515017f3e" uuid = "295af30f-e4ad-537b-8983-00126c2a3abe" -version = "3.5.2" +version = "3.5.14" [[deps.SHA]] uuid = "ea8e919c-243c-51af-8825-aaa63cd721ce" @@ -551,9 +651,9 @@ version = "0.7.0" [[deps.Scratch]] deps = ["Dates"] -git-tree-sha1 = "30449ee12237627992a99d5e30ae63e4d78cd24a" +git-tree-sha1 = "3bac05bc7e74a75fd9cba4295cde4045d9fe2386" uuid = "6c6a2e73-6563-6170-7368-637461726353" -version = "1.2.0" +version = "1.2.1" [[deps.Serialization]] uuid = "9e88b42a-f829-5b0c-bbe9-9e923198166b" @@ -569,18 +669,13 @@ git-tree-sha1 = "874e8867b33a00e784c8a7e4b60afe9e037b74e1" uuid = "777ac1f9-54b0-4bf8-805c-2214025038e7" version = "1.1.0" -[[deps.SnoopPrecompile]] -deps = ["Preferences"] -git-tree-sha1 = "e760a70afdcd461cf01a575947738d359234665c" -uuid = "66db9d55-30c0-4569-8b51-7e840670fc0c" -version = "1.0.3" - [[deps.Sockets]] uuid = "6462fe0b-24de-5631-8697-dd941f90decc" [[deps.SparseArrays]] -deps = ["LinearAlgebra", "Random"] +deps = ["Libdl", "LinearAlgebra", "Random", "Serialization", "SuiteSparse_jll"] uuid = "2f01184e-e22b-5df5-ae63-d93ebab69eaf" +version = "1.10.0" [[deps.SplittablesBase]] deps = ["Setfield", "Test"] @@ -589,24 +684,30 @@ uuid = "171d559e-b47b-412a-8079-5efa626c420e" version = "0.1.15" [[deps.StaticArraysCore]] -git-tree-sha1 = "6b7ba252635a5eff6a0b0664a41ee140a1c9e72a" +git-tree-sha1 = "36b3d696ce6366023a0ea192b4cd442268995a0d" uuid = "1e83bf80-4336-4d27-bf5d-d5a4f845583c" -version = "1.4.0" +version = "1.4.2" [[deps.Statistics]] deps = ["LinearAlgebra", "SparseArrays"] uuid = "10745b16-79ce-11e8-11f9-7d13ad32a3b2" +version = "1.10.0" [[deps.StringEncodings]] deps = ["Libiconv_jll"] -git-tree-sha1 = "33c0da881af3248dafefb939a21694b97cfece76" +git-tree-sha1 = "b765e46ba27ecf6b44faf70df40c57aa3a547dcb" uuid = "69024149-9ee7-55f6-a4c4-859efe599b68" -version = "0.3.6" +version = "0.3.7" + +[[deps.SuiteSparse_jll]] +deps = ["Artifacts", "Libdl", "libblastrampoline_jll"] +uuid = "bea87d4a-7f5b-5778-9afe-8cc45184846c" +version = "7.2.1+1" [[deps.TOML]] deps = ["Dates"] uuid = "fa267f1f-6049-4f14-aa54-33bafae1ed76" -version = "1.0.0" +version = "1.0.3" [[deps.TableTraits]] deps = ["IteratorInterfaceExtensions"] @@ -615,15 +716,15 @@ uuid = "3783bdb8-4a98-5b6b-af9a-565f29a5fe9c" version = "1.0.1" [[deps.Tables]] -deps = ["DataAPI", "DataValueInterfaces", "IteratorInterfaceExtensions", "LinearAlgebra", "OrderedCollections", "TableTraits", "Test"] -git-tree-sha1 = "1544b926975372da01227b382066ab70e574a3ec" +deps = ["DataAPI", "DataValueInterfaces", "IteratorInterfaceExtensions", "LinearAlgebra", "OrderedCollections", "TableTraits"] +git-tree-sha1 = "cb76cf677714c095e535e3501ac7954732aeea2d" uuid = "bd369af6-aec1-5ad0-b16a-f7cc5008161c" -version = "1.10.1" +version = "1.11.1" [[deps.Tar]] deps = ["ArgTools", "SHA"] uuid = "a4e569a6-e804-4fa4-b0f3-eef7a1d5b13e" -version = "1.10.1" +version = "1.10.0" [[deps.TerminalLoggers]] deps = ["LeftChildRightSiblingTrees", "Logging", "Markdown", "Printf", "ProgressLogging", "UUIDs"] @@ -636,32 +737,49 @@ deps = ["InteractiveUtils", "Logging", "Random", "Serialization"] uuid = "8dfed614-e22c-5e08-85e1-65c5234f0b40" [[deps.ThreadsX]] -deps = ["ArgCheck", "BangBang", "ConstructionBase", "InitialValues", "MicroCollections", "Referenceables", "Setfield", "SplittablesBase", "Transducers"] -git-tree-sha1 = "34e6bcf36b9ed5d56489600cf9f3c16843fa2aa2" +deps = ["Accessors", "ArgCheck", "BangBang", "ConstructionBase", "InitialValues", "MicroCollections", "Referenceables", "SplittablesBase", "Transducers"] +git-tree-sha1 = "70bd8244f4834d46c3d68bd09e7792d8f571ef04" uuid = "ac1d9e8a-700a-412c-b207-f0111f4b6c0d" -version = "0.1.11" +version = "0.1.12" [[deps.TranscodingStreams]] -deps = ["Random", "Test"] -git-tree-sha1 = "9a6ae7ed916312b41236fcef7e0af564ef934769" +git-tree-sha1 = "71509f04d045ec714c4748c785a59045c3736349" uuid = "3bb67fe8-82b1-5028-8e26-92a6c54297fa" -version = "0.9.13" +version = "0.10.7" +weakdeps = ["Random", "Test"] + + [deps.TranscodingStreams.extensions] + TestExt = ["Test", "Random"] [[deps.Transducers]] -deps = ["Adapt", "ArgCheck", "BangBang", "Baselet", "CompositionsBase", "DefineSingletons", "Distributed", "InitialValues", "Logging", "Markdown", "MicroCollections", "Requires", "Setfield", "SplittablesBase", "Tables"] -git-tree-sha1 = "25358a5f2384c490e98abd565ed321ffae2cbb37" +deps = ["Accessors", "Adapt", "ArgCheck", "BangBang", "Baselet", "CompositionsBase", "ConstructionBase", "DefineSingletons", "Distributed", "InitialValues", "Logging", "Markdown", "MicroCollections", "Requires", "SplittablesBase", "Tables"] +git-tree-sha1 = "47e516e2eabd0cf1304cd67839d9a85d52dd659d" uuid = "28d57a85-8fef-5791-bfe6-a80928e7c999" -version = "0.4.76" +version = "0.4.81" + + [deps.Transducers.extensions] + TransducersBlockArraysExt = "BlockArrays" + TransducersDataFramesExt = "DataFrames" + TransducersLazyArraysExt = "LazyArrays" + TransducersOnlineStatsBaseExt = "OnlineStatsBase" + TransducersReferenceablesExt = "Referenceables" + + [deps.Transducers.weakdeps] + BlockArrays = "8e7c35d0-a365-5155-bbbb-fb81a777f24e" + DataFrames = "a93c6f00-e57d-5684-b7b6-d8193f3e46c0" + LazyArrays = "5078a376-72f3-5289-bfd5-ec5146d43c02" + OnlineStatsBase = "925886fa-5bf2-5e8e-b522-a9147a512338" + Referenceables = "42d2dcc6-99eb-4e98-b66c-637b7d73030e" [[deps.Tricks]] -git-tree-sha1 = "aadb748be58b492045b4f56166b5188aa63ce549" +git-tree-sha1 = "eae1bb484cd63b36999ee58be2de6c178105112f" uuid = "410a4b4d-49e4-4fbc-ab6d-cb71b17b3775" -version = "0.1.7" +version = "0.1.8" [[deps.URIs]] -git-tree-sha1 = "074f993b0ca030848b897beff716d93aca60f06a" +git-tree-sha1 = "67db6cc7b3821e19ebe75791a9dd19c9b1188f2b" uuid = "5c2747f8-b7ea-4ff2-ba2e-563bfd36b1d4" -version = "1.4.2" +version = "1.5.1" [[deps.UUIDs]] deps = ["Random", "SHA"] @@ -672,26 +790,26 @@ uuid = "4ec0a83e-493e-50e2-b9ac-8f72acf5a8f5" [[deps.YAML]] deps = ["Base64", "Dates", "Printf", "StringEncodings"] -git-tree-sha1 = "dbc7f1c0012a69486af79c8bcdb31be820670ba2" +git-tree-sha1 = "e6330e4b731a6af7959673621e91645eb1356884" uuid = "ddb6d928-2868-570f-bddf-ab3f9cf99eb6" -version = "0.4.8" +version = "0.4.9" [[deps.Zlib_jll]] deps = ["Libdl"] uuid = "83775a58-1f1d-513f-b197-d71354ab007a" -version = "1.2.12+3" +version = "1.2.13+1" [[deps.libblastrampoline_jll]] -deps = ["Artifacts", "Libdl", "OpenBLAS_jll"] +deps = ["Artifacts", "Libdl"] uuid = "8e850b90-86db-534c-a0d3-1478176c7d93" -version = "5.1.1+0" +version = "5.8.0+1" [[deps.nghttp2_jll]] deps = ["Artifacts", "Libdl"] uuid = "8e850ede-7688-5339-a07c-302acd2aaf8d" -version = "1.48.0+0" +version = "1.52.0+1" [[deps.p7zip_jll]] deps = ["Artifacts", "Libdl"] uuid = "3f19e933-33d8-53b3-aaab-bd5110c3b7a0" -version = "17.4.0+0" +version = "17.4.0+2" diff --git a/src/_data/course_info.jl b/src/_data/course_info.jl index 37a30352..cd64057f 100644 --- a/src/_data/course_info.jl +++ b/src/_data/course_info.jl @@ -1,13 +1,12 @@ Dict( - "course_name" => "Name of your course", - "course_subtitle" => "a short catchy phrase about your course", - "code" => "code of your course", - "semester" => "Fall 20XX", + "course_name" => "Computer-assisted proofs in nonlinear analysis", + "course_subtitle" => "", + "code" => "", + "semester" => "Fall 2024", "authors" => [ - "First author name" => "first author homepage link", - "Second author name" => "second author homepage link" + "Olivier HΓ©not" => "https://olivierhnt.github.io/" ], - "institution" => "Your university (or similar) name", - "institution_logo" => "name of your institution logo file, e.g. `logo.svg`. Place this under `assets`", - "repo" => "link to the repository of the source code" -) \ No newline at end of file + "institution" => "", + "institution_logo" => "logo.png", + "repo" => "https://github.com/OlivierHnt/Computer-assisted-proofs-in-nonlinear-analysis" +) diff --git a/src/_data/homepage.jl b/src/_data/homepage.jl index 1ab7bd81..c14d1694 100644 --- a/src/_data/homepage.jl +++ b/src/_data/homepage.jl @@ -1,15 +1,11 @@ Dict( - "title" => @htl("Computational thinking website template"), + "title" => @htl("Computer-assisted proofs in nonlinear analysis"), - # # add a disclaimer to the course webpage. Remove it if you dont want to include it. - "disclaimer" => md""" - This template will allow you to build a website like the **Computational thinking with Julia** class tought at MIT. - Use it to harness the power of Julia and Pluto in your own teaching and enhance students learning experience. - """, +# "disclaimer" => md""" +# """, - # Highlights the key features of your class to make it more engaging. Remove it if you dont want to include it. "highlights" => [ - Dict("name" => "Easy to customise", + Dict("name" => "Easy to customise", "text" => md"Let the template automate all of the website development and infrastructure, so that you can focus on the most important thing: **easily develop your lesson materials!**", "img" => "https://user-images.githubusercontent.com/6933510/168320383-a401459b-97f5-41df-bc7b-ebe76e4886cc.png" @@ -33,4 +29,4 @@ Dict( "img" => "https://user-images.githubusercontent.com/6933510/136203632-29ce0a96-5a34-46ad-a996-de55b3bcd380.png" ) ] -) \ No newline at end of file +) diff --git a/src/_data/sidebar.jl b/src/_data/sidebar.jl index 14ad5661..ec6b1fb5 100644 --- a/src/_data/sidebar.jl +++ b/src/_data/sidebar.jl @@ -1,6 +1,5 @@ [ - "welcome" => "Welcome", - "module1" => "Module 1: Website setup", - "module2" => "Module 2: Adding course material", - "module3" => "Module 3: Publishing your website" -] \ No newline at end of file + "welcome" => "Overview", + "module1" => "Module 1: Finite dimensional problems", + "module2" => "Module 2: Infinite dimensional problems" +] diff --git a/src/_data/tracks.jl b/src/_data/tracks.jl index 4b3b0e24..1fe69090 100644 --- a/src/_data/tracks.jl +++ b/src/_data/tracks.jl @@ -1,5 +1,4 @@ [ - "julia" => "πŸ’» Julia programming", - "material" => "Material development", - "setup" => "Website maintenance" -] \ No newline at end of file + "ode" => "ODEs", + "pde" => "PDEs" +] diff --git a/src/_includes/layout.jlhtml b/src/_includes/layout.jlhtml index 4b34c276..11c0918c 100644 --- a/src/_includes/layout.jlhtml +++ b/src/_includes/layout.jlhtml @@ -2,7 +2,7 @@ $(begin import Pluto "The contents of `` from a Pluto HTML export." const pluto_head = let - default = Pluto.generate_html(; + default = Pluto.generate_html(; pluto_cdn_root=Pluto.PLUTO_VERSION < v"0.19" ? "https://cdn.jsdelivr.net/gh/fonsp/Pluto.jl@9ca70c36/frontend/" : nothing) m = match(r"(.*)"s, default) reduce([ @@ -15,16 +15,16 @@ $(begin replace(s, r => "") end |> HTML end - + f(x,y) = get(page.output.frontmatter, x, y) - + function section_number(frontmatter) ch = get(frontmatter, "chapter", nothing) se = get(frontmatter, "section", nothing) - + isnothing(ch) || isnothing(se) ? nothing : "$(ch).$(se)" end - + nothing end) @@ -114,16 +114,16 @@ $(pluto_head) let input = other_page.input output = other_page.output - + number = section_number(output.frontmatter) - + name = get(output.frontmatter, "title", basename(input.relative_path)) desc = get(output.frontmatter, "description", nothing) tags = get(output.frontmatter, "tags", String[]) active = page.url == other_page.url - + homework_number = get(output.frontmatter, "homework_number", nothing) - + href = root_url * "/" * other_page.url class = [ @@ -131,7 +131,7 @@ $(pluto_head) homework_number === nothing ? "lecture" : "homework", ("tag_$(replace(x, " "=>"_"))" for x in tags)..., ] - + if homework_number === nothing @htl("""
  • $(number) $(name)
    • """) else @@ -176,7 +176,7 @@ $(pluto_head)

    $( f("title", basename(page.input.relative_path)) )

    - + $(!isempty(f("youtube_id", "")) ? @htl("""
    @@ -188,12 +188,6 @@ $(pluto_head) """) : nothing)
    """)) $(content) -
    -
    - Edit this page on
    - Website based on the MIT course Computational Thinking, a live online Julia/Pluto textbook and built with Pluto.jl and the Julia programming language. -
    -
    diff --git a/src/_includes/welcome.jlmd b/src/_includes/welcome.jlmd index c88d607c..6b419559 100644 --- a/src/_includes/welcome.jlmd +++ b/src/_includes/welcome.jlmd @@ -12,5 +12,11 @@ $(isempty(get(metadata["homepage"], "disclaimer", "")) ? nothing : @htl(""" $(Base.include(@__MODULE__, joinpath(@__DIR__, "..", "assets", "scripts", "get_highlights.jl"))) -$(Base.include(@__MODULE__, joinpath(@__DIR__, "..", "assets", "scripts", "get_subjects.jl"))) - \ No newline at end of file + + +
    +
    + Edit this page on
    + Website built with Pluto.jl and the Julia programming language. +
    +
    diff --git a/src/assets/logo.png b/src/assets/logo.png new file mode 100644 index 0000000000000000000000000000000000000000..acc26938985cc028e24b99fe61a7bbfc8ac7adc2 GIT binary patch literal 11903 zcmeIYhgVbS7B-GL$~Y((3n=xP+$)2q$RH)O%#0KZ!U$5N3nN9E5FqrZI1+_~!G;1M zDk!~4CnUk4grOu-1B4Ky1p-NckN^ouzQeu0_4^mT^{q84D=TZAob#S@-o5v;pZ)Cp z^f!Ck!#}A0ASWkx`05oaM>)B@ZoA*_4**Aq0dFROp96l^ZLQ>FyPtQ2q8D;<|B}0E z^~^6MclUf*Uv(3WeZDk1a-A#-$CdS_fOXL zt>on?kD^qU6le^uX*37`UbRL`$9P>O6YeKP@x<)^_RxRfC^m6VdYcP|#5BbUL|yxtr9q zo$-e_?5k7-?Ue_g%cZzCabEDuDvfO?lZW0a2t9dCFxlj+6Jy84t5Z8XW$4l72AU#GW_bs&ws@F(% zAaMrij{Pjl76U6TG7c|a7NyHeHX2HdNufK5jv88J?43_*Fs%3w6v{)9PQrp2mfxO0 z^`4=&mQJUclL`iEFFJ~ZduYsrzh)t=^Q#i1Y%8Q3y6&Nvd*A6Ug02;Wuj2fG#*Tk75DA2+JaC_;s~0ztJf^D)^Uoh zDO^o8xTjUe`80>7(@`l)iU`;xKPpoaKHsG&8-q@rfa0><1-Fldw{kuJ9%sl%*m~^p ztkri%02eZb;TGJ6%VdX;k6XXuK|Hf9TezhQyEUX``|Cjhl#N#s{XHoll3zvj-kC+7 z0*Te{x96cn%xhUR%cLY-+FIE@4Z{9c{5Z}sta%GK6E=x&)ZC@}CCuT8nl>_qk5EBa9I%$F>&lJJUL{>!$# z4Tp4|SXjK8sw^=3l2=onPPu#D$aiGig$BO!qKKYG{%>&$fc6p}j zJwc7KJHoqqTTXAk?b)#|s1+mKD*~(vxA-WDAL~Cf+XAk}%AGwMHCGMXjuo9ZF^ftv z5o82^5_Y3duB_6v`kyZEbEBW~v5*o2xKB~2sjlK`P34QX!X|7VL$yfUPcLV>U2hPQ z`_5ny`&wr<@Uhr9k(WVQKjAZbXFGe-G>YvdJDEkG|1~sOJtePoFxe*fA!n6b@B#URMz*78B@isU}As z2xHxjtPgdZxV{YTiu-T`qi2`s`YeVTob{K}XH{Z>b zmpU-u4FZ8U!zbb^8ueWd%3W?hb7APu^_A;F>6Ojv_OctBQtie-pO(#+51Ud~CRT`8*49ozMXq;>KC?Sw5!t5K7--i(p+zT|Z3v?IY!| zgKfZ3bFbCdMosZQh$Ea&tVe^ zE%rcafU+$F2CV3gVf@rFzGl4lFcu9d!t4Z;-6RP_R9+(U6Z+%^*sFZ^-vsYj?#L`fh5uBF?uMyE1MXYe~Zjqx)8_cTEwlYEzs^2EOQ5 z0vl?EM35WKgt#u{ENbvqZXvAM8nuZU+ia3$@)x*qaK`HKF#I}gVBEb`#Bwp*(Q_h> zC#qd+YCU)u1Z(-7DGMiT9af3Xgz2|v=ZUI-LsiSh+lA20+ePObcNUQsn5_3`3+ITk z?NZc9g0RHT%50uA{)XQgI^mUQDb8eyh1JbW6eZrrbh^8QPn{a8X`7ApBnr=shT(~j ziIR5K$1S%K>DB5X3O=kej{-a$36b)taExfi$f_{hm08piP7j~~&IEe>vtomN4c z8QN+l&c0P}0L*mH$Q>3`uXf!JeY;$}rnR7wNP5qT8)qnNK0}e*5sBErInfPsksBRDDP}8A6?09(zHx2s zurf|1)YYY(l^oA}I>b#PA0TLYJPz;%`MXTjk2dV5lg^~nOG*#Y^IEBU_EFW8_5~)C zE*~c^6q8iYC$h{m-QR+-aE8ie{9vX$1pGmELV!yW>NXNzfgS8Qpsa+hXd8Q6UYrP9 z6gD}1swbbnT7PqXl#NSND=4rpQ$AhcL|zqW$X7Qv9Z26Jm<7O$1OEhLZT+v@4c`XJ z-3w#Wsb!aRqbz-~70le^@qAqxqPrtl0g*XrSxh}vRw-^NC;6WtERBM$PZYqiA`+u- zS#@-j&{M*r{r|>SZSOpuS2K4xaI4lEWOgoB4XGJ3%?`V6hCq8D5`9`19azSuY!@@5 znUq5hZrnYPe!dHni4ixVw(fJ?hB1H%Qa%pk7FiDHJ3GiiQs%YaY`YJt#(P^?8rL^m zEvdipteaIi(e+ycxd4`Nr@|UQ1J`z~+|FyDELHA>?+!dab*|y0LExuYtEB07>0SBC z%@a$XY8P;#-^n|?`9y|6BpYjNU05GbIW96ljYWVZ{8YE4F_zF%V?-BqC{<1`Bnadx_Z3}@1 z(u+vL=BI6QUa9p$5Es}_UoxTMbg`%KJKK%7jGipIgmaQ3`rN%XF|2u_1YrlU7O|cp zTbDV1*idXHQnvN{$andpA|A~H{mjMi9N6)mp)KdqmCO4YehR3Ln@C*IO~b&pW+FMJ z>l((mnpG!=Ig5gnRODvYi4`F=6AG0v9w zTbaU)Raldrd62>FvIapJFO+7AFe9$_`B)gR*!U7b2Eh?XKvbdG=uK*li2!4nUio<` zhjT(-_+FQ7!yt?bfj3D|D*)RTzCvdOe16d1b4a;-wg$hSnY3!{?}PiVZnCu?;1~mj zVP;;jt!lRTSRaT_aOXgrI^NU^pDtz$o17VSQwg1^Gh=44ELtP#(wvVK9mbs)Na{U< z{I=Nnhuolu<1H8ZBK`kxt8MRH3-r@HpjoEV0)=4>}p_T0>aX7;!S2D zgD06@S+Z>ywZJ$#QfkN$SjM~tz8)Z!Mbtz_tJjpWGo>IOzvv;4;YvBahd^)eMTjfUT;$VIwtgGX~U6&F#as%e1+mEfB>3iAG*Z9}*?KTnSEgh~y0 zJ^~9&#MVp;;>f4&+EI%$wv#)gY+elYsrJ;=sjSQ;*7n~ZkSvg`LA9I-K~PkUSZcvz zt-an+b9MNs&)X?4&O6v92B%0K(6QT3m~=}rS{j*BU);oQUaPBG3r@P8Y9TUyffB`aaKH`7nDqL z$TLOuv`G(KW{#y1Z$j_YirfSMj<~^wnQ?CL+d^p4rtTPfB4%G?>M%T!#2e@+?V73w1Uc=&lT% zcG7d6G&^A80q>~%V&DYm?6XevJcz|(PQO=zQsXyZd|@wg`)B7(VSHty>IonVTXifasM1$Vr&IUk z8v(JbJT1;9`rfq4i~ah?tbHXIwpv@OOhk?tY#SddqTp0OA^m>yrpd-1la^Xoe`jes z03@5Rt)fH(*V|ZI5qG+cWAh^!D&F_SayzP*e=Xo*YSIHFDOXwH1-!TgwI}m}9W%ZV z`w3H7U=U!pl(+r0-PO~m1@TQT^Z3~Fw_hHeckgi?MrJz^BxO*Pr}I#cc=SY}2_ z6}{BP7SroQRV?_RseDrjc8P`#QG%{zw#(mHP2G)aL4G>1wy>74^{pQEgQuXWQB{Le zstX=Gh{!bADoFk5if{Ve0}2iIWr<5fQs%PX`WJ;Rffa=xZVvwz2mzn5CoGe|euM62 zu50(_+z>H*)**Vpco93^XG)iSXQX4uwr>R$w>)TKn$L}OllF2oUQ1?5#SPFrBmWS38`$0ctFSr|YmSsf|vqbxwgBMh)>c zR>Y`y|DwRde_ecd9(C$mTuwsht8FL6mitvYB|V#yab1s)mOx#Gu>-NXa^RPAT&yrL zFtB+YoJ$j;65_1j;~r=7iS3j5i?zpTLsu{ot)^)OMohvs&KASuAgFJK;~rtv6cBM7 zor-&Im)Ng(7P7*de5zz25~f-Gey_)O0Fs^99#GjNUU1CIG1Kx?9qB>c>vRCmj7o(! zDgw=QN4x-vvGUp}+1cGPd_ztN@tZk(DJWz!b7<#4>k}C$L<1QwMhP#*6waw00X9Q7jDYs~oZwFdA z%PI~@vyUu8A}o^UOvF9@uo@Ww=Y3H+2GTZN;D~tolz}~wtp%Tp zse%J(61YiJt)2!V_*onRU=z6jR*V`KjA$B~*W&?S=4!=A2*aAt>U|pDp(izNI@=mf z=thLh57;JH-Z3kr;mMtM2R{wUQ}UCt0DWJsM37DxaiF&?@!eo57 zXlkzX9zzr4u#q)=!Ha((J?I=WWM-H%MF7jZ%30#l#yD1zWHBBFi`uzuL5Q3k#9*rk z{zV2D3<~5BZPydYZncxnfQN?2qLk9=ZR&LYW)f0S|Ylh zZT_E5tn2g=0{{jxC{QoU*}^i6`r_K&RPrI^uVk6GDVLn)xzn1-nrtfe-{uo1n`9bi@Vy>t|bPdQaW*BcW44$nj~?-+b+#O^90^7psehM}Rs=_Ke3{vqLHmyPLx zk?$H+N8)zGiXJi2nKq2_$sYr%A7~qjpA$#|pw*$_Rb*1ZugvVbe%-ri3jcjB0;h_G z-7u}GC#&RE=o=rJyC~n8TV>9jLYb_+ZWl%rT|r3VvJs?$GX0eZ$P6@OdmLSeH+H&ROD@z-UTlzDxBYEM)@V0dxAVA9lER-pKMzYc&Bh9bzdb(PzHp@JzDqDyZYF^ zH5~fo83FW{YkJ$0WwP1kAs&glNu7-UJ1sm!k6wZ;?b>#-@iZ!DtOl|Ga0QpBOQ zs=d3i-phfc4e6xkPkMkOBFZHPU3zp%Z8x>XcSgjmtn%5(2zA6=%*H51_?&xo(`v5i zjByS!8$9nuWmlMGy5~T^K<|tWTH?{2T{i#&0(DpG^jw)Y>>Ww&s~*jFkM&$>Bck&$ zjr8$eW6EUQ^s9k2JY2lubRHSb_S|wnPgw*OPOh*ZofX5)uJ)pp^JzEY!v5E?va<)3 zDIe|C*L7SWEf95PCSC;O5A(-V?6jJ=&1}yb7?d7N%HQu)X_^q8xD@G8DzitzKU z;h=-r_z7%81}ezdRE%X@%W{n%t&Y&7&Kkik4*naM7&f37b`zG5GYP9NZ+q|p>o5M? z=ewtKgx-g*Vf`m!%z!qscn2ORj3>J9{1w2@EV5p{oo#DnF+EFnw8JI;t_z+*F2A33 zNPpRgyWc)Jq>1F7_c3F0`9+?|aQ8rE-H$t1vKFhqKy59sX>TnF z6L+LitvtGSOQJ@9SH=rGaUz4QRsNHb0~QFv+U}A@ZCB3Jdj8??8dznOw&hG8hi%sX59>myT21tMV zb$b^rYml?sPAnQtB0h@_Gh0t{>|pPz9L4NVSrFDq(CncPmi3dc>yj*TPru?AP@&3m0-B9f6DNFRTcBZ!jhYAYA`hgyjw^4{S^Rfa>~Oj|)}G ztlY0v>=mdNDWvuI~*~MDoPutYxl?k35%_wtYV|>c& zv!xywNB2NqA&j7oXHmWC54*hpHt*;1$xTkL6S)A=5-y=kIMg+u7qp5#jpoZNP4*?` zn2CF4iDp1|H2Z(uQD!aEfh9o5e=A3sTxvsIm6KEaad#Hrcg~F^k|_7pwJcFz?8htG zR#r^9jh4aeT-lU-W-h6jBGQ==h zv|$Rij9b1VCJ`}p^oPcM@eGl$|0eZX7Ug!Lhm;}`I)KQV=RYTX{X^TkmVVnnn^8-g zrNClFh0YFq1Nia@4d*%p!MCRy$#~DOkQBbvt}tHk{ZT)4|Dil}5TH-pvaM{PwVct7 z;i>n-@{Qae{`+Fil}Yu%SmsSVs)k@)J&WQ~Ux9>fB9mRqZf@cwktId(!5EW|UWYTM z?%jgeii+e*zwsu9*V=#HUA8z6Zjb)R;jU>LnJyqrRMUOxM9lyTK#g*JIEnh^m%IFF zcM02{+RwCFTF>o^XcF`T`oOc>ApKx0+L*B24sfz@RcC zx=jM}k_6*?_jGb&=^dTekQ6ao{uYZEzfePB{OSK5poMJ@dePhyAW*aWsb;<&)8h@B zvbe(1jU9`^!slzUt$TPYp?XWfKq!D}C(vC79isc5i(NO&@ULj_#@QB2#QF%?7IVr1 z9rgrBbnIIi&W1DWrJ*9RS>_&pz!Sb}#-M`Gk}Jc#`C3@S&fV=#_XbX9zO;k8Ut{x|oaj&l_FKxw`H{kO}HU(c!7V5*tD<~v~PlQ%j* z%i+{4ZQBlOwM3$!*TwmX_K0AZh!|^lE+>AznT0cFkHV`=!VAb(;sHSX<&`FW+5!wV z&fdA3NEHsmMU#Fxbu3RJ@K1RG(V&leM{Vxfd0l*5e<|bb3u$!?OSQqz3L~vjpciJ! z!^9IjPJRKgp;149Y8qqZV3if2*eukIMh)$hBS9re`S=ElzvSx zty@6ggr%BXYzSa^Lzj@@(4@ZtAuPUQnRM&1T14VC#1Z@4ZR7L+yJis?6hig;I981Z z(~8FLk-$Y`0oeX_kC>e>t8Mhml} z6|VrxeXXb;Ly#e5T1J|0kCa$^z(IU_2SbJV>N@?QbKJ$^?2S(^nTXL>WY1O|mM1gD zZzQ1sb^=`*b9-)M0@yb|amxWMrJ7Ngys(cHSu~K%PVSAuT+wlih?b3b6f8IBRZVyz ztligLvv83^(~3$)1OM#}qD+=X+qLT)=X}tl6bhL#)d6o%>(?@xsOa2P2`Y*mMO8P< zW2~$^&6jdO6)$~8SWkBeiG#qxZ)mQ2>Cua-6k6-(^GMFHbN`z`Xe}mg86e%^gfgkp zUBGy!1N%o9xk^&OzcAlDsccN*6yu$4k)!LfcN&1~bz865xF~7ztq<;RHum1!#?$;RqyMk;M_*x1s#h5v`A+%bg^^1jRTaaT>a zWY1=bsNfiPJE(P4>VWfESNzMM@@<`YR1%WGfzID(i49G5q$C46Jt&Q0vW7Q{z|cH~ zGLDh({0tpeA1F{?UJ9oRG^n|2>@p?}Qgj1a)VB9Y{xBw}+)dDAadxoBOCDif{pudA ze+WEZWypR747%A+>s4Icl6L>y9#diLN{PX8)D7Z$LER zui|D}0HZ{)!&o*JE8ODOXf*0L+E&pXMBJ-*V8SCnQ}DA@D|g|tcB`pv^5!qFw`R$3 zf{T5yOV4)1u9%gwuH>qYkS!$iqfiRoa87J%QSVtRJ3bL2H;TGR5J zX^o%esZ)g^ryso6v+jws&O-n*M-FIIvSQO6%7Y}IQThe3*p`Be62$1t$jS}!Z?uf= zCgJE9b9E4?L{mA9w1n|G5Pzv{=+-@BZ#57zXpS4yklg?#!>}>)`YNG4(Ei=~Rl3-O zq{*HxBm>OhnN37Oyj4<6HF>|eB+r1q2(#{Z>7l5F{IznHCNKS+VoMqCfaiSK`=s1c zurr@_mXx$=v$r}D@P^+<%w+S42jSPmiZj2-89f6mRyXN+6i{HuO}}XV(01UMTic(n z%3SJj`n)wQT;!ITGS}qI?4GgT_9~p5Q0;Yr**R0WyWQ!-X8>QVsOKBIz$!mLQ;wwV zt^NYsprfMsO;rBHpmw>j?{_aT)$-;SSsVyCDW`TBcn=@`09kXcCe>8&!Qp=c3tX^G z#N#Z5O;IYRtF4c?wSA?ziM9$}r9uxqI1EfDoUS6wZUX&MTdDA0O8b3Nzdz@@cpYk6 z$ZrfjmrU~o4qd(^pC~8i@QEve=O-_DM_^D}(|2C~wfBjo!9Rmr|4g#|Gqd;4%-;VS fGkYtteQz3~-&$-*uK*L}a#yYGttx-@ee{0-eYZZ9 literal 0 HcmV?d00001 diff --git a/src/cheatsheets.md b/src/cheatsheets.md deleted file mode 100644 index fbf0040b..00000000 --- a/src/cheatsheets.md +++ /dev/null @@ -1,13 +0,0 @@ ---- -title: "Cheatsheets" -tags: ["welcome"] -order: 3 -layout: "md.jlmd" ---- - -# Cheatsheets - -- [Getting Started with Julia - live](/basic_syntax/). -- [Fastrack to Julia](https://juliadocs.github.io/Julia-Cheat-Sheet/) cheatsheet. -- [MATLAB-Julia-Python comparative cheatsheet](https://cheatsheets.quantecon.org/) by [QuantEcon group](https://quantecon.org) -- [Plots.jl cheatsheet](https://github.com/sswatson/cheatsheets/blob/master/plotsjl-cheatsheet.pdf) diff --git a/src/homework/hw1.jl b/src/homework/hw1.jl index d5099df0..3f6da19c 100644 --- a/src/homework/hw1.jl +++ b/src/homework/hw1.jl @@ -4,10 +4,10 @@ #> [frontmatter] #> homework_number = "1" #> order = "2.5" -#> title = "sample homework" -#> tags = ["module2", "track_julia", "track_material", "homeworks", "pluto", "PlutoTeachingTools"] +#> title = "Periodic orbits" +#> tags = ["module2", "homeworks"] #> layout = "layout.jlhtml" -#> description = "sample howework" +#> description = "Proof of periodic orbits" using Markdown using InteractiveUtils diff --git a/src/installation.md b/src/installation.md index 1ed1eba0..e22cddc9 100644 --- a/src/installation.md +++ b/src/installation.md @@ -3,48 +3,39 @@ title: "Software installation" tags: ["welcome"] order: 2 layout: "md.jlmd" -youtube_id: "OOjKEgbt8AI" --- $( begin # these special elements will automatically update to read the latest Julia version. See the JavaScript snippet at the bottom of this page to see how it works! - - version = html"1.8.2" - pkg_version = html"1.8" - + + version = html"1.10.0" + pkg_version = html"1.10" + nothing end ) -# First-time setup: Install Julia & Pluto +# Install Julia & RadiiPolynomial -\\ -\\ -\\ -**Text and pictures version:** +## Step 1: Install Julia -## Step 1: Install Julia $version - -Go to [https://julialang.org/downloads](https://julialang.org/downloads) and download the current stable release, Julia $(version), using the correct version for your operating system (Linux x86, Mac, Windows, etc). +Go to [https://julialang.org/downloads](https://julialang.org/downloads) and download the current stable release, using the correct version for your operating system (Linux x86, Mac, Windows, etc). ## Step 2: Run Julia -After installing, **make sure that you can run Julia**. On some systems, this means searching for the "Julia $(version)" program installed on your computer; in others, it means running the command `julia` in a terminal. Make sure that you can execute `1 + 1`: - -![image](https://user-images.githubusercontent.com/6933510/91439734-c573c780-e86d-11ea-8169-0c97a7013e8d.png) +After installing, **make sure that you can run Julia**. On some systems, this means searching for the Julia program installed on your computer; in others, it means running the command `julia` in a terminal. -*Make sure that you are able to launch Julia and calculate `1+1` before proceeding!* +*Make sure that you are able to launch Julia before proceeding!* -## Step 3: Install [`Pluto`](https://github.com/fonsp/Pluto.jl) +## Step 3: Install RadiiPolynomial -Next we will install the [**Pluto**](https://github.com/fonsp/Pluto.jl), the notebook environment that we will be using during the course. Pluto is a Julia _programming environment_ designed for interactivity and quick experiments. +Next we will install [RadiiPolynomial](https://github.com/OlivierHnt/RadiiPolynomial.jl), the library for computer-assisted proofs that we will be using during the course. RadiiPolynomial is a Julia package designed for rigorous spectral methods. Open the **Julia REPL**. This is the command-line interface to Julia, similar to the previous screenshot. +There you type a command, and when you press ENTER, it runs, and you see the result. -Here you type _Julia commands_, and when you press ENTER, it runs, and you see the result. - -To install Pluto, we want to run a _package manager command_. To switch from _Julia_ mode to _Pkg_ mode, type `]` (closing square bracket) at the `julia>` prompt: +To install RadiiPolynomial, we want to run a _package manager command_. To switch from _Julia_ mode to _Pkg_ mode, type `]` (closing square bracket) at the `julia>` prompt: 
    
 julia> ]
@@ -54,95 +45,33 @@ julia> ]
 
 The line turns blue and the prompt changes to `pkg>`, telling you that you are now in _package manager mode_. This mode allows you to do operations on **packages** (also called libraries).
 
-To install Pluto, run the following (case sensitive) command to *add* (install) the package to your system by downloading it from the internet.
-You should only need to do this *once* for each installation of Julia:
+Then, run the following (case sensitive) command to *add* (install) the package to your system by downloading it from the internet (you should only need to do this *once* for each installation of Julia):
 
 
    
-(@v$(pkg_version)) pkg> add Pluto
+(@v$(pkg_version)) pkg> add RadiiPolynomial
 
    
 
-This might take a couple of minutes, so you can go get yourself a cup of tea!
-
-![image](https://user-images.githubusercontent.com/6933510/91440380-ceb16400-e86e-11ea-9352-d164911774cf.png)
-
 You can now close the terminal.
 
-## Step 4: Use a modern browser: Mozilla Firefox or Google Chrome
-We need a modern browser to view Pluto notebooks with. Firefox and Chrome work best.
-
+## Step 4: Running RadiiPolynomial
 
-# Second time: _Running Pluto & opening a notebook_
-Repeat the following steps whenever you want to work on a project or homework assignment.
-
-## Step 1: Start Pluto
+Repeat the following steps whenever you want to work on a project.
 
 Start the Julia REPL, like you did during the setup. In the REPL, type:
 ```julia
-julia> using Pluto
-
-julia> Pluto.run()
+julia> using RadiiPolynomial
 ```
 
-![image](https://user-images.githubusercontent.com/6933510/91441094-eb01d080-e86f-11ea-856f-e667fdd9b85c.png)
-
-The terminal tells us to go to `http://localhost:1234/` (or a similar URL). Let's open Firefox or Chrome and type that into the address bar.
-
-![image](https://user-images.githubusercontent.com/6933510/199279574-4b1d0494-2783-49a0-acca-7b6284bede44.png)
-
-> If you're curious about what a _Pluto notebook_ looks like, have a look at the **Featured Notebooks**. These notebooks are useful for learning some basics of Julia programming. 
-> 
-> If you want to hear the story behind Pluto, have a look a the [JuliaCon presentation](https://www.youtube.com/watch?v=IAF8DjrQSSk).
-
-If nothing happens in the browser the first time, close Julia and try again. And please let us know!
-
-## Step 2a: Opening a notebook from the web
-
-This is the main menu - here you can create new notebooks, or open existing ones. Our homework assignments will always be based on a _template notebook_, available in this GitHub repository. To start from a template notebook on the web, you can _paste the URL into the blue box_ and press ENTER.
-
-For example, homework 0 is available [here](/hw0/). Go to this page, and on the top right, click on the button that says "Edit or run this notebook". From these instructions, copy the notebook link, and paste it into the box. Press ENTER, and select OK in the confirmation box.
-
-![image](https://user-images.githubusercontent.com/6933510/91441968-6b750100-e871-11ea-974e-3a6dfd80234a.png)
-
-**The first thing we will want to do is to save the notebook somewhere on our own computer; see below.** 
-
-## Step 2b: Opening an existing notebook file
-When you launch Pluto for the second time, your recent notebooks will appear in the main menu. You can click on them to continue where you left off.
-
-If you want to run a local notebook file that you have not opened before, then you need to enter its _full path_ into the blue box in the main menu. More on finding full paths in step 3.
-
-## Step 3: Saving a notebook
-We first need a folder to save our homework in. Open your file explorer and create one. 
-
-Next, we need to know the _absolute path_ of that folder. Here's how you do that in [Windows](https://www.top-password.com/blog/copy-full-path-of-a-folder-file-in-windows/), [MacOS](https://www.josharcher.uk/code/find-path-to-folder-on-mac/) and [Ubuntu]().
-
-For example, you might have:
-
-- `C:\\Users\\fons\\Documents\\18S191_assignments\\` on Windows
-
-- `/Users/fons/Documents/18S191_assignments/` on MacOS
-
-- `/home/fons/Documents/18S191_assignments/` on Ubuntu
-
-Now that we know the absolute path, go back to your Pluto notebook, and at the top of the page, click on _"Save notebook..."_. 
-
-![image](https://user-images.githubusercontent.com/6933510/91444741-77fb5880-e875-11ea-8f6b-02c1c319e7f3.png)
-
-This is where you type the **new path+filename for your notebook**:
-
-![image](https://user-images.githubusercontent.com/6933510/91444565-366aad80-e875-11ea-8ed6-1265ded78f11.png)
-
-Click _Choose_.
 
-## Step 4: Sharing a notebook
 
-After working on your notebook (your code is autosaved when you run it), you will find your notebook file in the folder we created in step 3. This the file that you can share with others, or submit as your homework assignment to Canvas.
 
 
 
-
-"""
-
-# ╔═║ f743076c-cc57-11ea-1a8e-8799d9db985a
-
-
-# ╔═║ c65d28a2-c75d-11ea-2e13-7332f93d9c5e
-md"## LocalResource _(not recommended)_
-
-The examples above use `Resource` to make media from a URL available inside Markdown. To use **local files**, simply **replace `Resource` with `LocalResource`**, and use a _file path_ instead of a URL."
-
-# ╔═║ c16dff74-cc5d-11ea-380c-aff1639b5551
-
-
-# ╔═║ dada2154-c75d-11ea-2312-b9156a9a531e
-html"I really hope that this works"
-
-# ╔═║ f809110c-cc55-11ea-1551-e138c28d5d82
-md"""Hello I am a dog $(LocalResource("C:\\Users\\fons\\Pictures\\hannes.jpg"))"""
-
-# ╔═║ 1c930364-cc58-11ea-36c8-0ddf7c4700cd
-md""" $(html"OOPS"), it didn't!
-
-$(html"
    ")
-
-Here are **two tips** for getting local images to work correctly:
-
-1. Go to [imgur.com](https://imgur.com) and drag&drop the image to the page. Right click on the image, and select "Copy image location". You can now use the image like so: 
-
-   ```PlutoUI.Resource("https://i.imgur.com/SAzsMMA.jpg")```
-
-
-2. If your notebook is part of a git repository, place the image in the repository and use a relative path: 
-   
-    ```PlutoUI.LocalResource("../images/cat.jpg")```
-
-
-"""
-
-# ╔═║ c48b48f6-cc5d-11ea-0f3b-d3481238625d
-
-
-# ╔═║ ea6ade22-cc5a-11ea-1782-97f2464fd148
-md"#### Why does it have to be so difficult?
-
-Pluto only stores _code_ in the notebook file, not images. This minimal file format is very valuable, but it means that images need to be _addressed_, not stored.
-
-Addressing _local files_ is fragile: if someone else opens the notebook, or if you move the notebook to a different folder, that image file needs to be available at exactly the same path. This is difficult to do correctly, and if it works for you, it is hard to tell if it will work for someone else. 
-
-Putting images online might be a hassle, but once it works, it will work everywhere! The stateless nature of URLs means that the images will work regardless of how the notebook file is accessed, while keeping a minimal file format."
-
-# ╔═║ a245dddc-cc59-11ea-3e1d-1763673ff706
-md"# PlutoUI without Pluto
-
-Huh?
-
-Did you know that you can run Pluto notebooks _without Pluto_? If your notebook is called `wow.jl`, then 
-```sh
-$ julia wow.jl
-```
-will run the notebook just fine. 
-
-When you use `@bind`, your notebook can still run without Pluto! Sort of. Normally, all bound variables are assigned the value `missing` when you run it elsewhere. However, the `PlutoUI` types have all been configured to assign a more sensible default value.
-
-For example, if your notebook contains
-```julia
-@bind x Slider(10:20)
-```
-and you run it without Pluto, then this statement simply assigns `x = 10`.
-"
-
-# ╔═║ 0cda8986-cc64-11ea-2acc-b5c38fdf17e5
-
-
-# ╔═║ 0da7bc30-cc64-11ea-1dde-2b7f2dd76036
-md"`Pluto` and `PlutoUI` work independently of each other! In fact, _you_ could write a package with fun input elements, or add `@bind`able values to existing packages."
-
-# ╔═║ 512fe760-cc4c-11ea-1c5b-2b32da035aad
-md"# Appendix"
-
-# ╔═║ 55bcdbf8-cc4c-11ea-1549-87c076a59ff4
-space = html"


    "
-
-# ╔═║ ebfc61b0-c765-11ea-1d66-cbf1dcdb8bdb
-space
-
-# ╔═║ f69a5d5e-c765-11ea-3fa0-230c6c619730
-space
-
-# ╔═║ 0b66c781-ecf2-445e-b2aa-82cb13371e46
-space
-
-# ╔═║ 35523932-cc4f-11ea-0908-2d51c57176b7
-space
-
-# ╔═║ d163f434-cc5a-11ea-19e9-9319ba994efa
-space
-
-# ╔═║ 00000000-0000-0000-0000-000000000001
-PLUTO_PROJECT_TOML_CONTENTS = """
-[deps]
-PlutoUI = "7f904dfe-b85e-4ff6-b463-dae2292396a8"
-
-[compat]
-PlutoUI = "~0.7.50"
-"""
-
-# ╔═║ 00000000-0000-0000-0000-000000000002
-PLUTO_MANIFEST_TOML_CONTENTS = """
-# This file is machine-generated - editing it directly is not advised
-
-[[AbstractPlutoDingetjes]]
-deps = ["Pkg"]
-git-tree-sha1 = "8eaf9f1b4921132a4cff3f36a1d9ba923b14a481"
-uuid = "6e696c72-6542-2067-7265-42206c756150"
-version = "1.1.4"
-
-[[ArgTools]]
-uuid = "0dad84c5-d112-42e6-8d28-ef12dabb789f"
-version = "1.1.1"
-
-[[Artifacts]]
-uuid = "56f22d72-fd6d-98f1-02f0-08ddc0907c33"
-
-[[Base64]]
-uuid = "2a0f44e3-6c83-55bd-87e4-b1978d98bd5f"
-
-[[ColorTypes]]
-deps = ["FixedPointNumbers", "Random"]
-git-tree-sha1 = "eb7f0f8307f71fac7c606984ea5fb2817275d6e4"
-uuid = "3da002f7-5984-5a60-b8a6-cbb66c0b333f"
-version = "0.11.4"
-
-[[CompilerSupportLibraries_jll]]
-deps = ["Artifacts", "Libdl"]
-uuid = "e66e0078-7015-5450-92f7-15fbd957f2ae"
-version = "1.0.2+0"
-
-[[Dates]]
-deps = ["Printf"]
-uuid = "ade2ca70-3891-5945-98fb-dc099432e06a"
-
-[[Downloads]]
-deps = ["ArgTools", "FileWatching", "LibCURL", "NetworkOptions"]
-uuid = "f43a241f-c20a-4ad4-852c-f6b1247861c6"
-version = "1.6.0"
-
-[[FileWatching]]
-uuid = "7b1f6079-737a-58dc-b8bc-7a2ca5c1b5ee"
-
-[[FixedPointNumbers]]
-deps = ["Statistics"]
-git-tree-sha1 = "335bfdceacc84c5cdf16aadc768aa5ddfc5383cc"
-uuid = "53c48c17-4a7d-5ca2-90c5-79b7896eea93"
-version = "0.8.4"
-
-[[Hyperscript]]
-deps = ["Test"]
-git-tree-sha1 = "8d511d5b81240fc8e6802386302675bdf47737b9"
-uuid = "47d2ed2b-36de-50cf-bf87-49c2cf4b8b91"
-version = "0.0.4"
-
-[[HypertextLiteral]]
-deps = ["Tricks"]
-git-tree-sha1 = "c47c5fa4c5308f27ccaac35504858d8914e102f9"
-uuid = "ac1192a8-f4b3-4bfe-ba22-af5b92cd3ab2"
-version = "0.9.4"
-
-[[IOCapture]]
-deps = ["Logging", "Random"]
-git-tree-sha1 = "f7be53659ab06ddc986428d3a9dcc95f6fa6705a"
-uuid = "b5f81e59-6552-4d32-b1f0-c071b021bf89"
-version = "0.2.2"
-
-[[InteractiveUtils]]
-deps = ["Markdown"]
-uuid = "b77e0a4c-d291-57a0-90e8-8db25a27a240"
-
-[[JSON]]
-deps = ["Dates", "Mmap", "Parsers", "Unicode"]
-git-tree-sha1 = "3c837543ddb02250ef42f4738347454f95079d4e"
-uuid = "682c06a0-de6a-54ab-a142-c8b1cf79cde6"
-version = "0.21.3"
-
-[[LibCURL]]
-deps = ["LibCURL_jll", "MozillaCACerts_jll"]
-uuid = "b27032c2-a3e7-50c8-80cd-2d36dbcbfd21"
-version = "0.6.3"
-
-[[LibCURL_jll]]
-deps = ["Artifacts", "LibSSH2_jll", "Libdl", "MbedTLS_jll", "Zlib_jll", "nghttp2_jll"]
-uuid = "deac9b47-8bc7-5906-a0fe-35ac56dc84c0"
-version = "7.84.0+0"
-
-[[LibGit2]]
-deps = ["Base64", "NetworkOptions", "Printf", "SHA"]
-uuid = "76f85450-5226-5b5a-8eaa-529ad045b433"
-
-[[LibSSH2_jll]]
-deps = ["Artifacts", "Libdl", "MbedTLS_jll"]
-uuid = "29816b5a-b9ab-546f-933c-edad1886dfa8"
-version = "1.10.2+0"
-
-[[Libdl]]
-uuid = "8f399da3-3557-5675-b5ff-fb832c97cbdb"
-
-[[LinearAlgebra]]
-deps = ["Libdl", "OpenBLAS_jll", "libblastrampoline_jll"]
-uuid = "37e2e46d-f89d-539d-b4ee-838fcccc9c8e"
-
-[[Logging]]
-uuid = "56ddb016-857b-54e1-b83d-db4d58db5568"
-
-[[MIMEs]]
-git-tree-sha1 = "65f28ad4b594aebe22157d6fac869786a255b7eb"
-uuid = "6c6e2e6c-3030-632d-7369-2d6c69616d65"
-version = "0.1.4"
-
-[[Markdown]]
-deps = ["Base64"]
-uuid = "d6f4376e-aef5-505a-96c1-9c027394607a"
-
-[[MbedTLS_jll]]
-deps = ["Artifacts", "Libdl"]
-uuid = "c8ffd9c3-330d-5841-b78e-0817d7145fa1"
-version = "2.28.2+0"
-
-[[Mmap]]
-uuid = "a63ad114-7e13-5084-954f-fe012c677804"
-
-[[MozillaCACerts_jll]]
-uuid = "14a3606d-f60d-562e-9121-12d972cd8159"
-version = "2022.10.11"
-
-[[NetworkOptions]]
-uuid = "ca575930-c2e3-43a9-ace4-1e988b2c1908"
-version = "1.2.0"
-
-[[OpenBLAS_jll]]
-deps = ["Artifacts", "CompilerSupportLibraries_jll", "Libdl"]
-uuid = "4536629a-c528-5b80-bd46-f80d51c5b363"
-version = "0.3.21+4"
-
-[[Parsers]]
-deps = ["Dates", "SnoopPrecompile"]
-git-tree-sha1 = "478ac6c952fddd4399e71d4779797c538d0ff2bf"
-uuid = "69de0a69-1ddd-5017-9359-2bf0b02dc9f0"
-version = "2.5.8"
-
-[[Pkg]]
-deps = ["Artifacts", "Dates", "Downloads", "FileWatching", "LibGit2", "Libdl", "Logging", "Markdown", "Printf", "REPL", "Random", "SHA", "Serialization", "TOML", "Tar", "UUIDs", "p7zip_jll"]
-uuid = "44cfe95a-1eb2-52ea-b672-e2afdf69b78f"
-version = "1.9.0"
-
-[[PlutoUI]]
-deps = ["AbstractPlutoDingetjes", "Base64", "ColorTypes", "Dates", "FixedPointNumbers", "Hyperscript", "HypertextLiteral", "IOCapture", "InteractiveUtils", "JSON", "Logging", "MIMEs", "Markdown", "Random", "Reexport", "URIs", "UUIDs"]
-git-tree-sha1 = "5bb5129fdd62a2bbbe17c2756932259acf467386"
-uuid = "7f904dfe-b85e-4ff6-b463-dae2292396a8"
-version = "0.7.50"
-
-[[Preferences]]
-deps = ["TOML"]
-git-tree-sha1 = "47e5f437cc0e7ef2ce8406ce1e7e24d44915f88d"
-uuid = "21216c6a-2e73-6563-6e65-726566657250"
-version = "1.3.0"
-
-[[Printf]]
-deps = ["Unicode"]
-uuid = "de0858da-6303-5e67-8744-51eddeeeb8d7"
-
-[[REPL]]
-deps = ["InteractiveUtils", "Markdown", "Sockets", "Unicode"]
-uuid = "3fa0cd96-eef1-5676-8a61-b3b8758bbffb"
-
-[[Random]]
-deps = ["SHA", "Serialization"]
-uuid = "9a3f8284-a2c9-5f02-9a11-845980a1fd5c"
-
-[[Reexport]]
-git-tree-sha1 = "45e428421666073eab6f2da5c9d310d99bb12f9b"
-uuid = "189a3867-3050-52da-a836-e630ba90ab69"
-version = "1.2.2"
-
-[[SHA]]
-uuid = "ea8e919c-243c-51af-8825-aaa63cd721ce"
-version = "0.7.0"
-
-[[Serialization]]
-uuid = "9e88b42a-f829-5b0c-bbe9-9e923198166b"
-
-[[SnoopPrecompile]]
-deps = ["Preferences"]
-git-tree-sha1 = "e760a70afdcd461cf01a575947738d359234665c"
-uuid = "66db9d55-30c0-4569-8b51-7e840670fc0c"
-version = "1.0.3"
-
-[[Sockets]]
-uuid = "6462fe0b-24de-5631-8697-dd941f90decc"
-
-[[SparseArrays]]
-deps = ["Libdl", "LinearAlgebra", "Random", "Serialization", "SuiteSparse_jll"]
-uuid = "2f01184e-e22b-5df5-ae63-d93ebab69eaf"
-
-[[Statistics]]
-deps = ["LinearAlgebra", "SparseArrays"]
-uuid = "10745b16-79ce-11e8-11f9-7d13ad32a3b2"
-version = "1.9.0"
-
-[[SuiteSparse_jll]]
-deps = ["Artifacts", "Libdl", "Pkg", "libblastrampoline_jll"]
-uuid = "bea87d4a-7f5b-5778-9afe-8cc45184846c"
-version = "5.10.1+6"
-
-[[TOML]]
-deps = ["Dates"]
-uuid = "fa267f1f-6049-4f14-aa54-33bafae1ed76"
-version = "1.0.3"
-
-[[Tar]]
-deps = ["ArgTools", "SHA"]
-uuid = "a4e569a6-e804-4fa4-b0f3-eef7a1d5b13e"
-version = "1.10.0"
-
-[[Test]]
-deps = ["InteractiveUtils", "Logging", "Random", "Serialization"]
-uuid = "8dfed614-e22c-5e08-85e1-65c5234f0b40"
-
-[[Tricks]]
-git-tree-sha1 = "aadb748be58b492045b4f56166b5188aa63ce549"
-uuid = "410a4b4d-49e4-4fbc-ab6d-cb71b17b3775"
-version = "0.1.7"
-
-[[URIs]]
-git-tree-sha1 = "074f993b0ca030848b897beff716d93aca60f06a"
-uuid = "5c2747f8-b7ea-4ff2-ba2e-563bfd36b1d4"
-version = "1.4.2"
-
-[[UUIDs]]
-deps = ["Random", "SHA"]
-uuid = "cf7118a7-6976-5b1a-9a39-7adc72f591a4"
-
-[[Unicode]]
-uuid = "4ec0a83e-493e-50e2-b9ac-8f72acf5a8f5"
-
-[[Zlib_jll]]
-deps = ["Libdl"]
-uuid = "83775a58-1f1d-513f-b197-d71354ab007a"
-version = "1.2.13+0"
-
-[[libblastrampoline_jll]]
-deps = ["Artifacts", "Libdl"]
-uuid = "8e850b90-86db-534c-a0d3-1478176c7d93"
-version = "5.8.0+0"
-
-[[nghttp2_jll]]
-deps = ["Artifacts", "Libdl"]
-uuid = "8e850ede-7688-5339-a07c-302acd2aaf8d"
-version = "1.48.0+0"
-
-[[p7zip_jll]]
-deps = ["Artifacts", "Libdl"]
-uuid = "3f19e933-33d8-53b3-aaab-bd5110c3b7a0"
-version = "17.4.0+0"
-"""
-
-# ╔═║ Cell order:
-# β•Ÿβ”€bc532cd2-c75b-11ea-313f-8b5e771c9227
-# β•Ÿβ”€051f31fc-cc63-11ea-1e2c-0704285ea6a9
-# ╠═071d9ca5-9b42-4583-ad96-a48f93453a0e
-# ╠═deadce6b-4abc-42b0-9997-07be8637ee94
-# β•Ÿβ”€fddb794c-c75c-11ea-1f55-eb9c178424cd
-# β•Ÿβ”€b819e9a8-c760-11ea-11ee-dd01da663b5c
-# ╠═34ebf81e-c760-11ea-05bb-376173e7ed10
-# ╠═a4488984-c760-11ea-2930-871f6b400ef5
-# β•Ÿβ”€1048d1e0-cc50-11ea-1bf3-d76cae42740a
-# β•Ÿβ”€a709fd2e-c760-11ea-05c5-7bf673990de1
-# ╠═d3811ac2-c760-11ea-0811-131d9f1d3910
-# ╠═dfe10b6c-c760-11ea-2f77-79cc4cfa8dc4
-# β•Ÿβ”€06962cde-cc4f-11ea-0d96-69a8cb7eeda2
-# β•Ÿβ”€6605d010-d0d1-4cc8-a34d-3158b8572b5d
-# ╠═756e2c82-6e2f-4d7b-a1ed-5de97be04269
-# ╠═c07c5a9e-61f9-4247-86e7-7c3f9956d0ff
-# β•Ÿβ”€c3fea1b2-fc11-4c19-9c01-a8e03fda2817
-# β•Ÿβ”€221c308e-3cbe-4689-aa67-8970957f8cb0
-# β•Ÿβ”€e49623ac-c760-11ea-3689-c15f2e2f6081
-# ╠═314cb85a-c761-11ea-1cba-b73f84a52be8
-# β•Ÿβ”€3c68b25c-c761-11ea-226a-4f46579a6732
-# β•Ÿβ”€104b55ce-cc4f-11ea-1273-092a1717e399
-# β•Ÿβ”€4513b730-c761-11ea-1460-2dca56081fcf
-# ╠═4f8e4e1e-c761-11ea-1787-419cab59bb12
-# β•Ÿβ”€b787ead6-c761-11ea-3b17-41c0a5434f9b
-# β•Ÿβ”€177e6bf0-cc50-11ea-0de2-e77544f5c615
-# β•Ÿβ”€b08c347e-c761-11ea-1b61-7b69631d078b
-# ╠═b53c8ffa-c761-11ea-38d1-2d4ad96a7bee
-# β•Ÿβ”€adcf4e68-c761-11ea-00bb-c3b15c6dedc0
-# β•Ÿβ”€1a562ad4-cc50-11ea-2485-cdec6e1a78dc
-# β•Ÿβ”€5d420570-c764-11ea-396b-cf0db01d34aa
-# β•Ÿβ”€09393bf2-cc4f-11ea-1e48-cfbedab8e6b4
-# β•Ÿβ”€cd1b5872-c761-11ea-2179-57a3cb34d235
-# ╠═d9e85ed0-c761-11ea-30bf-83ce272526e0
-# ╠═e4c262d6-c761-11ea-36b2-055419bfc981
-# β•Ÿβ”€0934bc0c-cc50-11ea-0da8-0d6b2f275399
-# β•Ÿβ”€e690337c-c761-11ea-08be-ade40a464eb4
-# ╠═f1f83980-c761-11ea-1e34-97c0ffca3f67
-# β•Ÿβ”€f985c8de-c761-11ea-126c-1fd79d547b79
-# β•Ÿβ”€1cbfd28e-cc50-11ea-2c90-a7807e4979ef
-# β•Ÿβ”€0136af80-c762-11ea-2f1a-9dccff334a11
-# ╠═0e6f0508-c762-11ea-0352-09bd694a9b35
-# ╠═3dcd7002-c765-11ea-323d-a1fb49409011
-# β•Ÿβ”€0aa3c85e-cc4f-11ea-2fba-4bdd513d9217
-# β•Ÿβ”€5833f7f4-c763-11ea-0b95-9b21a40192a9
-# ╠═690cf3ac-c763-11ea-10f0-b3e28c380be9
-# ╠═705662e2-c763-11ea-2f6d-cdaffc1fc73a
-# ╠═1feebd8f-667a-42fd-965d-5e3167ff7c7a
-# ╠═9128d2c1-364c-4446-baaa-6d0593edda47
-# β•Ÿβ”€3930f0d8-cc50-11ea-3de6-d91ac5c6cd9f
-# β•Ÿβ”€787a2c88-c763-11ea-0a32-bb91ca60113d
-# ╠═ac8c4dee-c763-11ea-1b2d-c590a2d50d7e
-# ╠═dcda9ad2-c763-11ea-3ec6-093b823ba66d
-# β•Ÿβ”€0c3ab1f8-cc4f-11ea-0cfb-8f076d2c9836
-# β•Ÿβ”€62c6f866-f0fe-11ea-0961-319f28d040d4
-# ╠═a01c8096-f0fe-11ea-3e78-ad8551e84fa1
-# ╠═a20e30f2-f0fe-11ea-0ca7-c5195c9eb24a
-# β•Ÿβ”€c819ef3e-f0fe-11ea-1213-9df7597e4e89
-# β•Ÿβ”€b104ba6d-0293-4378-9652-f628f1d08d97
-# ╠═16f2218d-f1bc-4b34-a355-53acfa77fbf5
-# ╠═2c7811cb-d9ea-470c-8cb7-2b3803489f3f
-# β•Ÿβ”€78be41d1-7dda-4bec-b75f-fbcf8b7594a7
-# ╠═90d84f1b-042c-444e-8bac-fe358b6d68a1
-# ╠═b97cfb04-0c39-4709-9419-9294e677a872
-# β•Ÿβ”€283d1177-c605-4652-905b-9a70354cf878
-# β•Ÿβ”€0b1ce22e-c764-11ea-3d60-e799d58aee30
-# ╠═6d9108a8-c765-11ea-0a38-09a1364998b1
-# ╠═7a14e496-c765-11ea-20a1-6fb960009251
-# β•Ÿβ”€3eff932a-cc50-11ea-366e-812d3854dd4c
-# β•Ÿβ”€7e10fb52-c765-11ea-2a71-0fc347d09885
-# ╠═b91764e8-c765-11ea-27a2-4ba5777fbd89
-# ╠═bb356b12-c765-11ea-2c36-697f4314bb93
-# β•Ÿβ”€9276da28-cc4f-11ea-17b3-65eec41a181e
-# β•Ÿβ”€92def54a-cc4f-11ea-12c5-652f2bb46413
-# ╠═9920e56c-cc4f-11ea-2d5e-f5371c79f048
-# ╠═44591b34-cc50-11ea-2005-2f7075e6f2db
-# β•Ÿβ”€4fda3072-cc50-11ea-2804-197b6391b269
-# β•Ÿβ”€ebfc61b0-c765-11ea-1d66-cbf1dcdb8bdb
-# β•Ÿβ”€3e5dd7d2-c760-11ea-1dca-6d8720b3558d
-# β•Ÿβ”€f31668c6-c768-11ea-1501-5f41afa7c83b
-# ╠═417390ba-c760-11ea-27df-5908858ae88c
-# ╠═49e7cd06-c760-11ea-3f5d-2741d94278a6
-# β•Ÿβ”€31a2f3c4-cc51-11ea-3652-bd814517a4b5
-# β•Ÿβ”€67709812-c760-11ea-2bda-9756ead35749
-# ╠═4c2b45a0-c760-11ea-2b64-3fefc820cd5b
-# ╠═5be148cc-c760-11ea-0819-a7bb403d27ff
-# β•Ÿβ”€347e3d06-cc51-11ea-012c-43e824eaffa2
-# β•Ÿβ”€343d7118-cc51-11ea-387a-fb22d8c73506
-# β•Ÿβ”€32e41ac2-cc51-11ea-3358-bbead9c68123
-# β•Ÿβ”€f74f434a-c768-11ea-079c-fb707e6ba17b
-# β•Ÿβ”€ea00721c-cc4b-11ea-1e82-0b3dbe6a7f1e
-# ╠═fc12280c-c768-11ea-3ebc-ebcd6b3459c1
-# ╠═067cbcde-cc4c-11ea-3eed-972dc6d7bb3b
-# β•Ÿβ”€f69a5d5e-c765-11ea-3fa0-230c6c619730
-# β•Ÿβ”€7da30d97-b28a-4eb9-a2ef-fad599b549d1
-# β•Ÿβ”€170089cd-f366-4c0a-b58d-fe6e36049db7
-# ╠═b29215cb-8e7e-4382-822c-cdaa4c473ba1
-# ╠═00f9f608-85bd-4932-b585-39f74dcf53b4
-# β•Ÿβ”€48a9ffbd-cac7-4c4e-85e5-c3d0693e5550
-# β•Ÿβ”€5c85ee41-da68-4f5f-b45e-e1de7996747d
-# β•Ÿβ”€8c51343f-cb35-4ff9-9fd8-642ffab57e22
-# ╠═621f2e82-5ab4-4ab9-a0ff-fb1cc1b41295
-# β•Ÿβ”€a4837897-caae-447a-8db9-7775e7a4d0c8
-# ╠═f5c421cc-dbdb-459a-9bb4-d648507a87d2
-# ╠═a4eac824-ba87-473a-b39a-783c4de3f933
-# ╠═f9052ed8-84cc-4cca-abb2-9363aafc6040
-# ╠═d278189e-6a5b-428a-8c81-ce3d206b042c
-# β•Ÿβ”€4ca9c749-08ee-467f-af2c-9b2f13199d72
-# β•Ÿβ”€0b66c781-ecf2-445e-b2aa-82cb13371e46
-# β•Ÿβ”€ad8e9b30-c75d-11ea-1fd0-0b53592135bf
-# β•Ÿβ”€87d088d0-cc54-11ea-02c6-bd673b95b9d3
-# β•Ÿβ”€6a7e7e54-c75e-11ea-2ea7-ed3da37e9e96
-# β•Ÿβ”€9ac7921c-c75e-11ea-30f5-c35e6ee370cb
-# β•Ÿβ”€a8c57442-c75e-11ea-1913-7d82cbd2c69c
-# ╠═cb37b916-c75b-11ea-0c83-6ba759536075
-# ╠═16ea31fc-c75e-11ea-0f2d-dd790a56b2dc
-# ╠═1dfd8cc6-c75e-11ea-3c04-a96734779c97
-# β•Ÿβ”€2fda30ea-c75e-11ea-2ff5-7f2dcf4f9b66
-# ╠═525ceea0-c75e-11ea-2766-f72418fd784e
-# ╠═382d41d8-c75e-11ea-2ae3-2ffe96e04b5a
-# β•Ÿβ”€958ab19c-cc56-11ea-162e-d3664e66ff66
-# ╠═8477619c-cc57-11ea-0618-1778c502d28f
-# β•Ÿβ”€f743076c-cc57-11ea-1a8e-8799d9db985a
-# β•Ÿβ”€c65d28a2-c75d-11ea-2e13-7332f93d9c5e
-# β•Ÿβ”€c16dff74-cc5d-11ea-380c-aff1639b5551
-# β•Ÿβ”€dada2154-c75d-11ea-2312-b9156a9a531e
-# ╠═f809110c-cc55-11ea-1551-e138c28d5d82
-# β•Ÿβ”€1c930364-cc58-11ea-36c8-0ddf7c4700cd
-# β•Ÿβ”€c48b48f6-cc5d-11ea-0f3b-d3481238625d
-# β•Ÿβ”€ea6ade22-cc5a-11ea-1782-97f2464fd148
-# β•Ÿβ”€35523932-cc4f-11ea-0908-2d51c57176b7
-# β•Ÿβ”€a245dddc-cc59-11ea-3e1d-1763673ff706
-# β•Ÿβ”€0cda8986-cc64-11ea-2acc-b5c38fdf17e5
-# β•Ÿβ”€0da7bc30-cc64-11ea-1dde-2b7f2dd76036
-# β•Ÿβ”€d163f434-cc5a-11ea-19e9-9319ba994efa
-# β•Ÿβ”€512fe760-cc4c-11ea-1c5b-2b32da035aad
-# ╠═55bcdbf8-cc4c-11ea-1549-87c076a59ff4
-# β•Ÿβ”€00000000-0000-0000-0000-000000000001
-# β•Ÿβ”€00000000-0000-0000-0000-000000000002
diff --git a/src/mod3_publish_website/deploy_static.md b/src/mod3_publish_website/deploy_static.md
deleted file mode 100644
index dd26dfa5..00000000
--- a/src/mod3_publish_website/deploy_static.md
+++ /dev/null
@@ -1,34 +0,0 @@
----
-title: "Deploy your website as static"
-order: 1
-chapter: 3
-section: 1
-layout: "md.jlmd"
-tags: ["module3", "track_setup", "deploy", "netlify", "github actions", "github pages"]
----
-
-
-## Deploying with github pages
-
-Deploying your website as static page with github pages is a breeze.
-
-Whenever you push to main, the website will be deployed to a branch called `gh-pages`. All you need to do is go to your repository and from `Settings > Pages` choose to deploy from `gh-pages` branch, as the following picture shows.
-
-
-![](https://user-images.githubusercontent.com/49938764/249790280-d9c46b7f-eecd-42aa-8e51-ce44dfdfce58.png)
-
-After that, the website will be available at
-
-```
-https://yourusername.github.io/your-repository-name
-```
-
-Note that this is a **static** webpage, so sliders will not work. Students will still be able to play with interactivity by downloading the notebook or running it on binder.
-
-If you want interactivity to work on the webpage, you can either
-
-1. [Precompute the notebooks outputs](https://juliapluto.github.io/computational-thinking-template/mod3_publish_website/precompute_output/) (experimental)
-
-or
-
-2. [Run your own server](https://juliapluto.github.io/computational-thinking-template/mod3_publish_website/setup_server/)
\ No newline at end of file
diff --git a/src/mod3_publish_website/precompute_output.md b/src/mod3_publish_website/precompute_output.md
deleted file mode 100644
index 05291a41..00000000
--- a/src/mod3_publish_website/precompute_output.md
+++ /dev/null
@@ -1,10 +0,0 @@
----
-title: "Precompute the pluto notebooks"
-order: 2
-chapter: 3
-section: 2
-layout: "md.jlmd"
-tags: ["module3", "track_setup", "track_julia", "deploy", "precompute", "Pluto", "PlutoSliderServer"]
----
-
-COMING SOON
\ No newline at end of file
diff --git a/src/mod3_publish_website/setup_server.md b/src/mod3_publish_website/setup_server.md
deleted file mode 100644
index b9ec4126..00000000
--- a/src/mod3_publish_website/setup_server.md
+++ /dev/null
@@ -1,11 +0,0 @@
----
-title: "Setup a server for your website"
-order: 3
-chapter: 3
-section: 3
-layout: "md.jlmd"
-tags: ["module3", "track_setup", "deploy", "server", "dynamic", "droplet"]
----
-
-COMING SOON
-