Valid as of March 27th 2022
Install the latest openocd version (the official version produces a [segmentation fault][1])
brew install openocd --head
import ctypes | |
import numpy as np | |
import numpy.typing as npt | |
from picosdk.usbtc08 import usbtc08 as tc08 | |
from picosdk.functions import assert_pico2000_ok | |
MAX_CHANNELS = 8 |
FROM python:3.9-slim | |
RUN apt update && apt install --assume-yes --no-install-recommends \ | |
build-essential | |
WORKDIR /tmp | |
COPY requirements.txt ./ | |
RUN pip install --no-cache -r requirements.txt |
from abc import ABC, abstractmethod | |
from argparse import ArgumentParser, BooleanOptionalAction | |
import numpy as np | |
from matplotlib import pyplot as plt | |
from scipy import linalg | |
pauli_z = np.array([[1, 0], [0, -1]], dtype=complex) | |
pauli_x = np.array([[1, 0], [0, -1]], dtype=complex) |
<!DOCTYPE html> | |
<html> | |
<head> | |
<title>iFrame Proxy</title> | |
</head> | |
<body> | |
<iframe src="http://localhost:3000?domain=google.com" width="800" height="400"></iframe> | |
<script> | |
const domain = (new URL(document.location)).searchParams.get('domain') |
const zmq = require('zeromq') | |
const socket = zmq.socket('sub') | |
socket.connect('tcp://127.0.0.1:3000') | |
socket.subscribe('') | |
const shortSamples = 9 | |
const longSamples = 34 | |
const resetSamples = 348 |
from datetime import date, timedelta | |
from dateutil import rrule | |
from shutil import copyfile | |
# start and end time of your work contract | |
start = date(2020, 3, 1) | |
end = date(2020, 8, 31) | |
# TODO: check if workday is public holiday | |
holidays = [ |
Credit to manuelbl
Full file-paths:
<yourprojectpath>/platform.io
~/.platformio/boards/disco_f072rb_libopencm.json
~/.platformio/platforms/ststm32/builder/frameworks/libopencm3/libopencm3.py