ANN: Interactive site to learn the Ada & SPARK

[Gustavo Hoffmann <gusthoff.ada@gmail.com>]

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.