Dolphin (disambiguation)

Dolphin is a common name of aquatic mammals within the infraorder Cetacea.

Dolphin or The Dolphin may also refer to:

Arts and entertainment

Film

Literature

Music

Other uses in arts and entertainment

Businesses

Computing

Military

Aviation

People

Places

Sports

Transportation

Other uses

gollark: No, that's just the actual domain for Discord invites.
gollark: I think it's .gg, not .sg.
gollark: I might try the quantization-aware training thing and see if that works.
gollark: A shame.
gollark: Did anyone try quantizing the GPT-Neo models to int8? Just using the pytorch dynamic quantization thing (on the 125M one, due to RAM limitations) seems to add enough noise that it just produces nonsense.

See also

  • All pages with titles beginning with Dolphin
  • All pages with titles containing Dolphin
  • Dolphin School (disambiguation)
  • Dolfin (disambiguation)
  • Delphinus (disambiguation)
  • Dauphin (disambiguation)
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.