Les cyclistes à londre claquent plus de fric en shopping que les bagnoleux ;)

Un compilateur C pour faire de la vérification formel. Vise les architectures PowerPC, ARM, x86 et Risc-V

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 !

C'est bien d'être informé ;)

Philips use verilator

Un crowdfunding pour produire une carte de dev à base de microprocesseur RiscV dual core.

Mais alors complètement dingue !

windows me rend fou