Un truc à la con sur debian-like, /usr/bin/sh ne pointe pas sur bash :

ls -lha /bin/sh
lrwxrwxrwx 1 root root 4 janv. 24 2017 /bin/sh -> dash

Pour pointer sur bash il faut faire un :

$ sudo dpkg-reconfigure dash

Et répondre non.

$ ls -lha /bin/sh
lrwxrwxrwx 1 root root 4 juin 28 15:27 /bin/sh -> bash

Cette commande est à relancer après un dist-upgrade, on n'y pense pas toujours.

Certe, dash est plus petit (100k au lieu de 900k ...) et plus rapide. Mais il ne respecte pas les standard de bash, du coup ça génère tout un tas de bug pénibles dans les logiciels «third-party» non libre, notamment pour les FPGA.

Coude, mais 100€ c'est un peu cher quand même.

Une horloge tétris sympa ;)

Y a du niveau !

Programmation génétique d'un FPGA ... configuré dans un autre FPGA.
L'idée est de générer une population de bitstream que l'on test sur un FPGA, et que l'on fait évoluer par la suite.
L'étape de synthèse et surtout de configuration prenant beaucoup de temps sur un FPGA moderne, ils ont choisi un vieux FPGA qu'ils ont synthétisé dans un FPGA moderne !
De cette manière ils ont la main sur la configuration qu'ils peuvent accélérer.