Quais blogs de CS todos deveriam ler?

Muitos pesquisadores de ponta em ciência da computação e grupos de pesquisa) mantêm blogs ativos que nos mantêm atualizados sobre as pesquisas mais recentes nos campos de interesse dos autores. Na maioria dos casos, as postagens do blog são mais fáceis de entender do que os documentos formais, porque omitem a maioria dos detalhes técnicos sangrentos e enfatizam a intuição (que geralmente omitem).

Portanto, seria útil ter uma lista de blogs recomendados, no mesmo espírito que outras listas de recursos recomendados:

• Que jornais todos deveriam ler?
• Quais livros todos deveriam ler?
• Quais são os livros recentes do TCS cujos rascunhos estão disponíveis online?
• Quais vídeos todos deveriam assistir?
• Que notas de aula todos deveriam ler?

Obviamente, pode-se seguir a excelente Teoria da Computação do Agregador de Blogs , mas essa lista é bastante esmagadora, especialmente para iniciantes.

Destaque por que você os recomenda.

Pode não ser surpresa, mas existe uma sobreposição substancial entre os usuários avançados de perguntas e respostas da história e a blogosfera. Até tivemos um blog dedicado por um tempo, com ótimas postagens, mas ele caiu em desuso. No entanto, pensei em listar alguns dos blogs administrados por nossos 38 principais usuários que têm novas postagens desde 2012:

• 0xDE de David Eppstein : teoria de grafos e algoritmos.
• O Geomblog de Suresh Venkatasubramanian : geometria computacional, algoritmos e discussões da vida acadêmica.
• Panquecas 3D de Jeff Erickson, Ernie : topologia computacional e anúncios da comunidade.
• Domínio Semântico de Neel Krishnaswami : linguagens de programação, lógica e linguagens formais.
• Pensamentos Quantizados de Joe Fitzsimons : informação e computação quânticas, física teórica e construção de comunidades.
• Matemática e computação de Andrej Bauer : HoTT, lógica, teoria das categorias e filosofia da matemática.
• Restrições de András Salamon : complexidade computacional através das lentes da satisfação de restrições.
• Marzio De Biasi's ... quase 42 ... : complexidade computacional destacada por NP-completeness e puzzles.
• Shtetl-Optimized de Scott Aaronson : complexidade computacional, com foco principal em computação quântica, filosofia, humor e construção de comunidades.
• Quarto para a dúvida de Lev Reyzin : teoria e prática de aprendizado de máquina e vida acadêmica.
• Mão Invisível de Noam Nisan, Turing : economia computacional, teoria algorítmica dos jogos e construção de comunidades.
• Vaidade das vaidades de Sariel Har-Peled , tudo é vaidade : geometria computacional e comentários sociais e acadêmicos gerais.
• My Brain is Open, de Shiva Kintali : complexidade computacional, combinatória poliédrica, algoritmos e teoria de grafos.
• Grupo de Teoria, Evolução e Jogos de Artem Kaznatcheev : teoria evolutiva dos jogos e lentes algorítmicas sobre evolução, aprendizado e filosofia.
• Parque Finito de Hsien-Chih Chang : blog bilíngue sobre complexidade computacional, linguagens formais e matemática concreta.
• Nanoexplicações de Aaron Sterling : computação distribuída, quimioinformática e comentários sociais em geral.
• Lance Fortnow e Complexidade Computacional de Bill Gasarch : Complexidade Computacional e outras coisas divertidas em matemática e ciências da computação.
• Pensamentos de Emanuele Viola : complexidade computacional e comentários gerais - iniciados no verão de 2014.

as preferências do blog tendem a ser altamente pessoais, em contraste com outros recursos do TCS às vezes definitivos, como livros. no entanto, existem dois blogs de destaque / líderes / populares do TCS já citados, animados e altamente ativos por muitos anos, com alguns antecedentes / perfis. os dois blogs têm índices extensivos para outros blogs principais do TCS. ambos especialistas / professores / líderes no TCS com muitos artigos publicados e muito envolvidos na promoção do TCS para a comunidade em geral, por exemplo, através de livros populares. note que ambos também se juntaram / contribuíram para tcs.se. talvez não por coincidência (e em algum contrastepara este site) eles não se esquivam e estão bastante interessados ​​em discutir problemas-chave ou famosos em aberto no campo, por exemplo, P = NP. os comentários do blog são abertos e uma parte interessante / diversificada dos blogs. eles cobrem rotineiramente provas importantes em campo. Lipton esteve intimamente envolvido com a revisão ciberespacial do ataque de Deolalikar anos atrás.

• RJ Lipton P =? NP blog de Lipton também escrito por Regan. autor de People, Problems & Proofs e The P = NP question e a carta perdida de Godel . ( perfil tcs.se ). Lipton também é um especialista em matemática profunda, por exemplo, teoria dos números, teoria dos grupos, etc. e vincula-a regularmente ao TCS.

• complexidade computacional da Fortnow com contribuições da Gasarch. autor de Golden Ticket, P, NP e a busca pelo impossível . ( perfil tcs.se ). Fortnow também é um revisor abrangente dos "grandes teoremas do TCS favoritos da última década". Gasarch fez pesquisas comunitárias úteis / abrangentes sobre P =? NP.

outro blog bem lido, líder / marcante é Aaronsons "Shtetl otimizado". Às vezes, Aaronson escreve ensaios mais longos, às vezes apaixonadamente, e às vezes pode ser bastante opinativo e polêmico. as seções de comentários são muito animadas e ocasionalmente intensas. um forte foco na computação quântica.

• Shtetl otimizado . autor de computação quântica desde Demócrito

Ele não está mais ativo, mas o blog " WebDiarios de Motocicleta " de Mihai Patrascu é um dos meus favoritos de todos os tempos. Altamente recomendado especialmente para quem é novo na comunidade do TCS.

Um dos meus favoritos de todos os tempos para postagens profundas e incrível diversidade de conteúdo é o Neighborhood of Infinity . Ele se concentra principalmente na teoria de tipos e categorias e nas aplicações de Haskell, mas as aplicações são sempre tão criativas e as explicações tão claras que me vejo querendo lê-las, apesar de não ser minha área de especialização.

Eu recomendo o Blog de um professor de CS de Claire Mathieu. Ela tem muitos posts interessantes na academia e no CS. Alguns artigos sob o rótulo ` TCS 'têm descrições informais de resultados técnicos.