Monthly Shaarli

All links of one month in a single page.

February, 2022

Guest Lecture - Formal Verification in Chisel (Kevin Laeufer) - YouTube

Un cours sur la preuve formelle avec Chisel. Par l'auteur de la librairie.

Newsletters spam test by mail-tester.com

Tester votre mailer pour comprendre pourquoi vous êtes régulièrement noté en SPAM.
Il suffit d'envoyer un mail à l'adresse donnée pour que le site établisse un rapport sur votre système d'envois de mail.

GbdevWiki
CLEAR, production du premier microcontrôleur avec un eFPGA complètement open-source | Front de Libération des FPGA
Gameboy Switch Formicapunk - YouTube

Grace à la carte TangNano4K munie d'un FPGA de chez gowin, ajouter une manette et un grand écran HDMI à votre GameBoy.
En plug&play, comme la switch ;)

CLEAR is an open-source FPGA ASIC provided by efabless' chipIgnite - CNX Software

CLEAR sera-t-il le premier FPGA open source ?

Meta menace de ne plus proposer Facebook et Instagram en Europe - Le Soir

QUE DE LA GUEULE !

convert web pages to Kindle (mobi), ePub, and PDF files. :: Txtpaper
Async Rust vs RTOS showdown! - Blog - Tweede golf
thumbnail

Rust vs C sur un microcontrôleur.

Un nouvel accident mortel relance le débat sur la chasse
thumbnail

La promeneuse n'avait même pas de gilet par-balle! Franchement, elle ne l'a pas un peu cherché ?
Ça c'est comme les cyclistes sans casque, faut pas venir se plaindre après.

ovh/sv2chisel: (System)Verilog to Chisel translator

Un convertisseur SystemVerilog vers Chisel.

GitHub - sekigon-gonnoc/Pico-PIO-USB: USB host/device implementation using PIO of raspberry pi pico (RP2040).

Un port usb programmé avec le PIO de la RP2040

Zoom sur les circuits reprogrammables eFPGA de Menta auxquels la BEI a accordé 7,5 millions d’euros

«Ils sont trois acteurs dans le monde à produire ce type de circuits intégrés»

Toi aussi, apprend à compter jusqu'à trois avec le magazine en ligne IT :
Voici une liste des acteurs du FPGA dans le monde, compte les :

  • Xilinx/AMD
  • Altera/Intel
  • Lattice
  • Microsemi
  • Gowin
  • Renesas
  • NanoXplore
  • Efinix
  • Menta (le sujet de l'article)
  • Flex-Logic
  • Anlogic
  • CologneChip
  • QuickLogic
Human brain cells grown in a petri dish learn to play Pong faster than AI | Daily Mail Online

Je ne sais pas quoi penser de cette information ...
Un clonage de neurone Humain qui apprend à jouer à pong plus vite qu'une IA «artificielle».

France : Bugey : Pollution du Rhône à l’ammoniaque

Magnifique ce communiqué :)
Ce qu'ils oublient de dire c'est qu'en plus de l’ammoniaque il y a du monoxyde de dihydrogène également dans ces rejets !

Le pillage de la communauté des logiciels libres, par Mathieu O'Neil, Laure Muselli, Fred Pailler & Stefano Zacchiroli (Le Monde diplomatique, janvier 2022) - Liens en vrac de sebsauvage

Sebsauvage président !
:)

Print-a-Sketch Turns Any Surface Into A Printed Circuit Board | Hackaday

J'en ai rêvé, ils l'ont fait.

Une interview dans Les Echos sur le Plan de Transformation de l’Economie Française – Jean-Marc Jancovici

«Et nous devrons faire ces changements ensemble. Car l’un des blocages vient du fait que celui qui agit seul se sépare des autres, abandonne l’un des codes qui fondent le collectif.»

Part 1: Digital filters in FPGAs - VHDLwhiz
thumbnail