Using ImageMagick, you can render a PBM file into some other format, for example PNG:
convert SUTD.pbm -scale 4000% -transparent white SUTD.png
#!/usr/bin/env bash | |
set -e | |
config_dir=${HOTCORNERS_CONFIG_DIR:-$HOME/.hotcorners} | |
if [ -z "$1" ]; then | |
echo "usage: hotcorners profile" 1>&2 | |
exit 1 | |
fi |
#!/usr/bin/env bash | |
config_file="${config_file:-$HOME/vpn.conf}" | |
if [ ! -f $config_file ]; then | |
echo "could not find config file at $config_file" | |
exit 1 | |
fi | |
username=$(grep -m1 username <$config_file | awk -F\= '{print $2}') | |
if [ -z "$username" ]; then |
import random | |
import itertools | |
def E(x, y): | |
return (x - y) ** 2 | |
def forward_pass(w, x): | |
x[2] = w[0] * x[0] + w[2] * x[1] |
asn() { | |
if [ -z "$1" ] | |
then | |
echo "usage: asn url" 1>&2 | |
return 1 | |
fi | |
ips=$(dig $DIG_ARGS +short $1) | |
if [ -z "$ips" ] | |
then |
select
p.web_name,
t.name as club,
r.singular_name_short as position,
max(p.total_points) as total_points
from players p left join teams t on p.team = t.id
left join roles r on p.element_type = r.id
group by p.team;
tab | subreddit | id | score | num_comments | |
---|---|---|---|---|---|
hot | gaming | 8ks3o4 | 15084 | 213 | |
hot | aww | 8krvk4 | 13202 | 203 | |
hot | NatureIsFuckingLit | 8ks1sn | 6366 | 172 | |
hot | worldnews | 8krdwg | 17227 | 1940 | |
hot | PrequelMemes | 8krmxy | 10996 | 74 | |
hot | gifs | 8kr91u | 28793 | 597 | |
hot | FortNiteBR | 8krn5p | 10476 | 202 | |
hot | MadeMeSmile | 8krwsu | 4905 | 55 | |
hot | technology | 8krbip | 10103 | 772 |
import argparse | |
import sys | |
import markovify | |
def main(files, n): | |
text = '' | |
for f in files: |