algochoi

Writing PyTeal Contracts for audits

Some thoughts to keep in mind when developing PyTeal smart contracts. Hopefully, these points will make it easier for reviewers and auditors to read and understand the contract logic.

Using pragma to enforce a PyTeal compiler version

Since PyTeal is still under active development, there may be bugs fixes or patches in future versions. Although specifying the exact compiler version is likely the best practice, allowing minor version bumps through the caret (^) seems acceptable too.

from pyteal import *
# Enforce a minimum PyTeal compiler version of 0.18.1, 

usametov

set -e, -u, -o, -x pipefail

The set lines

• These lines deliberately cause your script to fail. Wait, what? Believe me, this is a good thing.
• With these settings, certain common errors will cause the script to immediately fail, explicitly and loudly. Otherwise, you can get hidden bugs that are discovered only when they blow up in production.

• set -euxo pipefail is short for:

set -e
set -u

foone

// type i
message DAMFile {
	repeated Chunk chunk = 1;
	repeated QuantizedChunk quantized_chunk = 2; 
}

// type "o"
message Chunk { 
	required Vertices vertices = 1;
	required Faces faces = 2;

prologic

Learn Go in ~5mins

This is inspired by A half-hour to learn Rust and Zig in 30 minutes.

Basics

Your first Go program as a classical "Hello World" is pretty simple:

First we create a workspace for our project:

JoeyBurzynski

58 bytes of CSS to look great nearly everywhere

When making this website, i wanted a simple, reasonable way to make it look good on most displays. Not counting any minimization techniques, the following 58 bytes worked well for me:

main {
  max-width: 38rem;
  padding: 2rem;
  margin: auto;
}

lillesvin

#!/bin/bash

if [[ "${1}x" == "x" ]]; then
    USE_PIPE=false
else
    USE_PIPE=true
    PIPE=${1}
fi

FORMAT="%s.%2N"

IRC client in pure bash 4

#!/bin/bash

#no PATH, no way to accidently run any programs
PATH=''

#useful variables
term_height=0
term_width=0
term_scroll_height=0
status_line_row=0

spacecowb0y

#!/bin/bash

gource --key --seconds-per-day 0.1 --auto-skip-seconds 1 -400x300 -o - | ffmpeg -y -r 60 -f image2pipe -vcodec ppm -i - -vcodec libx264 -preset ultrafast -pix_fmt yuv420p -crf 1 -threads 0 -bf 0 input.mp4
mkdir frames
ffmpeg -i input.mp4 -vf scale=400:-1:flags=lanczos,fps=10 frames/ffout%03d.png
convert -loop 0 frames/ffout*.png output.gif
rm -rf frames