diff --git a/Makefile b/Makefile index 90200ef8ae3ee7e319268fec0a4472cc811009a3..c9e702ee1555168245b96f6f88383368d91f52a4 100644 --- a/Makefile +++ b/Makefile @@ -14,14 +14,12 @@ REVEALOPRIONS = -t revealjs REVEALOPRIONS += --template ./default.revealjs # REVEALOPRIONS += -V theme=moon REVEALOPRIONS += -V center=false -REVEALOPRIONS += -V width="2000" -REVEALOPRIONS += -V height="1500" REVEALOPRIONS += -V margin=0 REVEALOPRIONS += -V minScale=0.2 -REVEALOPRIONS += -V maxScale=1.5 +REVEALOPRIONS += -V maxScale=2.0 # REVEALOPRIONS += -V width="1920" -V height="1080" -V margin=0 -V center=false REVEALOPRIONS += --section-divs -REVEALOPRIONS += -V fontsize=tiny +# REVEALOPRIONS += -V fontsize=tiny REVEALOPRIONS += -V slideNumber=true REVEALOPRIONS += --slide-level=1 REVEALOPRIONS += --highlight-style espresso diff --git a/cours.md b/cours.md index 286c4dba01ab8f108709804ee3c2f09898dba645..5cec496462bbdc665055ac30c937298cd0544ee9 100644 --- a/cours.md +++ b/cours.md @@ -5,7 +5,7 @@ author: Orestis Malaspinas sansfont: Sans Serif header-includes: <link rel="stylesheet" href="reveal.js/lib/css/zenburn.css" > - <!-- <link rel="stylesheet" href="reveal.js/css/theme/simple.css" id="theme"> --> + <link rel="stylesheet" href="reveal.js/css/theme/simple.css" id="theme"> <link rel="stylesheet" href="css/console.css" id="theme"> <script src="jquery/dist/jquery.min.js"></script> include-after: @@ -13,11 +13,14 @@ include-after: <script src="js/remote-code.js"></script> <script src="js/remote-diagrams.js"></script> <script src="js/em-artiste.js"></script> - +width: + 1500 +height: + 1500 <!-- slide-numbers: true --> --- -# Quelques références (1/2) +# Quelques références <pre><code data-source="codes/control/1.rs" data-trim="hljs rust" class="lang-rust"></code></pre> @@ -32,8 +35,6 @@ Contient certaines iformations qui peuvent être pratiques. <https://doc.rust-lang.org/book/first-edition/index.html> -# Quelques références (2/2) - ## La documentation officielle <https://doc.rust-lang.org/> @@ -46,6 +47,10 @@ Contient certaines iformations qui peuvent être pratiques. <https://www.reddit.com/r/rust/> +## Rust playground + +<https://play.rust-lang.org/help> + # Pourquoi Rust? ## Un peu d'amour @@ -90,14 +95,17 @@ Contient certaines iformations qui peuvent être pratiques. - Firefox: * Servo (moteur parallèle de navigateur en collaboration avec Samsung) * Quantum (Moteur du navigateur de Firefox) -- Tor (en phase de tests). -- Redox (microkernel). - Gnome (en remplacement du C). - Dropbox. +- Cargo. +- Tor (en phase de tests). +- Redox (microkernel). - <https://www.rust-lang.org/en-US/friends.html> # Concepts de base +Un compilateur très pointilleux. + ## Sûreté - Fortement typé. @@ -120,10 +128,10 @@ Contient certaines iformations qui peuvent être pratiques. - Abstractions à coût nul. - On paie pour ce qu'on utilise seulement. -# On peut contourner les règles +## On peut contourner les règles -- Le compilateur a des règles très stricte... -- ... Mais il est possible de contourner les règles. +- Le compilateur a des règles très strictes... +- ... mais il est possible de contourner les règles. - Syntaxe spéciale pour autoriser les comportement potentiellement dangereux. - Un guide pour bien vivre dangereusement. diff --git a/css/console.css b/css/console.css index 2c1f31bfa335b94b547f01e27f0d4e0e8dfae5b6..6702e6fae60db0750c57fa5c96b2815f29d0b862 100644 --- a/css/console.css +++ b/css/console.css @@ -34,6 +34,7 @@ text-decoration: none; cursor: pointer; font-weight: 600; + /*font-size: 50px;*/ } .btn:hover { background: #3cb0fd; diff --git a/figs/ferris_animated.gif b/figs/ferris_animated.gif new file mode 100644 index 0000000000000000000000000000000000000000..bb4946e22ff50b20ce2aac686a50549c70e18145 Binary files /dev/null and b/figs/ferris_animated.gif differ diff --git a/js/playRust.js b/js/playRust.js index 3330a013f8d522a8729fd594fd3a5340e206aea4..e201220a59767b93c2b94377382b9c2817fad810 100644 --- a/js/playRust.js +++ b/js/playRust.js @@ -15,7 +15,7 @@ function addButtons() { }); $('.exec').click(function () { var target = $(this).siblings('.return'); - target.html('<img src="img/rust.gif" style="border:none; box-shadow:none; margin: 0; background: none;">'); + target.html('<img src="figs/ferris_animated.gif" style="border:none; box-shadow:none; margin: 0; background: none;">'); var code = $(this).siblings('code').text(); var payload = {optimize:"0", version:"stable", code: code}; $.ajax({