Daily Shaarli

All links of one day in a single page.

October 5, 2020

mixedsim Verilog to ngspice synthesis -> simulation

Synthèse Verilog vers des primitives Spice permettant de faire de la simulation Analogique de son design !

Very Basic Introduction to Formal Verification - Diode Zone
Devenir technolucide - Standblog

«De l’autre, des gens, au mieux qualifiés de techno-critiques (quand on est de leur avis) ou de tas de noms d’oiseaux (bobos, khmers verts, mangeurs de quinoa, amish, hommes des cavernes etc.).»

Cleaning Up The Yard With AI — Avian Intelligence | Hackaday

Laissez tomber la robotique, dresser des oiseaux pour faire le boulot !