Quels blogs CS tout le monde devrait lire?

De nombreux chercheurs et groupes de recherche en informatique de premier plan maintiennent des blogs actifs qui nous tiennent au courant des dernières recherches dans les domaines d’intérêt des auteurs. Dans la plupart des cas, les articles de blog sont plus faciles à comprendre que les documents officiels, car ils omettent la plupart des détails techniques sanglants et mettent l’accent sur l’intuition (que les articles omettent généralement).

Il serait donc utile d’avoir une liste de blogs recommandés, dans le même esprit que d’autres listes de ressources recommandées:

• Quels papiers tout le monde devrait-il lire?
• Quels livres tout le monde devrait-il lire?
• Quels sont les récents ouvrages du SDC dont les brouillons sont disponibles en ligne?
• Quelles vidéos tout le monde devrait regarder?
• Quelles notes de cours tout le monde devrait-il lire?

Bien sûr, on peut suivre l'excellent Blog Aggregator de Theory of Computing , mais cette liste est plutôt lourde, surtout pour les débutants.

Veuillez souligner pourquoi vous les recommandez.

Cela n’a rien de surprenant, mais il existe un important chevauchement entre les utilisateurs expérimentés de Q & R et la blogosphère. Nous avons même eu un blog dédié pendant un certain temps, avec quelques bons articles mais il est tombé en désuétude. Cependant, je pensais énumérer certains des blogs de nos 38 principaux utilisateurs qui ont publié de nouveaux messages depuis 2012:

• 0xDE de David Eppstein : théorie des graphes et algorithmes.
• The Geomblog de Suresh Venkatasubramanian : géométrie numérique , algorithmes et discussions sur la vie universitaire.
• Crêpes 3D Ernie de Jeff Erickson : topologie informatique et annonces de la communauté.
• Domaine sémantique de Neel Krishnaswami : langages de programmation, logique et langages formels.
• Pensées quantifiées de Joe Fitzsimons : information et calcul quantiques, physique théorique et construction de communautés.
• Mathématiques et calcul d' Andrej Bauer : HoTT, logique, théorie des catégories et philosophie des mathématiques.
• Les contraintes d' András Salamon : la complexité de calcul sous l'angle de la satisfaction de la contrainte.
• Marzio De Biasi's ... près de 42 ... : complexité informatique mise en évidence par la NP-complétude et les énigmes.
• Shtetl-Optimized : la complexité informatique de Scott Aaronson , principalement axée sur l'informatique quantique, la philosophie, l'humour et la construction de communautés.
• Room for Doubt de Lev Reyzin : théorie et pratique de l'apprentissage automatique et de la vie universitaire.
• La main invisible de Turing de Noam Nisan : économie informatique, théorie des jeux algorithmique et construction de communautés.
• Vanity of Vanities de Sariel Har-Peled , tout est Vanity : géométrie informatique, et commentaire social et académique général.
• Mon cerveau est ouvert de Shiva Kintali : complexité informatique, combinatoire polyhédrale , algorithmes et théorie des graphes.
• Groupe Théorie, évolution et jeux de Artem Kaznatcheev : théorie des jeux évolutive et optique algorithmique sur l'évolution, l'apprentissage et la philosophie.
• Finite Playground de Hsien-Chih Chang : blog bilingue sur la complexité informatique, les langages formels et les mathématiques concrètes.
• Les Nanoexplications d' Aaron Sterling : calcul distribué, chimio-informatique et commentaire social général.
• Lance Fortnow et la complexité informatique de Bill Gasarch : complexité informatique et autres éléments amusants en mathématiques et en informatique.
• Emanuele Viola's Thoughts : complexité informatique et commentaire général - débuté en été 2014.

Les préférences de blog ont tendance à être très personnelles contrairement à d'autres ressources parfois définitives du SDC, par exemple des livres. Cependant, il existe déjà deux blogs remarquables / principaux / populaires du SDC, animés et très actifs depuis de nombreuses années, avec quelques antécédents / profils. les deux blogs ont des index étendus à d'autres blogs de premier plan du SDC. experts / enseignants / dirigeants du SDC ayant publié de nombreux articles et très impliqué dans la promotion du SDC auprès de la communauté plus large, par exemple au moyen de livres populaires. Notez que les deux ont également rejoint / contribué à tcs.se. peut-être pas par hasard (et en contrastesur ce site) ils ne craignent pas et sont tous les deux très désireux de discuter de problèmes en suspens ou connus dans le domaine, par exemple P =? NP. Les commentaires de blogs sont ouverts et constituent une partie intéressante / diverse des blogs. ils couvrent régulièrement des preuves importantes sur le terrain. Lipton a été étroitement impliqué dans l'examen cyberspatial de l'attaque de Deolalikar il y a des années.

• Le blog RJ Lipton P =? NP de Lipton a également été écrit par Regan. auteur de People, Problems & Proofs et de la question P = NP et de la lettre perdue de Godel . ( profil tcs.se ). Lipton est également un expert en mathématiques profondes, telles que la théorie des nombres, la théorie des groupes, etc., et le relie régulièrement à la technologie TCS.

• complexité informatique de Fortnow avec des contributions de Gasarch. auteur de Golden Ticket, P, NP & la recherche de l'impossible . ( profil tcs.se ). Fortnow est également un critique complet des "grands théorèmes préférés du TCS de la dernière décennie". Gasarch a réalisé des sondages communautaires utiles et complets sur P =? NP.

Aaronsons "optimisé pour Shtetl" est un autre blog bien lu et qui a beaucoup de succès. Aaronson écrit parfois des essais plus longs, parfois passionnément, et peut parfois être assez avisé et polémique. les sections de commentaires sont très vives et parfois intenses. une forte concentration sur l'informatique quantique.

• Shtetl optimisé . auteur de l' informatique quantique depuis Démocrite

Il n'est plus actif, mais le blog " WebDiarios de Motocicleta " de Mihai Patrascu est l'un de mes favoris de tous les temps. Fortement recommandé, en particulier aux nouveaux venus dans la communauté du SDC.

Neighborhood of Infinity est l’un de mes préférés pour les posts en profondeur et pour la diversité incroyable de contenu . Il se concentre principalement sur la théorie des types et des catégories et les applications de Haskell, mais les applications sont toujours aussi créatives et les explications si claires que je me trouve obligé de le lire, même si ce n’est pas mon domaine de compétence.

Je recommande le blog d'un professeur CS par Claire Mathieu. Elle a publié de nombreux articles intéressants sur le monde universitaire et la société civile. Quelques articles sous l'étiquette " TCS " contiennent des descriptions informelles de résultats techniques.