Monthly Shaarli

All links of one month in a single page.

November, 2018

GAPUINO GAP8 Developer Kit - Other for Development Platforms - Seeed Studio

dans ma liste de noël ;)

INSOLITE. Le jour où j’ai (presque) aimé faire les courses à Nantes

FInalement le mouvement des gilets jaunes est très intéressant. Il permet à plein de gens de prendre conscience ;)

New FPGAs… From China? – EEJournal
Formal Verification with SymbiYosys and Yosys-SMTBMC
Learn how to classify images with TensorFlow | Opensource.com
La Mairie contre la Vélonomie

hé bé c'est pas jojo la mairie de Toulouse.

Cyclists Spend 40% More In London's Shops Than Motorists
thumbnail

Les cyclistes à londre claquent plus de fric en shopping que les bagnoleux ;)

Windows 10 et les partages Samba

Mais alors complètement dingue !

CompCert - Main page

Un compilateur C pour faire de la vérification formel. Vise les architectures PowerPC, ARM, x86 et Risc-V

Verilog Beginner's Tutorial
La guerre (commerciale), grosse malheur ! | Les Indégivrables… mais pas qu'eux
Git: convention de nommage pour des commits parfaits - Buzut
Videos and slides from ORConf 2018 now available!

Cool, il faut que j'aille voir ça.

17 novembre | Les Indégivrables… mais pas qu'eux
L'essence moins chère qu'il y a 40 ans. Vrai ou faux ?
Emile, on bande ?: La recherche, c'est aussi avoir le sentiment d'être un imposteur...
Serial Transfer - ArmadeusWiki

rz -bZ
Ctrl+A
(zmodem)

OLL

;)

The faster you unlearn OOP, the better for you and your software — Dawid Ciężarkiewicz aka `dpc`

Intéressant
«in OOP there's always a room for more abstractions.»

Survol des outils de debug – Linux Embedded
GOWIN Semiconductor Corp.

Un fabricant de fpga que je ne connaissait pas !

Message aux gilets jaunes
Le casque vélo est-il dangereux? – carfree.fr

« Les résultats ont montré que les automobilistes avaient tendance à le dépasser de plus près lorsqu’il portait un casque. De tels dépassements dangereux peuvent conduire à des collisions, des collisions qui peuvent entraîner des blessures et la mort – et pas à ceux qui sont coupables de ces dépassements dangereux.»
...

« et pas à ceux qui sont coupables de ces dépassements dangereux.»

verilator_philips_internals

Philips use verilator

Soutien fiscal et symbolique à l’abandon de la voiture, un gain individuel et collectif – carfree.fr

Une idée originale, pourquoi pas.
Mais ça n'enlève pas l’intérêt des taxes à mon sens. Par contre il y aurai un vrai message envoyé à ceux qui paye ses taxes -> c'est pour financer ceux qui n'ont pas de voiture !

Hausse des carburants: la carte des blocages prévus le 17 novembre – carfree.fr

C'est bien d'être informé ;)

Sodor Design Doc

A non official risc-v-sodor documentation

Lessons learned while formally verifying the ZipCPU - Dan Gisselquist - ORConf 2018 - YouTube
Creating a QR Code step by step
Getting started with Zephyr RTOS V1.13 on Risc-V
Pour installer son siège berlinois, Google se voit proposer l’ancien QG de la Stasi

Voila qui serait plus cohérent ;)

J'AI TESTE LE "CHIPS MAKER"

Saviez vous qu'il était possible de faire des composants dans son four.
(c'est vraiment ce que j'ai cru en cliquant sur le lien ...)

Attention utopie - Standblog
EG4(55nm) - 上海安路信息科技有限公司

Encore un fabricant chinois de FPGA que je ne connaissais pas !

Transports - La maire de Calais annonce la gratuité des bus d’ici un an
My first experience with Formal Methods

Introduction à la preuve formel pour le verilog

NCSM2485.DK Intel | Mouser France

Une clef usb «coprocesseur à réseau de neurones».

CCC 2018 - YouTube

Les vidéos de la Chisel Community Conference (et non Chaos Communication Camp ;)

Partage des photos sur le réseau local avec sa raspberry-pi | Mon petit coin de oueb
Sipeed Launches Crowdfunder for RISC-V MAIX AI Dev Boards - AB Open

Un crowdfunding pour produire une carte de dev à base de microprocesseur RiscV dual core.

Samba et Windows 10 – Silentkernel

windows me rend fou

« Ça doit se savoir », « Alter Santé », « Libre Info » : un seul homme derrière un réseau de désinformation
The rocket chip generator (doc)
Inventor Services – Maybe Right For You – Maybe | Hackaday

«The world isn’t a place where you can just have an idea and sell it for millions; ideas are a dime a dozen. The value is in the execution, and the more you can control that execution, and rein in spending so that it can be directed efficiently, the more likely that your execution will be successful. This means doing a lot of things on your own, hiring experts when necessary to do things of limited scope, and devoting your energy to just the things that will move you forward.»

Cooking Eggs with Magnets in Motion | Hackaday

collez des aimants sur un plateau tournant. Mettez une poel au dessus et vous pourrez faire cuir un œuf.