Напомним правило:

Обороты с производными предлогами и предложными сочетаниями обязательно обособляются, если они располагаются между подлежащим и сказуемым: разрыв их непосредственной связи и способствует выделению оборотов.

А теперь, собственно, к проблеме: считать ли слова "с помощью" и "при наличии" производными предлогами? В словарях эти сочетания обозначаются как выступающие "в значении предлога", но не как собственно прелоги. В чем различие? В том, что в русском языке возможны полноценные словосочетания помощь друзей и наличие друзей, в которых слова помощь и наличие - главные компоненты; настоящие производные предлоги таких сочетаний обычно не образуют. Сравните: благодаря, вопреки, ввиду, в целях, в связи с, во избежание, вследствие, по случаю, по причине, при наличии, согласно с, в отличие от, в противоположность, наподобие, при условии, в силу, за отсутствием, несмотря на, невзирая на, спустя, независимо от... (Согласны, в некоторых случаях образовать словосочетание получится, но это уже вопрос, скорее, к формулировке правила.)

Таким образом, на наш взгляд, в приведенных Вами двух последних примерах постановка запятой обязательной не является.

См. здесь.

Вы правильно расставили знаки препинания.

Такие сокращения не являются общепринятыми, они будут непонятны читателю. Наша рекомендация — не сокращать.

Рекомендуем от критерия «правильнее» перейти к критерию «точнее». В современной речи наблюдается варьирование предлогов в и на при употреблении с наименованиями медийных интернет-ресурсов разного типа. При выборе роль может играть то, каким представляется интернет-ресурс в его самом общем, категориальном виде, например как объемное пространство, в котором что-либо находится, происходит и в которое можно войти. Выбор предлога на может определяться представлением о том, что интернет-ресурс подобен платформе, площадке, на которой что-либо происходит, и в этом случае актуальна ассоциация с какой-либо поверхностью. Что касается предложений, в которых отсутствует родовое слово (сервис), то выбор предлога здесь уже предопределен: он такой же, как в полной фразе.

Порядок, в котором перечисляются падежи, определяется двумя факторами: 1) отношениями между падежами; 2) традицией.

Что касается отношений, то имеется в виду противопоставление прямого падежа — именительного — всем остальным, косвенным. В старину, когда в русском языке еще был жив звательный падеж, его также считали прямым («правым»).

Прямой падеж как бы возглавляет систему падежей, поэтому именительный занимает в перечне первое место.

Традиция же определяет порядок перечисления остальных — косвенных падежей. Какой-то особый «лингвистический» порядок нам неизвестен. Именно по традиции после именительного следуют родительный, дательный и т. д. Причем традиция эта характерна не только для русского языка. Падежи в немецком языке, где их 4, перечисляют в таком же порядке: номинатив — генитив — датив — аккузатив. Эта традиция, в свою очередь, восходит к традиции перечисления падежей в латыни, где не было того, что мы называем предложным падежом, зато был звательный падеж: именительный (nominatīvus), родительный (genetīvus), дательный (datīvus), винительный (accusatīvus), творительный (ablatīvus), звательный (vocativus).

В «Грамматике словенской» Лаврентия Зизания (1596) падежи перечисляются в следующем порядке: «Именовный, Родный, Дателный, Творителный, Винителный и Звателный» (6 падежей). В труде «Грамматики славенския правилное синтагма» Мелетия Смотрицкого (1619) — в следующем порядке: «Именителный, Родителный, Дателный, Винителный, Звателный, Творителный, Сказателный» (7 падежей). Как видим, хотя по времени создания эти труды очень близки, они различаются и набором падежей, и их наименованиями, и порядком их перечисления. У Зизания нет предложного (или местного) падежа — у Смотрицкого он есть («Сказателный»). У Зизания звательный падеж занимает в перечне последнее место, у Смотрицкого он следует за винительным. Эти колебания отражают постепенное становление традиции в применении ее к грамматике русского («славенского») языка. Впоследствии эти колебания сошли на нет, звательный падеж, если он указывался, занимал в перечне последнее место.

Реально существующая падежная система русского языка, безусловно, значительно сложнее, чем та, которую изучают в школе. Например, выделяются «второй родительный падеж» — партитивный (со значением части: выпей чаю), «второй предложный падеж» — локативный (со значением места: о лесе, но в лесу; о мосте, но на мосту). (Перечень неполный.)

В лингвистике существует также понятие глубинного падежа, или семантической роли. Но это к морфологической системе падежей имеет довольно косвенное отношение, а терминологически с нею никак не совпадает, поэтому здесь об этом говорить не будем.

При желании можно обратиться к прекрасной статье о падеже Г. И. Кустовой.

Подлежащее отнюдь не обязано обозначать кого-то или что-то, кто (или что) выполняет действие. Точно так же, как сказуемое не обязано обозначать именно действие. В предложении Математика — интересная наука ни подлежащее, ни сказуемое не обозначают ни действия, ни того, кто его выполняет, но ведь это не означает, что в этом предложении нет подлежащего и сказуемого. В предложениях тождества (а к ним относятся оба примера: и про учительницу, и про математику) речи о действиях вообще не идет.

Вы правы, однако, в том, что предложения с подлежащим это стоят особняком и отличаются даже от предложений типа Математика — интересная наука. Обычное свойство стандартного подлежащего — контроль согласовательной формы сказуемого. Это значит, что глагол-сказуемое или вспомогательный глагол-связка в составе сказуемого должен принять форму того же рода, что и существительное-подлежащее. Например: Наша учительница была педагог с огромным стажем. Связка была принимает форму ж. р., потому что в подлежащем — сущ. ж. р. Если речь идет, наоборот, о мужчине, увидим иную картину: Наш директор был хитрая лиса. Ни в первом, ни во втором случаях род существительного — именного компонента сказуемого не оказывает влияния на форму рода связки.

Но как только позицию подлежащего занимает местоимение это (и то), оно уступает контроль согласовательной формы сказуемого именному компоненту этого сказуемого — что и наблюдается в вашем примере. Ср. также: Ах, витязь, то была Наина! (Пушкин).

Есть еще одна особенность: при обычном подлежащем форма И. п. в сказуемом может чередоваться с формой Т. п. (Наша учительница была опытным педагогом; Наш директор был хитрой лисой), а при подлежащем это такое чередование невозможно.

Но на этом особенности предложений с подлежащим это заканчиваются. В вашем примере — предложение, суть которого заключается в отождествлении двух сущностей. Разница с примерами про директора и подобными им только в том, что обычное подлежащее называет предмет или лицо, идентифицируемое с кем-то или чем-то, а в данном случае подлежащее только указывает на него.

Можно еще добавить, что функция идентификации в предложениях тождества часто совмещается с функцией характеризации, а иногда и вытесняется ею: это особенно хорошо видно в примере про директора — хитрую лису.

И еще одно: на самом деле, когда нам нужно сообщить о приходе кого-либо, мы используем соответствующий глагол (например, пришла). Употребить в этом смысле была невозможно: нас просто неверно поймут. Глагол-связка не обозначает ни действия, ни состояния, он лишь выражает необходимые грамматические значения, которые именным частям речи недоступны.

Запятая нужна. Обороты с союзом как выделяются запятыми, если в основной части предложения имеется указательное слово такой.

В вопросе смешаны два разных случая. В именах типа Ким Чен Ын склоняется только последний компонент. См., например, ответ на вопрос № 264121, а также «Словарь имен собственных». В именах, построенных по русской модели, фамилия Ким склоняется, как и другие фамилии на согласный, если относится к мужчине: Игорь Ким, Игоря Кима, Игорю Киму, Игоря Кима, Игорем Кимом, об Игоре Киме (см., например, ответ на вопрос № 290862).