Sérieux, nan mais stop on arrête c'est bon !
Vous voulez pas vous poser et vous calmer mesdames et messieurs les politiques ?
La news de linuxfr n'est pas un manuel, c'est un poisson d'avril !
https://linuxfr.org/news/mise-en-place-du-port-du-masque-avec-qrcode-d-identification

Beuh ... un programme Python pour router son PCB !

Ça m'arrive régulièrement : pour sortir d'un vim bloqué par un Ctrl-S faire simplement Ctrl-Q ;)

Plein d'exemple de verif formel en VHDL avec symbiYosys.

À noter en passant que GHDL a un support (partiel) du PSL.

Plein de script python3 utiles pour le développeur vlsi.

« L’orthographe servira à distinguer les gens de lettres des ignorants et des simples femmes»

Un simple BFM avec cocotb

en dix lignes de Latex, tout simplement.

Débattre (en public) avec l'extrême droite c'est comme jouer aux échecs avec un pigeon: Tu as beau être très fort aux échecs, il arrive, renverse les pièces, chie sur l’échiquier et s’en va avec l’air supérieur comme s’il avait gagné.

J'adore ce slogan, tellement con.

Un projet d'allier Chisel avec UVM
Pour les explications c'est par là : https://github.com/chiselverify/documentation/tree/master/presentations

Et pendant ce temps à Colmar le slogan est «Colmar on s'y gare» !

«Choquée, la conductrice du véhicule impliqué devait être entendue par les militaires.»

Pauvre conductrice, on espère que tous ces voyous de cyclistes prendrons de la prison bien sûr ...

«Quand on voit qu’une grande marque américaine comme Jeep arrive à transformer un génocide en succès commercial avec leur Cherokee. Moi j’ai hâte que la Chine lance ses précommandes pour un SUV Ouïghours.»

PDKMaster, le PDK (pour la conception d'ASIC) open-source bricolé par un gus dans son garage !

Cette carte est TRÈS ressemblante à là quickfeather. Sans doute une reprise du schéma Kicad fournie par QuickLogic.
Reprise qu'ils encouragent.

Je VEUX un chèque de Meurice avec ma part de redevance ;)

Un bon tutoriel sur la Vérification Formelle