From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-0.8 required=5.0 tests=DKIM_INVALID,DKIM_SIGNED, MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE,SPF_PASS autolearn=ham autolearn_force=no version=3.4.2 Received: (qmail 30991 invoked from network); 4 May 2020 12:48:33 -0000 Received-SPF: pass (minnie.tuhs.org: domain of minnie.tuhs.org designates 45.79.103.53 as permitted sender) receiver=inbox.vuxu.org; client-ip=45.79.103.53 envelope-from= Received: from minnie.tuhs.org (45.79.103.53) by inbox.vuxu.org with ESMTPUTF8; 4 May 2020 12:48:33 -0000 Received: by minnie.tuhs.org (Postfix, from userid 112) id DB14E9CA31; Mon, 4 May 2020 22:48:26 +1000 (AEST) Received: from minnie.tuhs.org (localhost [127.0.0.1]) by minnie.tuhs.org (Postfix) with ESMTP id B494D9C972; Mon, 4 May 2020 22:47:56 +1000 (AEST) Authentication-Results: minnie.tuhs.org; dkim=fail reason="signature verification failed" (1024-bit key; unprotected) header.d=qswarm.com header.i=@qswarm.com header.b="gv8RE1/D"; dkim-atps=neutral Received: by minnie.tuhs.org (Postfix, from userid 112) id B0C9B9C972; Mon, 4 May 2020 22:47:53 +1000 (AEST) X-Greylist: delayed 478 seconds by postgrey-1.36 at minnie.tuhs.org; Mon, 04 May 2020 22:47:53 AEST Received: from mail-40131.protonmail.ch (mail-40131.protonmail.ch [185.70.40.131]) by minnie.tuhs.org (Postfix) with ESMTPS id 253A39C8D8 for ; Mon, 4 May 2020 22:47:53 +1000 (AEST) Date: Mon, 04 May 2020 12:39:47 +0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=qswarm.com; s=protonmail; t=1588595993; bh=8EooJM/opAQ3K9qLL+tNhbwD3tNIACez0Gr2CGm9kZY=; h=Date:To:From:Reply-To:Subject:From; b=gv8RE1/DT2T3gQnH0QQpZQNkzmPWmyojoaVD7R3tQ7z5Na442C7ISg7swfnQ04jSw 0XCXxnzqLYs1RMb8dDRNcX9Ol5J81Di+OJ4H8mK4pqd/rMUd0EeJjajOes3jW52Iwo OS1beplFo14dkmmhDhVGBs2njUpGF1UwJmjPqXPE= To: tuhs@tuhs.org From: gdiaz@qswarm.com Message-ID: <3740275.SCiKnK0d8l@slayer.slackware.es> MIME-Version: 1.0 Content-Type: multipart/signed; protocol="application/pgp-signature"; micalg=pgp-sha256; boundary="---------------------05e625c6776ad2b964496b8a0cdf4962"; charset=UTF-8 Subject: [TUHS] sml/nj and unix/plan9 X-BeenThere: tuhs@minnie.tuhs.org X-Mailman-Version: 2.1.26 Precedence: list List-Id: The Unix Heritage Society mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Reply-To: gdiaz@qswarm.com Errors-To: tuhs-bounces@minnie.tuhs.org Sender: "TUHS" This is an OpenPGP/MIME signed message (RFC 4880 and 3156) -----------------------05e625c6776ad2b964496b8a0cdf4962 Content-Transfer-Encoding: 7Bit Content-Type: text/plain; charset="us-ascii" Date: Mon, 04 May 2020 14:39:27 +0200 From: gdiaz@qswarm.com Message-Id: <3740275.SCiKnK0d8l@slayer.slackware.es> Mime-Version: 1.0 Subject: sml/nj and unix/plan9 To: tuhs@tuhs.org hello Was sml/nj part of UNIX at some point? was it considered as a language to use (proof tools may be)? I was wondering if there is any history in common between the two. I've been unable to find anything :-?, please share your stories! :-D Is it true that the language was too slow to be generally useful? There seems to be commentaries along these lines on the internet. thanks! gabi -----------------------05e625c6776ad2b964496b8a0cdf4962 Content-Type: application/pgp-signature; name="signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="signature.asc" -----BEGIN PGP SIGNATURE----- Version: ProtonMail wsFmBAEBCAAQBQJesA0RCRCnoXWAlHr4xAAKCRCnoXWAlHr4xBFzEADFbiB/ zLBSpwE47uP4K0oyAw/zMr10NCWNBiIW6DAx8KDhhokXZvBI+A15ZAEmt+RH YQYnC7s51SwXNMMYc6Z3Bsq6a+hgsRGhAZVvQ4wz/KDs/IUYDh5diJeg18fP VZaWlYJWBfmLlE0gAoN0OtX77sDCvfQ4nb+WCBLh4yaJipHn5w+jomH5FBtz lOKUI5/rIwe1vLkqJW7geXf59DNEPq9g/9W2X3kmgdKCHHEGQVJelLsdffMf UcuRM0kFyv6f/tEaYolnjWprMlqj3c9ymzJ0s13pVEzD3QAGxYEIAbhsJPAz XvWtC2ubS1Gg5V5kToWTSyZ+Mt29eCC13mb1Vntac4MjaqEnOKZcRnQSdzOQ oRckzDxPlkM5/LF+K9hJCwV8LBH/C2+M1tVnnM9vAiC5x4HUfVhpQGOlspGj l7jVoBrGRu1AB3NZVaUjLRmfB0FyKayzZN1S6QcCIMhWbNmXiWVkOoacDpM0 c8EuBIcZA7uGtbKj/htiwxs3GV6BSeLBzTXORoz6BjLu/1Ph2QgA9H99zGwr fn1IajSCL/BvWi0BlYEfKbYfiRx65tBTz5Tb+ds8SD708dZXzbRH+FI540tM j+zsBs+0p+VALOoFC8MBmWbwinKNoOsrDqB2XAayT9/I1CNACXJdFRy9glIw qb60ie81V54w3pagTw== =gq5e -----END PGP SIGNATURE----- -----------------------05e625c6776ad2b964496b8a0cdf4962--