Monthly Shaarli

All links of one month in a single page.

July, 2020

Le minimum absolu à savoir sur Unicode
MicroPython language and implementation — MicroPython 1.12 documentation

Documentation micropython

DRAMSys

Un simulateur de DRAM en SystemC/TLM. Maintenant opensource

Getting started with Formal Verification - YouTube

Toute l'introduction pour apprendre à faire de la vérification formelle avec yosys.

Home - BioShield

C'est un fake, c'est pas possible autrement !

"Le monde sans fin", la BD de Christophe Blain et Jean-Marc Jancovici sur le climat - L'Express

La classe!
Jancovici sort une BD sur son thème habituel de la fin de pétrole et l'apocalypse climatique ... dessinée par l'auteur de Quai d'Orsay et Blueberry.

python rich console

Wow très beau rendu dans la console

Procès pour traite d'êtres humains en Champagne : jusqu'à 3 ans de prison ferme requis

Veuve Clicquot, le champagne des esclavagistes.

Bajram.com | La chaîne du livre comprend-elle la gravité de la situation… pour elle ?
https://fabienm.eu/shaarli/?uvof3A - OpenNews

J'aime beaucoup mon accusation de conflit d'intérêt :)

Pour 100 viols et tentatives, une seule condamnation : Dupond-Moretti a-t-il raison de douter de ce chiffre ? - Libération - Liens en vrac de sebsauvage

Heu non sebsauvage. Même si cette loi était inadmissible on est bien d'accord : il n'était pas légal pour un homme de tuer sa femme si elle le trompe.
L'homme était bien condamné ... mais avec une circonstance atténuante.
Le commentaire dessous est assez clair « On parle bien ici de circonstance atténuante et non de relaxe automatique. Les juges considéraient donc que le mari cocu avait commis un crime en ayant un jugement altéré par la passion. La peine était donc réduite mais pas forcément nulle. D'ailleurs, le "crime passionnel" n'existe pas en droit. Il s'agit d'une expression qui désigne le crime commis lors du flagrant délit d'adultère mais ce n'est pas une notion significative juridique. »

Magnetic Couplings Make This Lego Submarine Watertight | Hackaday
Google libère les ASIC avec un PDK open source en 130 nm | Front de Libération des FPGA
Sandia National Laboratories: Xyce Parallel Electronic Simulator (Xyce)

Un «ngspice like» opensource lui aussi. Optimisé pour être exécuté sur des architectures massivement parallèle.

Le navigateur de fichier de Jurassic Park existait vraiment !

Il y a même un clone pour linux : https://github.com/mcuelenaere/fsv

Get Started with K210: Hardware and Programming Environment - Latest open tech from seeed studio

Une intro au K210

What can MaixPy do? · MaixPy DOC

Quelques vidéos de ce que peut faire le MaixPy.

Corescore : qui a la plus grosse ?

Corescore est un outils permettant d'intégrer des cœurs de processeurs SERV (RISC-V) dans un FPGA.
L'idée du corescore est de faire fonctionner le plus possible de SERV en parallèle.

Ça donne une métrique pour comparer les FPGA.

Par exemple, pour la colorlight on peut mettre 55 cores : https://github.com/olofk/corescore/commit/f8935218df2a2c7190ddfc44beaaa7aa4b140d8c

Chromite-M SoC targeted for FPGAs | Blogs @ InCore Semi

Un gros core RV64 opensource pour les FPGA écrit en Verilog + BlueSpec

Le spot publicitaire de VanMoof interdit de diffusion en France - VanMoofLe spot publicitaire de VanMoof interdit de diffusion en France - VanMoof (communiqué de presse)

Il manquerait plus qu'on fasse de la pub télé pour les vélos !
Nan mais sans déconner, on vient de filer 8 milliards à la bagnole c'est pas pour qu'un constructeur de vélo même pas français vienne nous emmerder avec ses biclous d'écolo-bobo à la con.

Arrêt de la centrale de Fessenheim : happening pro-nucléaire devant les locaux de Greenpeace

ha ha ha ha ha !