¿Qué blogs de CS deberían leer todos?

Muchos investigadores y grupos de investigación de primer nivel en informática) mantienen blogs activos que nos mantienen actualizados sobre las últimas investigaciones en los campos de interés de los autores. En la mayoría de los casos, las publicaciones de blog son más fáciles de entender que los documentos formales, porque omiten la mayoría de los detalles técnicos sangrientos y enfatizan la intuición (que los documentos generalmente omiten).

Por lo tanto, sería útil tener una lista de blogs recomendados, en el mismo espíritu que otras listas de recursos recomendados:

• ¿Qué documentos deberían leer todos?
• ¿Qué libros deberían leer todos?
• ¿Cuáles son los libros recientes de TCS cuyos borradores están disponibles en línea?
• ¿Qué videos deberían ver todos?
• ¿Qué apuntes deberían leer todos?

Por supuesto, uno puede seguir el excelente agregador de blogs de Theory of Computing , pero esa lista es bastante abrumadora, especialmente para los principiantes.

Destaque por qué los recomienda.

Puede que no sea una sorpresa, pero existe una superposición sustancial entre los usuarios avanzados de preguntas y respuestas y la blogosfera. Incluso tuvimos un blog dedicado por un tiempo, con algunas publicaciones geniales, pero quedó en desuso. Sin embargo, pensé en enumerar algunos de los blogs administrados por nuestros 38 principales usuarios que han tenido nuevas publicaciones desde 2012:

• 0xDE de David Eppstein : teoría de grafos y algoritmos.
• The Geomblog de Suresh Venkatasubramanian : geometría computacional, algoritmos y debates sobre la vida académica.
• Panqueques 3D de Jeff Erickson Ernie : topología computacional y anuncios de la comunidad.
• El dominio semántico de Neel Krishnaswami : lenguajes de programación, lógica y lenguajes formales.
• Pensamientos cuantificados de Joe Fitzsimons : información cuántica y computación, física teórica y construcción de la comunidad.
• Andrej Bauer's Matemáticas y Computación : HoTT, lógica, teoría de categorías y filosofía de las matemáticas.
• Restricciones de András Salamon : complejidad computacional a través del lente de la satisfacción de restricciones.
• Marzio De Biasi ... casi 42 ... : complejidad computacional resaltada a través de NP-completitud y rompecabezas.
• Shtetl-Optimized de Scott Aaronson : complejidad computacional, con un enfoque principal en computación cuántica, filosofía, humor y desarrollo comunitario.
• La sala de dudas de Lev Reyzin : teoría y práctica del aprendizaje automático y la vida académica.
• La mano invisible de Turing de Noam Nisan : economía computacional, teoría algorítmica de juegos y desarrollo comunitario.
• La vanidad de las vanidades de Sariel Har-Peled , todo es vanidad : geometría computacional y comentarios sociales y académicos generales.
• My Brain is Open de Shiva Kintali : complejidad computacional, combinatoria poliédrica, algoritmos y teoría de grafos.
• Grupo de teoría, evolución y juegos de Artem Kaznatcheev : teoría evolutiva de juegos y lente algorítmica sobre evolución, aprendizaje y filosofía.
• Zona de juegos finita de Hsien-Chih Chang : blog bilingüe sobre complejidad computacional, lenguajes formales y matemáticas concretas.
• Nanoexplicaciones de Aaron Sterling : computación distribuida, quimioinformática y comentarios sociales generales.
• Complejidad computacional de Lance Fortnow y Bill Gasarch : Complejidad computacional y otras cosas divertidas en matemáticas e informática.
• Pensamientos de Emanuele Viola : complejidad computacional y comentarios generales - comenzó el verano de 2014.

Las preferencias de blog tienden a ser muy personales en contraste con otros recursos TCS a veces definitivos, por ejemplo, libros. sin embargo, hay dos blogs TCS destacados / destacados / populares que ya se han citado, animados y muy activos durante muchos años, con algunos antecedentes / perfiles. ambos blogs tienen índices extensos a otros blogs TCS líderes. tanto expertos / maestros / líderes en TCS con muchos artículos publicados, y muy involucrados en la promoción de TCS a la comunidad en general, por ejemplo, a través de libros populares. tenga en cuenta que ambos también se han unido / contribuido a tcs.se. tal vez no por casualidad (y en cierto contrastea este sitio) no se asustan y ambos están muy interesados ​​en discutir problemas abiertos clave o famosos en el campo, por ejemplo, P =? NP. Los comentarios de blog son abiertos y una parte interesante / diversa de los blogs. rutinariamente cubren pruebas importantes en el campo. Lipton estuvo muy involucrado con la revisión ciberespacial por pares del ataque de Deolalikar hace años.

• El blog RJ Lipton P =? NP de Lipton también escrito por Regan. autor de People, Problems & Proofs y The P = NP question y la carta perdida de Godel . ( perfil tcs.se ). Lipton también es un experto en matemáticas profundas, por ejemplo, teoría de números, teoría de grupos, etc., y lo vincula regularmente a TCS.

• Complejidad computacional de Fortnow con contribuciones de Gasarch. autor de Golden Ticket, P, NP y la búsqueda de lo imposible . ( perfil tcs.se ). Fortnow también es un crítico exhaustivo de los "grandes teoremas de TCS favoritos de la última década". Gasarch ha realizado encuestas comunitarias útiles / integrales sobre P =? NP.

otro blog bien leído, destacado / llamativo es Aaronsons "Shtetl optimized". Aaronson a veces escribe ensayos más largos, a veces con mucha pasión, y a veces puede ser bastante obstinado y polémico. Las secciones de comentarios son muy animadas y ocasionalmente intensas. Un fuerte enfoque en la computación cuántica.

• Shtetl optimizado . autor de la computación cuántica desde Demócrito

Ya no está activo, pero el blog " WebDiarios de Motocicleta " de Mihai Patrascu es uno de mis favoritos de todos los tiempos. Muy recomendable especialmente para aquellos nuevos en la comunidad TCS.

Uno de mis favoritos de todos los tiempos para publicaciones profundas y una increíble diversidad de contenido es Neighborhood of Infinity . Se centra principalmente en la teoría de tipos y categorías y las aplicaciones de Haskell, pero las aplicaciones son siempre tan creativas y las explicaciones tan claras que me da ganas de leerlo a pesar de que no es mi área de especialización.

Recomiendo el blog de un profesor de CS de Claire Mathieu. Ella tiene muchas publicaciones interesantes en la academia y CS. Algunos artículos bajo la etiqueta ' TCS ' tienen descripciones informales de resultados técnicos.