Они функционально эквивалентны. Могут быть небольшие различия в том, как они реализованы в различных провайдерах LINQ, но я ожидаю, что производительность будет практически одинаковой. Например, поставщик LINQ to SQL создает одинаковый SQL для обоих запросов:
SELECT [t0].[Id], [t0].[Name]
FROM [dbo].[User] AS [t0]
WHERE [t0].[Id] = @p0
Я ожидаю, что то же самое относится и к Entity Framework.
Если бы мне пришлось выбирать одну, я бы выбрал вторую версию, потому что она более краткая, без потери ясности. На самом деле, я бы сказал, что это более ясно - меньше шума от ключевых слов, поэтому бизнес-логика выделяется больше.