From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.2 required=5.0 tests=BAYES_00,FREEMAIL_FROM,
	URI_TRY_3LD autolearn=no autolearn_force=no version=3.4.4
X-Received: by 2002:a24:5353:: with SMTP id
 n80-v6mr4216180itb.6.1532554221303;
        Wed, 25 Jul 2018 14:30:21 -0700 (PDT)
X-Received: by 2002:aca:75c9:: with SMTP id
 q192-v6mr135692oic.3.1532554221163;
 Wed, 25 Jul 2018 14:30:21 -0700 (PDT)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!weretis.net!feeder4.news.weretis.net!feeder.erje.net!1.eu.feeder.erje.net!newsfeed.xs4all.nl!newsfeed9.news.xs4all.nl!85.12.16.68.MISMATCH!peer01.ams1!peer.ams1.xlned.com!news.xlned.com!peer01.am4!peer.am4.highwinds-media.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!d7-v6no166444itj.0!news-out.google.com!k71-v6ni1itk.0!nntp.google.com!g2-v6no172883itf.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Wed, 25 Jul 2018 14:30:20 -0700 (PDT)
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=83.135.211.91;
 posting-account=vDt8RwoAAADiHfuXLUrBu4GU_iEKvtUX
NNTP-Posting-Host: 83.135.211.91
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <ddce556f-1ef4-442c-adb6-d5e887c90cef@googlegroups.com>
Subject: ANN: Interactive site to learn the Ada & SPARK
From: Gustavo Hoffmann <gusthoff.ada@gmail.com>
Injection-Date: Wed, 25 Jul 2018 21:30:21 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 3066
X-Received-Body-CRC: 2600744053
Xref: reader02.eternal-september.org comp.lang.ada:53963
Date: 2018-07-25T14:30:20-07:00
List-Id: <comp.lang.ada>

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=20
> website is the next step in AdaCore=E2=80=99s endeavour to provide a bett=
er
> 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=3DvgsM7oSl1LI&list=3DPLkoa8uxigENkneyEEeD=
WVPgpMhPc9IJ7o
>
> 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.
>=20
> We also provide greater interactivity through code snippets embedded in
> a widget that allows you to compile, run and even prove your code (in=20
> 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=E2=80=99s allowed and fe=
asible.


Regards,

Gustavo.