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 4019 invoked from network); 6 Dec 2020 03:56:27 -0000 Received: from tb-ob21.topicbox.com (173.228.157.67) by inbox.vuxu.org with ESMTPUTF8; 6 Dec 2020 03:56:27 -0000 Received: from tb-mx1.topicbox.com (tb-mx1.nyi.icgroup.com [10.90.30.61]) by tb-ob21.topicbox.com (Postfix) with ESMTP id 1D0931EF39 for ; Sat, 5 Dec 2020 22:56:24 -0500 (EST) (envelope-from bounce.mMf498142699b81d3110aed41d.r522be890-2105-11eb-b15e-8d699134e1fa@9fans.bounce.topicbox.com) Received: by tb-mx1.topicbox.com (Postfix, from userid 1132) id C82F9C0B575; Sat, 5 Dec 2020 22:56:23 -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=UA1wvO6k 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; spf=pass smtp.mailfrom=lucio.dere@gmail.com smtp.helo=mail-lj1-f174.google.com; x-internal-arc=fail (as.1.topicbox.com=pass, ams.1.topicbox.com=fail (body 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:in-reply-to:references: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=1607226983; bh=TPYACKckaSvt+EXv 7L87F5F9Yxd9B7c8NWztzCeRbFM=; b=NyDWpTV/qgMRBBPuCVFAsga1LUV+V/OU CQf/OvUewT8qw0th1djfu7khu68tBIUhQnmU3ih+vrvdOGZoQhoyvM2nw/AuQAZl b2e/dnziGgPriC/xCdr4XZViZht09phEaaaRnFpjCrqwPdjjdKz4OX4WM/Amm5QQ fGo3C/Be+7g= ARC-Seal: i=2; a=rsa-sha256; cv=pass; d=topicbox.com; s=sysmsg-1; t= 1607226983; b=Zlmh4UG5ffhZi0wcKzFEVqQkBugsaR5hh31Eo74BugvwDE1KhI 6c8GUOhlX55hqIDflKRPEaTyz1DfFdpb/4FSKL9IWTlUtQ+0raGFOOrE52gu8U1T Gpk3r/hfPm8wX8mejghtqoE7VFirMm6jQMN/Hy2awIqw1lKt4yCf6+E4g= Authentication-Results: topicbox.com; arc=pass; dkim=pass (2048-bit rsa key sha256) header.d=gmail.com header.i=@gmail.com header.b=UA1wvO6k 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; spf=pass smtp.mailfrom=lucio.dere@gmail.com smtp.helo=mail-lj1-f174.google.com; x-internal-arc=fail (as.1.topicbox.com=pass, ams.1.topicbox.com=fail (body has been altered)) (Message modified while forwarding at Topicbox) X-Received-Authentication-Results: tb-mx0.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=UA1wvO6k 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.208.174 (mail-lj1-f174.google.com); spf=pass smtp.mailfrom=lucio.dere@gmail.com smtp.helo=mail-lj1-f174.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=cZt3Ej8Q; x-ptr=pass smtp.helo=mail-lj1-f174.google.com policy.ptr=mail-lj1-f174.google.com; x-return-mx=pass header.domain=gmail.com policy.is_org=yes (MX Records found: alt4.gmail-smtp-in.l.google.com,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); x-return-mx=pass smtp.domain=gmail.com policy.is_org=yes (MX Records found: alt4.gmail-smtp-in.l.google.com,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); 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:in-reply-to:references: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; bh=Qk1LOe/nnyHTycN30RGRVL5Y2IeCl4eXr6E30JZgsxQ=; b=MSdTVOcFIx8+ 0pLq3AL6FYPEnEzUq/q3iqlDnb3O2liJ/THCEP1S6aIi7hmlJhPTlAz2ubpz20OU B7Bb4921mwE3anZVxFq/8MF9EMEL983/oImOscJR+Q+jMTcAKNP8vY6D6ZPExwLh gq90lHU+s7R4Av8gqcpDZ5basE/fpj0= Received: from tb-mx0.topicbox.com (localhost.local [127.0.0.1]) by tb-mx0.topicbox.com (Postfix) with ESMTP id 26F9CB39748 for <9fans@9fans.net>; Sat, 5 Dec 2020 22:56:16 -0500 (EST) (envelope-from lucio.dere@gmail.com) Received: from tb-mx0.topicbox.com (localhost [127.0.0.1]) by tb-mx0.topicbox.com (Authentication Milter) with ESMTP id E8C2B064DC4; Sat, 5 Dec 2020 22:56:16 -0500 ARC-Seal: i=1; a=rsa-sha256; cv=none; d=topicbox.com; s=arcseal; t= 1607226976; b=nDYacQFm/qPPJZoLlruhm1RrZESJpIxzMPEhH2rU4zuUTsUHKC 2kxWxxpqN/6qNqCiiZt1D52oPxsqSbSQM6dRQYhwJnyO0bI6Huvh4Ua59Ps6ep/X TnLK/fTnQDPJ+xXMmyn9bVs7Yz9lOO83Sdsek/+pPV8U+TnaTM4QXMiiSWKFWBd4 Qzh11HfIfPFE+K1aUrylZcdaJHoZm+kKWocOqjjq4YEHT6tSLZiZvSFdS9Ihb5u/ Ptd8si/Az6lrIDG3ELqCoXBwAvb0zQn1147QYcBjWfP7iCmQgmAbENKBjXV1eAUI Iztcp8c2HSC49wxO5OqnsOF7+PGUr8/FGH5g== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d= topicbox.com; h=mime-version:in-reply-to:references:from:date :message-id:subject:to:content-type; s=arcseal; t=1607226976; bh=KTiMTHDqcpAKK3OLwUv49QRk+JVzVohnketfvxVI1IA=; b=Cz4j1AZlkvNN Y0IfO5ta1lsY3zD9TEgWae5OidQXubraW9djLsp8PFzgktqx/ZyWhnUf3874Xl3q ANtDcmBFKj6B/67TTYmARK3zqJNLfe7HG3rcX1LMcXH+t4Fwpwqu82JKkYV4B4mh lbBtMdAPViDGtY/LelFkqqXpBeB1pWJn97VC7Ts7qIvaLU/5awEMla7bEGPJA+pW JqJ+7D3ZhLfkG4RsVrWQ5Jcr/p/nJV6WCNlIj86UZwn7FuWE3EJ/UIsKDt03cVLH XsEoO21aq9o73h//AGwnSyLCq/EX7XpCW3RIGJdfCm59fbiHxc0SFTjIGqcW+3gd 96u226b3zQ== ARC-Authentication-Results: i=1; tb-mx0.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=UA1wvO6k 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.208.174 (mail-lj1-f174.google.com); spf=pass smtp.mailfrom=lucio.dere@gmail.com smtp.helo=mail-lj1-f174.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=cZt3Ej8Q; x-ptr=pass smtp.helo=mail-lj1-f174.google.com policy.ptr=mail-lj1-f174.google.com; x-return-mx=pass header.domain=gmail.com policy.is_org=yes (MX Records found: alt4.gmail-smtp-in.l.google.com,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); x-return-mx=pass smtp.domain=gmail.com policy.is_org=yes (MX Records found: alt4.gmail-smtp-in.l.google.com,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); 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: gggruggvucftvghtrhhoucdtuddrgedujedrudejuddgieehucetufdoteggodetrfdotf fvucfrrhhofhhilhgvmecuhfgrshhtofgrihhlpdggtfgfnhhsuhgsshgtrhhisggvpdfu rfetoffkrfgpnffqhgenuceurghilhhouhhtmecufedttdenucenucfjughrpegjfhfhff fkuffvtgesthdtredttddtjeenucfhrhhomhepnfhutghiohcuffgvucftvgcuoehluhgt ihhordguvghrvgesghhmrghilhdrtghomheqnecuggftrfgrthhtvghrnhepffdvgeeike ettdekhfehvdehveehtefhhfdthfejgedtudduieehledtfeefiedvnecukfhppedvtdel rdekhedrvddtkedrudejgeenucevlhhushhtvghrufhiiigvpedtnecurfgrrhgrmhepih hnvghtpedvtdelrdekhedrvddtkedrudejgedphhgvlhhopehmrghilhdqlhhjuddqfhdu jeegrdhgohhoghhlvgdrtghomhdpmhgrihhlfhhrohhmpeeolhhutghiohdruggvrhgvse hgmhgrihhlrdgtohhmqecuuffkkgfgpeehleeige X-ME-VSScore: 0 X-ME-VSCategory: clean Received-SPF: pass (gmail.com ... _spf.google.com: Sender is authorized to use 'lucio.dere@gmail.com' in 'mfrom' identity (mechanism 'include:_netblocks.google.com' matched)) receiver=tb-mx0.topicbox.com; identity=mailfrom; envelope-from="lucio.dere@gmail.com"; helo=mail-lj1-f174.google.com; client-ip=209.85.208.174 Received: from mail-lj1-f174.google.com (mail-lj1-f174.google.com [209.85.208.174]) (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>; Sat, 5 Dec 2020 22:56:15 -0500 (EST) (envelope-from lucio.dere@gmail.com) Received: by mail-lj1-f174.google.com with SMTP id a1so9892930ljq.3 for <9fans@9fans.net>; Sat, 05 Dec 2020 19:56:15 -0800 (PST) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to; bh=KTiMTHDqcpAKK3OLwUv49QRk+JVzVohnketfvxVI1IA=; b=cZt3Ej8Qg60V8gvw4Y739tHUdvOA+/+izwyeLEn01GMVVJF4AOLaJ1CHJ5pgU2EG44 q8Hce6D0cnY/SpQhcDlroJPm4ICMZXtSNGKkAjGK9BYhNoE0NexmJw4f7/pL0Z43Ki4V pE0KGDObh2uWwJ1xJTljMckWDd88IWN+6A6XcF0bZgPskAYVs9oijng0lYFPKtB8SxCl YWAQuZzfVe/Kfyao3ut050uGc/mp3pNtBDYzl8U8LlQ59+KI5L38nSHJwwSsMWdazZu6 IOHlkOF30/qTogYXdcOmc/OS+IZhCO4HTGH1wvK9Nr+Rm1KPq0dtBrd4iAkNNND8ICkl UmPw== X-Gm-Message-State: AOAM530T23XH2dB2Ae7Gp+2nEh4qVZqEwsTj/QQ4QPDeewW3f930DwZC jtXclwBiOfGSQq0Id/7GiSK+iYwqaVf8SQwv3sOm7mBM X-Google-Smtp-Source: ABdhPJzfx5+BngICz2QgwGN5ILfD8WtiBipWGRr8YpyxgQ/3BlI1rdQ29gtaoIFzo6SQPD8wNrvhr0T78VBMedMl3B0= X-Received: by 2002:a2e:300a:: with SMTP id w10mr6870112ljw.62.1607226973594; Sat, 05 Dec 2020 19:56:13 -0800 (PST) MIME-Version: 1.0 Received: by 2002:a05:651c:2011:0:0:0:0 with HTTP; Sat, 5 Dec 2020 19:56:12 -0800 (PST) In-Reply-To: <86h7oz3n77.fsf@cmarib.ramside> References: <864klqb1st.fsf@cmarib.ramside> <86a6uva8lm.fsf@cmarib.ramside> <86h7oz3n77.fsf@cmarib.ramside> From: Lucio De Re Date: Sun, 6 Dec 2020 05:56:12 +0200 Message-ID: Subject: Re: [9fans] Re: Plan 9 announcements on twitter To: 9fans <9fans@9fans.net> Content-Type: text/plain; charset="UTF-8" Topicbox-Policy-Reasoning: allow: sender is a member Topicbox-Message-UUID: ffc6d21c-3776-11eb-9f57-b6c09f883e3d Archived-At: =?UTF-8?B?PGh0dHBzOi8vOWZhbnMudG9waWNib3guY29tL2dyb3Vwcy85?= =?UTF-8?B?ZmFucy9UM2ZkMDI4ZmNmMmVlYjI0Yy1NZjQ5ODE0MjY5OWI4MWQzMTEwYWVk?= =?UTF-8?B?NDFkPg==?= 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:Mf498142699b81d3110aed41d:1:oQd7GjSG4BtimLwqx-Oa893yKTURXSYcp03CwcWzQa4 On 12/6/20, cigar562hfsp952fans@icebubble.org wrote: > Lucio De Re writes: > >> But do we want a flock of 9front-wielding droids flooding the 9fans >> mailing list? > > Good point. [ ... ] Maybe we should keep Plan 9 a secret. ;) Well, that's one way of spreading it, yes. > > It would be nice if there was some way to translate between technology > intended for idiots and technology intended for experts. Imagine if, > for example, every Android app automatically exported its functionality > over 9P. The cell phone idiots would have all their flashy toasts and > swipes, but the apps would still be usable by command line nerds. > I like that idea. Might not be as far-fetched as it may seem at a glance: surely, a human organism could be "generated" from a simpler DNA than the present one (merged chromosome-2 in humans suggests I'm not wrong, but I rate rank amateur regarding genetics), if one removes all the twists and turns of evolution from it. The same may be possible with, say, Linux. Much less so with Plan 9, so a deep, enlightened comparison should be instructive. Something like Lion's or Nemo's Commentaries, maybe as a black room redevelopment as was done with the IBM PC BIOS. Or as a brand new mathematical theory of Information. [ ... ] > That sounds like a variant of the Sapir-Whorf Hypothesis (which applies > to natural languages) as applied to computer languages. > Thanks, I need to look that one up. As a very under-educated, remote "scholar", such nuggets only reach me by accident. But seSotho is the local "vernacular", one of nine "official" African ("tribal" is close to the truth) languages in this country. I cannot fathom what kind of hoops people taught in these languages need to go through to comprehend modern science. I find my native Italian pretty close to stultifying when technology is involved. Poetic, certainly, emotional, definitely, good for songs, but below inadequate, as compared to English to express scientific and technological concepts, but that used to be until quite recently, German's role, too. I guess we have to thank the Yanks for shifting that, or the Yanks have to thank the colonising Brits for beating the French. Twists and turns, indeed. > Pascal has pointers, too, and they make alot more sense than pointers in > C. > Not to me, they don't. They do belong in C, which is a partially successful, glorified assembler, not a programming language. Partially successful as applied to being an assembler. No one can deny C's success in getting computers to do what is demanded of them. But the key is that we build computers to do what we want, not what we ask and C allows that in spades, by making us think like the machines. Hm, more accurately, forcing us to model the target automaton in our head. Solving problems, seems to me, ought to ignore the target instruction set as long as possible. It's tempting to think of human relationships, which also pretty much rely on assumptions rather than statements - I presume that "proving" the validity of code in this sense may mean simply removing all kinds of "lies" that lurk in the model it is meant to reproduce (simplistically, of course). Lucio. PS: Rambling, as usual. It helps me thinking, my hope is that it will be confirmed or denied by the "crowd" so I can move on from there. ------------------------------------------ 9fans: 9fans Permalink: https://9fans.topicbox.com/groups/9fans/T3fd028fcf2eeb24c-Mf4981= 42699b81d3110aed41d Delivery options: https://9fans.topicbox.com/groups/9fans/subscription