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 5D92A7F029 for ; Fri, 30 Sep 2016 15:07:34 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=anil@recoil.org; spf=None smtp.mailfrom=anil@recoil.org; spf=None smtp.helo=postmaster@bark.recoil.org Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of anil@recoil.org) identity=pra; client-ip=5.153.225.51; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="anil@recoil.org"; x-sender="anil@recoil.org"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of anil@recoil.org) identity=mailfrom; client-ip=5.153.225.51; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="anil@recoil.org"; x-sender="anil@recoil.org"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@bark.recoil.org) identity=helo; client-ip=5.153.225.51; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="anil@recoil.org"; x-sender="postmaster@bark.recoil.org"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AuA2WOB1Y+dA9wDJqsmDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?segXKvad9pjvdHbS+e9qxAeQG96KsbQe0qGL7OigATVGusnR9ihaMdRlbFwst4?= =?us-ascii?q?Y/p0QYGsmLCEn2frbBThcRO4B8bmJj5GyxKkNPGczzNBX4q3y26iMOSF2kbVIm?= =?us-ascii?q?bsy8IIPZjty22uau4NWTJlwQ3HvuKY91eTa/rgzdq4FCgoJhI6osjBvArHJOcu?= =?us-ascii?q?Jf7WxtLFOX2R3745Hj0oRk9nF5vfMlv+tJXaXzYa0gQLBUHXxyOmY04OXxuBLE?= =?us-ascii?q?TA/J4WETBDZF2iFUChTIuUmpFqz6tTH3468kgHGX?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BQBgCeYu5X/zPhmQVdHAEBBAEBCgEBF?= =?us-ascii?q?wEBBAEBCgEBgxQBAQEBAR5XfKQxh1iMS4IGJIV6AgiBXjkTAQEBAQEBAQEBAQF?= =?us-ascii?q?dJ0ESgV8EARUBBIIRAQEEOgYDATUBAQ4LGC4hNgYTiDMDGwEJsDaFMAcChDgNg?= =?us-ascii?q?1UBAQEBAQEEAQEBAQEBAQEBAQETAQMFiDQIgh4ygkeBfWOCTIIvmUg1hieGSoM?= =?us-ascii?q?AZ4QPhHKGCohdg34Tg34gAjKFCnGDQoJjgUEBAQE?= X-IPAS-Result: =?us-ascii?q?A0BQBgCeYu5X/zPhmQVdHAEBBAEBCgEBFwEBBAEBCgEBgxQ?= =?us-ascii?q?BAQEBAR5XfKQxh1iMS4IGJIV6AgiBXjkTAQEBAQEBAQEBAQFdJ0ESgV8EARUBB?= =?us-ascii?q?IIRAQEEOgYDATUBAQ4LGC4hNgYTiDMDGwEJsDaFMAcChDgNg1UBAQEBAQEEAQE?= =?us-ascii?q?BAQEBAQEBAQETAQMFiDQIgh4ygkeBfWOCTIIvmUg1hieGSoMAZ4QPhHKGCohdg?= =?us-ascii?q?34Tg34gAjKFCnGDQoJjgUEBAQE?= X-IronPort-AV: E=Sophos;i="5.31,272,1473112800"; d="scan'208";a="238914751" Received: from bark.recoil.org ([5.153.225.51]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 30 Sep 2016 15:07:33 +0200 Received: from bark.recoil.org (localhost [127.0.0.1]) by bark.recoil.org (OpenSMTPD) with ESMTP id 558d47ff; Fri, 30 Sep 2016 14:07:32 +0100 (BST) DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=recoil.org; h=content-type :mime-version:subject:from:in-reply-to:date:cc :content-transfer-encoding:message-id:references:to; s= selector1; bh=AI3mmsgQYkMj5rcQ4Ng9CrCRNaI=; b=W8NPnfT+3MqwzuUBGp 5IeJOpY/1TbvzMD5hcZTPDbgxCNI9NNyqsEcudPmwJTNrb2i88xtBT6J2V1iUyXG xLwEmz3CtWEWZKw4Lys7EVIbkHFDdFWTq1178zJenhDdoz66ZJsfSHqdf4sLh7pv zCUy3yEkE5gg+GV9fkmpFUnCc= DomainKey-Signature: a=rsa-sha1; c=nofws; d=recoil.org; h=content-type :mime-version:subject:from:in-reply-to:date:cc :content-transfer-encoding:message-id:references:to; q=dns; s= selector1; b=xcAj3df5KGR+mLzep0maW4U8BBmlgakI7uxqKpWrVhP8ZwF6RPd t6zW2J0n2aqbxZcazKAyiZG28d9/zjs7CnjTxLGdQKzT9ltUYmHM2O/NtAtgEvyn NNrC0z+LrezkPd3s3GxrPmRhtBTVytO4R2IQARBwTGVpxuHIoOvdutRM= Received: from [172.16.10.158] (mail.astons-coaches.co.uk [194.72.166.2]) by bark.recoil.org (OpenSMTPD) with ESMTPSA id 0c8b295c (TLSv1:ECDHE-RSA-AES256-SHA:256:NO); Fri, 30 Sep 2016 14:07:32 +0100 (BST) Content-Type: text/plain; charset=us-ascii Mime-Version: 1.0 (Mac OS X Mail 9.3 \(3124\)) From: Anil Madhavapeddy In-Reply-To: Date: Fri, 30 Sep 2016 14:07:32 +0100 Cc: Caml List Content-Transfer-Encoding: quoted-printable Message-Id: References: To: Kakadu X-Mailer: Apple Mail (2.3124) Subject: Re: [Caml-list] About recently dead compiler-hacking wiki On 30 Sep 2016, at 13:58, Kakadu wrote: >=20 > Hey, folks >=20 > Compiler hacking is fun. Hacking compiler with a feature that can be > potentially appreciated is a double fun. But ocamllabs wiki is dead. > Do we have a list of crazy ideas for compiler on mantis or somewhere > else to work ourselves or give to undergraduates as a pet project? Umm, the above rumours of the death of the OCaml Labs wiki may be slightly = premature. https://github.com/ocamllabs/compiler-hacking/wiki/Things-to-work-on ...indicates that the project list isn't curated actively and that it's not= authoritative to avoid misleading students, but the list is still a good s= ource of interesting projects. Note that it's open for editing by anyone, = so you are more welcome to help out by editing and refreshing any projects = in there. Cambridge Compiler hacking sessions took a hiatus for the summer, but will = return soon for those in the region: https://ocamllabs.github.io/compiler-hacking/ It would be great to see similar events in Paris or elsewhere if anyone is = interested in organising them! regards, Anil=