5 private links
Un fabricant de fpga que je ne connaissait pas !
Introduction à la preuve formel pour le verilog
« Les résultats ont montré que les automobilistes avaient tendance à le dépasser de plus près lorsqu’il portait un casque. De tels dépassements dangereux peuvent conduire à des collisions, des collisions qui peuvent entraîner des blessures et la mort – et pas à ceux qui sont coupables de ces dépassements dangereux.»
...
« et pas à ceux qui sont coupables de ces dépassements dangereux.»
Une clef usb «coprocesseur à réseau de neurones».
hé bé c'est pas jojo la mairie de Toulouse.
Les vidéos de la Chisel Community Conference (et non Chaos Communication Camp ;)
Les cyclistes à londre claquent plus de fric en shopping que les bagnoleux ;)
Philips use verilator
Un crowdfunding pour produire une carte de dev à base de microprocesseur RiscV dual core.
Soutien fiscal et symbolique à l’abandon de la voiture, un gain individuel et collectif – carfree.fr
Une idée originale, pourquoi pas.
Mais ça n'enlève pas l’intérêt des taxes à mon sens. Par contre il y aurai un vrai message envoyé à ceux qui paye ses taxes -> c'est pour financer ceux qui n'ont pas de voiture !
Mais alors complètement dingue !
windows me rend fou
Un compilateur C pour faire de la vérification formel. Vise les architectures PowerPC, ARM, x86 et Risc-V