Rocksolid Light

Welcome to RetroBBS

mail  files  register  newsreader  groups  login

Message-ID:  

I wish you humans would leave me alone.


devel / comp.lang.ada / yet another Ada web site?

SubjectAuthor
* yet another Ada web site?Maxim Reznik
+- Re: yet another Ada web site?Paul Rubin
`* Re: yet another Ada web site?Rene
 +* Re: yet another Ada web site?Nasser M. Abbasi
 |+- Re: yet another Ada web site?Simon Wright
 |`* Re: yet another Ada web site?Dmitry A. Kazakov
 | `* Re: yet another Ada web site?Luke A. Guest
 |  `* Re: yet another Ada web site?Maxim Reznik
 |   +- Re: yet another Ada web site?Luke A. Guest
 |   +* Re: yet another Ada web site?Stephen Leake
 |   |`* Re: yet another Ada web site?Jere
 |   | `- Re: yet another Ada web site?Luke A. Guest
 |   +- Re: yet another Ada web site?Jere
 |   +* Move semantics (was: yet another Ada web site?)G.B.
 |   |`* Re: Move semanticsStephen Leake
 |   | `* Re: Move semanticsPaul Rubin
 |   |  +* Re: Move semanticsAdaMagica
 |   |  |+- Re: Move semanticsNiklas Holsti
 |   |  |`- Re: Move semanticsPaul Rubin
 |   |  `- Re: Move semanticsStephen Leake
 |   +* Re: yet another Ada web site?grosdan
 |   |+- Re: yet another Ada web site?Dmitry A. Kazakov
 |   |+- Re: yet another Ada web site?Luke A. Guest
 |   |`- Re: yet another Ada web site?Stephen Leake
 |   `- Re: yet another Ada web site?Emmanuel Briot
 `* Re: yet another Ada web site?shtps
  `* Re: yet another Ada web site?Niklas Holsti
   +- Re: yet another Ada web site?Indra Anita
   `* Re: yet another Ada web site?Stephen Leake
    `* Re: yet another Ada web site?Paul Jarrett
     `* Re: yet another Ada web site?Stephen Leake
      `* Re: yet another Ada web site?Dmitry A. Kazakov
       `* Re: yet another Ada web site?Fabien Chouteau
        `* Re: yet another Ada web site?Dmitry A. Kazakov
         `* Re: yet another Ada web site?Stephen Leake
          `* Re: yet another Ada web site?Dmitry A. Kazakov
           `* Re: yet another Ada web site?G.B.
            `- Re: yet another Ada web site?Dmitry A. Kazakov

Pages:12
yet another Ada web site?

<e0687b45-9e05-4099-9d63-9278e5dec6f4n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.ada
X-Received: by 2002:a05:620a:4542:b0:6b3:7c51:6177 with SMTP id u2-20020a05620a454200b006b37c516177mr2427441qkp.306.1661421689857;
Thu, 25 Aug 2022 03:01:29 -0700 (PDT)
X-Received: by 2002:a25:ef45:0:b0:696:45b0:7b5d with SMTP id
w5-20020a25ef45000000b0069645b07b5dmr700722ybm.368.1661421689520; Thu, 25 Aug
2022 03:01:29 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer02.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: Thu, 25 Aug 2022 03:01:29 -0700 (PDT)
Injection-Info: google-groups.googlegroups.com; posting-host=2a03:7380:380d:9ab4:e4bd:deed:7500:3c00;
posting-account=K1cP1QoAAAD_GR6kW2Td0NqGqGBLRE8h
NNTP-Posting-Host: 2a03:7380:380d:9ab4:e4bd:deed:7500:3c00
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <e0687b45-9e05-4099-9d63-9278e5dec6f4n@googlegroups.com>
Subject: yet another Ada web site?
From: reznikmm@gmail.com (Maxim Reznik)
Injection-Date: Thu, 25 Aug 2022 10:01:29 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 1185
 by: Maxim Reznik - Thu, 25 Aug 2022 10:01 UTC

Hello,

I wonder does Ada community need yet another web site?

My idea is here:

https://www.reddit.com/r/ada/comments/wx9zp1/yet_another_ada_web_site/

Re: yet another Ada web site?

<87bks625o9.fsf@nightsong.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!eternal-september.org!reader01.eternal-september.org!.POSTED!not-for-mail
From: no.email@nospam.invalid (Paul Rubin)
Newsgroups: comp.lang.ada
Subject: Re: yet another Ada web site?
Date: Fri, 26 Aug 2022 11:58:14 -0700
Organization: A noiseless patient Spider
Lines: 16
Message-ID: <87bks625o9.fsf@nightsong.com>
References: <e0687b45-9e05-4099-9d63-9278e5dec6f4n@googlegroups.com>
MIME-Version: 1.0
Content-Type: text/plain
Injection-Info: reader01.eternal-september.org; posting-host="b1829da6be168256e33d8f2ef565161e";
logging-data="55572"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+xavHhwVShloD2byOy0rg/"
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux)
Cancel-Lock: sha1:3xwxjhvxbSoeLhevNcgTGQP2uHs=
sha1:uc7GUcQyvbtb2yTIRUMLaHZd4/I=
 by: Paul Rubin - Fri, 26 Aug 2022 18:58 UTC

Maxim Reznik <reznikmm@gmail.com> writes:
> I wonder does Ada community need yet another web site?

Adahome.com is sort of like that, but it is run by some company and
hasn't been updated in forever. Maybe what you want is a wiki (like
forthfreak.net used to be), but you'd have to do a lot of work getting
it initially populated, before it became interesting enough to attract
more contributors. It's very easy to suggest work for other people to
do, but they all have their own projects already.

I don't have much trouble finding any information that I want about Ada,
e.g. with web searches. The challenge is in digesting and using the
information, not in finding it. I don't see the proposed new web site
as being much help. More helpful would be a systematic effort to
reproduce or at least supply Ada bindings for the main toolsets that
exist for other languages, to target popular microcontrollers, etc.

Re: yet another Ada web site?

<tecn59$8s3o$1@dont-email.me>

  copy mid

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

  copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!eternal-september.org!reader01.eternal-september.org!.POSTED!not-for-mail
From: rehartmann@t-online.de (Rene)
Newsgroups: comp.lang.ada
Subject: Re: yet another Ada web site?
Date: Sat, 27 Aug 2022 11:12:09 +0200
Organization: A noiseless patient Spider
Lines: 16
Message-ID: <tecn59$8s3o$1@dont-email.me>
References: <e0687b45-9e05-4099-9d63-9278e5dec6f4n@googlegroups.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sat, 27 Aug 2022 09:12:09 -0000 (UTC)
Injection-Info: reader01.eternal-september.org; posting-host="8b6b8c35688f4aee25f72a76ab79cea5";
logging-data="290936"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/LldI+E8lCAEzUXTFagxS/vcq+ZcG6/KA="
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101
Thunderbird/91.11.0
Cancel-Lock: sha1:iShohcwO0DlUFtNNurR3kdN1iFc=
In-Reply-To: <e0687b45-9e05-4099-9d63-9278e5dec6f4n@googlegroups.com>
Content-Language: de-DE
 by: Rene - Sat, 27 Aug 2022 09:12 UTC

Maxim Reznik wrote:
> Hello,
>
> I wonder does Ada community need yet another web site?
>
> My idea is here:
>
> https://www.reddit.com/r/ada/comments/wx9zp1/yet_another_ada_web_site/

Maybe a web forum would be a good idea, because many people nowadays see
Usenet newgroups as an outdated thing. So the fact that the community
mostly relies on comp.lang.ada may turn them off.
(I Don't want to discuss wether Uset actually outdated or not, but I
guess many people feel this way)

Re: yet another Ada web site?

<tecpif$1nnl$1@gioia.aioe.org>

  copy mid

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

  copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!aioe.org!h2GOwusQ2vq9lf9WOw/luA.user.46.165.242.75.POSTED!not-for-mail
From: nma@12000.org (Nasser M. Abbasi)
Newsgroups: comp.lang.ada
Subject: Re: yet another Ada web site?
Date: Sat, 27 Aug 2022 04:53:17 -0500
Organization: Aioe.org NNTP Server
Message-ID: <tecpif$1nnl$1@gioia.aioe.org>
References: <e0687b45-9e05-4099-9d63-9278e5dec6f4n@googlegroups.com>
<tecn59$8s3o$1@dont-email.me>
Reply-To: nma@12000.org
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Info: gioia.aioe.org; logging-data="57077"; posting-host="h2GOwusQ2vq9lf9WOw/luA.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
Thunderbird/91.11.0
X-Notice: Filtered by postfilter v. 0.9.2
Content-Language: en-US
 by: Nasser M. Abbasi - Sat, 27 Aug 2022 09:53 UTC

On 8/27/2022 4:12 AM, Rene wrote:
> Maxim Reznik wrote:
>> Hello,
>>
>> I wonder does Ada community need yet another web site?
>>
>> My idea is here:
>>
>> https://www.reddit.com/r/ada/comments/wx9zp1/yet_another_ada_web_site/
>
> Maybe a web forum would be a good idea, because many people nowadays see
> Usenet newgroups as an outdated thing. So the fact that the community
> mostly relies on comp.lang.ada may turn them off.
> (I Don't want to discuss wether Uset actually outdated or not, but I
> guess many people feel this way)
>
>

fyi,

Some are starting to use discord for such things. For example, the main
Julia forum is at discord

https://discourse.julialang.org/t/julialang-official-discord-server/45499

--Nasser

Re: yet another Ada web site?

<lywnashlyr.fsf@pushface.org>

  copy mid

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

  copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!aioe.org!6eFTd6T9lVIRTf27MBPXvg.user.46.165.242.75.POSTED!not-for-mail
From: simon@pushface.org (Simon Wright)
Newsgroups: comp.lang.ada
Subject: Re: yet another Ada web site?
Date: Sun, 28 Aug 2022 08:21:48 +0100
Organization: Aioe.org NNTP Server
Message-ID: <lywnashlyr.fsf@pushface.org>
References: <e0687b45-9e05-4099-9d63-9278e5dec6f4n@googlegroups.com>
<tecn59$8s3o$1@dont-email.me> <tecpif$1nnl$1@gioia.aioe.org>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: gioia.aioe.org; logging-data="7159"; posting-host="6eFTd6T9lVIRTf27MBPXvg.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.1 (darwin)
X-Notice: Filtered by postfilter v. 0.9.2
Cancel-Lock: sha1:07xkR4yfIn94wUJ1A7d8RatgbZo=
 by: Simon Wright - Sun, 28 Aug 2022 07:21 UTC

"Nasser M. Abbasi" <nma@12000.org> writes:

> Some are starting to use discord for such things.

Would be better than Telegram or Gitter - at any rate for actual
discussions.

Re: yet another Ada web site?

<tef6oo$rug$1@gioia.aioe.org>

  copy mid

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

  copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!aioe.org!cNbO5gEnbGS1+vm3+6C8Pg.user.46.165.242.91.POSTED!not-for-mail
From: mailbox@dmitry-kazakov.de (Dmitry A. Kazakov)
Newsgroups: comp.lang.ada
Subject: Re: yet another Ada web site?
Date: Sun, 28 Aug 2022 09:50:47 +0200
Organization: Aioe.org NNTP Server
Message-ID: <tef6oo$rug$1@gioia.aioe.org>
References: <e0687b45-9e05-4099-9d63-9278e5dec6f4n@googlegroups.com>
<tecn59$8s3o$1@dont-email.me> <tecpif$1nnl$1@gioia.aioe.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Info: gioia.aioe.org; logging-data="28624"; posting-host="cNbO5gEnbGS1+vm3+6C8Pg.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
Thunderbird/91.13.0
X-Notice: Filtered by postfilter v. 0.9.2
Content-Language: en-US
 by: Dmitry A. Kazakov - Sun, 28 Aug 2022 07:50 UTC

On 2022-08-27 11:53, Nasser M. Abbasi wrote:

> Some are starting to use discord for such things. For example, the main
> Julia forum is at discord
>
> https://discourse.julialang.org/t/julialang-official-discord-server/45499

Indeed. It is quite uncomfortable I must say from my experience. (I
participate there because I maintain Ada Julia bindings)

P.S. They just killed Firefox support keeping it listed as a supported
browser...

P.P.S. Clearly, how anybody could implement a discussion board without
making it dependent on pentabytes of browser-specific scripts. Right? (:-))

--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de

Re: yet another Ada web site?

<tefg0t$h65$1@gioia.aioe.org>

  copy mid

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

  copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!aioe.org!Lx7EM+81f32E0bqku+QpCA.user.46.165.242.75.POSTED!not-for-mail
From: laguest@archeia.com (Luke A. Guest)
Newsgroups: comp.lang.ada
Subject: Re: yet another Ada web site?
Date: Sun, 28 Aug 2022 11:26:20 +0100
Organization: Aioe.org NNTP Server
Message-ID: <tefg0t$h65$1@gioia.aioe.org>
References: <e0687b45-9e05-4099-9d63-9278e5dec6f4n@googlegroups.com>
<tecn59$8s3o$1@dont-email.me> <tecpif$1nnl$1@gioia.aioe.org>
<tef6oo$rug$1@gioia.aioe.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Info: gioia.aioe.org; logging-data="17605"; posting-host="Lx7EM+81f32E0bqku+QpCA.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101
Thunderbird/102.2.0
Content-Language: en-GB
X-Notice: Filtered by postfilter v. 0.9.2
 by: Luke A. Guest - Sun, 28 Aug 2022 10:26 UTC

On 28/08/2022 08:50, Dmitry A. Kazakov wrote:

> P.S. They just killed Firefox support keeping it listed as a supported
> browser...
>
> P.P.S. Clearly, how anybody could implement a discussion board without
> making it dependent on pentabytes of browser-specific scripts. Right? (:-))
>

Monopolisation of Chrome has to stop, it's not even a decent browser.
Here, it can stop working, tabs stop rendering randomly here. But then
that could also be an issue here? :/

Re: yet another Ada web site?

<5b429465-6166-4f33-ad1d-3103e4847efcn@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.ada
X-Received: by 2002:ad4:5bc7:0:b0:4ac:b800:d285 with SMTP id t7-20020ad45bc7000000b004acb800d285mr4347247qvt.20.1663341941445;
Fri, 16 Sep 2022 08:25:41 -0700 (PDT)
X-Received: by 2002:a0c:e083:0:b0:4a6:dc5a:7ae0 with SMTP id
l3-20020a0ce083000000b004a6dc5a7ae0mr4758794qvk.58.1663341940786; Fri, 16 Sep
2022 08:25:40 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer01.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: Fri, 16 Sep 2022 08:25:40 -0700 (PDT)
In-Reply-To: <tefg0t$h65$1@gioia.aioe.org>
Injection-Info: google-groups.googlegroups.com; posting-host=2a03:7380:380d:1fb:ed6f:8155:f29f:9fe1;
posting-account=K1cP1QoAAAD_GR6kW2Td0NqGqGBLRE8h
NNTP-Posting-Host: 2a03:7380:380d:1fb:ed6f:8155:f29f:9fe1
References: <e0687b45-9e05-4099-9d63-9278e5dec6f4n@googlegroups.com>
<tecn59$8s3o$1@dont-email.me> <tecpif$1nnl$1@gioia.aioe.org>
<tef6oo$rug$1@gioia.aioe.org> <tefg0t$h65$1@gioia.aioe.org>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <5b429465-6166-4f33-ad1d-3103e4847efcn@googlegroups.com>
Subject: Re: yet another Ada web site?
From: reznikmm@gmail.com (Maxim Reznik)
Injection-Date: Fri, 16 Sep 2022 15:25:41 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 2444
 by: Maxim Reznik - Fri, 16 Sep 2022 15:25 UTC

I'm happy to announce a new Ada web site:

https://ada-lang.io/

Thank people who make it real!

I'm asking the community to send their updates and make it even better.

Here is the Paul Jarrett's original message:

Hi folks, @onox and me have been working on something for a few weeks, and we need your help. We've been building an open source, Ada community site to share with everyone. The intent is an open source community hub that will persist for a long time. There's a Github organization set up for people to contribute to and my intent is to hand off the domain to some existing Ada group.

Right now, I've migrated some of my old "programming with ada" content over, and I've built on Maxim's work to output a fancy version of the AARM for it. If you have content elsewhere you'd like to add, feel free to submit it.. You can use plain Markdown (.md files) or Markdown with React (.mdx files). Some things which I haven't found time to write, which other people could help with, would be an Alire introduction, patterns for when binding to C, how to make a memory allocator, etc.

Re: yet another Ada web site?

<tg2akr$lkg$1@gioia.aioe.org>

  copy mid

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

  copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!aioe.org!Lx7EM+81f32E0bqku+QpCA.user.46.165.242.75.POSTED!not-for-mail
From: laguest@archeia.com (Luke A. Guest)
Newsgroups: comp.lang.ada
Subject: Re: yet another Ada web site?
Date: Fri, 16 Sep 2022 18:07:25 +0100
Organization: Aioe.org NNTP Server
Message-ID: <tg2akr$lkg$1@gioia.aioe.org>
References: <e0687b45-9e05-4099-9d63-9278e5dec6f4n@googlegroups.com>
<tecn59$8s3o$1@dont-email.me> <tecpif$1nnl$1@gioia.aioe.org>
<tef6oo$rug$1@gioia.aioe.org> <tefg0t$h65$1@gioia.aioe.org>
<5b429465-6166-4f33-ad1d-3103e4847efcn@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Info: gioia.aioe.org; logging-data="22160"; posting-host="Lx7EM+81f32E0bqku+QpCA.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101
Thunderbird/102.2.2
Content-Language: en-GB
X-Notice: Filtered by postfilter v. 0.9.2
 by: Luke A. Guest - Fri, 16 Sep 2022 17:07 UTC

On 16/09/2022 16:25, Maxim Reznik wrote:
> I'm happy to announce a new Ada web site:
>
> https://ada-lang.io/

Looks decent, especially the non-yellow RM.

Re: yet another Ada web site?

<86h717jkac.fsf@stephe-leake.org>

  copy mid

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

  copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!aioe.org!gy7opw3oYmwPg+L8gXeD2w.user.46.165.242.75.POSTED!not-for-mail
From: stephen_leake@stephe-leake.org (Stephen Leake)
Newsgroups: comp.lang.ada
Subject: Re: yet another Ada web site?
Date: Fri, 16 Sep 2022 10:34:03 -0700
Organization: Aioe.org NNTP Server
Message-ID: <86h717jkac.fsf@stephe-leake.org>
References: <e0687b45-9e05-4099-9d63-9278e5dec6f4n@googlegroups.com>
<tecn59$8s3o$1@dont-email.me> <tecpif$1nnl$1@gioia.aioe.org>
<tef6oo$rug$1@gioia.aioe.org> <tefg0t$h65$1@gioia.aioe.org>
<5b429465-6166-4f33-ad1d-3103e4847efcn@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: gioia.aioe.org; logging-data="43117"; posting-host="gy7opw3oYmwPg+L8gXeD2w.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (windows-nt)
X-Notice: Filtered by postfilter v. 0.9.2
Cancel-Lock: sha1:+IkA8NnD9ODhmMsbcVGB/XezYHo=
 by: Stephen Leake - Fri, 16 Sep 2022 17:34 UTC

Maxim Reznik <reznikmm@gmail.com> writes:

> I'm happy to announce a new Ada web site:
>
> https://ada-lang.io/

It would be nice if comp.lang.ada was listed under "community"; this
newsgroup is far older than all those flash-in-the-pan wannabes :).

--
-- Stephe

Re: yet another Ada web site?

<049b881f-8d19-441d-8e58-293b4736664bn@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.ada
X-Received: by 2002:a05:622a:1a01:b0:35b:a454:dd01 with SMTP id f1-20020a05622a1a0100b0035ba454dd01mr5895236qtb.350.1663353956593;
Fri, 16 Sep 2022 11:45:56 -0700 (PDT)
X-Received: by 2002:a05:620a:2548:b0:6cb:b2bc:ee0d with SMTP id
s8-20020a05620a254800b006cbb2bcee0dmr5151009qko.488.1663353956372; Fri, 16
Sep 2022 11:45:56 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer02.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: Fri, 16 Sep 2022 11:45:56 -0700 (PDT)
In-Reply-To: <86h717jkac.fsf@stephe-leake.org>
Injection-Info: google-groups.googlegroups.com; posting-host=96.241.104.184; posting-account=QF6XPQoAAABce2NyPxxDAaKdAkN6RgAf
NNTP-Posting-Host: 96.241.104.184
References: <e0687b45-9e05-4099-9d63-9278e5dec6f4n@googlegroups.com>
<tecn59$8s3o$1@dont-email.me> <tecpif$1nnl$1@gioia.aioe.org>
<tef6oo$rug$1@gioia.aioe.org> <tefg0t$h65$1@gioia.aioe.org>
<5b429465-6166-4f33-ad1d-3103e4847efcn@googlegroups.com> <86h717jkac.fsf@stephe-leake.org>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <049b881f-8d19-441d-8e58-293b4736664bn@googlegroups.com>
Subject: Re: yet another Ada web site?
From: jhb.chat@gmail.com (Jere)
Injection-Date: Fri, 16 Sep 2022 18:45:56 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 2051
 by: Jere - Fri, 16 Sep 2022 18:45 UTC

On Friday, September 16, 2022 at 1:34:07 PM UTC-4, Stephen Leake wrote:
> Maxim Reznik <> writes:
>
> > I'm happy to announce a new Ada web site:
> >
> > https://ada-lang.io/
> It would be nice if comp.lang.ada was listed under "community"; this
> newsgroup is far older than all those flash-in-the-pan wannabes :).
>
> --
> -- Stephe
If you do add it, I would recommend NOT using a link to the google
groups interface given the porn spam problem. It would stink if
someone at a work computer followed it and got hammered by their
IT department (speaking from experience). Perhaps someone has a
tutorial webpage on how to setup a mail reader for comp.lang.ada
that could be linked to under the community section?

Re: yet another Ada web site?

<41968e3f-3041-45f1-b413-de94100c7381n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.ada
X-Received: by 2002:a37:948:0:b0:6cd:e5cf:aca8 with SMTP id 69-20020a370948000000b006cde5cfaca8mr5017391qkj.253.1663354163137;
Fri, 16 Sep 2022 11:49:23 -0700 (PDT)
X-Received: by 2002:ad4:5def:0:b0:4ac:b5b9:333 with SMTP id
jn15-20020ad45def000000b004acb5b90333mr5053649qvb.121.1663354162993; Fri, 16
Sep 2022 11:49:22 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer02.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: Fri, 16 Sep 2022 11:49:22 -0700 (PDT)
In-Reply-To: <5b429465-6166-4f33-ad1d-3103e4847efcn@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=96.241.104.184; posting-account=QF6XPQoAAABce2NyPxxDAaKdAkN6RgAf
NNTP-Posting-Host: 96.241.104.184
References: <e0687b45-9e05-4099-9d63-9278e5dec6f4n@googlegroups.com>
<tecn59$8s3o$1@dont-email.me> <tecpif$1nnl$1@gioia.aioe.org>
<tef6oo$rug$1@gioia.aioe.org> <tefg0t$h65$1@gioia.aioe.org> <5b429465-6166-4f33-ad1d-3103e4847efcn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <41968e3f-3041-45f1-b413-de94100c7381n@googlegroups.com>
Subject: Re: yet another Ada web site?
From: jhb.chat@gmail.com (Jere)
Injection-Date: Fri, 16 Sep 2022 18:49:23 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 2675
 by: Jere - Fri, 16 Sep 2022 18:49 UTC

On Friday, September 16, 2022 at 11:25:42 AM UTC-4, Maxim Reznik wrote:
> I'm happy to announce a new Ada web site:
>
> https://ada-lang.io/
>
> Thank people who make it real!
>
> I'm asking the community to send their updates and make it even better.
>
> Here is the Paul Jarrett's original message:
>
> Hi folks, @onox and me have been working on something for a few weeks, and we need your help. We've been building an open source, Ada community site to share with everyone. The intent is an open source community hub that will persist for a long time. There's a Github organization set up for people to contribute to and my intent is to hand off the domain to some existing Ada group.
>
> Right now, I've migrated some of my old "programming with ada" content over, and I've built on Maxim's work to output a fancy version of the AARM for it. If you have content elsewhere you'd like to add, feel free to submit it. You can use plain Markdown (.md files) or Markdown with React (.mdx files). Some things which I haven't found time to write, which other people could help with, would be an Alire introduction, patterns for when binding to C, how to make a memory allocator, etc.

I haven't gone through all of it yet, but so far, it looks very nice

Re: yet another Ada web site?

<tg454p$17h7$1@gioia.aioe.org>

  copy mid

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

  copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!aioe.org!Lx7EM+81f32E0bqku+QpCA.user.46.165.242.75.POSTED!not-for-mail
From: laguest@archeia.com (Luke A. Guest)
Newsgroups: comp.lang.ada
Subject: Re: yet another Ada web site?
Date: Sat, 17 Sep 2022 10:45:47 +0100
Organization: Aioe.org NNTP Server
Message-ID: <tg454p$17h7$1@gioia.aioe.org>
References: <e0687b45-9e05-4099-9d63-9278e5dec6f4n@googlegroups.com>
<tecn59$8s3o$1@dont-email.me> <tecpif$1nnl$1@gioia.aioe.org>
<tef6oo$rug$1@gioia.aioe.org> <tefg0t$h65$1@gioia.aioe.org>
<5b429465-6166-4f33-ad1d-3103e4847efcn@googlegroups.com>
<86h717jkac.fsf@stephe-leake.org>
<049b881f-8d19-441d-8e58-293b4736664bn@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Info: gioia.aioe.org; logging-data="40487"; posting-host="Lx7EM+81f32E0bqku+QpCA.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101
Thunderbird/102.2.2
Content-Language: en-GB
X-Notice: Filtered by postfilter v. 0.9.2
 by: Luke A. Guest - Sat, 17 Sep 2022 09:45 UTC

On 16/09/2022 19:45, Jere wrote:
> On Friday, September 16, 2022 at 1:34:07 PM UTC-4, Stephen Leake wrote:
>> Maxim Reznik <> writes:
>>
>>> I'm happy to announce a new Ada web site:
>>>
>>> https://ada-lang.io/
>> It would be nice if comp.lang.ada was listed under "community"; this
>> newsgroup is far older than all those flash-in-the-pan wannabes :).
>>
>> --
>> -- Stephe
> If you do add it, I would recommend NOT using a link to the google
> groups interface given the porn spam problem. It would stink if
> someone at a work computer followed it and got hammered by their
> IT department (speaking from experience). Perhaps someone has a
> tutorial webpage on how to setup a mail reader for comp.lang.ada
> that could be linked to under the community section?

The link would be news://comp.lang.ada

Move semantics (was: yet another Ada web site?)

<tg4gt9$5s4b$1@dont-email.me>

  copy mid

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

  copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!usenet.goja.nl.eu.org!3.eu.feeder.erje.net!feeder.erje.net!eternal-september.org!reader01.eternal-september.org!.POSTED!not-for-mail
From: bauhaus@notmyhomepage.invalid (G.B.)
Newsgroups: comp.lang.ada
Subject: Move semantics (was: yet another Ada web site?)
Date: Sat, 17 Sep 2022 15:08:56 +0200
Organization: A noiseless patient Spider
Lines: 21
Message-ID: <tg4gt9$5s4b$1@dont-email.me>
References: <e0687b45-9e05-4099-9d63-9278e5dec6f4n@googlegroups.com>
<tecn59$8s3o$1@dont-email.me> <tecpif$1nnl$1@gioia.aioe.org>
<tef6oo$rug$1@gioia.aioe.org> <tefg0t$h65$1@gioia.aioe.org>
<5b429465-6166-4f33-ad1d-3103e4847efcn@googlegroups.com>
Reply-To: nonlegitur@notmyhomepage.de
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sat, 17 Sep 2022 13:08:57 -0000 (UTC)
Injection-Info: reader01.eternal-september.org; posting-host="3722e5f607284ea011ef39c2627e8a7c";
logging-data="192651"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+y7fcvh5bq4DUsro13qyKH/1bg92RFAnc="
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.15; rv:91.0)
Gecko/20100101 Thunderbird/91.13.0
Cancel-Lock: sha1:D4I0OrAPpMk6KhmOJALkPD1EwTc=
In-Reply-To: <5b429465-6166-4f33-ad1d-3103e4847efcn@googlegroups.com>
Content-Language: en-US
 by: G.B. - Sat, 17 Sep 2022 13:08 UTC

On 16.09.22 17:25, Maxim Reznik wrote:
> I'm happy to announce a new Ada web site:
>
> https://ada-lang.io/
>
> Thank people who make it real!
>
> I'm asking the community to send their updates and make it even better.
>
> Here is the Paul Jarrett's original message:
>
> Hi folks, @onox and me have been working on something for a few weeks, and we need your help. We've been building an open source, Ada community site to share with everyone. The intent is an open source community hub that will persist for a long time. There's a Github organization set up for people to contribute to and my intent is to hand off the domain to some existing Ada group.
>
> Right now, I've migrated some of my old "programming with ada" content over,

<q loc=".../why-ada">Ada is missing: (...) A concept of "move".</q>

Is it somewhat true, though, that the old limited return,
or its more recent replacement, i.e., in situ construction,
could at least cover some of the idea of "move"?

Re: yet another Ada web site?

<e02227f2-ec8d-4db2-9e14-656c24f1089an@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.ada
X-Received: by 2002:ac8:5bcd:0:b0:35b:b56d:b5 with SMTP id b13-20020ac85bcd000000b0035bb56d00b5mr10781846qtb.462.1663490868016;
Sun, 18 Sep 2022 01:47:48 -0700 (PDT)
X-Received: by 2002:a05:620a:676:b0:6ce:4418:1681 with SMTP id
a22-20020a05620a067600b006ce44181681mr9407370qkh.742.1663490867815; Sun, 18
Sep 2022 01:47:47 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!feed1.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, 18 Sep 2022 01:47:47 -0700 (PDT)
In-Reply-To: <5b429465-6166-4f33-ad1d-3103e4847efcn@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=2a10:8012:19:f5ca:8c27:8e56:a67b:ce6d;
posting-account=IvC9SQoAAACG-REwUm8jtBp-u0fRe6kz
NNTP-Posting-Host: 2a10:8012:19:f5ca:8c27:8e56:a67b:ce6d
References: <e0687b45-9e05-4099-9d63-9278e5dec6f4n@googlegroups.com>
<tecn59$8s3o$1@dont-email.me> <tecpif$1nnl$1@gioia.aioe.org>
<tef6oo$rug$1@gioia.aioe.org> <tefg0t$h65$1@gioia.aioe.org> <5b429465-6166-4f33-ad1d-3103e4847efcn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <e02227f2-ec8d-4db2-9e14-656c24f1089an@googlegroups.com>
Subject: Re: yet another Ada web site?
From: grossd@modalai.co (grosdan)
Injection-Date: Sun, 18 Sep 2022 08:47:47 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 1638
 by: grosdan - Sun, 18 Sep 2022 08:47 UTC

Hi,

I am new to Ada and appreciate the new side for a package manager.

What I wasn't able to identify is the packages available -- is there a list?

I am very curious what else exists in the Ada ecosystem -- in particular in terms of messaging support such as websockets and others.

Re: yet another Ada web site?

<tg6tik$k67$1@gioia.aioe.org>

  copy mid

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

  copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!aioe.org!epJzlJsZWlp1WuFmYLlBpQ.user.46.165.242.91.POSTED!not-for-mail
From: mailbox@dmitry-kazakov.de (Dmitry A. Kazakov)
Newsgroups: comp.lang.ada
Subject: Re: yet another Ada web site?
Date: Sun, 18 Sep 2022 12:57:25 +0200
Organization: Aioe.org NNTP Server
Message-ID: <tg6tik$k67$1@gioia.aioe.org>
References: <e0687b45-9e05-4099-9d63-9278e5dec6f4n@googlegroups.com>
<tecn59$8s3o$1@dont-email.me> <tecpif$1nnl$1@gioia.aioe.org>
<tef6oo$rug$1@gioia.aioe.org> <tefg0t$h65$1@gioia.aioe.org>
<5b429465-6166-4f33-ad1d-3103e4847efcn@googlegroups.com>
<e02227f2-ec8d-4db2-9e14-656c24f1089an@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Info: gioia.aioe.org; logging-data="20679"; posting-host="epJzlJsZWlp1WuFmYLlBpQ.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
Thunderbird/91.13.0
X-Notice: Filtered by postfilter v. 0.9.2
Content-Language: en-US
 by: Dmitry A. Kazakov - Sun, 18 Sep 2022 10:57 UTC

On 2022-09-18 10:47, grosdan wrote:

> I am new to Ada and appreciate the new side for a package manager.

I am not sure if package manager is a good idea if it does not refer the
target system's packaging tools, e.g. DEB, RPM, MSI etc.

The main problem with that stuff is usually architectural. Most of it is
plain aggregation of source code, which is utterly wrong.

The very idea to rebuild everything each time on each client is
atrocious both with regard of wasting computing resources as well as
testing, safety, consistency, interoperability inside the target.

> What I wasn't able to identify is the packages available -- is there a list?

https://www.adaic.com/ada-resources/tools-libraries/

> I am very curious what else exists in the Ada ecosystem -- in particular in terms of messaging support such as websockets and others.

There exists multiple implementations of websockets in Ada as well as
other network protocols.

I cannot suggest searching the Web, because search engines deteriorated
beyond any usability. Just ask what you need here.

--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de

Re: yet another Ada web site?

<tg7h3d$1lfo$1@gioia.aioe.org>

  copy mid

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

  copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!aioe.org!Lx7EM+81f32E0bqku+QpCA.user.46.165.242.75.POSTED!not-for-mail
From: laguest@archeia.com (Luke A. Guest)
Newsgroups: comp.lang.ada
Subject: Re: yet another Ada web site?
Date: Sun, 18 Sep 2022 17:28:11 +0100
Organization: Aioe.org NNTP Server
Message-ID: <tg7h3d$1lfo$1@gioia.aioe.org>
References: <e0687b45-9e05-4099-9d63-9278e5dec6f4n@googlegroups.com>
<tecn59$8s3o$1@dont-email.me> <tecpif$1nnl$1@gioia.aioe.org>
<tef6oo$rug$1@gioia.aioe.org> <tefg0t$h65$1@gioia.aioe.org>
<5b429465-6166-4f33-ad1d-3103e4847efcn@googlegroups.com>
<e02227f2-ec8d-4db2-9e14-656c24f1089an@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Info: gioia.aioe.org; logging-data="54776"; posting-host="Lx7EM+81f32E0bqku+QpCA.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101
Thunderbird/102.2.2
Content-Language: en-GB
X-Notice: Filtered by postfilter v. 0.9.2
 by: Luke A. Guest - Sun, 18 Sep 2022 16:28 UTC

On 18/09/2022 09:47, grosdan wrote:
> Hi,
>
> I am new to Ada and appreciate the new side for a package manager.
>
> What I wasn't able to identify is the packages available -- is there a list?
>
> I am very curious what else exists in the Ada ecosystem -- in particular in terms of messaging support such as websockets and others.

https://github.com/search?q=language%3AAda&type=Repositories&ref=advsearch&l=Ada&l=

Re: yet another Ada web site?

<9f815683-ef0d-4dde-adf7-aa5f22eaf510n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.ada
X-Received: by 2002:a05:620a:424c:b0:6be:78d5:ec73 with SMTP id w12-20020a05620a424c00b006be78d5ec73mr11825288qko.579.1663569596400;
Sun, 18 Sep 2022 23:39:56 -0700 (PDT)
X-Received: by 2002:a37:6942:0:b0:6cf:22d6:a887 with SMTP id
e63-20020a376942000000b006cf22d6a887mr374439qkc.0.1663569596205; Sun, 18 Sep
2022 23:39:56 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!feed1.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, 18 Sep 2022 23:39:55 -0700 (PDT)
In-Reply-To: <5b429465-6166-4f33-ad1d-3103e4847efcn@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=88.160.66.39; posting-account=6yLzewoAAABoisbSsCJH1SPMc9UrfXBH
NNTP-Posting-Host: 88.160.66.39
References: <e0687b45-9e05-4099-9d63-9278e5dec6f4n@googlegroups.com>
<tecn59$8s3o$1@dont-email.me> <tecpif$1nnl$1@gioia.aioe.org>
<tef6oo$rug$1@gioia.aioe.org> <tefg0t$h65$1@gioia.aioe.org> <5b429465-6166-4f33-ad1d-3103e4847efcn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <9f815683-ef0d-4dde-adf7-aa5f22eaf510n@googlegroups.com>
Subject: Re: yet another Ada web site?
From: briot.emmanuel@gmail.com (Emmanuel Briot)
Injection-Date: Mon, 19 Sep 2022 06:39:56 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 1766
 by: Emmanuel Briot - Mon, 19 Sep 2022 06:39 UTC

On Friday, September 16, 2022 at 5:25:42 PM UTC+2, Maxim Reznik wrote:
> I'm happy to announce a new Ada web site:
> https://ada-lang.io/

Well done Maxim and Paul, the new site looks nice.

One area that could be nice is a blog aggregator, which would monitor various Ada-related blogs on the Internet and help people find those resources.
I am sure you guys already have plenty of ideas on what to add, so maybe not looking for more :-)

Emmanuel

Re: yet another Ada web site?

<86czbrjnzw.fsf@stephe-leake.org>

  copy mid

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

  copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!aioe.org!gy7opw3oYmwPg+L8gXeD2w.user.46.165.242.75.POSTED!not-for-mail
From: stephen_leake@stephe-leake.org (Stephen Leake)
Newsgroups: comp.lang.ada
Subject: Re: yet another Ada web site?
Date: Mon, 19 Sep 2022 10:02:59 -0700
Organization: Aioe.org NNTP Server
Message-ID: <86czbrjnzw.fsf@stephe-leake.org>
References: <e0687b45-9e05-4099-9d63-9278e5dec6f4n@googlegroups.com>
<tecn59$8s3o$1@dont-email.me> <tecpif$1nnl$1@gioia.aioe.org>
<tef6oo$rug$1@gioia.aioe.org> <tefg0t$h65$1@gioia.aioe.org>
<5b429465-6166-4f33-ad1d-3103e4847efcn@googlegroups.com>
<e02227f2-ec8d-4db2-9e14-656c24f1089an@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: gioia.aioe.org; logging-data="42343"; posting-host="gy7opw3oYmwPg+L8gXeD2w.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (windows-nt)
Cancel-Lock: sha1:YiqfxggXXAqXbWYKQqMJYWfFKV4=
X-Notice: Filtered by postfilter v. 0.9.2
 by: Stephen Leake - Mon, 19 Sep 2022 17:02 UTC

grosdan <grossd@modalai.co> writes:

> Hi,
>
> I am new to Ada and appreciate the new side for a package manager.

I assume you are talking about Alire.

> What I wasn't able to identify is the packages available -- is there a
> list?

In Alire, "packages" are called "crates"; there is a Crates menu item at
the top of the page, which takes you to
https://alire.ada.dev/crates.html, which gives a list of all crates
currently in Alire, with a brief description of each. Clicking on one
gives a more complete description.

--
-- Stephe

Re: Move semantics

<868rmfjnx4.fsf@stephe-leake.org>

  copy mid

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

  copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!aioe.org!gy7opw3oYmwPg+L8gXeD2w.user.46.165.242.75.POSTED!not-for-mail
From: stephen_leake@stephe-leake.org (Stephen Leake)
Newsgroups: comp.lang.ada
Subject: Re: Move semantics
Date: Mon, 19 Sep 2022 10:04:39 -0700
Organization: Aioe.org NNTP Server
Message-ID: <868rmfjnx4.fsf@stephe-leake.org>
References: <e0687b45-9e05-4099-9d63-9278e5dec6f4n@googlegroups.com>
<tecn59$8s3o$1@dont-email.me> <tecpif$1nnl$1@gioia.aioe.org>
<tef6oo$rug$1@gioia.aioe.org> <tefg0t$h65$1@gioia.aioe.org>
<5b429465-6166-4f33-ad1d-3103e4847efcn@googlegroups.com>
<tg4gt9$5s4b$1@dont-email.me>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: gioia.aioe.org; logging-data="42343"; posting-host="gy7opw3oYmwPg+L8gXeD2w.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (windows-nt)
Cancel-Lock: sha1:SCJ/0avfzRTu7hTis8Fra3J85CI=
X-Notice: Filtered by postfilter v. 0.9.2
 by: Stephen Leake - Mon, 19 Sep 2022 17:04 UTC

"G.B." <bauhaus@notmyhomepage.invalid> writes:

> <q loc=".../why-ada">Ada is missing: (...) A concept of "move".</q>
>
> Is it somewhat true, though, that the old limited return,
> or its more recent replacement, i.e., in situ construction,
> could at least cover some of the idea of "move"?

What definition/semantics of "move" do you mean? Is it documented
somewhere?

--
-- Stephe

Re: Move semantics

<87k05znqpk.fsf@nightsong.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!usenet.goja.nl.eu.org!weretis.net!feeder8.news.weretis.net!eternal-september.org!reader01.eternal-september.org!.POSTED!not-for-mail
From: no.email@nospam.invalid (Paul Rubin)
Newsgroups: comp.lang.ada
Subject: Re: Move semantics
Date: Mon, 19 Sep 2022 11:50:47 -0700
Organization: A noiseless patient Spider
Lines: 6
Message-ID: <87k05znqpk.fsf@nightsong.com>
References: <e0687b45-9e05-4099-9d63-9278e5dec6f4n@googlegroups.com>
<tecn59$8s3o$1@dont-email.me> <tecpif$1nnl$1@gioia.aioe.org>
<tef6oo$rug$1@gioia.aioe.org> <tefg0t$h65$1@gioia.aioe.org>
<5b429465-6166-4f33-ad1d-3103e4847efcn@googlegroups.com>
<tg4gt9$5s4b$1@dont-email.me> <868rmfjnx4.fsf@stephe-leake.org>
MIME-Version: 1.0
Content-Type: text/plain
Injection-Info: reader01.eternal-september.org; posting-host="ef2e104b130531a322cdf67578d4c0d6";
logging-data="1293218"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/q47Prm7qTw3bqDxTQSA1h"
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux)
Cancel-Lock: sha1:xzcNAA7qj0bOqPz0lyiUMhz0Lz8=
sha1:wpz+yKsOBqmO8QKFhdKi1k4g8kI=
 by: Paul Rubin - Mon, 19 Sep 2022 18:50 UTC

Stephen Leake <stephen_leake@stephe-leake.org> writes:
> What definition/semantics of "move" do you mean? Is it documented
> somewhere?

I think it refers to the C++ notion.
https://en.cppreference.com/w/cpp/utility/move

Re: Move semantics

<0b04f763-fa89-4b34-ad52-eb9d57d80d8cn@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.ada
X-Received: by 2002:a05:620a:1a0c:b0:6cb:e0a3:f889 with SMTP id bk12-20020a05620a1a0c00b006cbe0a3f889mr15860872qkb.538.1663674269253;
Tue, 20 Sep 2022 04:44:29 -0700 (PDT)
X-Received: by 2002:ac8:7d54:0:b0:35c:e17a:4fbd with SMTP id
h20-20020ac87d54000000b0035ce17a4fbdmr11081135qtb.309.1663674269079; Tue, 20
Sep 2022 04:44:29 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer01.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: Tue, 20 Sep 2022 04:44:28 -0700 (PDT)
In-Reply-To: <87k05znqpk.fsf@nightsong.com>
Injection-Info: google-groups.googlegroups.com; posting-host=94.31.101.23; posting-account=rmHyLAoAAADSQmMWJF0a_815Fdd96RDf
NNTP-Posting-Host: 94.31.101.23
References: <e0687b45-9e05-4099-9d63-9278e5dec6f4n@googlegroups.com>
<tecn59$8s3o$1@dont-email.me> <tecpif$1nnl$1@gioia.aioe.org>
<tef6oo$rug$1@gioia.aioe.org> <tefg0t$h65$1@gioia.aioe.org>
<5b429465-6166-4f33-ad1d-3103e4847efcn@googlegroups.com> <tg4gt9$5s4b$1@dont-email.me>
<868rmfjnx4.fsf@stephe-leake.org> <87k05znqpk.fsf@nightsong.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <0b04f763-fa89-4b34-ad52-eb9d57d80d8cn@googlegroups.com>
Subject: Re: Move semantics
From: christ-usch.grein@t-online.de (AdaMagica)
Injection-Date: Tue, 20 Sep 2022 11:44:29 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 1777
 by: AdaMagica - Tue, 20 Sep 2022 11:44 UTC

Paul Rubin schrieb am Montag, 19. September 2022 um 20:50:50 UTC+2:
> I think it refers to the C++ notion.
> https://en.cppreference.com/w/cpp/utility/move

What I do not understand: Why should the move operation be less expensive than a copy?
As I see it: First you have to do a copy, then delete the source.

> but also means str might now be empty.

I find this "may be empty" astonishing.

Re: Move semantics

<jou220F67gpU1@mid.individual.net>

  copy mid

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

  copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!news.swapon.de!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: niklas.holsti@tidorum.invalid (Niklas Holsti)
Newsgroups: comp.lang.ada
Subject: Re: Move semantics
Date: Tue, 20 Sep 2022 17:46:24 +0300
Organization: Tidorum Ltd
Lines: 26
Message-ID: <jou220F67gpU1@mid.individual.net>
References: <e0687b45-9e05-4099-9d63-9278e5dec6f4n@googlegroups.com>
<tecn59$8s3o$1@dont-email.me> <tecpif$1nnl$1@gioia.aioe.org>
<tef6oo$rug$1@gioia.aioe.org> <tefg0t$h65$1@gioia.aioe.org>
<5b429465-6166-4f33-ad1d-3103e4847efcn@googlegroups.com>
<tg4gt9$5s4b$1@dont-email.me> <868rmfjnx4.fsf@stephe-leake.org>
<87k05znqpk.fsf@nightsong.com>
<0b04f763-fa89-4b34-ad52-eb9d57d80d8cn@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
X-Trace: individual.net KfDJ8JVIae5yzc2xK+LPUAkzy+0uhJdJQwh0/ilybeWC9e5SGi
Cancel-Lock: sha1:iZs5meyF0vyWZIky7oNdSZ/CT4o=
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.14; rv:102.0)
Gecko/20100101 Thunderbird/102.2.2
Content-Language: en-US
In-Reply-To: <0b04f763-fa89-4b34-ad52-eb9d57d80d8cn@googlegroups.com>
 by: Niklas Holsti - Tue, 20 Sep 2022 14:46 UTC

On 2022-09-20 14:44, AdaMagica wrote:
> Paul Rubin schrieb am Montag, 19. September 2022 um 20:50:50 UTC+2:
>> I think it refers to the C++ notion.
>> https://en.cppreference.com/w/cpp/utility/move
>
> What I do not understand: Why should the move operation be less expensive than a copy?
> As I see it: First you have to do a copy, then delete the source.

The standard Ada containers have Move operations.

Containers are of course often implemented with indirection, where the
container object contains accesses to the data held in the container, so
a Move operation only has to copy the access values from the source to
the target, and does not need to copy the data. The access values in the
source are then nulled, making the source container empty. This is often
less expensive than copying the data.

Eg. for Vectors, the Ada RM says "Move should not copy elements, and
should minimize copying of internal data structures."

For the bounded Ada containers, which are not meant to use indirection,
while there are Move operations the RM says that the implementation
advice "to minimize copying" does not apply.

Re: Move semantics

<87fsglomwv.fsf@nightsong.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!aioe.org!eternal-september.org!reader01.eternal-september.org!.POSTED!not-for-mail
From: no.email@nospam.invalid (Paul Rubin)
Newsgroups: comp.lang.ada
Subject: Re: Move semantics
Date: Tue, 20 Sep 2022 12:39:44 -0700
Organization: A noiseless patient Spider
Lines: 6
Message-ID: <87fsglomwv.fsf@nightsong.com>
References: <e0687b45-9e05-4099-9d63-9278e5dec6f4n@googlegroups.com>
<tecn59$8s3o$1@dont-email.me> <tecpif$1nnl$1@gioia.aioe.org>
<tef6oo$rug$1@gioia.aioe.org> <tefg0t$h65$1@gioia.aioe.org>
<5b429465-6166-4f33-ad1d-3103e4847efcn@googlegroups.com>
<tg4gt9$5s4b$1@dont-email.me> <868rmfjnx4.fsf@stephe-leake.org>
<87k05znqpk.fsf@nightsong.com>
<0b04f763-fa89-4b34-ad52-eb9d57d80d8cn@googlegroups.com>
MIME-Version: 1.0
Content-Type: text/plain
Injection-Info: reader01.eternal-september.org; posting-host="426fc8602af2e2372f9d82205b2e6e6e";
logging-data="1675196"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19Yeeq45ITlbLb5UdkfD/tN"
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux)
Cancel-Lock: sha1:Y5yPGSLDxxr8Xum7aR3mEsqRpao=
sha1:JFMlnBPx+ux6xyesRoBaUoCvzQU=
 by: Paul Rubin - Tue, 20 Sep 2022 19:39 UTC

AdaMagica <christ-usch.grein@t-online.de> writes:
> What I do not understand: Why should the move operation be less
> expensive than a copy?

Besides avoiding copying indirectly pointed-to data, it also can enforce
single ownership in things like std::unique_ptr.

Re: Move semantics

<86zgepi7o2.fsf@stephe-leake.org>

  copy mid

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

  copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!aioe.org!gy7opw3oYmwPg+L8gXeD2w.user.46.165.242.75.POSTED!not-for-mail
From: stephen_leake@stephe-leake.org (Stephen Leake)
Newsgroups: comp.lang.ada
Subject: Re: Move semantics
Date: Fri, 23 Sep 2022 23:54:37 -0700
Organization: Aioe.org NNTP Server
Message-ID: <86zgepi7o2.fsf@stephe-leake.org>
References: <e0687b45-9e05-4099-9d63-9278e5dec6f4n@googlegroups.com>
<tecn59$8s3o$1@dont-email.me> <tecpif$1nnl$1@gioia.aioe.org>
<tef6oo$rug$1@gioia.aioe.org> <tefg0t$h65$1@gioia.aioe.org>
<5b429465-6166-4f33-ad1d-3103e4847efcn@googlegroups.com>
<tg4gt9$5s4b$1@dont-email.me> <868rmfjnx4.fsf@stephe-leake.org>
<87k05znqpk.fsf@nightsong.com>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: gioia.aioe.org; logging-data="39774"; posting-host="gy7opw3oYmwPg+L8gXeD2w.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (windows-nt)
X-Notice: Filtered by postfilter v. 0.9.2
Cancel-Lock: sha1:V+AsYaHeHQv9hmnnl1jOqtGqrbw=
 by: Stephen Leake - Sat, 24 Sep 2022 06:54 UTC

Paul Rubin <no.email@nospam.invalid> writes:

> Stephen Leake <stephen_leake@stephe-leake.org> writes:
>> What definition/semantics of "move" do you mean? Is it documented
>> somewhere?
>
> I think it refers to the C++ notion.
> https://en.cppreference.com/w/cpp/utility/move

This may be similar to "ownership" in SPARK:
https://docs.adacore.com/live/wave/spark2014/html/spark2014_ug/en/source/language_restrictions.html#memory-ownership-policy

--
-- Stephe


devel / comp.lang.ada / yet another Ada web site?

Pages:12
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor