From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <caml-list-owner@inria.fr>
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by c5ff346549e7 (Postfix) with ESMTPS id E698D5D5
	for <caml-list@inbox.ocaml.org>; Tue, 21 Dec 2021 09:12:16 +0000 (UTC)
X-IronPort-AV: E=Sophos;i="5.88,223,1635199200"; 
   d="scan'208,217";a="12046731"
Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160])
  by mail2-relais-roc.national.inria.fr with ESMTP; 21 Dec 2021 10:12:15 +0100
Received: by sympa.inria.fr (Postfix, from userid 20132)
	id 717A4E02E4; Tue, 21 Dec 2021 10:12:15 +0100 (CET)
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 3A0BFE01A7
	for <caml-list@sympa.inria.fr>; Tue, 21 Dec 2021 10:12:12 +0100 (CET)
Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=Pass smtp.pra=alan.schmitt@polytechnique.org; spf=Pass smtp.mailfrom=SRS0=lmaG=RG=polytechnique.org=alan.schmitt@bounces.m4x.org; spf=Pass smtp.helo=postmaster@mx1.polytechnique.org
IronPort-PHdr: =?us-ascii?q?A9a23=3AIJnQGR+PnfWPEf9uWZ+7ngc9DxPPW53KNwIYoqA?=
 =?us-ascii?q?ql6hJOvz6uci4ZQqGvaklpWSKdL2T0+hDhevSvvKock07yrHFjko/dodRXQQOk?=
 =?us-ascii?q?8Qckl9oKseEDUrmMKyiNHRiT4xNW1B/4n60L1VeFtrgaF3OuH2y6iMZFgniOQZ?=
 =?us-ascii?q?vKen5BJPeg96q2+yu9JDYfhlFiie6bb5uNhu9sB/fttMRgYtsK6YxzgXGr35Vc?=
 =?us-ascii?q?OlIxm1mOEyekQ/k6si/4JBs/SJQu+k898FbSqX1Y744Tb1DAzs4NW0++dDmugP?=
 =?us-ascii?q?CTQuL4XscT3kWnx9VCAXL8B32QpH8uTb6uuR+3imaI8z2Tas1WTu566dkVgLji?=
 =?us-ascii?q?SkANz4j7W7XkdF7gKZVrR69ohByxZPfboOIO/pkZq7Tfc0US3dPUMhSWCNOHpi?=
 =?us-ascii?q?xYJETA+cbJ+tUs5XxqlkIoBCjBQesHuTvyjpQi3Lq2a01yeIhGhzb0gM8H9IOt?=
 =?us-ascii?q?XXUrMnpNKwPVu261q3Iwi/Fb/9Mwjfy9IjIchUgofGQQbJ9atLRyU4rFwLFklW?=
 =?us-ascii?q?ft5DqPzOT1uQMqmib8vRvWfioi249pAF8uz6izdojhYfVnIwa0EzE9Tlnz4YvI?=
 =?us-ascii?q?921UE51bcKgHZZOuS+XNJV7TMwsTm10vCs0xbIItJ+lcSUI1Zkq2wLTZviZfoW?=
 =?us-ascii?q?K4x/uV+icLSt6iX95e7+yhxi//VSmx+bhWMe011NKoTBEktnKrn0NzwLc6tSGS?=
 =?us-ascii?q?vth4EihwTGP1wXW6u5aO0w0k7TUK4I5zr4xkJoTq0XDETXslEX4lq+abkIk9fS?=
 =?us-ascii?q?y5OTiZrXqv4ScN4FuhgH5KKQuldSzAeMkPQcUWmib/f6w1Lr5/U32WLlKgfw2k?=
 =?us-ascii?q?rXZsJDHPssXvLK2AwhQ0oo76hawEjen0NAcnXUdK1JFYh2Hgo70MF/NOPD1Feq?=
 =?us-ascii?q?zj0qonTtx2vzKIrLsDo/DI3Tfirvsc7lw51ZYxQYu19xT+pBZBqwbLP7tVEL9q?=
 =?us-ascii?q?MbUAx04PgGy3u3pEs9y1pkEVmKKGqKZML3dsVuP5u83JumNa5IZtCzlK/gi4/7?=
 =?us-ascii?q?vjWM5lkEBcqmp25sXaWm4Hul4LEmDZnrsmNgBHX8Lvgo4UuPqlEWPXSNNa3u2R?=
 =?us-ascii?q?a4w+y03BY28AYrNWoyhmrKM0SijEp1TfG9GC1SMEXnyd4WDXvcBcD+cLNN8nDA?=
 =?us-ascii?q?YTbWhT4oh2guvugLi17RpL/LZ+jUftZLn1Nl1+/Pcmg0y9TxyDsSdynyNQH9uk?=
 =?us-ascii?q?mMPXT8207hyrlZ5yliZ16h0medYGsBT5/NMUwc6KYLcwvdhBND1RwLBeMuGR0i?=
 =?us-ascii?q?9Qtm8BDE8Qd0wz8UJY0ZnFNWulgrD0DayA78Ji7yLA4Q5/b7G0Hj0I8Zx0nLG1?=
 =?us-ascii?q?Kg6j1k6WcZPLm2nhqtn9wfJHYLJkkOZl7yrdasGxiLN+n2DniKyuxQSVBF2G+2?=
 =?us-ascii?q?RWW8ZTk/Jq5L/61+UC/fkAqsheEMJncWdLINOa8b1lhNHSObnPJLZeW3n3y+7D?=
 =?us-ascii?q?BOMg7eNd5bCemMH3SybBlJXvRoU+COvMQE4Thyqo2ffECAmQVvrakWq6uJ+rXK?=
 =?us-ascii?q?nUmcsyAWbc0Bq17y04wMYw/uGRKVAjfo/pC49pmAsTx6G1NXMBo/b/2KJmY1EZ?=
 =?us-ascii?q?tcs/FpM1WTYrhFweJu6IPI77rb/WwFn5gX20BFmFohLkc4rtW4nig1oJvDBuLu?=
 =?us-ascii?q?uXzmfwJb7N6aRLzXiuhe1ZPyPsmw=3D?=
IronPort-Data: =?us-ascii?q?A9a23=3AUrn646u+irIcM8SSscwoFZpi+OfnVHFfMUV32f8?=
 =?us-ascii?q?akzHdYEJGY0x3n2cdX2yBaa2IZWH1f4txYYyy8BwPvZ/Umt5kTAA9qXtEQiMRo?=
 =?us-ascii?q?6IpJ/zJdxaqZ3v6wu7rFR88sZ1GMrEsFC2FJ5Pljk/F3oPJ8D8shclkepKmULS?=
 =?us-ascii?q?dY3orHFc+IMscoUsLd9AR0tYAbeeRWFvlVePa+6UzCXf9s9JGGjp8B5Gr9HuDi?=
 =?us-ascii?q?M/PVAYw5TTSUxzkUGj2zBH5BLpHTU24wuCRroN8RoZWTM6bpF21E/+wwvsjNj+?=
 =?us-ascii?q?luu6TnkwiR66LexCJjmtKVqOihBlbuyF01bw0XBYeQR4N2nPQx4w3k40L7sDYp?=
 =?us-ascii?q?QQBZsUgnMwmaSIARiV7NIITwpCSOX+7oNCexE3AcmLxzrNpFk5jNIkR/KBsCmF?=
 =?us-ascii?q?L9OAEADoKcxaIivnwxe6rDO52iazPKeGyZttD5C8+kVk1Ct58GMqcE/SQjTNC5?=
 =?us-ascii?q?x87j8VKWPLffNYxcitqdB2GYhtVO15RBohWoQsCrm2nJmAe8kbM8PJxu3yJmVQ?=
 =?us-ascii?q?3ieizbs6OL4TMGNEKy2+GgEnD2Uj5JDATEuCF7y7cqif0wrfb9c/gcIcCTfug8?=
 =?us-ascii?q?fp7nFCYxmoSEQAbE1yhrpGEZoeFc4o3AyQpFuAG9PVaGI2XotjBs9mQpW7d+AY?=
 =?us-ascii?q?bX8tMHuY67gCU16eS5ByWboTBZiAUc8Qo7afaWhRzvmJlXfuwbdCsjFFRYXia6?=
 =?us-ascii?q?7GfoCj0PHQFa2gYakfoiCMe+9e55tlbYg3nF75e/W3csjExMSn3xyGWoSM+gbQ?=
 =?us-ascii?q?KkMNN0L+0lbwCqym0qMKPFmbZ+S2ONl+YAshFiEJJqmBmBZU3LRqNEWpBcmS8g?=
 =?us-ascii?q?Q=3D=3D?=
IronPort-HdrOrdr: =?us-ascii?q?A9a23=3ASc3Zoaj67ct8kQcAELJgF6vwfnBQXt0ji2hC?=
 =?us-ascii?q?6mlwRA09TyX4raCTdZsguiMc5Ax6ZJhCo7G90cu7L080nKQdieIs1NyZMDUO1l?=
 =?us-ascii?q?HEEKhSqaPchxfgFyf9+uM179YCT4FOTPvqAxxfhcb+iTPIdurILeP3kpyVuQ?=
 =?us-ascii?q?=3D=3D?=
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AQAQAImsFhmCIeaIFahAOBHwFfBlc6M?=
 =?us-ascii?q?YRHiQOFRQElgiWDK4YcgUeRVYFzAQMBDSoBDAcBAgQBAYIRg0gBBIJfAh4GAQU?=
 =?us-ascii?q?zEwECBBUBAQUBAQECAQMDBAETAQEBAQEBAQEJCxAGNCKFaA2CIhMMGYNwASEKQ?=
 =?us-ascii?q?CUjAxsDAhEBEQYBFAoXARIUBoJkAYJlAy8EAQqTO5wMgTGBAYNOAQMCARAPgy8?=
 =?us-ascii?q?NZoERUg0CFIEXhgxUSgGBH4FghAYpEIFVRIEVgilPAm6BQAEBXysXAQEBAQGBK?=
 =?us-ascii?q?AERAgGDOIJlBJFIDlVzGRYBASACNjhOCkoWAh6RZSuXGmmUAxcpODQHg0WBNQY?=
 =?us-ascii?q?LiAyBGYxogXCCXINLhTmiKiGWESCJDYEVgj2DS5BPCIUtgU4qgQ1wMxowQ4JpC?=
 =?us-ascii?q?WEPjXgBhBmBPoMbO4VLQDMCAQE0AgYBCgEBAwmFYwEBBRMLAYowAQE?=
X-IPAS-Result: =?us-ascii?q?A0AQAQAImsFhmCIeaIFahAOBHwFfBlc6MYRHiQOFRQElgiW?=
 =?us-ascii?q?DK4YcgUeRVYFzAQMBDSoBDAcBAgQBAYIRg0gBBIJfAh4GAQUzEwECBBUBAQUBA?=
 =?us-ascii?q?QECAQMDBAETAQEBAQEBAQEJCxAGNCKFaA2CIhMMGYNwASEKQCUjAxsDAhEBEQY?=
 =?us-ascii?q?BFAoXARIUBoJkAYJlAy8EAQqTO5wMgTGBAYNOAQMCARAPgy8NZoERUg0CFIEXh?=
 =?us-ascii?q?gxUSgGBH4FghAYpEIFVRIEVgilPAm6BQAEBXysXAQEBAQGBKAERAgGDOIJlBJF?=
 =?us-ascii?q?IDlVzGRYBASACNjhOCkoWAh6RZSuXGmmUAxcpODQHg0WBNQYLiAyBGYxogXCCX?=
 =?us-ascii?q?INLhTmiKiGWESCJDYEVgj2DS5BPCIUtgU4qgQ1wMxowQ4JpCWEPjXgBhBmBPoM?=
 =?us-ascii?q?bO4VLQDMCAQE0AgYBCgEBAwmFYwEBBRMLAYowAQE?=
X-IronPort-AV: E=Sophos;i="5.88,223,1635199200"; 
   d="scan'208,217";a="12046664"
X-MGA-submission: =?us-ascii?q?MDHOzaVyHs2h/ZOC7D9R9bFHjZmRP5vRqv1i8x?=
 =?us-ascii?q?MYK/QG2vv6LNGy9JFVTypC2y0w0fPO5Fq7SS5pmGoTrWJIRVq4zLax+M?=
 =?us-ascii?q?t7BukviGgQQkoeSQw0kLpy3/d9hiPSmFBRG5OfyZub7BilQ6xP4f4Exc?=
 =?us-ascii?q?jOft+o1jzFPD30JuJ2FO/iqg=3D=3D?=
Received: from mx1.polytechnique.org ([129.104.30.34])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 21 Dec 2021 10:11:57 +0100
Received: from set (91-171-230-76.subs.proxad.net [91.171.230.76])
	(using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits))
	(No client certificate requested)
	by ssl.polytechnique.org (Postfix) with ESMTPSA id 5CC4D5605C2;
	Tue, 21 Dec 2021 10:11:55 +0100 (CET)
From: Alan Schmitt <alan.schmitt@polytechnique.org>
To: "lwn" <lwn@lwn.net>, "cwn"  <cwn@lists.idyll.org>, caml-list@inria.fr
Date: Tue, 21 Dec 2021 10:11:54 +0100
Message-ID: <874k728gpx.fsf@m4x.org>
MIME-Version: 1.0
Content-Type: multipart/alternative; boundary="=-=-="
X-AV-Checked: ClamAV using ClamSMTP at svoboda.polytechnique.org (Tue Dec 21 10:11:56 2021 +0100 (CET))
X-Spam-Flag: No, tests=bogofilter, spamicity=0.003070, queueID=4167E5605C3
X-Org-Mail: alan.schmitt.1995@polytechnique.org
Subject: [Caml-list] Attn: Development Editor, Latest OCaml Weekly News
Reply-To: Alan Schmitt <alan.schmitt@polytechnique.org>
X-Loop: caml-list@inria.fr
X-Sequence: 18630
Errors-To: caml-list-owner@inria.fr
Precedence: list
Precedence: bulk
Sender: caml-list-request@inria.fr
X-no-archive: yes
List-Id: <caml-list.inria.fr>
List-Help: <mailto:sympa_inria@inria.fr?subject=help>
List-Subscribe: <mailto:sympa_inria@inria.fr?subject=subscribe%20caml-list>
List-Unsubscribe: <mailto:sympa_inria@inria.fr?subject=unsubscribe%20caml-list>
List-Post: <mailto:caml-list@inria.fr>
List-Owner: <mailto:caml-list-request@inria.fr>
List-Archive: <http://sympa.inria.fr/sympa/arc/caml-list>
Archived-At: <http://sympa.inria.fr/sympa/arcsearch_id/caml-list/2021-12/874k728gpx.fsf%40m4x.org>

--=-=-=
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable

Hello

Here is the latest OCaml Weekly News, for the week of December 14 to 21,
2021.

Table of Contents
=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=
=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=
=80

Are you teaching using the Learn-OCaml platform?
A SOCKS implementation for OCaml
Old CWN


Are you teaching using the Learn-OCaml platform?
=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=
=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=
=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=
=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=
=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=
=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90

  Archive:
  <https://sympa.inria.fr/sympa/arc/caml-list/2021-12/msg00007.html>


Erik Martin-Dorel announced
=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=
=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=
=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=
=E2=94=80=E2=94=80

  The OCaml Software Foundation is developing the teaching platform
  Learn-OCaml that provides auto-graded exercises for OCaml, and was
  initially authored by OCamlPro for the OCaml MOOC:
  <https://ocaml-sf.org/learn-ocaml/>

  The platform is free software and easy to deploy; this is great, but
  as a result we keep learning of users/deployments that we had no idea
  of. We would be interested in having a better view of our
  user-base. If you use Learn-OCaml as a teacher, could you answer this
  email (To: e.mdorel@gmail.com) and let us know?

  Ideally we would like to know:

  =E2=80=A2 Where are you using Learn-OCaml?  =E2=86=92 in which university=
 (in a
    specific course?), or in which company, online community or =E2=80=A6 ?
  =E2=80=A2 How many students/learners use your deployment in a year?

  Also FYI:

  =E2=80=A2 For an example of Learn-OCaml instance, see
    <https://discuss.ocaml.org/t/interesting-ocaml-exercises-from-francois-=
pottier-available-online/7050>
  =E2=80=A2 Last October we had a 0.13.0 release, full of new features:
    <https://discuss.ocaml.org/t/ann-release-of-ocaml-sf-learn-ocaml-0-13-0=
/8577>
  =E2=80=A2 For any question related to Learn-OCaml, feel free to create a
    discussion topic on <https://discuss.ocaml.org/> , category
    Community, tag /learn-ocaml/.
  =E2=80=A2 And if need be, opening an issue in
    <https://github.com/ocaml-sf/learn-ocaml/issues> if of course warmly
    welcome as well.


A SOCKS implementation for OCaml
=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=
=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=
=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=
=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90

  Archive:
  <https://discuss.ocaml.org/t/a-socks-implementation-for-ocaml/9041/1>


Renato Alencar announced
=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=
=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=
=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80=E2=94=80

  I have been working on a SOCKS implementation for OCaml and specially
  for MirageOS. It's not really complete or stable yet (not even
  published), it only has a couple of proof of concepts on the examples
  directory and it doesn't integrate with the well known libraries of
  the ecosystem.

  I would like to ask for feedback, and some thoughts about how could we
  have that in Conduit and Cohttp for example, so It'd be just plugged
  in into those libraries without having to directly depending on it. I
  plan to implement that for those libraries and have it submitted
  upstream, but not without some clear thoughts about how to make a
  clear interface for that.

  Besides being sloppy, I have a few issues described on GitHub, and it
  should be addressed on the next few days. Anyone is welcome to discuss
  those issues as some of them are still foggy for me, and having some
  other views on that would be great.

  <https://github.com/renatoalencar/ocaml-socks-client>


Old CWN
=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90=E2=95=90

  If you happen to miss a CWN, you can [send me a message] and I'll mail
  it to you, or go take a look at [the archive] or the [RSS feed of the
  archives].

  If you also wish to receive it every week by mail, you may subscribe
  [online].

  [Alan Schmitt]


[send me a message] <mailto:alan.schmitt@polytechnique.org>

[the archive] <https://alan.petitepomme.net/cwn/>

[RSS feed of the archives] <https://alan.petitepomme.net/cwn/cwn.rss>

[online] <http://lists.idyll.org/listinfo/caml-news-weekly/>

[Alan Schmitt] <https://alan.petitepomme.net/>


--=-=-=
Content-Type: text/html; charset=utf-8
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable

<?xml version=3D"1.0" encoding=3D"utf-8"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns=3D"http://www.w3.org/1999/xhtml" lang=3D"en" xml:lang=3D"en">
<head>
<!-- 2021-12-21 Tue 10:11 -->
<meta http-equiv=3D"Content-Type" content=3D"text/html;charset=3Dutf-8" />
<meta name=3D"viewport" content=3D"width=3Ddevice-width, initial-scale=3D1"=
 />
<title>OCaml Weekly News</title>
<meta name=3D"generator" content=3D"Org mode" />
<style type=3D"text/css">
 <!--/*--><![CDATA[/*><!--*/
  .title  { text-align: center;
             margin-bottom: .2em; }
  .subtitle { text-align: center;
              font-size: medium;
              font-weight: bold;
              margin-top:0; }
  .todo   { font-family: monospace; color: red; }
  .done   { font-family: monospace; color: green; }
  .priority { font-family: monospace; color: orange; }
  .tag    { background-color: #eee; font-family: monospace;
            padding: 2px; font-size: 80%; font-weight: normal; }
  .timestamp { color: #bebebe; }
  .timestamp-kwd { color: #5f9ea0; }
  .org-right  { margin-left: auto; margin-right: 0px;  text-align: right; }
  .org-left   { margin-left: 0px;  margin-right: auto; text-align: left; }
  .org-center { margin-left: auto; margin-right: auto; text-align: center; }
  .underline { text-decoration: underline; }
  #postamble p, #preamble p { font-size: 90%; margin: .2em; }
  p.verse { margin-left: 3%; }
  pre {
    border: 1px solid #ccc;
    box-shadow: 3px 3px 3px #eee;
    padding: 8pt;
    font-family: monospace;
    overflow: auto;
    margin: 1.2em;
  }
  pre.src {
    position: relative;
    overflow: auto;
    padding-top: 1.2em;
  }
  pre.src:before {
    display: none;
    position: absolute;
    background-color: white;
    top: -10px;
    right: 10px;
    padding: 3px;
    border: 1px solid black;
  }
  pre.src:hover:before { display: inline; margin-top: 14px;}
  /* Languages per Org manual */
  pre.src-asymptote:before { content: 'Asymptote'; }
  pre.src-awk:before { content: 'Awk'; }
  pre.src-C:before { content: 'C'; }
  /* pre.src-C++ doesn't work in CSS */
  pre.src-clojure:before { content: 'Clojure'; }
  pre.src-css:before { content: 'CSS'; }
  pre.src-D:before { content: 'D'; }
  pre.src-ditaa:before { content: 'ditaa'; }
  pre.src-dot:before { content: 'Graphviz'; }
  pre.src-calc:before { content: 'Emacs Calc'; }
  pre.src-emacs-lisp:before { content: 'Emacs Lisp'; }
  pre.src-fortran:before { content: 'Fortran'; }
  pre.src-gnuplot:before { content: 'gnuplot'; }
  pre.src-haskell:before { content: 'Haskell'; }
  pre.src-hledger:before { content: 'hledger'; }
  pre.src-java:before { content: 'Java'; }
  pre.src-js:before { content: 'Javascript'; }
  pre.src-latex:before { content: 'LaTeX'; }
  pre.src-ledger:before { content: 'Ledger'; }
  pre.src-lisp:before { content: 'Lisp'; }
  pre.src-lilypond:before { content: 'Lilypond'; }
  pre.src-lua:before { content: 'Lua'; }
  pre.src-matlab:before { content: 'MATLAB'; }
  pre.src-mscgen:before { content: 'Mscgen'; }
  pre.src-ocaml:before { content: 'Objective Caml'; }
  pre.src-octave:before { content: 'Octave'; }
  pre.src-org:before { content: 'Org mode'; }
  pre.src-oz:before { content: 'OZ'; }
  pre.src-plantuml:before { content: 'Plantuml'; }
  pre.src-processing:before { content: 'Processing.js'; }
  pre.src-python:before { content: 'Python'; }
  pre.src-R:before { content: 'R'; }
  pre.src-ruby:before { content: 'Ruby'; }
  pre.src-sass:before { content: 'Sass'; }
  pre.src-scheme:before { content: 'Scheme'; }
  pre.src-screen:before { content: 'Gnu Screen'; }
  pre.src-sed:before { content: 'Sed'; }
  pre.src-sh:before { content: 'shell'; }
  pre.src-sql:before { content: 'SQL'; }
  pre.src-sqlite:before { content: 'SQLite'; }
  /* additional languages in org.el's org-babel-load-languages alist */
  pre.src-forth:before { content: 'Forth'; }
  pre.src-io:before { content: 'IO'; }
  pre.src-J:before { content: 'J'; }
  pre.src-makefile:before { content: 'Makefile'; }
  pre.src-maxima:before { content: 'Maxima'; }
  pre.src-perl:before { content: 'Perl'; }
  pre.src-picolisp:before { content: 'Pico Lisp'; }
  pre.src-scala:before { content: 'Scala'; }
  pre.src-shell:before { content: 'Shell Script'; }
  pre.src-ebnf2ps:before { content: 'ebfn2ps'; }
  /* additional language identifiers per "defun org-babel-execute"
       in ob-*.el */
  pre.src-cpp:before  { content: 'C++'; }
  pre.src-abc:before  { content: 'ABC'; }
  pre.src-coq:before  { content: 'Coq'; }
  pre.src-groovy:before  { content: 'Groovy'; }
  /* additional language identifiers from org-babel-shell-names in
     ob-shell.el: ob-shell is the only babel language using a lambda to put
     the execution function name together. */
  pre.src-bash:before  { content: 'bash'; }
  pre.src-csh:before  { content: 'csh'; }
  pre.src-ash:before  { content: 'ash'; }
  pre.src-dash:before  { content: 'dash'; }
  pre.src-ksh:before  { content: 'ksh'; }
  pre.src-mksh:before  { content: 'mksh'; }
  pre.src-posh:before  { content: 'posh'; }
  /* Additional Emacs modes also supported by the LaTeX listings package */
  pre.src-ada:before { content: 'Ada'; }
  pre.src-asm:before { content: 'Assembler'; }
  pre.src-caml:before { content: 'Caml'; }
  pre.src-delphi:before { content: 'Delphi'; }
  pre.src-html:before { content: 'HTML'; }
  pre.src-idl:before { content: 'IDL'; }
  pre.src-mercury:before { content: 'Mercury'; }
  pre.src-metapost:before { content: 'MetaPost'; }
  pre.src-modula-2:before { content: 'Modula-2'; }
  pre.src-pascal:before { content: 'Pascal'; }
  pre.src-ps:before { content: 'PostScript'; }
  pre.src-prolog:before { content: 'Prolog'; }
  pre.src-simula:before { content: 'Simula'; }
  pre.src-tcl:before { content: 'tcl'; }
  pre.src-tex:before { content: 'TeX'; }
  pre.src-plain-tex:before { content: 'Plain TeX'; }
  pre.src-verilog:before { content: 'Verilog'; }
  pre.src-vhdl:before { content: 'VHDL'; }
  pre.src-xml:before { content: 'XML'; }
  pre.src-nxml:before { content: 'XML'; }
  /* add a generic configuration mode; LaTeX export needs an additional
     (add-to-list 'org-latex-listings-langs '(conf " ")) in .emacs */
  pre.src-conf:before { content: 'Configuration File'; }

  table { border-collapse:collapse; }
  caption.t-above { caption-side: top; }
  caption.t-bottom { caption-side: bottom; }
  td, th { vertical-align:top;  }
  th.org-right  { text-align: center;  }
  th.org-left   { text-align: center;   }
  th.org-center { text-align: center; }
  td.org-right  { text-align: right;  }
  td.org-left   { text-align: left;   }
  td.org-center { text-align: center; }
  dt { font-weight: bold; }
  .footpara { display: inline; }
  .footdef  { margin-bottom: 1em; }
  .figure { padding: 1em; }
  .figure p { text-align: center; }
  .equation-container {
    display: table;
    text-align: center;
    width: 100%;
  }
  .equation {
    vertical-align: middle;
  }
  .equation-label {
    display: table-cell;
    text-align: right;
    vertical-align: middle;
  }
  .inlinetask {
    padding: 10px;
    border: 2px solid gray;
    margin: 10px;
    background: #ffffcc;
  }
  #org-div-home-and-up
   { text-align: right; font-size: 70%; white-space: nowrap; }
  textarea { overflow-x: auto; }
  .linenr { font-size: smaller }
  .code-highlighted { background-color: #ffff00; }
  .org-info-js_info-navigation { border-style: none; }
  #org-info-js_console-label
    { font-size: 10px; font-weight: bold; white-space: nowrap; }
  .org-info-js_search-highlight
    { background-color: #ffff00; color: #000000; font-weight: bold; }
  .org-svg { width: 90%; }
  /*]]>*/-->
</style>
<style type=3D"text/css">#table-of-contents h2 { display: none } .title { d=
isplay: none } .authorname { text-align: right }</style>
<style type=3D"text/css">.outline-2 {border-top: 1px solid black;}</style>
<script type=3D"text/javascript">
// @license magnet:?xt=3Durn:btih:e95b018ef3580986a04669f1b5879592219e2a7a&=
dn=3Dpublic-domain.txt Public Domain
<!--/*--><![CDATA[/*><!--*/
     function CodeHighlightOn(elem, id)
     {
       var target =3D document.getElementById(id);
       if(null !=3D target) {
         elem.classList.add("code-highlighted");
         target.classList.add("code-highlighted");
       }
     }
     function CodeHighlightOff(elem, id)
     {
       var target =3D document.getElementById(id);
       if(null !=3D target) {
         elem.classList.remove("code-highlighted");
         target.classList.remove("code-highlighted");
       }
     }
    /*]]>*///-->
// @license-end
</script>
</head>
<body>
<div id=3D"content">
<h1 class=3D"title">OCaml Weekly News</h1>
<p>
<a href=3D"https://alan.petitepomme.net/cwn/2021.12.14.html">Previous Week<=
/a> <a href=3D"https://alan.petitepomme.net/cwn/index.html">Up</a> <a href=
=3D"https://alan.petitepomme.net/cwn/2021.12.28.html">Next Week</a>
</p>

<p>
Hello
</p>

<p>
Here is the latest OCaml Weekly News, for the week of December 14 to 21, 20=
21.
</p>

<div id=3D"table-of-contents">
<h2>Table of Contents</h2>
<div id=3D"text-table-of-contents">
<ul>
<li><a href=3D"#1">Are you teaching using the Learn-OCaml platform?</a></li>
<li><a href=3D"#2">A SOCKS implementation for OCaml</a></li>
<li><a href=3D"#org05b3f87">Old CWN</a></li>
</ul>
</div>
</div>


<div id=3D"outline-container-1" class=3D"outline-2">
<h2 id=3D"1">Are you teaching using the Learn-OCaml platform?</h2>
<div class=3D"outline-text-2" id=3D"text-1">
<p>
Archive: <a href=3D"https://sympa.inria.fr/sympa/arc/caml-list/2021-12/msg0=
0007.html">https://sympa.inria.fr/sympa/arc/caml-list/2021-12/msg00007.html=
</a>
</p>
</div>

<div id=3D"outline-container-org3bd0e50" class=3D"outline-3">
<h3 id=3D"org3bd0e50">Erik Martin-Dorel announced</h3>
<div class=3D"outline-text-3" id=3D"text-org3bd0e50">
<p>
The OCaml Software Foundation is developing the teaching platform
Learn-OCaml that provides auto-graded exercises for OCaml, and was
initially authored by OCamlPro for the OCaml MOOC:
<a href=3D"https://ocaml-sf.org/learn-ocaml/">https://ocaml-sf.org/learn-oc=
aml/</a>
</p>

<p>
The platform is free software and easy to deploy; this is great, but as a
result we keep learning of users/deployments that we had no idea of. We
would be interested in having a better view of our user-base. If you use
Learn-OCaml as a teacher, could you answer this email (To:
e.mdorel@gmail.com) and let us know?
</p>

<p>
Ideally we would like to know:
</p>

<ul class=3D"org-ul">
<li>Where are you using Learn-OCaml?
=E2=86=92 in which university (in a specific course?), or in which company,=
 online community or =E2=80=A6 ?</li>
<li>How many students/learners use your deployment in a year?</li>
</ul>

<p>
Also FYI:
</p>

<ul class=3D"org-ul">
<li>For an example of Learn-OCaml instance, see <a href=3D"https://discuss.=
ocaml.org/t/interesting-ocaml-exercises-from-francois-pottier-available-onl=
ine/7050">https://discuss.ocaml.org/t/interesting-ocaml-exercises-from-fran=
cois-pottier-available-online/7050</a></li>
<li>Last October we had a 0.13.0 release, full of new features: <a href=3D"=
https://discuss.ocaml.org/t/ann-release-of-ocaml-sf-learn-ocaml-0-13-0/8577=
">https://discuss.ocaml.org/t/ann-release-of-ocaml-sf-learn-ocaml-0-13-0/85=
77</a></li>
<li>For any question related to Learn-OCaml, feel free to create a discussi=
on topic on <a href=3D"https://discuss.ocaml.org/">https://discuss.ocaml.or=
g/</a> , category Community, tag <i>learn-ocaml</i>.</li>
<li>And if need be, opening an issue in <a href=3D"https://github.com/ocaml=
-sf/learn-ocaml/issues">https://github.com/ocaml-sf/learn-ocaml/issues</a> =
if of course warmly welcome as well.</li>
</ul>
</div>
</div>
</div>




<div id=3D"outline-container-2" class=3D"outline-2">
<h2 id=3D"2">A SOCKS implementation for OCaml</h2>
<div class=3D"outline-text-2" id=3D"text-2">
<p>
Archive: <a href=3D"https://discuss.ocaml.org/t/a-socks-implementation-for-=
ocaml/9041/1">https://discuss.ocaml.org/t/a-socks-implementation-for-ocaml/=
9041/1</a>
</p>
</div>

<div id=3D"outline-container-orge1e605b" class=3D"outline-3">
<h3 id=3D"orge1e605b">Renato Alencar announced</h3>
<div class=3D"outline-text-3" id=3D"text-orge1e605b">
<p>
I have been working on a SOCKS implementation for OCaml and specially for M=
irageOS. It's not
really complete or stable yet (not even published), it only has a couple of=
 proof of concepts
on the examples directory and it doesn't integrate with the well known libr=
aries of the
ecosystem.
</p>

<p>
I would like to ask for feedback, and some thoughts about how could we have=
 that in Conduit
and Cohttp for example, so It'd be just plugged in into those libraries wit=
hout having to
directly depending on it. I plan to implement that for those libraries and =
have it submitted
upstream, but not without some clear thoughts about how to make a clear int=
erface for that.
</p>

<p>
Besides being sloppy, I have a few issues described on GitHub, and it shoul=
d be addressed on
the next few days. Anyone is welcome to discuss those issues as some of the=
m are still foggy
for me, and having some other views on that would be great.
</p>

<p>
<a href=3D"https://github.com/renatoalencar/ocaml-socks-client">https://git=
hub.com/renatoalencar/ocaml-socks-client</a>
</p>
</div>
</div>
</div>




<div id=3D"outline-container-org05b3f87" class=3D"outline-2">
<h2 id=3D"org05b3f87">Old CWN</h2>
<div class=3D"outline-text-2" id=3D"text-org05b3f87">
<p>
If you happen to miss a CWN, you can <a href=3D"mailto:alan.schmitt@polytec=
hnique.org">send me a message</a> and I'll mail it to you, or go take a loo=
k at <a href=3D"https://alan.petitepomme.net/cwn/">the archive</a> or the <=
a href=3D"https://alan.petitepomme.net/cwn/cwn.rss">RSS feed of the archive=
s</a>.
</p>

<p>
If you also wish to receive it every week by mail, you may subscribe <a hre=
f=3D"http://lists.idyll.org/listinfo/caml-news-weekly/">online</a>.
</p>

<div class=3D"authorname" id=3D"org34b0aea">
<p>
<a href=3D"https://alan.petitepomme.net/">Alan Schmitt</a>
</p>

</div>
</div>
</div>
</div>
</body>
</html>


--=-=-=--