vsaraph

class Publisher:
    def __init__(self):
        self.subscribers = []

    def publish(self, message):
        print("publishing message: {msg}".format(msg=message))
        for subscriber in self.subscribers:
            subscriber.onReceive(message)

    def addSubscriber(self, subscriber):

vsaraph

from z3 import *
  
# create sort
group = DeclareSort('G')

# create function symbols
iden = Function('e', group)
mult = Function('m', group, group, group)
inv = Function('i', group, group)

vsaraph

def run_n_times(n):
    def identity(func):
        def wrapped(*args, **kwargs):
            for i in range(n):
                response = func(*args, **kwargs)
            return response
        return wrapped
    return identity

@run_n_times(10)

vsaraph

import requests
import base64

# encode consumer API key and secret key
key = input("key: ")
secret = input("secret: ")
encoded = base64.b64encode((key + ":" + secret).encode()).decode()

# construct payload
endpoint = "https://api.twitter.com/oauth2/token"

vsaraph

pragma solidity ^0.5.1;

contract Stack {
    int256[] stack;

    function push(int256 data) public {
        stack.push(data);
    }

    function pop() public returns (int256 data) {