<｜begin▁of▁sentence｜>### Instruction:
Given a graph generated using the Erdős–Rényi model with 10 nodes and 15 edges, can you use the GephiGraphStreamer's post method from igraph to stream the graph to a Gephi workspace at the provided destination URL?
### Response:
from igraph import Graph
from igraph_gephi import GephiGraphStreamer

# Create example graph
g = Graph.Erdos_Renyi(n=10, m=15)

# Create a GephiGraphStreamer instance with default JSON encoder
streamer = GephiGraphStreamer(url='http://localhost:8080/workspace0',
                               mode='nodes')

# Post the graph to the Gephi workspace
destination_url = 'http://localhost:8080/workspace0?operation=updateGraph'
streamer.post(g, destination=destination_url)
<|EOT|>
