From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id F197B5D5 for ; Fri, 18 Jun 2021 09:53:50 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.83,283,1616454000"; d="scan'208,217";a="515409241" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 18 Jun 2021 11:53:19 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 1CD40E0B07; Fri, 18 Jun 2021 11:53:19 +0200 (CEST) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 0C121E003C for ; Fri, 18 Jun 2021 11:53:13 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=romain.calascibetta@gmail.com; spf=Pass smtp.mailfrom=romain.calascibetta@gmail.com; spf=None smtp.helo=postmaster@mail-io1-f42.google.com IronPort-PHdr: =?us-ascii?q?A9a23=3AYdB8IRY+/zdHEcgTIDFcs/T/LTHK14qcDmcuAno?= =?us-ascii?q?PtbtCf+yZ8oj4OwSHvLMx1Q6PBt6AoKscw8Pt8InYEVQa5piAtH1QOLdtbDQiz?= =?us-ascii?q?fssogo7HcSeAlf6JvO5JwYzHcBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB?= =?us-ascii?q?1JuPoEYLOksi7ze+/94DXbglSijewb71/IBqroQnNq8IbnZZsJqEtxxXTv3BGY?= =?us-ascii?q?f5WxWRmJVKSmxbz+MK994N9/ipTpvws6ddOXb31cKokQ7NYCi8mM30u683wqRb?= =?us-ascii?q?DVwqP6WACXWgQjxFFHhLK7BD+Xpf2ryv6qu9w0zSUMMHqUbw5Xymp4rx1QxH0l?= =?us-ascii?q?igIKz858HnWisNuiqJbvAmhrAF7z4LNfY2ZKOZycqbbcNgHR2ROQ9xRWjRODYO?= =?us-ascii?q?ybYQBD+QPM+VFoYfju1QDtgGxCRW2Ce711jNEmn370Ksn2OohCwHG2wkgEsoSv?= =?us-ascii?q?nTTqdX6LqYSUeaox6TW1zrDa+lZ2Szh54jJaR8uv+2MXa5qfsHMzkQvDQTFjlC?= =?us-ascii?q?KpozkOTOZzPgCvHKf7+V6TuKgl28npBpvrTiz2scjkJLEho0Qyl/e9CV5xJw5K?= =?us-ascii?q?sG/SE5+eNOpFoZbuC6GOYVsWMwiX31otzggyr0AoZO2YTUHxYopyRPdb/GLbpS?= =?us-ascii?q?F7gz+WeqMIDp2inBodK+xiRuv/katy+LxW8e23VtXsCdIndjBu34Q2hHN5caKV?= =?us-ascii?q?/lw80G80jiB0ADT7/tLIUEylafDJJ4hw6IwlpoOsUvYBCP5hEL2jKqOekQq+ui?= =?us-ascii?q?o6vjnbav/pp+BLYB0kAL+Pr40lsy4G+Q4PRACXmab+eS9yL3s41T5QKhQgf0sk?= =?us-ascii?q?anVqpfaJd4UpqKhDQ9VyJgs5Ai5DzehzdsXg2MLLFRbdxKbl4TpPErOL+rlDfu?= =?us-ascii?q?lmVSjji9nx/fdPrL7H5XBNGLPkK3/crt79kVSyxIzwMhB655IDrwNOvH+V0/ru?= =?us-ascii?q?NDFDxI0Mha4zun5BNh7y4gQQ3iAArWDP6PXqVKI5vwgI+2LZIINvTbyMfkl5/r?= =?us-ascii?q?3gX84nl8RYLCl3ZUYZXymBPhmLEKZYX3jgtcFD2gGpBYxTOvviFGaUD5TYWi9X?= =?us-ascii?q?74k6z0lFI6rCZ3PS4OtjbCbwSu2H5xbanpJB1ySCXvocp+LW/YIaCKcOM9hlTk?= =?us-ascii?q?EWKC7S48m0BGhrg76y7x9IuXI4CIYsYjs1MNp6O3Sjh496yB0D9iH3GyWQGF0m?= =?us-ascii?q?3kHRz4y3KxlvUN9zVKD3bBig/NEDdxT++9JUgAiOJHA1eN6DtTyVhvFfteIU1a?= =?us-ascii?q?mXs6rASoxT9I0298BeVxxG9SkjhDZ3iqlGaUZl7KRBM98zqWJ8HH7Pcdwzz793?= =?us-ascii?q?6kslVQ8Cp9APGe8h6N7sRPYB4PTnl+xmKOjdKBa1ynIojSt122L6XtfVQdxV+3?= =?us-ascii?q?uVHQWfUDXp9nl+kqKG6WpDL0mNE1KwMqLMaBLYND1kVxuS/LqOdCYaGW0zTTjT?= =?us-ascii?q?S2Uz6+BOdK5M14W2z/QXQ1dy1h7FZOuOg03ByPnqGXbXmQG/bPHZkrt9ax/ryr?= =?us-ascii?q?+QBNuiQ6NaEJl2vy+/RtH3ZR0pNsc27sFvGEqrDAmRT6A?= IronPort-HdrOrdr: =?us-ascii?q?A9a23=3AHo/b3a5AeQ8VK7i2+APXwMfXdLJyesId70hD?= =?us-ascii?q?6qkXc3xom62j9vxG885rrCMc5Ax9ZJhCo7690de7MBXhHPdOiOF7V4tKNzOIhI?= =?us-ascii?q?LHFu1fxLqn6SbnHGnT8fE179YCAsoObayVfD9Hsfo=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CiBgCza8xgfyqmVdFahFaBLFY7FxqES?= =?us-ascii?q?IEeiCYCiEMDlRyGQoFoCwEDAQ01DAQBAYMbgTUCgm0CHQcBBDQTAgQVAQEFAQE?= =?us-ascii?q?BAgEDAwQBEwEBDQsLCCcchWgNgjgpAYNjAQEBAwESER0BGx0BAwELBgULDSoCA?= =?us-ascii?q?iEBAREBBQEcBhMIGoJQglQBAw4hD5ksgQQ9ijh6gRUFAReBAYIIBoRfGAoZKA1?= =?us-ascii?q?jA4FWAgcSgSiEJ4FDAhNASAEBhmEnEIFVRIFLgj4vPoFSTkICAoEkZ4JqgmQEg?= =?us-ascii?q?x0qgQAPAYFzQ02Me4QLBKoLLywHgyKBJgaHU4EUjg+FWyuDXoFDiWOWbIF3hQC?= =?us-ascii?q?JOYdAigaDKY9+hRQQI4EeKoF9cFAxgjgJRxkOjX2DbiSEWTtahHJCLwI2AgYBC?= =?us-ascii?q?QEBAwmJUwEB?= X-IPAS-Result: =?us-ascii?q?A0CiBgCza8xgfyqmVdFahFaBLFY7FxqESIEeiCYCiEMDlRy?= =?us-ascii?q?GQoFoCwEDAQ01DAQBAYMbgTUCgm0CHQcBBDQTAgQVAQEFAQEBAgEDAwQBEwEBD?= =?us-ascii?q?QsLCCcchWgNgjgpAYNjAQEBAwESER0BGx0BAwELBgULDSoCAiEBAREBBQEcBhM?= =?us-ascii?q?IGoJQglQBAw4hD5ksgQQ9ijh6gRUFAReBAYIIBoRfGAoZKA1jA4FWAgcSgSiEJ?= =?us-ascii?q?4FDAhNASAEBhmEnEIFVRIFLgj4vPoFSTkICAoEkZ4JqgmQEgx0qgQAPAYFzQ02?= =?us-ascii?q?Me4QLBKoLLywHgyKBJgaHU4EUjg+FWyuDXoFDiWOWbIF3hQCJOYdAigaDKY9+h?= =?us-ascii?q?RQQI4EeKoF9cFAxgjgJRxkOjX2DbiSEWTtahHJCLwI2AgYBCQEBAwmJUwEB?= X-IronPort-AV: E=Sophos;i="5.83,283,1616454000"; d="scan'208,217";a="385449966" X-MGA-submission: =?us-ascii?q?MDFdRpUVuv+gE+3Vo9nWBrcTZ7meR3wRvSF2Dc?= =?us-ascii?q?/HvIFjG8rpyHuuod0ZLqzza85oqt9p2C7S8RD6RdoPOPZyrCh7QFBcY0?= =?us-ascii?q?MOt+IvbD1GEzMzjDOcEOsDj4um83K6ecss414OUhAwdaLv9X9h/ZR1b8?= =?us-ascii?q?VIxhg2BCuMnygyiRUKFibvAg=3D=3D?= Received: from mail-io1-f42.google.com ([209.85.166.42]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 18 Jun 2021 11:53:12 +0200 Received: by mail-io1-f42.google.com with SMTP id p66so6377947iod.8 for ; Fri, 18 Jun 2021 02:53:12 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=FbvG/ICPpGOsBZkiT74eKs7K6c2o3FVI1NJ4o/HALuk=; b=hKvxzWKV8frUhgY8Mu9J2gYfYEPtN6YiWF17+pSiVdKo7KspPY72+Tb26GkBon2EZj Mb0pj3vTufDv8OwQAKVPgPri+AdmYwxdeOYuJ4vQ6vb6sDtMfw5RQZzuQH1Z6dTUQ3wK rAYXCz+hVjfP6pkDLeH41yxfuaAvZpv2sVLjurEpvzINHsGqjfsolzIb4b1qUa8xBb71 sI/IG0PKsBMFAaNrdA4I2y2WhwjvzKV1UwPPivytpZyyvYKAAEa6/JTXdu4FrAXf/KHQ VAGGutvzuMKwN3CU1wEB1WARfl/NdJYe3dsPsb7+9CsHNyb+iLKMyWN9SmgpsKQsOqar t8fg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=FbvG/ICPpGOsBZkiT74eKs7K6c2o3FVI1NJ4o/HALuk=; b=hmSUgPynHdlv8y8PZ/WajwNlLvhRt1oZeHuuWyvUp8rxF/9CvVkzr9iIk6fU0V+Eiw qL9ZKkppR6/5vyuUcwW7e8XWSH5Qy7/YdEbUniPY6nf87ny7crD5SUO2FknPjNcNGwG2 i/v/OUiQYACeZVdB8F5DHzw30GjlXHztw46+rPV+bVS+i+FI4+HmnEsEv6g5wkktZguV lLqpietm7eHZo9N/OqdMJicTyG1Qe3Y8px4NMk3DOjW2I0Ynql0RcwTDJkeYBtDJRcEH /utcULyJoh7RgOtwxoMpMfOurrfwWiRYdjrFYlEjDJ68Xrtn5aRevuhkyixl0jEpAEJT 3tpw== X-Gm-Message-State: AOAM530QTK+NtjOHu6xTfpBO99MZfhVBU3ujw9+goOPJ46YMyMS75YP0 TmK2wD/SRV3yHZYykNHdJcwzFw6IGflnMkiDWfs= X-Google-Smtp-Source: ABdhPJw+nJYe5t1Zt/NJnGFp1L9us0FXf3ScOiNPerUfF8k7/tI7iOX6vsqrYjAw7IiDTmVZtag63PEn9y99Fl4fKtk= X-Received: by 2002:a02:a19e:: with SMTP id n30mr2609602jah.109.1624009990844; Fri, 18 Jun 2021 02:53:10 -0700 (PDT) MIME-Version: 1.0 References: <20210520081605.GA32553@notk.org> <20210526140102.GA22143@notk.org> <20210527083438.GA29013@notk.org> In-Reply-To: From: Romain Calascibetta Date: Fri, 18 Jun 2021 11:52:57 +0200 Message-ID: To: Gabriel Scherer Cc: Adrien Nader , caml users , whitequark Content-Type: multipart/alternative; boundary="0000000000009db33105c5074a2f" Subject: Re: [Caml-list] IRC channels available on libera.chat Reply-To: Romain Calascibetta X-Loop: caml-list@inria.fr X-Sequence: 18528 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: --0000000000009db33105c5074a2f Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Hi all, Just to let you know that I spent a time to re-implement the IRC protocol in OCaml and to deploy a simple MirageOS as a logger to save discussions into a Git repository. The bot is currently deployed, the explanation is available here: https://github.com/dinosaure/cri/tree/master/unikernel And used for #mirage@irc.libera.chat It's a nice example about MirageOS/unikernel and I may deploy one to save #ocaml@irc.libera.chat as whitequark already does with her bot. Thanks, Le ven. 18 juin 2021 =C3=A0 11:48, Gabriel Scherer a =C3=A9crit : > Dear Adrien (and list), > > Thanks for taking care of the migration! > > I don't use IRC regularly anymore (it eats my time and makes my content > hard to find again), but I have made good use of whitequark's excellent I= RC > log services over the last decade > https://freenode.irclog.whitequark.org/ocaml/ > > Currently the log looks like #ocaml on freenode is still being logged, bu= t > this channel is now empty. > (Of course logs still exist for any past discussions.) > > Is there a similar log service for the libera.chat channel? > whitequark's webpage has a "Contact whitequark if your channel migrated t= o > another network" message, has anyone done so for #ocaml? (If not, I just > cc-ed whitequark.) > > Best > > > On Thu, May 27, 2021 at 10:35 AM Adrien Nader wrote: > >> Hello, >> >> Hopefully this is the last part of the story. >> >> Yotam Barnoy has set up the discord bot to use libera.chat. >> >> The matrix bridge is unofficially available now. The schema has changed >> and is now #ocaml:libera.chat . Some downtime should be expected in the >> near future but the fact is that the bridge is available. >> >> If you have control over something that still mentions freenode.net, >> please update it to use libera.chat instead. >> >> Thanks, >> >> -- >> Adrien >> > --=20 Romain Calascibetta - http://din.osau.re/ --0000000000009db33105c5074a2f Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Hi all,

Just to let you know that I spe= nt a time to re-implement the IRC protocol in OCaml and to deploy a simple = MirageOS as
a logger to save discussions into a Git repository. T= he bot is currently deployed, the explanation is available here:
= https://= github.com/dinosaure/cri/tree/master/unikernel
And used for #mirage@= irc.libera.chat

It's a nice example about Mira= geOS/unikernel and I may deploy one to save #ocaml@irc.libera.chat as white= quark already does with her bot.

Thanks,

Le= =C2=A0ven. 18 juin 2021 =C3=A0=C2=A011:48, Gabriel Scherer <gabriel.scherer@gmail.com> a =C3=A9= crit=C2=A0:
Dear Adrien (and list),

Thanks f= or taking care of the migration!

I don't use I= RC regularly anymore (it eats my time and makes my content hard to find aga= in), but I have made good use of whitequark's excellent IRC log service= s over the last decade

Currently the log looks like #ocam= l on freenode is still being logged, but this channel is now empty.
(Of course logs still exist for any past discussions.)
Is there a similar log service for the libera.chat channel?
whitequark's webpage has a "Contact whitequark if your chan= nel migrated to another network" message, has anyone done so for #ocam= l? (If not, I just cc-ed whitequark.)

Best
=


On Thu, May 27, 2021 at 10:35 AM Adrien Nader <adrien@notk.org> wr= ote:
Hello,

Hopefully this is the last part of the story.

Yotam Barnoy has set up the discord bot to use libera.chat.

The matrix bridge is unofficially available now. The schema has changed
and is now #ocaml:libera.chat . Some downtime should be expected in the
near future but the fact is that the bridge is available.

If you have control over something that still mentions freenode.net,
please update it to use libera.chat instead.

Thanks,

--
Adrien


--
Romain Calascibetta - http://din.osau.re/
--0000000000009db33105c5074a2f--