From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-1.0 required=5.0 tests=DKIM_ADSP_CUSTOM_MED, DKIM_SIGNED,DKIM_VALID,FREEMAIL_FROM,MAILING_LIST_MULTI, RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H2 autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 32014 invoked from network); 19 Jan 2023 16:01:54 -0000 Received: from tb-ob0.topicbox.com (64.147.108.117) by inbox.vuxu.org with ESMTPUTF8; 19 Jan 2023 16:01:54 -0000 Received: from tb-mx0.topicbox.com (tb-mx0.nyi.icgroup.com [10.90.30.73]) by tb-ob0.topicbox.com (Postfix) with ESMTP id B46C12BE91 for ; Thu, 19 Jan 2023 11:01:52 -0500 (EST) (envelope-from bounce.mM8a312f570b9303bd42f95aa2.r522be890-2105-11eb-b15e-8d699134e1fa@9fans.bounce.topicbox.com) Received: by tb-mx0.topicbox.com (Postfix, from userid 1132) id AA218B88C74; Thu, 19 Jan 2023 11:01:52 -0500 (EST) ARC-Authentication-Results: i=2; topicbox.com; arc=pass; dkim=pass (2048-bit rsa key sha256) header.d=gmail.com header.i=@gmail.com header.b=ZNyJ1QkV header.a=rsa-sha256 header.s=20210112 x-bits=2048; dmarc=pass policy.published-domain-policy=none policy.published-subdomain-policy=quarantine policy.applied-disposition=none policy.evaluated-disposition=none (p=none,sp=quarantine,d=none,d.eval=none) policy.policy-from=p header.from=gmail.com; spf=pass smtp.mailfrom=crossd@gmail.com smtp.helo=mail-lj1-f169.google.com; x-internal-arc=fail (as.1.topicbox.com=pass, ams.1.topicbox.com=fail (message has been altered)) (Message modified while forwarding at Topicbox) ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d= topicbox.com; h=mime-version:references:in-reply-to:from:date :message-id:subject:to:content-type:list-help:list-id:list-post :list-subscribe:reply-to:content-transfer-encoding :list-unsubscribe; s=sysmsg-1; t=1674144112; bh=tJQ5633gHhL0UF/2 qWJxyLISQjL6Si3Yy29mNgWjAcA=; b=mL14ZmWWNGEWU1Dajz3krBdLUHx1qoHT mXoopLgteihiWiy99WBfv9JxrULslyeLNmkxoOaS68JZ8/FUnl7s6pnrfUy1oUad I4fzkejiun/K/B2bX0AwP0zLIOhJwLyENVCb7KtO7ywDRWOzWtFBCBlk6um6O7ky di+BzWIjsWM= ARC-Seal: i=2; a=rsa-sha256; cv=pass; d=topicbox.com; s=sysmsg-1; t= 1674144112; b=fveKN4k1mn85EAmHhN+Ov5AuEL8q2jLDuj7b0bZ2qE78WQXXcx tuXfI+1RdJ96hH8REHKZutpbAGwQHMFD5r8NHRASAmIOGrUXesUQ5AW3WgDCo4hY T9SGyff+qVGH9JWkVG+tXk24lmd2F1UXofSvByVCnMEqg6rqUdTEVVblM= Authentication-Results: topicbox.com; arc=pass; dkim=pass (2048-bit rsa key sha256) header.d=gmail.com header.i=@gmail.com header.b=ZNyJ1QkV header.a=rsa-sha256 header.s=20210112 x-bits=2048; dmarc=pass policy.published-domain-policy=none policy.published-subdomain-policy=quarantine policy.applied-disposition=none policy.evaluated-disposition=none (p=none,sp=quarantine,d=none,d.eval=none) policy.policy-from=p header.from=gmail.com; spf=pass smtp.mailfrom=crossd@gmail.com smtp.helo=mail-lj1-f169.google.com; x-internal-arc=fail (as.1.topicbox.com=pass, ams.1.topicbox.com=fail (message has been altered)) (Message modified while forwarding at Topicbox) X-Received-Authentication-Results: tb-mx0.topicbox.com; arc=none (no signatures found); bimi=skipped (DMARC Policy is not at enforcement); dkim=pass (2048-bit rsa key sha256) header.d=gmail.com header.i=@gmail.com header.b=ZNyJ1QkV header.a=rsa-sha256 header.s=20210112 x-bits=2048; dmarc=pass policy.published-domain-policy=none policy.published-subdomain-policy=quarantine policy.applied-disposition=none policy.evaluated-disposition=none (p=none,sp=quarantine,d=none,d.eval=none) policy.policy-from=p header.from=gmail.com; iprev=pass smtp.remote-ip=209.85.208.169 (mail-lj1-f169.google.com); spf=pass smtp.mailfrom=crossd@gmail.com smtp.helo=mail-lj1-f169.google.com; x-aligned-from=pass (Address match); x-google-dkim=pass (2048-bit rsa key) header.d=1e100.net header.i=@1e100.net header.b=KvsU6DGv; x-me-sender=none; x-ptr=pass smtp.helo=mail-lj1-f169.google.com policy.ptr=mail-lj1-f169.google.com; x-return-mx=pass header.domain=gmail.com policy.is_org=yes (MX Records found: alt3.gmail-smtp-in.l.google.com,alt4.gmail-smtp-in.l.google.com,alt1.gmail-smtp-in.l.google.com,gmail-smtp-in.l.google.com,alt2.gmail-smtp-in.l.google.com); x-return-mx=pass smtp.domain=gmail.com policy.is_org=yes (MX Records found: alt3.gmail-smtp-in.l.google.com,alt4.gmail-smtp-in.l.google.com,alt1.gmail-smtp-in.l.google.com,gmail-smtp-in.l.google.com,alt2.gmail-smtp-in.l.google.com); x-tls=pass smtp.version=TLSv1.2 smtp.cipher=ECDHE-RSA-AES256-GCM-SHA384 smtp.bits=256/256; x-vs=clean score=0 state=0 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=9fans.net; h= mime-version:references:in-reply-to:from:date:message-id:subject :to:content-type:list-help:list-id:list-post:list-subscribe :reply-to:content-transfer-encoding:list-unsubscribe; s=dkim-1; t=1674144112; x=1674230512; bh=fWnrOCiSpefVNLogAGyPjA7QbQbkuOvA B53H/eNoD3Y=; b=n1eFXVx50OfFL4jprUWZWXBq/0thKiz6ZEvKqiCJqvKiEMSC UXQP/GFnpHr2vod1qhNZ2qRrkz2tTT9JshiDP0jvfwt4p+hfWnfSYc8dDMaTTuZU FKipEJUzxtzc3cb7nK09eW3fngAndC7BqrSYPcRAQabIG/TU7o3o3rvRrTI= Received: from tb-mx0.topicbox.com (localhost.local [127.0.0.1]) by tb-mx0.topicbox.com (Postfix) with ESMTP id EDEE6B8883E for <9fans@9fans.net>; Thu, 19 Jan 2023 11:01:41 -0500 (EST) (envelope-from crossd@gmail.com) Received: from tb-mx0.topicbox.com (localhost [127.0.0.1]) by tb-mx0.topicbox.com (Authentication Milter) with ESMTP id 6FA3178E512; Thu, 19 Jan 2023 11:01:41 -0500 ARC-Seal: i=1; a=rsa-sha256; cv=none; d=topicbox.com; s=arcseal; t= 1674144101; b=wBkfqsGALMmVwuKJPYx6MriyUJT1AgH7UXeXPEvDwRsGmO54Qn k5ktYG52GtOA+IcC/EyWvEQdSrRgX/w+uvRP7RPeneFm2Q7RugO8orUXBGwdo/Z8 uU2Zxbqobbnhl572EPElkS8qSshp73MveytFMhobqkK1X6IalTRX6qpVgQkO3DZ3 6Jvo0driLjOwiRoIUFaX40LqppDQpJR2pIPO8cGKA/FEOGtWS8G565zfVlviUvUA 9dANWlUmEnzoUd2pSGpXCXylWDiFbvbTax977/FU6ojZZxgLaKD/zLwE257y9nZY K08iRlEU0pPS3XRrr3tMuL3NBqnxzpjvAkNw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d= topicbox.com; h=mime-version:references:in-reply-to:from:date :message-id:subject:to:content-type; s=arcseal; t=1674144101; bh=huMBFmr+sYfXmMVxFdsQkQ6D2T30grH6vmGllpRL/v8=; b=gqzSNxoqOSWg HuhAl40GNKCFqF0LlvT/JUD+e1pOvr4NSggDwuumz0wmCqbRnsM38UyfT8ZdiWg7 5TyeSdD0vE2kaQG4/xlOV+lbRaGMd7hLAqsqKpjltNg0kdxpKIKiVAC4A0MRKzAj vAh6yX+oQUl0OQsyVIzXDooxVW+IHkvs0geqlzaFf5VWYje8v50LNFJPNWltS4BC lR85hAZF87QBEd7SajE9eSmRKDmFjAhJjI/5rVsphOfdqAhv0Cmfn6qWUzYiHtXX 0shguoPmm0P/xnw+6ZnY/HAgkfyaRa5w3W7bRD7WN94iy2PLigJRk6Z+6lyf4E7P 5NowgNjN0A== ARC-Authentication-Results: i=1; tb-mx0.topicbox.com; arc=none (no signatures found); bimi=skipped (DMARC Policy is not at enforcement); dkim=pass (2048-bit rsa key sha256) header.d=gmail.com header.i=@gmail.com header.b=ZNyJ1QkV header.a=rsa-sha256 header.s=20210112 x-bits=2048; dmarc=pass policy.published-domain-policy=none policy.published-subdomain-policy=quarantine policy.applied-disposition=none policy.evaluated-disposition=none (p=none,sp=quarantine,d=none,d.eval=none) policy.policy-from=p header.from=gmail.com; iprev=pass smtp.remote-ip=209.85.208.169 (mail-lj1-f169.google.com); spf=pass smtp.mailfrom=crossd@gmail.com smtp.helo=mail-lj1-f169.google.com; x-aligned-from=pass (Address match); x-google-dkim=pass (2048-bit rsa key) header.d=1e100.net header.i=@1e100.net header.b=KvsU6DGv; x-me-sender=none; x-ptr=pass smtp.helo=mail-lj1-f169.google.com policy.ptr=mail-lj1-f169.google.com; x-return-mx=pass header.domain=gmail.com policy.is_org=yes (MX Records found: alt3.gmail-smtp-in.l.google.com,alt4.gmail-smtp-in.l.google.com,alt1.gmail-smtp-in.l.google.com,gmail-smtp-in.l.google.com,alt2.gmail-smtp-in.l.google.com); x-return-mx=pass smtp.domain=gmail.com policy.is_org=yes (MX Records found: alt3.gmail-smtp-in.l.google.com,alt4.gmail-smtp-in.l.google.com,alt1.gmail-smtp-in.l.google.com,gmail-smtp-in.l.google.com,alt2.gmail-smtp-in.l.google.com); x-tls=pass smtp.version=TLSv1.2 smtp.cipher=ECDHE-RSA-AES256-GCM-SHA384 smtp.bits=256/256; x-vs=clean score=0 state=0 X-ME-VSCause: gggruggvucftvghtrhhoucdtuddrgedvhedruddutddgkeehucetufdoteggodetrfdotf fvucfrrhhofhhilhgvmecuhfgrshhtofgrihhlpdggtfgfnhhsuhgsshgtrhhisggvpdfu rfetoffkrfgpnffqhgenuceurghilhhouhhtmecufedttdenucenucfjughrpeggfhgjhf ffkffuvfgtsehttdertddttdejnecuhfhrohhmpeffrghnucevrhhoshhsuceotghrohhs shgusehgmhgrihhlrdgtohhmqeenucggtffrrghtthgvrhhnpeehvddtgffghefgudehie fhvefffeegudeigedvudegveefgfdulefgvddvhfevudenucfkphepvddtledrkeehrddv tdekrdduieelnecuvehluhhsthgvrhfuihiivgeptdenucfrrghrrghmpehinhgvthepvd dtledrkeehrddvtdekrdduieelpdhhvghlohepmhgrihhlqdhljhduqdhfudeiledrghho ohhglhgvrdgtohhmpdhmrghilhhfrhhomhepoegtrhhoshhsugesghhmrghilhdrtghomh eq X-ME-VSScore: 0 X-ME-VSCategory: clean Received-SPF: pass (gmail.com ... _spf.google.com: Sender is authorized to use 'crossd@gmail.com' in 'mfrom' identity (mechanism 'include:_netblocks.google.com' matched)) receiver=tb-mx0.topicbox.com; identity=mailfrom; envelope-from="crossd@gmail.com"; helo=mail-lj1-f169.google.com; client-ip=209.85.208.169 Received: from mail-lj1-f169.google.com (mail-lj1-f169.google.com [209.85.208.169]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by tb-mx0.topicbox.com (Postfix) with ESMTPS for <9fans@9fans.net>; Thu, 19 Jan 2023 11:01:41 -0500 (EST) (envelope-from crossd@gmail.com) Received: by mail-lj1-f169.google.com with SMTP id z7so2583509ljz.4 for <9fans@9fans.net>; Thu, 19 Jan 2023 08:01:41 -0800 (PST) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=to:subject:message-id:date:from:in-reply-to:references:mime-version :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=huMBFmr+sYfXmMVxFdsQkQ6D2T30grH6vmGllpRL/v8=; b=KvsU6DGvYxxBX5eY2O7yEkjq2LO/di4m1T9rI9i0MrCpAeHfvXFkiXX1lAbWgZ5XsK HD4ZEFE5fSHUEgV9Fi+lmZuVQ33IFi/Z7BaSTqDyYv0Ko4QlahfdVkecKVPFC8bTzkoK YQ0yTamiZ7/eY0aZYpgv5swYeCCfiMXKvOP5jgZ6gq549UT7wNGg6OD/0z/g0lyRhsJA DArWIc4pFXe9ooRXEQQ5gYDtrTsVzv2oz8ZDyzaBgovXj8z1VG1v81UsZ9VnkERdDlti /ClHY2GSdBRf9FDVrMkW6E0wooAbkBZde7w6SdWAELqR7qU3xv4wwqblY8w7EIlC92gH 1LzQ== X-Gm-Message-State: AFqh2krRQ5pm4a4Dgr47mmVK+bMLsCPqOLBHkUXIcB7Xh9RrqC3R+Z20 GBUi12RTbZ34N0PoCUDrBw1eXSMy5a9OHk7Hcy42IdXF X-Google-Smtp-Source: AMrXdXvuv7BkNjNYB23V1mMShyObq8t2ZgGdV51HS1RZgKRRlEkyS9gCNGgRs5v7XnUGDFkucVEDwirgj8msuJpioH4= X-Received: by 2002:a2e:964e:0:b0:27f:b833:cf6d with SMTP id z14-20020a2e964e000000b0027fb833cf6dmr961868ljh.291.1674144099475; Thu, 19 Jan 2023 08:01:39 -0800 (PST) MIME-Version: 1.0 References: <8760942b-b1c9-aed1-c194-9ba15ffe2c4a@riseup.net> <436AD830-991E-42F8-9CFC-A18CE66E1A52@iitbombay.org> In-Reply-To: <436AD830-991E-42F8-9CFC-A18CE66E1A52@iitbombay.org> From: Dan Cross Date: Thu, 19 Jan 2023 11:01:03 -0500 Message-ID: Subject: Re: [9fans] plan 9 and lisp To: 9fans <9fans@9fans.net> Content-Type: text/plain; charset=UTF-8 Topicbox-Policy-Reasoning: allow: sender is a member Topicbox-Message-UUID: 9367cb9a-9812-11ed-8428-87fc4e432e31 Archived-At: =?UTF-8?B?PGh0dHBzOi8vOWZhbnMudG9waWNib3guY29tL2dyb3Vwcy85?= =?UTF-8?B?ZmFucy9UN2IwYWZiZWZiNTMxODliNi1NOGEzMTJmNTcwYjkzMDNiZDQyZjk1?= =?UTF-8?B?YWEyPg==?= List-Help: List-Id: "9fans" <9fans.9fans.net> List-Post: List-Software: Topicbox v0 List-Subscribe: Precedence: list Reply-To: 9fans <9fans@9fans.net> Content-Transfer-Encoding: quoted-printable List-Unsubscribe: , Topicbox-Delivery-ID: 2:9fans:437d30aa-c441-11e9-8a57-d036212d11b0:522be890-2105-11eb-b15e-8d699134e1fa:M8a312f570b9303bd42f95aa2:1:0Apek1nDSadz-vE1N-lPGzBA1Rt693brRVtABOTWBXA On Thu, Jan 19, 2023 at 10:48 AM Bakul Shah wrote: >[snip] > Nils M Holm, the author of s9fes, did the original > port with some help from me. He didn't want to > maintain plan9 related changes which is why I am > maintaining it. Nils also has a book on it but > AFAIK it doesn't cover anything specific to plan9. I thought that Ozan Yigit had done a small scheme that ran on plan9 at one point, but I can't find a pointer to it on his page at York at the moment. Maybe I'm misremembering, but I definitely remember running a scheme repl under rio, which was actually quite pleasant. Someone (Russ?) had also ported mosml, which is also interesting to play around with. - Dan C. ------------------------------------------ 9fans: 9fans Permalink: https://9fans.topicbox.com/groups/9fans/T7b0afbefb53189b6-M8a312= f570b9303bd42f95aa2 Delivery options: https://9fans.topicbox.com/groups/9fans/subscription