[Metasepi Snippets] had a meetup for software quality

[Kiwamu Okabe]

Hi all,

This is my Metasepi Snippets (weekly report).

## Last week:

* Joined Third French Japanese Meeting on Cybersecurity
http://cyber.science-japon.org/
* Wrote a report about the meeting
https://gist.github.com/master-q/064cc79b5f7b80f5319077c2f7736384
* Wrote a slide to explain GObject Introspection, but not yet have presentation
https://github.com/master-q/masterq-docs/blob/master/presentations/20170429_gobject_introspection/20170429_gobject_introspection.md
* Convened #静的コード解析の会 #2
https://metasepi.connpass.com/event/50450/
* Understood termination of VeriFast with @eldesh's slide
https://speakerdeck.com/eldesh/verifast-termination-checking-introduction-a

## This week:

* Survey the projects in the Cybersecurity report
* Completely write the slide for GObject Introspection
* Decide methods to write GObject Introspection framework for ATS
* Get knowledge for VeriFast to use it on real product

## Miscellaneous:

* The pip kernel is so cute! It has only 9 system call
* How about trying to get HDL implements of pip
* Of course write pip kernel with ATS or VeriFast is interesting

Enjoy this week,
--
Kiwamu Okabe at METASEPI DESIGN