Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

Virtue is a relative term. -- Spock, "Friday's Child", stardate 3499.1


devel / comp.lang.ada / Re: Exercism.io needs Ada

SubjectAuthor
* Exercism.io needs AdaBruce Axtens
`* Re: Exercism.io needs AdaAndreas ZEURCHER
 `* Re: Exercism.io needs AdaMarius Amado-Alves
  `* Re: Exercism.io needs AdaAndreas ZEURCHER
   `* Re: Exercism.io needs AdaMarius Amado-Alves
    `* Re: Exercism.io needs AdaAndreas ZEURCHER
     `* Re: Exercism.io needs AdaMarius Amado-Alves
      `* Re: Exercism.io needs AdaAndreas ZEURCHER
       `- Re: Exercism.io needs AdaMarius Amado-Alves

1
Exercism.io needs Ada

<sajvdv$v2a$2@dont-email.me>

  copy mid

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

  copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: bruce.ax...@gmail.com (Bruce Axtens)
Newsgroups: comp.lang.ada
Subject: Exercism.io needs Ada
Date: Sat, 19 Jun 2021 13:30:37 +0800
Organization: A noiseless patient Spider
Lines: 9
Message-ID: <sajvdv$v2a$2@dont-email.me>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sat, 19 Jun 2021 05:30:40 -0000 (UTC)
Injection-Info: reader02.eternal-september.org; posting-host="69b6537f7ff6435eb44284be24ae69fa";
logging-data="31818"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/AuEVdx6LPFj/LtmhkZfO7"
User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:60.0) Gecko/20100101
Firefox/60.0 SeaMonkey/2.53.7.1
Cancel-Lock: sha1:MGsOmLUPYd1jL8TBy/qJpizxIkU=
X-Mozilla-News-Host: snews://news.eternal-september.org:563
 by: Bruce Axtens - Sat, 19 Jun 2021 05:30 UTC

In case anyone is looking to encourage people to learn and use Ada,
Exercism.io is a good place to learn. Lots of languages already but Ada
isn't one of them. Become a maintainer or a mentor.

Maintainer: https://exercism.io/become-a-maintainer
Mentor: https://exercism.io/become-a-mentor#more-info

Bruce Axtens, vbnet maintainer and students of about 26 languages none
of which are, sadly, Ada.

Re: Exercism.io needs Ada

<a11b1fc4-44aa-40d3-b831-2a6b0b42e735n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.ada
X-Received: by 2002:a05:622a:1213:: with SMTP id y19mr7180631qtx.366.1624912924341;
Mon, 28 Jun 2021 13:42:04 -0700 (PDT)
X-Received: by 2002:a5b:58e:: with SMTP id l14mr34958583ybp.303.1624912924101;
Mon, 28 Jun 2021 13:42:04 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Mon, 28 Jun 2021 13:42:03 -0700 (PDT)
In-Reply-To: <sajvdv$v2a$2@dont-email.me>
Injection-Info: google-groups.googlegroups.com; posting-host=47.185.200.73; posting-account=zwxLlwoAAAChLBU7oraRzNDnqQYkYbpo
NNTP-Posting-Host: 47.185.200.73
References: <sajvdv$v2a$2@dont-email.me>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <a11b1fc4-44aa-40d3-b831-2a6b0b42e735n@googlegroups.com>
Subject: Re: Exercism.io needs Ada
From: ZUERCHER...@outlook.com (Andreas ZEURCHER)
Injection-Date: Mon, 28 Jun 2021 20:42:04 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
 by: Andreas ZEURCHER - Mon, 28 Jun 2021 20:42 UTC

On Saturday, June 19, 2021 at 12:30:42 AM UTC-5, axtens wrote:
> In case anyone is looking to encourage people to learn and use Ada,
> Exercism.io is a good place to learn. Lots of languages already but Ada
> isn't one of them. Become a maintainer or a mentor.
>
> Maintainer: https://exercism.io/become-a-maintainer
> Mentor: https://exercism.io/become-a-mentor#more-info
>
> Bruce Axtens, vbnet maintainer and students of about 26 languages none
> of which are, sadly, Ada.

Since you are a maintainer on another language (Visual Basic .Net), what is the precise sequence of steps that one would need to perform to become the 1st maintainer of a new presence of Ada in Exercism.io? I think that the 1st maintainer is specifically the person who bootstraps up a new language's presence on exercism.io, correct? Apparently the sequence of steps might begin:
1) Practice being a newbie student of some arbitrary existing(-on-exercism.io) language's exercises to get the feel for how exercism.io is supposed to operate.
then
2) Contact another language's maintainer to be the 1st maintainer of Ada's fresh presence on exercism.io.

Are there more steps than that? For example, must the 1st maintainer recruit a separate 1st mentor or must the 1st maintainer act also as 1st mentor? Are those 2 steps perfectly stated or are they botched somehow? Does some sort of vetting occur for the quality of a maintainer at time of volunteering that could cause the 1st maintainer to be rejected? Does some sort of vetting occur for the desirability of a programming language occur up at exercism.io “corporate” that could cause Ada itself (independent of the 1st maintainer) to be rejected? It seems that Ada and (AdaSubset-with-)SPARK would be 2 separate languages on exercism.io (otherwise it gets confusing), correct? Why doesn't exercism.io have an overt webpage that answers these questions for how to bootstrap up a language's new presence on exercism.io (as this seems to be a separate & distinct topic to becoming the 2nd-or-subsequent-mentor that does have its own webpage explanation already)?

Re: Exercism.io needs Ada

<32bca509-dba2-42ee-88bf-1eceb488a883n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.ada
X-Received: by 2002:a05:620a:a47:: with SMTP id j7mr19892552qka.370.1624972017254;
Tue, 29 Jun 2021 06:06:57 -0700 (PDT)
X-Received: by 2002:a25:b192:: with SMTP id h18mr40413846ybj.165.1624972017081;
Tue, 29 Jun 2021 06:06:57 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Tue, 29 Jun 2021 06:06:56 -0700 (PDT)
In-Reply-To: <a11b1fc4-44aa-40d3-b831-2a6b0b42e735n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=94.60.6.132; posting-account=3cDqWgoAAAAZXc8D3pDqwa77IryJ2nnY
NNTP-Posting-Host: 94.60.6.132
References: <sajvdv$v2a$2@dont-email.me> <a11b1fc4-44aa-40d3-b831-2a6b0b42e735n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <32bca509-dba2-42ee-88bf-1eceb488a883n@googlegroups.com>
Subject: Re: Exercism.io needs Ada
From: amado.al...@gmail.com (Marius Amado-Alves)
Injection-Date: Tue, 29 Jun 2021 13:06:57 +0000
Content-Type: text/plain; charset="UTF-8"
 by: Marius Amado-Alves - Tue, 29 Jun 2021 13:06 UTC

Should not the first step be an evaluation of this site by an programming master?
Maybe this has been done; if so, please inform.

Re: Exercism.io needs Ada

<12aaec74-c32e-4ac3-b5a6-d8d9bdaad435n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.ada
X-Received: by 2002:a37:a649:: with SMTP id p70mr10533075qke.225.1624994187351;
Tue, 29 Jun 2021 12:16:27 -0700 (PDT)
X-Received: by 2002:a25:b192:: with SMTP id h18mr42822527ybj.165.1624994187244;
Tue, 29 Jun 2021 12:16:27 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Tue, 29 Jun 2021 12:16:26 -0700 (PDT)
In-Reply-To: <32bca509-dba2-42ee-88bf-1eceb488a883n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=47.185.200.73; posting-account=zwxLlwoAAAChLBU7oraRzNDnqQYkYbpo
NNTP-Posting-Host: 47.185.200.73
References: <sajvdv$v2a$2@dont-email.me> <a11b1fc4-44aa-40d3-b831-2a6b0b42e735n@googlegroups.com>
<32bca509-dba2-42ee-88bf-1eceb488a883n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <12aaec74-c32e-4ac3-b5a6-d8d9bdaad435n@googlegroups.com>
Subject: Re: Exercism.io needs Ada
From: ZUERCHER...@outlook.com (Andreas ZEURCHER)
Injection-Date: Tue, 29 Jun 2021 19:16:27 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
 by: Andreas ZEURCHER - Tue, 29 Jun 2021 19:16 UTC

On Tuesday, June 29, 2021 at 8:06:58 AM UTC-5, amado...@gmail.com wrote:
> Should not the first step be an evaluation of this site by an programming master?
> Maybe this has been done; if so, please inform.

Define programming master in a nonAda language (and then state why a programming master in a nonAda language has any jurisdiction in Ada or in Ada's community). Or did you mean that an Ada programming master would evaluate whether a nonAda language's presence on exercism.io? (I'm not sure that an Ada programming master would be qualified to evaluate much depth in a nonAda language's presence on exercism.io: what might be a pox-on-all-all-their-houses condemnation for another language by the high standards of an Ada-centric viewpoint might actually be stratospheric-achievement very very very best practices by that other nonAda language's experts, simply by the inferiority of the expressivity of that other nonAda language.) Would exercism..io's exemplary (or defective) precedent in another language indicate that the same outcome would occur with Ada or that such similarity of outcome would even be likely, as opposed to just luck of the draw of the cards off of the stack in life's casino? To me, it seems that any Ada presence in any programming forum/medium is highly dependent on the activism of the Ada participants, not the activism of participants in nonAda languages. For example, exercises in other languages might not be able to be meaningfully borrowed verbatim-in-translation due to perhaps not highlighting good thoughts in Ada to show off Ada's special sauce (e.g., narrowly-declared strong subtyping; build-time swapping in different child packages for same-named identifiers to port to different-OS or different-hardware platforms).

I am fairly certain that in exercism.io's worldview, each maintainer and/or each mentor is by definition a programming master for that language, or is expected to mature quickly into one via the daily grind of the doing. Perhaps our ambassador, Bruce Axtens, can illuminate that. For example, is Bruce Axtens a programming master of Visual Basic .NET? And does Bruce Axtens' invitation imply that the evaluation is already implicitly accomplished?

Re: Exercism.io needs Ada

<dda17a4b-bc38-4dc2-943d-31ca65b7e6efn@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.ada
X-Received: by 2002:a37:9244:: with SMTP id u65mr32943038qkd.46.1624999245621;
Tue, 29 Jun 2021 13:40:45 -0700 (PDT)
X-Received: by 2002:a25:75d6:: with SMTP id q205mr39769274ybc.339.1624999245474;
Tue, 29 Jun 2021 13:40:45 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Tue, 29 Jun 2021 13:40:45 -0700 (PDT)
In-Reply-To: <12aaec74-c32e-4ac3-b5a6-d8d9bdaad435n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=94.60.6.132; posting-account=3cDqWgoAAAAZXc8D3pDqwa77IryJ2nnY
NNTP-Posting-Host: 94.60.6.132
References: <sajvdv$v2a$2@dont-email.me> <a11b1fc4-44aa-40d3-b831-2a6b0b42e735n@googlegroups.com>
<32bca509-dba2-42ee-88bf-1eceb488a883n@googlegroups.com> <12aaec74-c32e-4ac3-b5a6-d8d9bdaad435n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <dda17a4b-bc38-4dc2-943d-31ca65b7e6efn@googlegroups.com>
Subject: Re: Exercism.io needs Ada
From: amado.al...@gmail.com (Marius Amado-Alves)
Injection-Date: Tue, 29 Jun 2021 20:40:45 +0000
Content-Type: text/plain; charset="UTF-8"
 by: Marius Amado-Alves - Tue, 29 Jun 2021 20:40 UTC

> > Should not the first step be an evaluation of this site by an programming master?
> > Maybe this has been done; if so, please inform.
> Define programming master in a nonAda language...

I'm not sure I follow. Sorry if I was not clear. My focus was on an evaluation of the quality of the site overall. By some recognized authority. "Programming master" were just the words that come to mind to caracterize an authority in this case.

Again, maybe there is such an evaluation. In which case, please inform. There are many sites on everything. We cannot track them all.

Re: Exercism.io needs Ada

<46d6677c-dcd9-4440-9a7b-ccdce06b6666n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.ada
X-Received: by 2002:a05:622a:11cf:: with SMTP id n15mr3788639qtk.256.1625004753929;
Tue, 29 Jun 2021 15:12:33 -0700 (PDT)
X-Received: by 2002:a25:bc10:: with SMTP id i16mr39662828ybh.73.1625004753759;
Tue, 29 Jun 2021 15:12:33 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Tue, 29 Jun 2021 15:12:33 -0700 (PDT)
In-Reply-To: <dda17a4b-bc38-4dc2-943d-31ca65b7e6efn@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=47.185.200.73; posting-account=zwxLlwoAAAChLBU7oraRzNDnqQYkYbpo
NNTP-Posting-Host: 47.185.200.73
References: <sajvdv$v2a$2@dont-email.me> <a11b1fc4-44aa-40d3-b831-2a6b0b42e735n@googlegroups.com>
<32bca509-dba2-42ee-88bf-1eceb488a883n@googlegroups.com> <12aaec74-c32e-4ac3-b5a6-d8d9bdaad435n@googlegroups.com>
<dda17a4b-bc38-4dc2-943d-31ca65b7e6efn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <46d6677c-dcd9-4440-9a7b-ccdce06b6666n@googlegroups.com>
Subject: Re: Exercism.io needs Ada
From: ZUERCHER...@outlook.com (Andreas ZEURCHER)
Injection-Date: Tue, 29 Jun 2021 22:12:33 +0000
Content-Type: text/plain; charset="UTF-8"
 by: Andreas ZEURCHER - Tue, 29 Jun 2021 22:12 UTC

On Tuesday, June 29, 2021 at 3:40:46 PM UTC-5, amado...@gmail.com wrote:
> > > Should not the first step be an evaluation of this site by an programming master?
> > > Maybe this has been done; if so, please inform.
> > Define programming master in a nonAda language...
>
> I'm not sure I follow. Sorry if I was not clear. My focus was on an evaluation of the quality of the site overall. By some recognized authority.

Which certification agency evaluates such websites? And what is that certification agency's rating of c.l.a? Are ourselves passing the test with sufficient merit?

I claim that each Ada person here recognizes themselves as such an authority by having eyes and a brain.

> "Programming master" were just the words that come to mind to caracterize an authority in this case.
>
> Again, maybe there is such an evaluation. In which case, please inform. There are many sites on everything. We cannot track them all.

Re: Exercism.io needs Ada

<8d462925-2d5e-40eb-aeb9-c872f4d3b781n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.ada
X-Received: by 2002:ad4:4bc6:: with SMTP id l6mr14163311qvw.42.1625073110420;
Wed, 30 Jun 2021 10:11:50 -0700 (PDT)
X-Received: by 2002:a25:2b05:: with SMTP id r5mr48758791ybr.465.1625073110220;
Wed, 30 Jun 2021 10:11:50 -0700 (PDT)
Path: i2pn2.org!i2pn.org!paganini.bofh.team!usenet.pasdenom.info!usenet-fr.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Wed, 30 Jun 2021 10:11:50 -0700 (PDT)
In-Reply-To: <46d6677c-dcd9-4440-9a7b-ccdce06b6666n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=94.60.6.132; posting-account=3cDqWgoAAAAZXc8D3pDqwa77IryJ2nnY
NNTP-Posting-Host: 94.60.6.132
References: <sajvdv$v2a$2@dont-email.me> <a11b1fc4-44aa-40d3-b831-2a6b0b42e735n@googlegroups.com>
<32bca509-dba2-42ee-88bf-1eceb488a883n@googlegroups.com> <12aaec74-c32e-4ac3-b5a6-d8d9bdaad435n@googlegroups.com>
<dda17a4b-bc38-4dc2-943d-31ca65b7e6efn@googlegroups.com> <46d6677c-dcd9-4440-9a7b-ccdce06b6666n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <8d462925-2d5e-40eb-aeb9-c872f4d3b781n@googlegroups.com>
Subject: Re: Exercism.io needs Ada
From: amado.al...@gmail.com (Marius Amado-Alves)
Injection-Date: Wed, 30 Jun 2021 17:11:50 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
 by: Marius Amado-Alves - Wed, 30 Jun 2021 17:11 UTC

No "certification agency". An authority, someone that the community trusts. Not necessarily an Adaist. From the top of my head, Kasakov, Rosen, Botton, Wheeler, Knuth, Wirth, even Kernighan, Ritchie, Linus I guess (examples of master level, not of availability unfortunately).

Re: Exercism.io needs Ada

<e4e9a456-3b58-499c-9379-7cef2a257089n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.ada
X-Received: by 2002:a37:aa14:: with SMTP id t20mr38981644qke.104.1625109264001;
Wed, 30 Jun 2021 20:14:24 -0700 (PDT)
X-Received: by 2002:a25:3213:: with SMTP id y19mr34602420yby.92.1625109263847;
Wed, 30 Jun 2021 20:14:23 -0700 (PDT)
Path: i2pn2.org!i2pn.org!aioe.org!news.mixmin.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Wed, 30 Jun 2021 20:14:23 -0700 (PDT)
In-Reply-To: <8d462925-2d5e-40eb-aeb9-c872f4d3b781n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=47.185.200.73; posting-account=zwxLlwoAAAChLBU7oraRzNDnqQYkYbpo
NNTP-Posting-Host: 47.185.200.73
References: <sajvdv$v2a$2@dont-email.me> <a11b1fc4-44aa-40d3-b831-2a6b0b42e735n@googlegroups.com>
<32bca509-dba2-42ee-88bf-1eceb488a883n@googlegroups.com> <12aaec74-c32e-4ac3-b5a6-d8d9bdaad435n@googlegroups.com>
<dda17a4b-bc38-4dc2-943d-31ca65b7e6efn@googlegroups.com> <46d6677c-dcd9-4440-9a7b-ccdce06b6666n@googlegroups.com>
<8d462925-2d5e-40eb-aeb9-c872f4d3b781n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <e4e9a456-3b58-499c-9379-7cef2a257089n@googlegroups.com>
Subject: Re: Exercism.io needs Ada
From: ZUERCHER...@outlook.com (Andreas ZEURCHER)
Injection-Date: Thu, 01 Jul 2021 03:14:23 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
 by: Andreas ZEURCHER - Thu, 1 Jul 2021 03:14 UTC

On Wednesday, June 30, 2021 at 12:11:51 PM UTC-5, amado...@gmail.com wrote:
> No "certification agency". An authority, someone that the community trusts. Not necessarily an Adaist. From the top of my head, Kasakov, Rosen, Botton, Wheeler, Knuth, Wirth, even Kernighan, Ritchie, Linus I guess (examples of master level, not of availability unfortunately).

If I were compiling such a list, I think I would put Randy Brukhardt on the list too. Conversely, I am more of the opinion that any student of a topic knows when the pedagogy of that topic is exemplary versus defective, as the proof of the pudding is in the tasting with one's own tongue.

Re: Exercism.io needs Ada

<41a3d9ca-bd38-4f72-b78d-8ecf679553bdn@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.ada
X-Received: by 2002:a05:622a:1a1d:: with SMTP id f29mr3884073qtb.200.1625210665319;
Fri, 02 Jul 2021 00:24:25 -0700 (PDT)
X-Received: by 2002:a25:690e:: with SMTP id e14mr4813861ybc.277.1625210665124;
Fri, 02 Jul 2021 00:24:25 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Fri, 2 Jul 2021 00:24:24 -0700 (PDT)
In-Reply-To: <e4e9a456-3b58-499c-9379-7cef2a257089n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=94.60.6.132; posting-account=3cDqWgoAAAAZXc8D3pDqwa77IryJ2nnY
NNTP-Posting-Host: 94.60.6.132
References: <sajvdv$v2a$2@dont-email.me> <a11b1fc4-44aa-40d3-b831-2a6b0b42e735n@googlegroups.com>
<32bca509-dba2-42ee-88bf-1eceb488a883n@googlegroups.com> <12aaec74-c32e-4ac3-b5a6-d8d9bdaad435n@googlegroups.com>
<dda17a4b-bc38-4dc2-943d-31ca65b7e6efn@googlegroups.com> <46d6677c-dcd9-4440-9a7b-ccdce06b6666n@googlegroups.com>
<8d462925-2d5e-40eb-aeb9-c872f4d3b781n@googlegroups.com> <e4e9a456-3b58-499c-9379-7cef2a257089n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <41a3d9ca-bd38-4f72-b78d-8ecf679553bdn@googlegroups.com>
Subject: Re: Exercism.io needs Ada
From: amado.al...@gmail.com (Marius Amado-Alves)
Injection-Date: Fri, 02 Jul 2021 07:24:25 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
 by: Marius Amado-Alves - Fri, 2 Jul 2021 07:24 UTC

> > No "certification agency". An authority, someone that the community trusts. Not necessarily an Adaist. From the top of my head, Kasakov, Rosen, Botton...
> If I were compiling such a list, I think I would put Randy Brukhardt on the list too. Conversely, I am more of the opinion that any student of a topic knows when the pedagogy of that topic is exemplary versus defective, as the proof of the pudding is in the tasting with one's own tongue.

Agreed on both points.

1
server_pubkey.txt

rocksolid light 0.9.8
clearnet tor