Delete   Set public   Set private   Add tags   Delete tags
  Add tag   Cancel
  Delete tag   Cancel
Daily Weekly Monthly

Weekly Shaarli

Previous week
All links of one week in a single page.
Next week

Week 16 (2019年4月15日)

Yosys formal method to prove bible

Quand tu utilises Yosys pour prouver un texte de la bible !

bible formal yosys flf fpga verilog
Concrete USB Hub Isn’t Going Anywhere | Hackaday

Très classe, un hub usb avec un boitier en béton !

béton hack hub usb
Learn more programming languages, even if you won't use them - Thorsten Ball
programmation
Pourquoi les développeur(euse)s codent avec le cul - Je suis un dev
programmation
F-Si Statute - F-Si wiki

Une fondation pour du silicium libre que je découvre. Elle a tenu conférence à la Sorbonne à Paris en mars (2019) dernier.
https://wiki.f-si.org/index.php/FSiC2019

flf fpga silicon open-source fondation