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,HTML_MESSAGE,MAILING_LIST_MULTI, RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 9632 invoked from network); 28 Jan 2022 19:02:04 -0000 Received: from tb-ob1.topicbox.com (64.147.108.173) by inbox.vuxu.org with ESMTPUTF8; 28 Jan 2022 19:02:04 -0000 Received: from tb-mx0.topicbox.com (tb-mx0.nyi.icgroup.com [10.90.30.73]) by tb-ob1.topicbox.com (Postfix) with ESMTP id 398501D5F4 for ; Fri, 28 Jan 2022 14:02:03 -0500 (EST) (envelope-from bounce.mMc901f3049ed9f148d9ee00e7.r522be890-2105-11eb-b15e-8d699134e1fa@9fans.bounce.topicbox.com) Received: by tb-mx0.topicbox.com (Postfix, from userid 1132) id 306EE1415988; Fri, 28 Jan 2022 14:02:02 -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=TYngQ9L1 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=charles.forsyth@gmail.com smtp.helo=mail-pf1-f174.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=1643396522; bh=jVOC0r0RSFCdDc6t /GoHtx8i6+RtDgvqVn7ulvlN7rA=; b=mGpds2VA8W5xCLAKe4kZ0h9KLyryNkA4 fxFuBVrwSaR+F27ZaOpto3IM5i1rEpVFEu2J78QXVwagLyOWqMA1CDTXfUOG14Uc 9nx0kcFi0ZS0LtMSH+t83UzlYyPhcsmOadsxA1OkY/n0EmQ/Jkzuw8kGU9eFEjaG VaWKIyqnSMA= ARC-Seal: i=2; a=rsa-sha256; cv=pass; d=topicbox.com; s=sysmsg-1; t= 1643396522; b=qS3YU9Rkp8ozfIEcD4N2fHlMaRWzlm+q2nqXOeB1zKgNrWb7ZI Kf0vvgT8dkWeDvxj1WEwvO7yKUlMSlNAhUoFQYhbqsXn6ijvtPKMCcZEceVMkP86 WK++rVDMlhcYv4w0lZZ+NF+VvEqeg0IxpvuU2XBJ/+yFpeB3FyIX/h278= Authentication-Results: topicbox.com; arc=pass; dkim=pass (2048-bit rsa key sha256) header.d=gmail.com header.i=@gmail.com header.b=TYngQ9L1 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=charles.forsyth@gmail.com smtp.helo=mail-pf1-f174.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=TYngQ9L1 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.210.174 (mail-pf1-f174.google.com); spf=pass smtp.mailfrom=charles.forsyth@gmail.com smtp.helo=mail-pf1-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=XLxF+hBT; x-me-sender=none; x-ptr=pass smtp.helo=mail-pf1-f174.google.com policy.ptr=mail-pf1-f174.google.com; x-return-mx=pass header.domain=gmail.com policy.is_org=yes (MX Records found: alt1.gmail-smtp-in.l.google.com,gmail-smtp-in.l.google.com,alt3.gmail-smtp-in.l.google.com,alt2.gmail-smtp-in.l.google.com,alt4.gmail-smtp-in.l.google.com); x-return-mx=pass smtp.domain=gmail.com policy.is_org=yes (MX Records found: alt1.gmail-smtp-in.l.google.com,gmail-smtp-in.l.google.com,alt3.gmail-smtp-in.l.google.com,alt2.gmail-smtp-in.l.google.com,alt4.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; bh=ZpbtMtP8jmQRH9geqZ3EJlqeWBeOKD+EKM9jk6SZoYk=; b=CI3JDHs7dCDb eStsapjzdkz2AircskQSmErUyx7i5GvyVpyFtfj/9saVtKHQEtbshXGwM9zFhmEe e13CpT3v6TUZaqyOFGsj0+CfC5/s0eglHgLhxbrZypbnRwAp6xxcDuHi3D7tgaRm TeyrNU91lhymrwczANNTB3fDMoReBRM= Received: from tb-mx0.topicbox.com (localhost.local [127.0.0.1]) by tb-mx0.topicbox.com (Postfix) with ESMTP id F11411415583 for <9fans@9fans.net>; Fri, 28 Jan 2022 14:01:49 -0500 (EST) (envelope-from charles.forsyth@gmail.com) Received: from tb-mx0.topicbox.com (localhost [127.0.0.1]) by tb-mx0.topicbox.com (Authentication Milter) with ESMTP id C6941219162; Fri, 28 Jan 2022 14:01:49 -0500 ARC-Seal: i=1; a=rsa-sha256; cv=none; d=topicbox.com; s=arcseal; t= 1643396509; b=xH31OGwH7jwT+SfdCOHQ9Dplm0D6aR1T549X//v8yuxwWGDjbt fmKd/yU5U+mnGI3YZ98LSc42T+1D+xGrAEv/vWBs7rOiROWtXz8R8/FxCPozp5SN M69Mwtg1+tvtMiY5ZgPVy4j7LkJD+baK1r0sQLlRtumoFq9BYBtM+QA90Bk82oJl Sceb6GpEG6CngvovOndVnOyUVW7Imxz259E4+gvhHIxi5z0NH/1BblbSyhquRf1X b3bX+rfcHfqOmV54QCVXYgXrN2P4tBjmJ7efL6xs/ldKe9jJko7CUVc3g9KxBaQh azap7jp+zrs4Z03AkLJab3UxF2jqIJXo7Sxw== 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=1643396509; bh=tVu8tOVwR3m8QFCVo81ik+syjWLn6SE/muwoktRoK80=; b=ZHhg0HdMbxCv tuYVFd1sx5KA+rCyogVZNFpJQwNjEDfAy4Vqmx2+J9xmZvFmNQBKtK1hAmJpTL84 75HTDEr9084CNoqzMKX8O1TAPgcUZxhgX/RV0JB2IVJg+mf7DFs2SqjI3FLx/GAi ZnpD+W5XMV+XfMb8oQzDcp7N6fDh7MzQOAaSWOiLLySUr6W6X0IcFOo7IebHG5Y7 a0YcT/Ub1lPMDCu02N7l0b0Fv16DXa9N7VpjGM1zsWD1lBc6jW1zE4BKAy7SXEDP WBEYfP3yQUXErSM0e+NY4KoiXuwpmsS0XpkVPhQ7DD8FCf9Yrh4BQdfbVCFUmp5y KSSH9pmY3A== 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=TYngQ9L1 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.210.174 (mail-pf1-f174.google.com); spf=pass smtp.mailfrom=charles.forsyth@gmail.com smtp.helo=mail-pf1-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=XLxF+hBT; x-me-sender=none; x-ptr=pass smtp.helo=mail-pf1-f174.google.com policy.ptr=mail-pf1-f174.google.com; x-return-mx=pass header.domain=gmail.com policy.is_org=yes (MX Records found: alt1.gmail-smtp-in.l.google.com,gmail-smtp-in.l.google.com,alt3.gmail-smtp-in.l.google.com,alt2.gmail-smtp-in.l.google.com,alt4.gmail-smtp-in.l.google.com); x-return-mx=pass smtp.domain=gmail.com policy.is_org=yes (MX Records found: alt1.gmail-smtp-in.l.google.com,gmail-smtp-in.l.google.com,alt3.gmail-smtp-in.l.google.com,alt2.gmail-smtp-in.l.google.com,alt4.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: gggruggvucftvghtrhhoucdtuddrgedvvddrfeeggdduvdduucdltddurdegudelrddttd dmucetufdoteggodetrfdotffvucfrrhhofhhilhgvmecuhfgrshhtofgrihhlpdggtfgf nhhsuhgsshgtrhhisggvpdfurfetoffkrfgpnffqhgenuceurghilhhouhhtmecufedttd enucenucfjughrpeggfhgjhfffkffuvfgtsegrtderredttdejnecuhfhrohhmpeevhhgr rhhlvghsucfhohhrshihthhhuceotghhrghrlhgvshdrfhhorhhshihthhesghhmrghilh drtghomheqnecuggftrfgrthhtvghrnhepueduleeghfehueevtdekfeefhfetffdtkedt keeutdeuveffteeutdevffekteevnecuffhomhgrihhnpeihohhrkhdrrggtrdhukhdpoh hlihhmvgigrdgtohhmpdhtohhpihgtsghogidrtghomhenucfkphepvddtledrkeehrddv uddtrddujeegnecuvehluhhsthgvrhfuihiivgeptdenucfrrghrrghmpehinhgvthepvd dtledrkeehrddvuddtrddujeegpdhhvghlohepmhgrihhlqdhpfhduqdhfudejgedrghho ohhglhgvrdgtohhmpdhmrghilhhfrhhomhepoegthhgrrhhlvghsrdhfohhrshihthhhse hgmhgrihhlrdgtohhmqe X-ME-VSScore: 0 X-ME-VSCategory: clean Received-SPF: pass (gmail.com ... _spf.google.com: Sender is authorized to use 'charles.forsyth@gmail.com' in 'mfrom' identity (mechanism 'include:_netblocks.google.com' matched)) receiver=tb-mx0.topicbox.com; identity=mailfrom; envelope-from="charles.forsyth@gmail.com"; helo=mail-pf1-f174.google.com; client-ip=209.85.210.174 Received: from mail-pf1-f174.google.com (mail-pf1-f174.google.com [209.85.210.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>; Fri, 28 Jan 2022 14:01:49 -0500 (EST) (envelope-from charles.forsyth@gmail.com) Received: by mail-pf1-f174.google.com with SMTP id i186so4515100pfe.0 for <9fans@9fans.net>; Fri, 28 Jan 2022 11:01:49 -0800 (PST) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to; bh=tVu8tOVwR3m8QFCVo81ik+syjWLn6SE/muwoktRoK80=; b=XLxF+hBTTvw9WerxDayYo4ysdgI2emXGWaVvq2gpYxA8O2+sbOVuWm8Qi7V2Y5/U9D xnswz9/OWgakbopvLlA1IyOsEXzBR6pm8K703gSSlIEaP3eBA0tNZHeSHrzcN4VpmTGL x7q0H3Ac2g3fzfzH4Kh83L48W1NBp3b1FIoVQnpSyTb9NxhWN7mdHQ2aktWl0+mq2D5Y 9sZPN/5PY32tmnVQ+euT/+jF7rIbf8qzt4jS8lmwKrXYjnQbbArtIkXZFRR972cfC24D G6kVTPERMEtaNPRBzgfuuIB9d7p5cV342CoXj8Gi6t/6hEBX9eq1bYzZZVokD7UTBDDh h9vQ== X-Gm-Message-State: AOAM530chqJBO1FzuJ/vhDOgacwBqr4rglQyodyRts2043/L0zeXkytX Xgq8qlnuVR7k05D6B3moSX/A+rsUWVzXB4O2R4QQqPf+rdPhzA== X-Google-Smtp-Source: ABdhPJwKHLPlTxqILZJKrJfPeWexEag+F8XMqyutkl5Q9sdKeNYuz1BQMKCZx6IXOOhW8QZdBIfl0L3n1OnLN7rHQ38= X-Received: by 2002:a05:6a00:16d4:: with SMTP id l20mr9405056pfc.5.1643396508168; Fri, 28 Jan 2022 11:01:48 -0800 (PST) MIME-Version: 1.0 References: <0BE79FA8-7FB4-4755-9A92-122A48E9F5D0@iitbombay.org> In-Reply-To: From: Charles Forsyth Date: Fri, 28 Jan 2022 19:01:37 +0000 Message-ID: Subject: Re: [9fans] building blocks speaking 9p To: 9fans <9fans@9fans.net> Content-Type: multipart/alternative; boundary=00000000000018359305d6a911fe Topicbox-Policy-Reasoning: allow: sender is a member Topicbox-Message-UUID: c2558f14-806c-11ec-b238-b9b3fd3712f8 Archived-At: =?UTF-8?B?PGh0dHBzOi8vOWZhbnMudG9waWNib3guY29tL2dyb3Vwcy85?= =?UTF-8?B?ZmFucy9UYTRlNTg0YTM3M2IwNTU1My1NYzkwMWYzMDQ5ZWQ5ZjE0OGQ5ZWUw?= =?UTF-8?B?MGU3Pg==?= 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: 7bit List-Unsubscribe: , Topicbox-Delivery-ID: 2:9fans:437d30aa-c441-11e9-8a57-d036212d11b0:522be890-2105-11eb-b15e-8d699134e1fa:Mc901f3049ed9f148d9ee00e7:1:bxqOmGYrW7e3_T22DpG5yAO9Yw5_WpZ-l3XFk_TAjO8 --00000000000018359305d6a911fe Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable https://www.cs.york.ac.uk/rts/static/papers/R:N.C.:Audsley:2006.pdf might be of interest. They turned up at an embedded systems show at Birmingham NEC about that time. I was attending independently, but it was interesting to see,. Wandering about some boring other stands, I found one that was showing off a small embedded device running a remarkable system. There was source code on the screen. "Hmm", I asked, "what's the language it's running?" Lars Bok [for it was he], proudly, "It is SmallTalk!" in 64k [I think] on a micro with a real-time garbage collector and in-service code updating on the fly. Just fantastic. We bemoaned the boring nature of most of the stands. I mentioned Styx-on-a-Chip and he wandered off to have a look, returning to say it was also interesting. I forget the name of the system, but eventually the company was sold on or got different investors in, who turned it into a Java thing. As usual. On Fri, 28 Jan 2022 at 10:18, Lucio De Re wrote: > On 1/28/22, Bakul Shah wrote: > > > > Think of really simple, low power, low cost devices. > > USB can also provide power. USB+ATtiny85 devel boards > > cost ~$3 even at Amazon. And FPGA boards can be > > pretty inexpensive too. If you can find them. > > > I've recommended olimex.com in the past. They specialise in Open > Architecture Hardware. Their prices are very reasonable and product > range quite broad. >=20 > Lucio. ------------------------------------------ 9fans: 9fans Permalink: https://9fans.topicbox.com/groups/9fans/Ta4e584a373b05553-Mc901f= 3049ed9f148d9ee00e7 Delivery options: https://9fans.topicbox.com/groups/9fans/subscription --00000000000018359305d6a911fe Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
https://www.cs.york.ac.uk/rts/static/pape= rs/R:N.C.:Audsley:2006.pdf might be of interest.

=
They turned up at an embedded systems show at Birmingham NEC= about that time.
I was attending independently, but it was inter= esting to see,.
Wandering about some boring other stands, I found= one that was showing off a small embedded device running a remarkable syst= em.
There was source code on the screen.
"Hmm= ", I asked, "what's the language it's running?"
Lars Bok [for it was he], proudly, "It is SmallTalk!" in 64= k [I think] on a micro with a real-time garbage collector and in-service co= de updating on the fly.
Just fantastic. We bemoaned the boring na= ture of most of the stands. I mentioned Styx-on-a-Chip and he wandered off = to have a look, returning to say it was also interesting.
I forge= t the name of the system, but eventually the company was sold on or got dif= ferent investors in, who turned it into a Java thing. As usual.
=
On F= ri, 28 Jan 2022 at 10:18, Lucio De Re <lucio.dere@gmail.com> wrote:
On 1/28/22, Bakul Shah <bakul@iitbombay.org> wrote: >
> Think of really simple, low power, low cost devices.
> USB can also provide power. USB+ATtiny85 devel boards
> cost ~$3 even at Amazon. And FPGA boards can be
> pretty inexpensive too. If you can find them.
>
I've recommended olimex.com in the past. They specialise in Open
Architecture Hardware. Their prices are very reasonable and product
range quite broad.

Lucio.

------------------------------------------
9fans: 9fans
Permalink: https:= //9fans.topicbox.com/groups/9fans/Ta4e584a373b05553-M84956412e025f5666616e7= cd
Delivery options: https://9fans.topicbox.com/gro= ups/9fans/subscription
= --00000000000018359305d6a911fe--