From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id AC8B67EEBF for ; Wed, 22 Jul 2015 20:53:46 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of daniil@baturin.org) identity=pra; client-ip=46.253.202.162; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="daniil@baturin.org"; x-sender="daniil@baturin.org"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of daniil@baturin.org designates 46.253.202.162 as permitted sender) identity=mailfrom; client-ip=46.253.202.162; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="daniil@baturin.org"; x-sender="daniil@baturin.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@srv-se.enfan.org) identity=helo; client-ip=46.253.202.162; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="daniil@baturin.org"; x-sender="postmaster@srv-se.enfan.org"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0ALCQBc5q9V/6LK/S5bgmksVBZTgyOpEpE8DIU1SgIIgUlMAQEBAQEBgQuEHAcBAQEDASMdAQEmBQEKAgQLCxgCAgUEDAIECAMCAgkDAgECATMBEQYNBgIBAQ4EBYUuB4JJAwoJAwm2OHCEZQEFjBgDhTgBCgEBAQEXBoEiiSiBAoRTOiAHCYF9OxKBMYVlDEmGdYcthHWJAEaTKINhJmOBKR2BXWUBAWUfgUUBAQE X-IPAS-Result: A0ALCQBc5q9V/6LK/S5bgmksVBZTgyOpEpE8DIU1SgIIgUlMAQEBAQEBgQuEHAcBAQEDASMdAQEmBQEKAgQLCxgCAgUEDAIECAMCAgkDAgECATMBEQYNBgIBAQ4EBYUuB4JJAwoJAwm2OHCEZQEFjBgDhTgBCgEBAQEXBoEiiSiBAoRTOiAHCYF9OxKBMYVlDEmGdYcthHWJAEaTKINhJmOBKR2BXWUBAWUfgUUBAQE X-IronPort-AV: E=Sophos;i="5.15,524,1432591200"; d="scan'208";a="171277417" Received: from srv-se.enfan.org ([46.253.202.162]) by mail2-smtp-roc.national.inria.fr with ESMTP; 22 Jul 2015 20:53:45 +0200 Received: from eirin.enfan.tld (unknown [IPv6:2a02:2210:db:1:ca2a:14ff:fe56:458]) (using TLSv1.2 with cipher DHE-RSA-AES128-SHA (128/128 bits)) (No client certificate requested) by srv-se.enfan.org (Postfix) with ESMTPSA id B1854128AB1 for ; Thu, 23 Jul 2015 00:53:44 +0600 (NOVT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=baturin.org; s=default; t=1437591225; bh=yklA+IQPX8tJYBq0xujDdWj55MXolmVKcAwPQ715u5M=; h=Date:From:To:Subject:References:In-Reply-To; b=MRPIk3WgEzDV1069ADCNbWrGEJtjC5oAmBjJiJvKSFQrA4Y7+RoF/CIyZaoUdyZXS 9n51Hb2gscHhCFcUxglPX3n3U9R989fw6uEm9CuxCEbPom1jtKs53cx3Pgf8vEvplC 5NQ3xz81/mSqVA4Mz818i0YW+F7SOuQTWHW20/rI= Message-ID: <55AFE6B5.3080804@baturin.org> Date: Thu, 23 Jul 2015 00:53:41 +0600 From: Daniil Baturin User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.7.0 MIME-Version: 1.0 To: caml users References: <20150722075530.GA32202@traveler> <55AFD22B.3000902@baturin.org> In-Reply-To: Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] [ANN] Introduction to Functional Programming in OCaml, a MOOC -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Oregon Summer School is great, but the best part of MOOCs is the homework. Once you have some experience, you can make up toy problems and verify the correctness of your solution yourself, but if you are new to something else, well-defined toy problems and automated verification help a lot to check if you got it right and to stay engaged. On 07/22/2015 11:36 PM, Kenneth Adam Miller wrote: > I'm all in for a Coq MOOC :) > > By the way, here's an excellent page with lots of videos of Coq, formal methods and mathematics from the best of the best. > http://www.cs.uoregon.edu/research/summerschool/summer12/curriculum.html > > On Wed, Jul 22, 2015 at 1:26 PM, Daniil Baturin > wrote: > > > That's really cool, subscribed. > > Are you planning to make a Coq MOOC in the future? > > On 07/22/2015 01:55 PM, Roberto Di Cosmo wrote: > > We are very pleased to announce the massive, open, online course > > > Introduction to Functional Programming in OCaml > > > the first MOOC entirely devoted to our beloved OCaml programming language. > > > All the information on the course, including a teaser video, is > available at > > > https://www.france-universite-numerique-mooc.fr/courses/parisdiderot/56002/= session01/about > > > The course is in english, starts from the basics, and goes on for > seven weeks up > > to the module system. > > > An interactive exercise environment will allow to do the exercises in the > > browser, with an online evaluation integrated in the learning system; > as you > > expect, this is based on tryocaml and js_of_ocaml, and is a unique > > distinguishing feature of this MOOC. > > > The learning platform happens to be called FUN (yes, great to have fun > with > > functional programming :-)), that is a variant of Open EdX run by the > french > > ministry of education. > > > The registration is open, and the course will start on October 19th. > > > We finally have a MOOC on OCaml, a great tool to bring functional > > programming and our preferred programming language to a wide audience: > > now, let's tell the world! Use your social networks, mailing lists, > > professional and non professional conferences to spread the world. > > > And see you soon for our first course :-) > > > > > > > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > > -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 iQIcBAEBCAAGBQJVr+a1AAoJEEcm35UR4K8f6ZUP/3hwYdJIeZavQaAdeuyTQIBz ewBZkkl73rbQl1hiOCPjuRCkn9sJ9fwiONuokLTS2ATvuIabV6Jso79OKYfZ3yof R5p/UP+sMDdpbzCT0qAXWG79pmJaRFFB0zO2dvY94Dp1QfV6WQWgVvjfWkoRikin WhwHuxwDTxAX7Q/nAX9spoJvWwwReL0gRB2zShjcQEiXfN7MGxOM2UziF0Iw0pTf hQ1s1dBV0V5hLQ7sM/leQh2+ZPuCfjJ5wYK1ScnbOd5sA4eHPpf3rFcirsjgl50G p954Db3BKtTfrbTQtO6E8vaTHxwzJWDr3ToQh9nsqm9yREJwy5TzMYK3grREOJoW MNgMniJmOV0muyejknDzd5Y1qRloufTfklo1MP56+jOVLFmIKT3+qoGj5Xw3vHeS H8P07wxULJxIYF95op1D2tYVo7qnrk48gxj0LRXZdF4SAy05ef3PHN/NU9V/mkXp zwHkL9Fhflz6Pf72seB0QSblqPq8D7oSMJ4S/mbJhk9TKWJ1Cjuvk6euGNOaPePY jqCjglW5FS0Zoe/zJlCJN3ApUoKd0FdJ9FL/8vSjpY8oNEvWE9WEDsBQY0dAkNB8 8UPPFIz2OEhlwO1iCDL18ANLd1E1I89IUc+hown/fjZT8AT8GCm4w+m1gkHIwtYh C+EH6Q+cPoJRIfqP3c38 =3D7Yh4 -----END PGP SIGNATURE-----