Rocksolid Light

Welcome to RetroBBS

mail  files  register  newsreader  groups  login

Message-ID:  

Logic is a little bird, sitting in a tree; that smells *_____awful*.

devel / comp.lang.ada / "Ada Computer Science" at raspberrypi.org

SubjectAuthor
* "Ada Computer Science" at raspberrypi.orgIngo M.
+* Re: "Ada Computer Science" at raspberrypi.orgLuke A. Guest
|`* Re: "Ada Computer Science" at raspberrypi.orgIngo M.
| `- Re: "Ada Computer Science" at raspberrypi.orgLuke A. Guest
`- Re: "Ada Computer Science" at raspberrypi.orgDirk Craeynest

1
"Ada Computer Science" at raspberrypi.org

<261f09bc-6ca2-43da-a18d-5b01b0a84291n@googlegroups.com>

  copy mid

https://www.rocksolidbbs.com/devel/article-flat.php?id=9664&group=comp.lang.ada#9664

  copy link   Newsgroups: comp.lang.ada
X-Received: by 2002:a05:622a:95:b0:3f6:a725:25ad with SMTP id o21-20020a05622a009500b003f6a72525admr2050760qtw.5.1685282811874;
Sun, 28 May 2023 07:06:51 -0700 (PDT)
X-Received: by 2002:a81:bc0d:0:b0:541:61aa:9e60 with SMTP id
a13-20020a81bc0d000000b0054161aa9e60mr4344288ywi.6.1685282811511; Sun, 28 May
2023 07:06:51 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Sun, 28 May 2023 07:06:51 -0700 (PDT)
Injection-Info: google-groups.googlegroups.com; posting-host=109.42.112.144; posting-account=XYi0owoAAAC_eOHXu2MQKhBYUNiEUxE2
NNTP-Posting-Host: 109.42.112.144
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <261f09bc-6ca2-43da-a18d-5b01b0a84291n@googlegroups.com>
Subject: "Ada Computer Science" at raspberrypi.org
From: it.marks.info@gmail.com (Ingo M.)
Injection-Date: Sun, 28 May 2023 14:06:51 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 1726
 by: Ingo M. - Sun, 28 May 2023 14:06 UTC

The Raspberry Pi Foundation announces an "Ada Computer Science" project which has nothing to do with the Ada programming language.
https://www.raspberrypi.org/blog/ada-computer-science/

"We are excited to launch Ada Computer Science, the new online learning platform for teachers, students, and anyone interested in learning about computer science."

So far the focus is set on the current ChatGPT hype, and code examples in Python, Java, VB, and C#. It could be a good opportunity to promote the Ada language by providing similar courses. Otherwise there could be a risk that newcomers associate Ada with this project rather than the language.

Regards,
Ingo

Re: "Ada Computer Science" at raspberrypi.org

<u4vr58$tnik$1@dont-email.me>

  copy mid

https://www.rocksolidbbs.com/devel/article-flat.php?id=9665&group=comp.lang.ada#9665

  copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: laguest@archeia.com (Luke A. Guest)
Newsgroups: comp.lang.ada
Subject: Re: "Ada Computer Science" at raspberrypi.org
Date: Sun, 28 May 2023 16:14:48 +0100
Organization: A noiseless patient Spider
Lines: 13
Message-ID: <u4vr58$tnik$1@dont-email.me>
References: <261f09bc-6ca2-43da-a18d-5b01b0a84291n@googlegroups.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sun, 28 May 2023 15:14:48 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="a47b7a7dbb3a65cb91a9eb591e03c9e4";
logging-data="974420"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+LCKFFBjBaPihtHzO/yk1cR+NfC++bQWo="
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101
Thunderbird/102.11.0
Cancel-Lock: sha1:fZ7CSMvg2VQHhLlRRxfuyLSNqDY=
Content-Language: en-GB
In-Reply-To: <261f09bc-6ca2-43da-a18d-5b01b0a84291n@googlegroups.com>
 by: Luke A. Guest - Sun, 28 May 2023 15:14 UTC

On 28/05/2023 15:06, Ingo M. wrote:
> The Raspberry Pi Foundation announces an "Ada Computer Science" project which has nothing to do with the Ada programming language.

Just like how AdaFruit doesn't use Ada anywhere.

> https://www.raspberrypi.org/blog/ada-computer-science/
>
> "We are excited to launch Ada Computer Science, the new online learning platform for teachers, students, and anyone interested in learning about computer science."
>
> So far the focus is set on the current ChatGPT hype, and code examples in Python, Java, VB, and C#. It could be a good opportunity to promote the Ada language by providing similar courses. Otherwise there could be a risk that newcomers associate Ada with this project rather than the language.

So, what are you going to do?

Re: "Ada Computer Science" at raspberrypi.org

<984368a7-2922-4573-8f16-cc201c6ce39fn@googlegroups.com>

  copy mid

https://www.rocksolidbbs.com/devel/article-flat.php?id=9666&group=comp.lang.ada#9666

  copy link   Newsgroups: comp.lang.ada
X-Received: by 2002:a05:620a:198b:b0:75c:9ab6:4381 with SMTP id bm11-20020a05620a198b00b0075c9ab64381mr1449138qkb.10.1685294753250;
Sun, 28 May 2023 10:25:53 -0700 (PDT)
X-Received: by 2002:a25:8211:0:b0:bad:14ac:f22e with SMTP id
q17-20020a258211000000b00bad14acf22emr2769452ybk.5.1685294752899; Sun, 28 May
2023 10:25:52 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Sun, 28 May 2023 10:25:52 -0700 (PDT)
In-Reply-To: <u4vr58$tnik$1@dont-email.me>
Injection-Info: google-groups.googlegroups.com; posting-host=109.42.112.144; posting-account=XYi0owoAAAC_eOHXu2MQKhBYUNiEUxE2
NNTP-Posting-Host: 109.42.112.144
References: <261f09bc-6ca2-43da-a18d-5b01b0a84291n@googlegroups.com> <u4vr58$tnik$1@dont-email.me>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <984368a7-2922-4573-8f16-cc201c6ce39fn@googlegroups.com>
Subject: Re: "Ada Computer Science" at raspberrypi.org
From: it.marks.info@gmail.com (Ingo M.)
Injection-Date: Sun, 28 May 2023 17:25:53 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 1496
 by: Ingo M. - Sun, 28 May 2023 17:25 UTC

Luke A. Guest schrieb am Sonntag, 28. Mai 2023 um 17:14:51 UTC+2:
> So, what are you going to do?

Nothing (lack of time). I just posted this in case that someone (AdaCore?) could be interested to promote Ada on raspberrypi.org. It could make sense since the Raspbery Pi is one of the most widespread PC platforms on earth right now.

Regards,
Ingo

Re: "Ada Computer Science" at raspberrypi.org

<u51kl4$1apl1$1@dont-email.me>

  copy mid

https://www.rocksolidbbs.com/devel/article-flat.php?id=9668&group=comp.lang.ada#9668

  copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: dirk@orka.cs.kuleuven.be. (Dirk Craeynest)
Newsgroups: comp.lang.ada
Subject: Re: "Ada Computer Science" at raspberrypi.org
Date: Mon, 29 May 2023 07:36:04 -0000 (UTC)
Organization: Ada-Belgium, c/o Dept. of Computer Science, KU Leuven
Lines: 17
Message-ID: <u51kl4$1apl1$1@dont-email.me>
References: <261f09bc-6ca2-43da-a18d-5b01b0a84291n@googlegroups.com>
Injection-Date: Mon, 29 May 2023 07:36:04 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="44456f119bc9cfc3f2f9742b994cdf30";
logging-data="1402529"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19z/jx4FydUiV8Ucp+k59WxviRuYviFv8U="
Cancel-Lock: sha1:idRhBffcnb72JwjPqJwwrX6RWEU=
X-Newsreader: trn 4.0-test77 (Sep 1, 2010)
Originator: dirk@orka.cs.kuleuven.be. (Dirk Craeynest)
 by: Dirk Craeynest - Mon, 29 May 2023 07:36 UTC

Ingo M. <it.marks.info@gmail.com> wrote:
>The Raspberry Pi Foundation announces an "Ada Computer Science" project
>which has nothing to do with the Ada programming language.
>https://www.raspberrypi.org/blog/ada-computer-science/
[...]
>It could be a good opportunity to promote the Ada language by providing
>similar courses. [...]

FWIW, I just posted the following comment on that page:

"Will you also be using the Ada programming language, a modern language
with a long track record of successful projects and ideally suited to
develop reliable and trustworthy software?"

It is currently marked as "This comment is awaiting moderation."

Dirk

Re: "Ada Computer Science" at raspberrypi.org

<u51oiu$1baaa$1@dont-email.me>

  copy mid

https://www.rocksolidbbs.com/devel/article-flat.php?id=9669&group=comp.lang.ada#9669

  copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: laguest@archeia.com (Luke A. Guest)
Newsgroups: comp.lang.ada
Subject: Re: "Ada Computer Science" at raspberrypi.org
Date: Mon, 29 May 2023 09:43:10 +0100
Organization: A noiseless patient Spider
Lines: 13
Message-ID: <u51oiu$1baaa$1@dont-email.me>
References: <261f09bc-6ca2-43da-a18d-5b01b0a84291n@googlegroups.com>
<u4vr58$tnik$1@dont-email.me>
<984368a7-2922-4573-8f16-cc201c6ce39fn@googlegroups.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Mon, 29 May 2023 08:43:10 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="e1c195481874b40f6c67392036e53076";
logging-data="1419594"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19VHv6OyrjxdZfTeb5cQm5Xp1umhTm9lLA="
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101
Thunderbird/102.11.0
Cancel-Lock: sha1:fYCCireEi4+5UYJm1XfgwI3QsZM=
Content-Language: en-GB
In-Reply-To: <984368a7-2922-4573-8f16-cc201c6ce39fn@googlegroups.com>
 by: Luke A. Guest - Mon, 29 May 2023 08:43 UTC

On 28/05/2023 18:25, Ingo M. wrote:
> Luke A. Guest schrieb am Sonntag, 28. Mai 2023 um 17:14:51 UTC+2:
>> So, what are you going to do?
>
> Nothing (lack of time). I just posted this in case that someone (AdaCore?) could be interested to promote Ada on raspberrypi.org. It could make sense since the Raspbery Pi is one of the most widespread PC platforms on earth right now.
>

I posted this on the 30th April:

https://forums.raspberrypi.com/viewtopic.php?t=345110&start=50#p2103397

1
server_pubkey.txt

rocksolid light 0.9.8
clearnet tor