Weekly Shaarli

All links of one week in a single page.

Week 46 (November 11, 2019)

Physique– Maison de la Science
Developing open-source FPGA tools | Hacker News
Getting started with Formal Verification Part 1: Introduction and Solvers - YouTube

Une série de vidéo sur la vérification formelle en Verilog.

El Correo Libre Issue 21 - LibreCores - Medium

Cool

Installation et prise en main de Kodi, le meilleur mediacenter de la galaxy - Le Geek du Cerisier

Je crois avoir trouvé notre cadeau de noël commun ;)

DIY Analog resource monitor for your PC – Dangerous Prototypes

j'adore. Un moniteur de ressource du pc avec des «afficheurs» à aiguilles.

Open Source Formal Verification in VHDL - Pepijn de Vos - ORConf 2019 - YouTube
thumbnail
Conception d'un circuit intégré avec QFlow - LinuxFr.org

Super article de killruana

GW1NRF-LV4B | GOWIN Semiconductor Corp.

Le FPGA avec Bluetooth et microcontroleur intégré

Retour de Conférence ORConf 2019 | Les vidéos !

Les vidéos sont disponibles

Off-Grid Cyberdeck! The Raspberry Pi Recovery Kit — BACK7.CO

Sympa l'ordinateur portable vintage-waterproof.
Et ... notez que le clavier est ... ORTHOGONAL \o/