From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from tb-mx1.topicbox.com (localhost.local [127.0.0.1]) by tb-mx1.topicbox.com (Postfix) with ESMTP id 2D3F234CD06B for <9fans@9fans.net>; Fri, 21 Aug 2020 07:30:25 -0400 (EDT) (envelope-from rodrigosloop@gmail.com) Received: from tb-mx1.topicbox.com (localhost [127.0.0.1]) by tb-mx1.topicbox.com (Authentication Milter) with ESMTP id BFA7A7C0624; Fri, 21 Aug 2020 07:30:25 -0400 ARC-Seal: i=1; a=rsa-sha256; cv=none; d=topicbox.com; s=arcseal; t= 1598009425; b=MjNcFCnmR+zeXf0bPhILtIJWSo8rfKwiISsMAPZxflzR7ElufC 11OYNgwU9SF4300d3PQiD3WV1nzQFlwtvdvRYGFnnnempGW3EsttkmtnfpBxtkUo fKrx3xSPTxU+8P56IFrL7KRmUpurlNBbnqYtpDtW1PI+s4GFTtII6o5bX2rdXdhJ SuKRqEq8nkZc+eemUFiPGp5bx1iCO4A28+qM5UZbzMJ7uTU8TBuOg8uq3x8FEb87 2Xrg5s/88yRsvJ++ssY1NhjaS2xKpmuxeR+MCwAWZEpVclHODqleoCUGAZWZ2K4m ycyyyvlo3+6qv/3c8pSNpQsz+73c2ihrugcg== 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=1598009425; bh=BLsNPOfb3s5j7sy1QUa/lQgoO7MKNk3ucHL06NFci+E=; b=uuzMtaaSCjfO 4m9xYGxvHegAM2Mp+3zuoZfWutZ5maBI1mCiEyREZQ3rGUOJNakTI8W38H3vkGbC 4Atf2MPpmz9zzhBLWfjG0nHIR40qUrmsB1SSAIqDmTwzRM2ZStBeIgV8RmIxlBGc u1TheeEXQKgnliwB645yWhOE06SiyzTRLCOPWFb5g+tz4KYTXVz26jQAA1mstO1A ZoWtBa1HJWmCoJRX/r20XoHV+S/ZnceW9E46E1EvEKtC6IAiDQU+cPhOPwXCh3gd OwTe8FF//VLwes8lbgt3jx1qbNquaWiboymCHqmkpIX4+M8cdEeM4e4gX6GOzL+v 5Is4GagA3g== ARC-Authentication-Results: i=1; tb-mx1.topicbox.com; arc=none (no signatures found); bimi=none (Domain is not BIMI enabled); dkim=pass (2048-bit rsa key sha256) header.d=gmail.com header.i=@gmail.com header.b=nqafdPw3 header.a=rsa-sha256 header.s=20161025 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.219.54 (mail-qv1-f54.google.com); spf=pass smtp.mailfrom=rodrigosloop@gmail.com smtp.helo=mail-qv1-f54.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=gShm1RkH; x-ptr=pass smtp.helo=mail-qv1-f54.google.com policy.ptr=mail-qv1-f54.google.com; x-return-mx=pass header.domain=gmail.com policy.is_org=yes (MX Records found: alt4.gmail-smtp-in.l.google.com,alt2.gmail-smtp-in.l.google.com,alt1.gmail-smtp-in.l.google.com,alt3.gmail-smtp-in.l.google.com,gmail-smtp-in.l.google.com); x-return-mx=pass smtp.domain=gmail.com policy.is_org=yes (MX Records found: alt4.gmail-smtp-in.l.google.com,alt2.gmail-smtp-in.l.google.com,alt1.gmail-smtp-in.l.google.com,alt3.gmail-smtp-in.l.google.com,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 Authentication-Results: tb-mx1.topicbox.com; arc=none (no signatures found); bimi=none (Domain is not BIMI enabled); dkim=pass (2048-bit rsa key sha256) header.d=gmail.com header.i=@gmail.com header.b=nqafdPw3 header.a=rsa-sha256 header.s=20161025 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.219.54 (mail-qv1-f54.google.com); spf=pass smtp.mailfrom=rodrigosloop@gmail.com smtp.helo=mail-qv1-f54.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=gShm1RkH; x-ptr=pass smtp.helo=mail-qv1-f54.google.com policy.ptr=mail-qv1-f54.google.com; x-return-mx=pass header.domain=gmail.com policy.is_org=yes (MX Records found: alt4.gmail-smtp-in.l.google.com,alt2.gmail-smtp-in.l.google.com,alt1.gmail-smtp-in.l.google.com,alt3.gmail-smtp-in.l.google.com,gmail-smtp-in.l.google.com); x-return-mx=pass smtp.domain=gmail.com policy.is_org=yes (MX Records found: alt4.gmail-smtp-in.l.google.com,alt2.gmail-smtp-in.l.google.com,alt1.gmail-smtp-in.l.google.com,alt3.gmail-smtp-in.l.google.com,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: gggruggvucftvghtrhhoucdtuddrgeduiedrudduvddgfeegucdltddurdegudehrddttd dmucetufdoteggodetrfdotffvucfrrhhofhhilhgvmecuhfgrshhtofgrihhlpdggtfgf nhhsuhgsshgtrhhisggvpdfurfetoffkrfgpnffqhgenuceurghilhhouhhtmecufedttd enucenucfjughrpeggfhgjhfffkffuvfgtsegrtderredttdejnecuhfhrohhmpeftohgu rhhighhopgfirdgpnfpkphgviicuoehrohgurhhighhoshhlohhophesghhmrghilhdrtg homheqnecuggftrfgrthhtvghrnhepgeeilefhueduuefftdeuteegheelkeekvedviedv gedvuddtleegfeeuledtkedtnecuffhomhgrihhnpehgihhthhhusgdrtghomhdplhhsuh gsrdhorhhgpdhtohhpihgtsghogidrtghomhenucfkphepvddtledrkeehrddvudelrdeh geenucevlhhushhtvghrufhiiigvpedtnecurfgrrhgrmhepihhnvghtpedvtdelrdekhe drvdduledrheegpdhhvghlohepmhgrihhlqdhqvhduqdhfheegrdhgohhoghhlvgdrtgho mhdpmhgrihhlfhhrohhmpeeorhhoughrihhgohhslhhoohhpsehgmhgrihhlrdgtohhmqe cuuffkkgfgpeeijeekfe X-ME-VSScore: 0 X-ME-VSCategory: clean Received-SPF: pass (gmail.com ... _spf.google.com: Sender is authorized to use 'rodrigosloop@gmail.com' in 'mfrom' identity (mechanism 'include:_netblocks.google.com' matched)) receiver=tb-mx1.topicbox.com; identity=mailfrom; envelope-from="rodrigosloop@gmail.com"; helo=mail-qv1-f54.google.com; client-ip=209.85.219.54 Received: from mail-qv1-f54.google.com (mail-qv1-f54.google.com [209.85.219.54]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by tb-mx1.topicbox.com (Postfix) with ESMTPS for <9fans@9fans.net>; Fri, 21 Aug 2020 07:30:24 -0400 (EDT) (envelope-from rodrigosloop@gmail.com) Received: by mail-qv1-f54.google.com with SMTP id w2so465449qvh.12 for <9fans@9fans.net>; Fri, 21 Aug 2020 04:30:24 -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; bh=BLsNPOfb3s5j7sy1QUa/lQgoO7MKNk3ucHL06NFci+E=; b=nqafdPw3u0dZLJc520LvpbmXCfPqO7kKIhBLUAOGVVmKqXC2LfgqBmmjsFCAx52aF3 DnjoQ9LlEZVGdoaFU0SDGbWKByNqPSR+2oFgdnkJxEi1U4nJHl/VzyMFobPukurCQXfb o7Ev820Bes1k3c4n4UUjLD+FzAUrx05JpYivfWiTjPjnIfo41BWH1tjtJ7+xjmVlBeGE z+ZKt5SeD5vuZda//hB1O55fg5Bd0To/YYYKzV9Ym2Zw0ShRGcSTf/JFoMVqSmAO7YlY yytQ3KdKkTtumUrojEfV6ytEthSr4NR+a/rI9uMqwXFv+UZSX4+6ml3pqOGNL2MJy25N mB2g== 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; bh=BLsNPOfb3s5j7sy1QUa/lQgoO7MKNk3ucHL06NFci+E=; b=gShm1RkHEo9EN/HsVt5Uj8J2lurk6iIDTCO+4He/s0kX6+7PHffoEKAYQ6ga+Vest9 NWD/wX4/zP0bCMpkuRjC7otvc0LySNAnrPs9MxVTt0Sjsv0EY128g++vDzjNslOMUg/0 rvS0tTqNwjzAdUJOtfFuve+vQ/CXAWLc71d516UC/gxk0ru+g+eUCnlh0Ebk0YKShhz8 JWIeTsTI3RkwjYoL09uwh7uewFg/8QTGULy86pkFD7Gq8C/Iqi9ACEiFI1NFG+IWi1w3 xBkuij9eZ08DAezTkpc+sruJQehOpmIonTwz5Fe4naZZk5pina+ZmWlXfwRFuonS4JZq X6rQ== X-Gm-Message-State: AOAM5312LAiU+vmCvo8u4Wwu4adGJgvIf2mq8J1ZV78jhT6GKDpwStVD cnISboLGRuLtAjQfylolomSFWfDAL0aNVAlTMZ0uGBlQ X-Google-Smtp-Source: ABdhPJx3+Ew/GlWohFqDz+5+sygk3TQJl+4ijKMPiyTLflE4bZoVFEnhYRZAEcfUwuYrJhDRVFVXfc5EwApE4HNN2Jc= X-Received: by 2002:ad4:52e3:: with SMTP id p3mr2020304qvu.70.1598009423969; Fri, 21 Aug 2020 04:30:23 -0700 (PDT) MIME-Version: 1.0 References: In-Reply-To: From: =?UTF-8?Q?Rodrigo_G=2E_L=C3=B3pez?= Date: Fri, 21 Aug 2020 13:30:10 +0200 Message-ID: Subject: Re: [9fans] lsub down? To: 9fans <9fans@9fans.net> Content-Type: multipart/alternative; boundary="00000000000010404b05ad61903b" Topicbox-Policy-Reasoning: allow: sender is a member Topicbox-Message-UUID: b7a14108-e3a1-11ea-b6b0-eb8a0d3054b7 --00000000000010404b05ad61903b Content-Type: text/plain; charset="UTF-8" github.com/fjballest/clive that might be of help while lsub.org is down. On Fri, Aug 21, 2020, 1:09 PM LiteStar numnums wrote: > Is lsub down or permanently gone? I was looking for some of the CLive > papers to show a friend, and the site has sorta disappeared from the > internet. > > -- > And in the "Only Prolog programmers will find this funny" department: > > Q: How many Prolog programmers does it take to change a lightbulb? > > A: No. > -- Ovid > > "By cosmic rule, as day yields night, so winter summer, war peace, > plenty famine. All things change. Air penetrates the lump of myrrh, until > the joining bodies die and rise again in smoke called incense." > > "Men do not know how that which is drawn in different directions > harmonises with itself. The harmonious structure of the world depends upon > opposite tension like that of the bow and the lyre." > > "This universe, which is the same for all, has not been made by any > god or man, but it always has been, is, and will be an ever-living fire, > kindling itself by regular measures and going out by regular measures" > -- Heraclitus > *9fans * / 9fans / see discussions > + participants > + delivery options > Permalink > > --00000000000010404b05ad61903b Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
github.com/= fjballest/clive

that might= be of help while lsub.org is down.

On= Fri, Aug 21, 2020, 1:09 PM LiteStar numnums <litestar@gmail.com> wrote:
Is lsub down or permanently gone? I was looking= for some of the CLive papers to show a friend, and the site has sorta disa= ppeared from the internet.

--
And in the "Only Prolog pro= grammers will find this funny" department:

Q: How many Prolog p= rogrammers does it take to change a lightbulb?

A: No.
=C2=A0 -- O= vid

=C2=A0 =C2=A0 "By cosmic rule, as day yields night, so wint= er summer, war peace, plenty famine. All things change. Air penetrates the = lump of myrrh, until the joining bodies die and rise again in smoke called = incense."

=C2=A0 =C2=A0 "Men do not know how that which is= drawn in different directions harmonises with itself. The harmonious struc= ture of the world depends upon opposite tension like that of the bow and th= e lyre."

=C2=A0 =C2=A0 "This universe, which is the same f= or all, has not been made by any god or man, but it always has been, is, an= d will be an ever-living fire, kindling itself by regular measures and goin= g out by regular measures"
=C2=A0-- Heraclitus
--00000000000010404b05ad61903b--