Blogs d'informatique théorique
09 Nov 2017Hi everyone, the rest of this post is in French and is basically a list of TCS blogs, some in French, some in English.
Bonjour, aujourd’hui un billet sur les blogs d’informatique théorique. J’ai un peu taté le terrain auprès des doctorants de l’IRIF, pour savoir ce qui était lu et voilà une partie des résultats, avec de courtes descriptions qui n’engagent que moi. Je vous encourage à aller voir vous-même.
N’hésitez pas à m’envoyer des commentaires et suggestions (feuilloley ‘at’ irif ‘point’ fr).
The n-Category Café
Un blog collectif lu notamment par les catégoriciens. Une dizaines d’auteurs, dont John Baez (assez présent sur internet, notamment autour de l’open access et du rechauffement climatique, et qui a son propre blog, Azimut qui parle de beaucoup d’autres choses). Les contenus techniques sont axés catégories, mais avec des incursions dans d’autres domaines et des commentaires sur l’informatique en général.
Shtetl-Optimized
Un blog classique en quantique/complexité/nerdisme, par un nerd quantique complexe, Scott Aaronson. Des discussions techniques, mais surtout le suivi des (non-)avancées des ordinateurs quantiques, une partie de la politique américaine et des avis sur les trous noirs, la calculabilité, la conscience, et les problèmes d’Uber. Entre autres.
Gagalium
Le blog de la communauté Ocaml, avec du contenu très pointu, mais aussi des histoires qui peuvent interesser un plus large public, comme How I found a bug in Intel Skylake processors.
Windows on Theory
Blog à n mains, avec n grand, mais dont l’auteur principal est aujourd’hui Boak Barak. Il y est question de theoretical computer science (TCS), selon la compréhension américaine du terme : algorithmes, complexité, crypto. Beaucoup de contenus semi-techniques et de discussions sur la communauté, les conférences, l’enseignement, les nouveaux domaines, les postes.
La vie est mal configurée
Le blog de David Monniaux, prof au CNRS à Grenoble. Le plus souvent en français, avec un focus sur l’informatique en France (son enseignement, son image dans les médias etc.), sur la recherche en informatique en générale (processus de publication, vie de chercheur), et parfois de la vulgarisation de contenu technique.
Gödel’s lost letter and P=NP
Un autre blog de TCS à l’américaine, généraliste mais avec parfois des billets de vulgarisation de sujets vraiment techniques, avec souvent un nouveau point de vue, des questions ouvertes, des avis personels etc.. Par Richard Lipton et Ken Regan.
Lambda the ultimate
Entre le blog et le forum. Contenus techniques sur la théorie des langages de programmation.
Computational complexity
Et pour finir encore un blog dans le domaine algo/complexité, avec aussi des énigmes, des annonces de postes, des avis sur les technologies en général. Par Lance Fortnow et Bill Gasarch. En passant les blogs de ce type sont regroupés dans le Theory of Computing Blog Aggregator, avec les sections ArXiv pertinentes.
Et encore quelques uns
Deux blogs de groupes de thésards basés aux États-Unis : Not so Great Ideas in Theoretical Computer Science et Learning With Errors.
On finit avec des blogs de doctorants présents ou passés de l’IRIF : Drup de Gabriel Radanne, FiV0 de Finn Völkel (sur lequel la structure de semidoc est basée), et les blogs de Alessandro Luongo et de Théo Zimmermann.