This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
from dataclasses import dataclass | |
class ADTMeta(type): | |
def __new__(mcs, name, bases, namespace: dict): | |
adtc_class = super().__new__(mcs, name, bases, namespace) | |
if "__is_adt_variant__" in namespace: | |
if namespace["__is_adt_variant__"]: | |
return adtc_class |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Listen to your heart | |
Fibonacci was without fear | |
The survivor is without cheer | |
Let the survivor be without Fibonacci | |
Let Fibonacci be nothing | |
My heart is lovestruck | |
Let my heart be with the survivor, the survivor | |
Say my heart without the survivor, the survivor | |
Whisper the survivor |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
import numpy as np | |
import numpy.testing as npt | |
from itertools import product | |
b = np.array([ | |
[0, 0, 0, 0, 0, 0, 0, 0, 0, 0,], | |
[0, 1, 0, 0, 0, 0, 1, 0, 1, 0,], | |
[0, 0, 1, 0, 0, 0, 0, 1, 0, 0,], | |
[0, 0, 0, 1, 0, 0, 0, 0, 1, 0,], | |
[0, 0, 0, 0, 0, 0, 0, 0, 0, 0,], |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
[Unit] | |
Description=Docker Application Container Engine | |
Documentation=https://docs.docker.com | |
After=network-online.target docker.socket firewalld.service containerd.service time-set.target | |
Wants=network-online.target containerd.service | |
Requires=docker.socket | |
[Service] | |
Type=notify | |
# the default is not to use systemd for cgroups because the delegate issues still |