Jakie blogi CS powinni wszyscy przeczytać?

Wielu wybitnych informatyków i grup badawczych prowadzi aktywne blogi, które informują nas o najnowszych badaniach w zakresie zainteresowań autorów. W większości przypadków posty na blogu są łatwiejsze do zrozumienia niż oficjalne dokumenty, ponieważ pomijają większość krwawych szczegółów technicznych i podkreślają intuicję (które zwykle pomijają).

Przydałoby się zatem mieć listę polecanych blogów, w tym samym duchu, co inne listy zalecanych zasobów:

• Jakie artykuły każdy powinien przeczytać?
• Jakie książki wszyscy powinni przeczytać?
• Jakie są najnowsze książki TCS, których wersje robocze są dostępne online?
• Jakie filmy wszyscy powinni oglądać?
• Jakie notatki do wykładu wszyscy powinni przeczytać?

Oczywiście można postępować zgodnie z doskonałą teorią agregowania blogów komputerowych , ale ta lista jest przytłaczająca, szczególnie dla początkujących.

Podkreśl, dlaczego je polecasz.

Może to nie być zaskoczeniem, ale między użytkownikami zaawansowanych pytań i odpowiedzi a blogosferą nakładają się na siebie. Przez pewien czas mieliśmy nawet dedykowanego bloga z kilkoma świetnymi postami, ale przestał on być używany. Pomyślałem jednak, że wymienię niektóre blogi prowadzone przez naszych 38 najlepszych użytkowników , którzy mieli nowe posty od 2012 r .:

• 0xDE Davida Eppsteina : teoria grafów i algorytmy.
• Suresh Venkatasubramanian za Geomblog : geometria obliczeniowa, algorytmy i dyskusje na temat życia akademickiego.
• Ernie's 3D Pancakes Jeffa Ericksona : topologia obliczeniowa i ogłoszenia społeczności.
• Domena semantyczna Neela Krishnaswamiego : języki programowania, logika i języki formalne.
• Joe Fitzsimons's Quantized Thoughts : informacje kwantowe i obliczenia, fizyka teoretyczna i budowanie społeczności.
• Andrej Bauer Mathematics and Computation : HoTT, logika, teoria kategorii i filozofia matematyki.
• Ograniczenia Andrása Salamona : złożoność obliczeniowa przez pryzmat satysfakcji z ograniczeń.
• Marzio De Biasi ... prawie 42 ... : złożoność obliczeniowa podkreślona przez NP-kompletność i zagadki.
• Scott Aaronson's Shtetl-Optimized : złożoność obliczeniowa, ze szczególnym uwzględnieniem komputerów kwantowych, filozofii, humoru i budowania społeczności.
• Pokój Lwa Reyzina dla wątpliwości : teoria i praktyka uczenia maszynowego oraz życie akademickie.
• Niewidzialna ręka Noama Nisana Turinga : ekonomia obliczeniowa, algorytmiczna teoria gier i budowanie społeczności.
• Marność marności Sariela Har-Peleda , wszystko to marność : geometria obliczeniowa i ogólny komentarz społeczny i akademicki.
• Shiva Kintali's My Brain is Open : złożoność obliczeniowa, wielościenna kombinatoryka, algorytmy i teoria grafów.
• Theem Art, Kaznatcheev's Theory, Evolution, and Games Group : ewolucyjna teoria gier i algorytmiczna soczewka ewolucji, uczenia się i filozofii.
• Hsien-Chih Chang's Finite Playground : dwujęzyczny blog o złożoności obliczeniowej, językach formalnych i konkretnej matematyce.
• Nanoplanacje Aarona Sterlinga : komputery rozproszone, chemoinformatyka i ogólne komentarze społeczne.
• Lance Fortnow i Bill Gasarch's Computational Complexity : Computational Complexity i inne zabawne rzeczy z matematyki i informatyki.
• Myśli Emanuele Violi : złożoność obliczeniowa i ogólny komentarz - rozpoczęły lato 2014 r.

preferencje blogów wydają się być bardzo osobiste w przeciwieństwie do innych, czasem ostatecznych zasobów TCS, np. książek. istnieją jednak dwa wybitne / wiodące / popularne blogi TCS, ożywione i bardzo aktywne od wielu lat, z pewnymi doświadczeniami / profilami. oba blogi mają obszerne indeksy do innych wiodących blogów TCS. zarówno eksperci / nauczyciele / liderzy TCS z wieloma opublikowanymi artykułami, i bardzo zaangażowani w promowanie TCS wśród szerszej społeczności, np. poprzez popularne książki. zauważ, że obaj również dołączyli / przyczynili się do tcs.se. może nie przypadkiem (i we przeciwieństwie do tegona tej stronie) nie stronią i oboje bardzo chętnie omawiają kluczowe lub znane otwarte problemy w terenie, np. P =? NP. komentarze na blogach są otwarte i stanowią interesującą / zróżnicowaną część blogów. regularnie rutynowo obejmują ważne dowody w terenie. Lipton był ściśle zaangażowany w cyberprzestępczą wzajemną ocenę ataku Deolalikar przed laty.

• Blog RJ Lipton P =? NP firmy Lipton również jest napisany przez Regana. autor People, Problems & Proofs and The P = NP question and Godel the lost list . ( profil tcs.se ). Lipton jest także ekspertem w głębokiej matematyce, np. Teorii liczb, teorii grup itp., I regularnie wiąże ją z TCS.

• złożoność obliczeniowa przez Fortnow z wkładów Gasarch. autor Golden Ticket, P, NP i poszukiwania niemożliwego . ( profil tcs.se ). Fortnow jest także wszechstronnym recenzentem „ulubionych wielkich twierdzeń TCS z ostatniej dekady”. Gasarch przeprowadził użyteczne / kompleksowe ankiety wśród społeczności na temat P =? NP.

innym dobrze czytanym, wiodącym / uderzającym blogiem jest Aaronsons „Shtetl zoptymalizowany”. Aaronson czasami pisze dłuższe eseje, czasem namiętnie, a czasem może być dość uparty i polemiczny. sekcje komentarzy są bardzo żywe i czasami intensywne. silny nacisk na informatykę kwantową.

• Zoptymalizowany sztetl . autor obliczeń kwantowych od czasów Demokryta

Nie jest już aktywny, ale blog „ WebDiarios de Motocicleta ” Mihai Patrascu jest jednym z moich ulubionych. Szczególnie polecany szczególnie tym, którzy są nowi w społeczności TCS.

Jednym z moich ulubionych ulubionych postów i niesamowitej różnorodności treści jest Neighborhood of Infinity . Koncentruje się głównie na teorii typów i kategorii oraz zastosowaniach Haskell, ale aplikacje są zawsze tak kreatywne, a wyjaśnienia tak jasne, że chcę je przeczytać, mimo że nie jest to moja specjalizacja.

Polecam blog profesora CS autorstwa Claire Mathieu. Ma wiele interesujących postów na temat środowiska akademickiego i CS. Kilka artykułów pod etykietą ` TCS 'zawiera nieformalne opisy wyników technicznych.