Use Stylus, copy the CSS, tweak colors etc.
| #!/usr/bin/env bash | |
| set -Eeuo pipefail | |
| trap cleanup SIGINT SIGTERM ERR EXIT | |
| script_dir=$(cd "$(dirname "${BASH_SOURCE[0]}")" &>/dev/null && pwd -P) | |
| usage() { | |
| cat <<EOF | |
| Usage: $(basename "${BASH_SOURCE[0]}") [-h] [-v] [-f] -p param_value arg1 [arg2...] |
| [alias] | |
| wip = for-each-ref --sort='authordate:iso8601' --format=' %(color:green)%(authordate:relative)%09%(color:white)%(refname:short)' refs/heads | |
| #!/bin/bash | |
| # | |
| APP_VER="0.3" | |
| BUILD_ARCH_AMD64="amd64" | |
| BUILD_ARCH_ARM64="arm64" | |
| BUILD_ARCH_ARM="arm" | |
| BUILD_ARCH_x86="386" |
Hi,
First of all thanks for showing interested on my tweet, it's really cool to see so many people interested on working with me at @srcd_!
Please go check https://sourced.tech/careers/ and make sure one of those profiles match your experience and interests. If that's the case then send an email to talent@sourced.tech and feel free to mention my name.
Take into account that we're currently hiring for either Madrid or remotely
| import csv | |
| import cStringIO | |
| import codecs | |
| import glob | |
| import json | |
| import requests | |
| def fetch_jsons(): | |
| url = ('https://summerofcode.withgoogle.com/api/program/current/project/' |
| ## Pre-requisite: You have to know your last commit message from your deleted branch. | |
| git reflog | |
| # Search for message in the list | |
| # a901eda HEAD@{18}: commit: <last commit message> | |
| # Now you have two options, either checkout revision or HEAD | |
| git checkout a901eda | |
| # Or | |
| git checkout HEAD@{18} |
Picking the right architecture = Picking the right battles + Managing trade-offs
- Clarify and agree on the scope of the system
- User cases (description of sequences of events that, taken together, lead to a system doing something useful)
- Who is going to use it?
- How are they going to use it?
No, seriously, don't. You're probably reading this because you've asked what VPN service to use, and this is the answer.
Note: The content in this post does not apply to using VPN for their intended purpose; that is, as a virtual private (internal) network. It only applies to using it as a glorified proxy, which is what every third-party "VPN provider" does.
- A Russian translation of this article can be found here, contributed by Timur Demin.
- A Turkish translation can be found here, contributed by agyild.
- There's also this article about VPN services, which is honestly better written (and has more cat pictures!) than my article.

