Які блоги CS повинні читати всі?

Багато першокласних дослідників інформатики та дослідницьких груп) ведуть активні блоги, які постійно інформують нас про останні дослідження в галузях інтересів авторів. У більшості випадків повідомлення в блогах легше зрозуміти, ніж формальні документи, оскільки вони опускають більшість технічних деталей і підкреслюють інтуїцію (що статті взагалі опускають).

Таким чином, було б корисно скласти список рекомендованих блогів у такому ж дусі, як і інші списки рекомендованих ресурсів:

• Які папери кожен повинен прочитати?
• Які книги повинен прочитати кожен?
• Які останні книги TCS, чернетки яких доступні в Інтернеті?
• Які відео повинні переглядати всі?
• Які конспекти лекцій кожен повинен прочитати?

Звичайно, можна слідувати чудовій теорії обчислювального блогу-агрегатора , але цей список досить непосильний, особливо для початківців.

Визначте, чому ви їх рекомендуєте.

Це може не стати несподіванкою, але існує суттєве перекриття між споживачами енергоспоживання з питань теорії та питання та блогосферою. У нас навіть був якийсь спеціалізований блог на деякий час, з деякими чудовими повідомленнями, але це вийшло з ладу. Однак я подумав, що перерахую кілька блогів, якими керують 38 наших кращих користувачів , у яких з’явилися нові повідомлення з 2012 року:

• 0xDE Девіда Еппштейна : теорія графів та алгоритми.
• The Geomblog Суреша Венкатасубраманяна : обчислювальна геометрія, алгоритми та дискусії про академічне життя.
• 3D млинці Джерфа Еріксона Ерні : обчислювальна топологія та оголошення громади.
• Семантичний домен Ніла Крішнасвамі : мови програмування, логіка та формальні мови.
• Квантовані думки Джо Фіцсімонса : квантова інформація та обчислення, теоретична фізика та побудова громади.
• Андрій Бауер " Математика та обчислення" : HoTT, логіка, теорія категорій та філософія математики.
• Обмеження Андраса Саламона : обчислювальна складність через об'єктив задоволення обмеженнями.
• Марціо Де Біасі ... майже 42 ... : обчислювальна складність, виділена через NP-повноту та загадки.
• Скотт -оптимізований Скотт Ааронсон : обчислювальна складність з основним акцентом на квантові обчислення, філософію, гумор та побудову громади.
• Кімната сумнівів Лева Рейзіна : теорія та практика машинного навчання та академічне життя.
• Невидима рука Ніама Нісана Тьюрінга : обчислювальна економіка, теорія алгоритмічних ігор та побудова громади.
• Суєта марнославства Саріеля Хар-Пеледа - все це марність : обчислювальна геометрія та загальні соціальні та академічні коментарі.
• « Мій мозок Шиви Кінталі» відкритий : обчислювальна складність, багатогранна комбінаторика, алгоритми та теорія графів.
• Група теорії, еволюції та ігор Артема Казнатчеєва: теорія еволюційних ігор та алгоритмічна лінза на еволюцію, навчання та філософію.
• Кінцева площадка Сісен-Чі Чана : двомовний блог щодо складності обчислювальної техніки, формальних мов та конкретної математики.
• Нанопояснення Аарона Стерлінга : розподілені обчислення, хіміоінформатика та загальні соціальні коментарі.
• Обчислювальна складність Ленса Фортнова та Білла Гасара : обчислювальна складність та інші цікаві речі з математики та інформатики.
• Думки Емануели Віоли : обчислювальна складність та загальний коментар - розпочато літо 2014 року.

Вподобання в блозі, як правило, дуже особисті на відміну від інших, часом визначених, ресурсів TCS, наприклад, книг. однак є два провідні / провідні / популярні блоги TCS, які вже цитуються, живі та дуже активні впродовж багатьох років з деякими передумовами / профілями. обидва блоги мають обширні індекси для інших провідних блогів TCS. як експерти / викладачі / лідери з ТКС з багатьма опублікованими статтями, так і дуже активно залучені до просування ТКС для широкої спільноти, наприклад, через популярні книги. зауважте, обидва також приєдналися / внесли свій внесок у tcs.se. можливо, не випадково (і в деякому контрастіна цей сайт) вони не цураються і обидва зацікавлені в обговоренні ключових чи відомих відкритих проблем у цій галузі, наприклад, P =? NP. Відкриті коментарі до блогу та цікава / різноманітна частина блогів. вони регулярно висвітлюють важливі докази на місцях. Ліптон був тісно причетний до кіберпросторової рецензії на атаку Деолікаліка років тому.

• RJ Lipton P =? NP блог по Lipton також cowritten на Ріган. автор робіт " Люди, проблеми та докази" та "P = NP" та втрачений лист Годеля . ( профіль tcs.se ). Ліптон також є знавцем глибокої математики, наприклад, теорії чисел, теорії груп тощо. І регулярно пов'язує її з TCS.

• обчислювальна складність від Fortnow з внесками Gasarch. автор Золотого квитка, P, NP та пошуку неможливого . ( профіль tcs.se ). Fortnow також є всеосяжним рецензентом "улюблених великих теорем TCS минулого десятиліття". Gasarch здійснив корисні / всеосяжні опитування громад на P =? NP.

Ще один добре прочитаний, ведучий / вражаючий блог - Aaronsons "Shtetl optimized". Ааронсон іноді пише більш довгі нариси, досить пристрасно часом, а іноді може бути досить самовпевненим і полемічним. розділи коментарів дуже живі та періодично напружені. сильний фокус на квантових обчисленнях.

• Shtetl Оптимізований . автор квантових обчислень з часів Демокрита

Він більше не активний, але блог Михайла Патраску " WebDiarios de Motocicleta " - один з моїх улюблених за весь час. Настійно рекомендується особливо новим для спільноти TCS.

Один з моїх улюблених за весь час глибоких публікацій та дивовижної різноманітності контенту - Neighborhood of Infinity . Він здебільшого зосереджується на теорії типів і категорій та застосунках Haskell, але програми завжди настільки креативні, а пояснення настільки чіткі, що я вважаю, що хочу прочитати це, незважаючи на те, що це не моя область знань.

Я рекомендую блог професора CS Клер Матьє. У неї є чимало цікавих постів про академії та CS. У кількох статтях під маркою ` TCS 'є неофіційні описи технічних результатів.