Introduction aux tests formels

Heu non sebsauvage. Même si cette loi était inadmissible on est bien d'accord : il n'était pas légal pour un homme de tuer sa femme si elle le trompe.
L'homme était bien condamné ... mais avec une circonstance atténuante.
Le commentaire dessous est assez clair « On parle bien ici de circonstance atténuante et non de relaxe automatique. Les juges considéraient donc que le mari cocu avait commis un crime en ayant un jugement altéré par la passion. La peine était donc réduite mais pas forcément nulle. D'ailleurs, le "crime passionnel" n'existe pas en droit. Il s'agit d'une expression qui désigne le crime commis lors du flagrant délit d'adultère mais ce n'est pas une notion significative juridique. »

Documentation micropython

Un simulateur de DRAM en SystemC/TLM. Maintenant opensource

Corescore est un outils permettant d'intégrer des cœurs de processeurs SERV (RISC-V) dans un FPGA.
L'idée du corescore est de faire fonctionner le plus possible de  SERV en parallèle.

Ça donne une métrique pour comparer les FPGA.

Par exemple, pour la colorlight on peut mettre 55 cores : https://github.com/olofk/corescore/commit/f8935218df2a2c7190ddfc44beaaa7aa4b140d8c

La classe!
Jancovici sort une BD sur son thème habituel de la fin de pétrole et l'apocalypse climatique ... dessinée par l'auteur de Quai d'Orsay et Blueberry.

Il manquerait plus qu'on fasse de la pub télé pour les vélos !
Nan mais sans déconner, on vient de filer 8 milliards à la bagnole c'est pas pour qu'un constructeur de vélo même pas français vienne nous emmerder avec ses biclous d'écolo-bobo à la con.