takluyver

import json
import h5py
import numpy as np

def read_json(path):
    with open(path) as f:
        loaded_data = json.load(f)

    res = {}
    for info in loaded_data:

takluyver

takluyver

takluyver

import os
from time import monotonic

import zmq

# Set up a PULL socket
ctx = zmq.Context()
sock  = ctx.socket(zmq.PULL)
sock.set_hwm(1)
sock.connect("tcp://127.0.0.1:8541")

takluyver

import zmq

# Set up the socket
ctx = zmq.Context()
sock  = ctx.socket(zmq.PULL)
sock.set_hwm(1)
sock.setsockopt(zmq.RCVBUF, 16 * 1024)
sock.connect("tcp://127.0.0.1:8541")

print("RCVHWM", sock.getsockopt(zmq.RCVHWM))

takluyver

See https://github.com/h5py/h5py/issues/977

takluyver

takluyver

takluyver

takluyver

"""Fetch JS & CSS referenced from the web, and stuff it into the HTML."""

import lxml.html
import requests

IN_FILE = "Using Nbconvert.slides.html"
OUT_FILE = "Using Nbconvert.slides.stuffed.html"

document = lxml.html.parse(IN_FILE)