Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.lang.prolog > #14531 > unrolled thread

Who was Fernando Pereira?

Back to article view | Back to comp.lang.prolog

Contents

  Who was Fernando Pereira? Mild Shock <janburse@fastmail.fm> - 2025-06-02 10:43 +0200
    Is Fernando Pereira still alive? (Was: Who was Fernando Pereira?) Mild Shock <janburse@fastmail.fm> - 2025-06-02 10:47 +0200
      rm -rf trealla and rm -rf scryer-prolog (Was: Is Fernando Pereira still alive?) Mild Shock <janburse@fastmail.fm> - 2025-06-02 11:03 +0200

#14531 — Who was Fernando Pereira?

When I look at the file it shows me:

Some of the benchmarks are inspired on a benchmark suite developed at
ICOT for their SIM project, and other benchmark choices were
influenced by discussions with ICOT researchers on the relative
performance of SIM-I vs.  Prolog-20.

-- Fernando Pereira

But the file name has probably a typo:

samples/peirera.pl

Pay respect to the ancestors, and write their names correctly.

Its obviously nonsense, because the original name was:

These benchmarks are designed to identify
pereira.tar Fernando Pereira's benchmarks (26-DEC-86)
pereira.txt

https://github.com/ashok-khanna/cmu-ai-repository/blob/main/lang/prolog/code/bench/0.html

These tests are a nice piece of history and
require some research to get the names right.

[toc] | [next] | [standalone]

#14532 — Is Fernando Pereira still alive? (Was: Who was Fernando Pereira?)

I find his name on this arvix paper:

Gemma: Open Models Based on Gemini Research and Technology
https://arxiv.org/abs/2403.08295

He features as an Executive Sponsor.

Mild Shock schrieb:
> When I look at the file it shows me:
> 
> Some of the benchmarks are inspired on a benchmark suite developed at
> ICOT for their SIM project, and other benchmark choices were
> influenced by discussions with ICOT researchers on the relative
> performance of SIM-I vs.  Prolog-20.
> 
> -- Fernando Pereira
> 
> But the file name has probably a typo:
> 
> samples/peirera.pl
> 
> Pay respect to the ancestors, and write their names correctly.
> 
> Its obviously nonsense, because the original name was:
> 
> These benchmarks are designed to identify
> pereira.tar Fernando Pereira's benchmarks (26-DEC-86)
> pereira.txt
> 
> https://github.com/ashok-khanna/cmu-ai-repository/blob/main/lang/prolog/code/bench/0.html 
> 
> 
> These tests are a nice piece of history and
> require some research to get the names right.

[toc] | [prev] | [next] | [standalone]

#14533 — rm -rf trealla and rm -rf scryer-prolog (Was: Is Fernando Pereira still alive?)

Hi,

Anyway reporting anything to Trealla Prolog
or Scryer-Prolog is a total waste of time.

So the most logical thing to do is:

rm -rf trealla
rm -rf scryer-prolog

I already quit Facebook and Twitter, and
I don't miss them. I will probably also

not miss Trealla Prolog and Scryer-Prolog.

LoL

Bye

Mild Shock schrieb:
> 
> I find his name on this arvix paper:
> 
> Gemma: Open Models Based on Gemini Research and Technology
> https://arxiv.org/abs/2403.08295
> 
> He features as an Executive Sponsor.
> 
> Mild Shock schrieb:
>> When I look at the file it shows me:
>>
>> Some of the benchmarks are inspired on a benchmark suite developed at
>> ICOT for their SIM project, and other benchmark choices were
>> influenced by discussions with ICOT researchers on the relative
>> performance of SIM-I vs.  Prolog-20.
>>
>> -- Fernando Pereira
>>
>> But the file name has probably a typo:
>>
>> samples/peirera.pl
>>
>> Pay respect to the ancestors, and write their names correctly.
>>
>> Its obviously nonsense, because the original name was:
>>
>> These benchmarks are designed to identify
>> pereira.tar Fernando Pereira's benchmarks (26-DEC-86)
>> pereira.txt
>>
>> https://github.com/ashok-khanna/cmu-ai-repository/blob/main/lang/prolog/code/bench/0.html 
>>
>>
>> These tests are a nice piece of history and
>> require some research to get the names right.
> 

[toc] | [prev] | [standalone]

Back to top | Article view | comp.lang.prolog

csiph-web