Skip to content

Instantly share code, notes, and snippets.

import "./BytesUtils.sol";
import "./RRUtils.sol";
contract Test {
using BytesUtils for *;
using RRUtils for *;
bytes public foo;
event Logger(string name);
event LoggerBytes(bytes name);
event LoggerInt(uint label);
a = ['a', 'c', 'd', '']
b = ['b', 'c', 'd', '']
compare(a,a) # 0
compare(a,b) # -1
compare(b,a) # 1
a = ['a', 'c', 'd', '']
b = ['c', 'd', '']
compare(a,b) # -1
22:15:15-makoto~/work/ethereum/solidity (develop)$ brew info z3
z3: stable 4.6.0, HEAD
High-performance theorem prover
https://github.com/Z3Prover/z3
/usr/local/Cellar/z3/4.6.0 (102 files, 83.8MB) *
Built from source on 2018-01-20 at 20:10:35
From: https://github.com/Homebrew/homebrew-core/blob/master/Formula/z3.rb
==> Dependencies
Optional: python3 ✔
==> Options

title

  • hello
  • world

Go to google

heading 2

############################################################
# Daemon
############################################################
# Start in daemon (background) mode and release terminal (default: off)
daemon on
# File to store the process ID, also called pid file. (default: not defined)
process_id_file /var/run/motion/motion.pid
import time
import sys
import os
from time import sleep
from gpiozero import LED
red_led = LED(17)
import json
import urllib2
ip = '10.0.110.129'
chart = c3.generate({
data: {
x: 'x',
xFormat: '%Y-%m-%d %H:%M:%S UTC',
url:'http://localhost:3000/api/v1/usages',
mimeType: 'json',
keys: {
x: 'date',
value: [ "data1"]
},
import io
import datetime
import time
import picamera
from PIL import Image
import zbar
import cv2
import numpy as np
while True: