Какого числа Российская Федерация отмечает «День программиста»?

• День святого Исидора Севильского — официального покровителя интернета — \(4\) апреля
• \(12\) сентября — в високосном году
• Нужно отсчитать от начала года ровно \(256\) дней, и получится искомая дата
• \(13\) сентября — в обычном году
• День появления на свет автора первой программы — Ады Лавлейс — \(10\) декабря