>насколько может быть большим исполняемый файл, компилируемый из того что написано на си?

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

>производительность там, где есть хорошие алгоритмы, а не маленький размер

Производительность чего? Большой системы - да. Низкоуровневой библиотеки - нет. Мы говорим о глобальных вещах, о стандартной библиотеке длля Линукса. Дело в том, что код стандартной библиотеки будет вызываться очень много раз во всевозможных программах. Допустип, что glibc используется на миллионе компьютеров, на каждом из которых сотней программ. И для каждого использования он экономит, ммм, один мегабайт памяти. То есть имеем экономию в... 100 Тбайт! А масштабы использования куда больше...
Также и с низкоуровневой оптимизацией: каждый сэкономленный такт в мировых масштабах выливается в колоссальную экономию.
А экономия памяти и тактов в мобильных девайсах вообще бесценна.

>безопасный код тот, который проверен большим сообществом пользователей и разработчиков, поскольку даже Hello World может быть написан с кучей уязвимостей.

И? Библиотека опенсорсная, значит, твой комментарий вообще не по делу.
Но даже открытость не даёт гарантии безопасности. Код изначально должен писаться с учётом возможных проблем, а также базироваться на библиотеках, которые этих проблем лишены.

>простота означает лишь то, что кому-то придётся от чего-то отказаться

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

>ну это вообще ни в какие ворота, пусть посмотрят на то, что поддерживает glibc

glibc может подддерживать даже больше, но почитай же статью целиком! Поддержка стандартов означает не только соответствие неким документам, но и отсутствие лишнего. В том-то и "прелесть", что код написанный с использованием glibc может не собираться с другими библиотеками. Потому что glibc поддерживает не только стандарты, но и всякие другие свои штуки, которые будут загружать бесполезной работой программистов при портировании кода.