«Application note» sur la méthode formelle par YosysHQ

La présentation a été compliquée, mais elle sera sans doute en ligne prochainement.
Pour avoir les diapo c'est par là.

Cette année le SSTIC est gratuit et en ligne. Pas besoin de subir le crachin breton ;)

sympa

Un bien bel effet «flamby» en perspective.

voila qui fait écho à l'«injure publique» de Darmanin.

Pour faire des diagrammes facilement pour sa doc ?

Un pointeur laser + une camera avec un bon zoom = un bon capteur de vibrations ou de son.

Dites les Bretons, notez bien que cette décision provient de la RÉGION. Pensez-y au moment de glisser votre bulletin dans l'urne le mois prochain.

Ça y est, la première carte avec un processeur chinois Allwinner D1 single-core XuanTie C906 64-bit RISC-V est sortie.
Bon on est loin des 12.5$ annoncé pour le module promis par sipeed.
https://linuxfr.org/users/martoni/journaux/un-risc-v-sous-linux-pour-12-50

Par contre c'est plus du vaporware vu qu'on peu dès a présent l'acheter (99$). Par contre c'est le même ordre de grandeur de prix que la raspberrypi.

Comment «plier» un filtre FIR pour économiser des blocs multiplieurs dans un FPGA.

Elle a l'air très sympa cette petite console portable.

Les tarés anti-vax de la CRIIGEN ont piqué le nom de domaine «vitemadose.fr» ...

Tellement vrai : «Les règles d'ajustement du temps à travers le monde sont plus politiques que rationnelles, changent fréquemment, et il n'y a pas de standard qui vaille pour toute application, en dehors d'UTC.»

N'empêche, quand on suis le liens de la secte des anthroposophes ça fait flipper. Surtout quand on voit que le manque de recule des journalistes qui en parle (sur france inter notamment).