From: Gustavo Hoffmann <gusthoff.ada@gmail.com>
Subject: ANN: Interactive site to learn the Ada & SPARK
Date: Wed, 25 Jul 2018 14:30:20 -0700 (PDT)
Date: 2018-07-25T14:30:20-07:00 [thread overview]
Message-ID: <ddce556f-1ef4-442c-adb6-d5e887c90cef@googlegroups.com> (raw)
A new Ada and SPARK learning platform is now available:
https://learn.adacore.com/
From the blog post:
https://blog.adacore.com/learn-adacore-com-is-here
> Following on from the AdaCoreU(niversity) e-learning platform, this
> website is the next step in AdaCore’s endeavour to provide a better
> online learning experience for the Ada and SPARK programming languages.
> This new website is designed for individuals who want to get up and
> running with Ada/SPARK, and also for teams or teachers looking for
> training or tutorial material based on Ada/SPARK. In designing the site,
> we decided to evolve from the video-based approach used for AdaCoreU and
> instead have created text-based, interactive content to ease the
> learning experience. In light of this, AdaCoreU will be decommissioned
> in the coming weeks but the course videos are already available on
> YouTube:
>
> https://www.youtube.com/watch?v=vgsM7oSl1LI&list=PLkoa8uxigENkneyEEeDWVPgpMhPc9IJ7o
>
> The base material, including slides, remains available on GitHub for
> people who want to use it for their courses or trainings:
>
> https://github.com/AdaCoreU/Courses
>
> The main benefit of a textual approach is the greater flexibility in how
> you advance through the course. Now you can easily pick and choose from
> the course material with the opportunity to move on to more advanced
> sections but then refer back to previous content when needed.
>
> We also provide greater interactivity through code snippets embedded in
> a widget that allows you to compile, run and even prove your code (in
> the case of SPARK) directly from your Web browser. This allows you to
> experiment with the tools without having to install them, and tweak the
> examples to gain a better understanding for what’s allowed and feasible.
Regards,
Gustavo.
reply other threads:[~2018-07-25 21:30 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox