ctlllll

import tiktoken
import langdetect
T = tiktoken.get_encoding("o200k_base")

length_dict = {}

for i in range(T.n_vocab):
    try:
        length_dict[i] = len(T.decode([i]))
    except:

kjyv

#!/bin/bash
set -u

plist=~/Library/Preferences/com.apple.finder.plist

ensure_dict() {
    plutil -insert "$1" -dictionary "$plist" 2>/dev/null || true
}

ensure_dict PreviewPaneSettings

wintercn

[
    {
        name:"HTML5",
        uri:"http://www.w3.org/TR/html5/single-page.html",
        category:"markup"
    },
    {
        name:"HTML 5.1",
        uri:"http://www.w3.org/TR/html51/single-page.html",
        category:"markup"

suziewong

1.同一台电脑可以有2个git账号（不同网站的）

首先不同网站，当然可以使用同一个邮箱，比如我的github，gitlab，bitbucket的账号都是monkeysuzie[at]gmail.com 这时候不用担心密钥的问题，因为这些网站push pull 认证的唯一性的是邮箱 比如我的windows 上 2个账号一个gitlab 一个github （用的都是id_rsa）

host github
  hostname github.com
  Port 22

host gitlab.zjut.com