Working!!, estilizado como WORKING!!, es una serie de manga yonkoma escrita e ilustrada por Karino Takatsu. Comenzó a publicarse en la edición de enero de 2005 de la revista seinen Young Gangan de Square Enix. En noviembre de 2005 se publicó el primer volumen y hasta la fecha se han publicado 9 volúmenes. Entre 2007 y 2009 se publicaron tres CD Drama de parte de Square Enix con guiones escritos por Shōgo Mukai. Entre abril y junio de 2010 se transmitió una adaptación al anime de 13 episodios pro
Xavier Leroy, creador de OCaml, habla sobre verificación formal y futuro de los lenguajes
Xavier Leroy, investigador francés del Inria y creador del lenguaje de programación OCaml, protagoniza una entrevista en profundidad en el podcast The Peterman Pod, conducido por Ryan Peterman. El episodio, de una hora y veinticuatro minutos, recorre la trayectoria de Leroy en compiladores, lenguaje