systemctl restart cloudflared-tunnel.service
HOST_FRP=$(cat /var/log/cloudflared.log |grep -oE '|  https://.* ')

#下面是自定义域名的
cat >~/.cloudflared/config.yml<OK
ingress:
  - hostname: a.com
    service: http://localhost:80
  - service: http_status:404
OK
cloudflared tunnel {create,run} a

pkg add sv openssh nodejs
passwd #设置'a'
id # u0_$app
sv-enable sshd
npm i express node-fetch

mkdir -p ~/.npm-g  # 似乎依然不能用 -g; 有问题可以cd一下
npm config set prefix ~/.npm-g
echo 'export PATH=$HOME/.npm-g/bin:$PATH NODE_PATH=$HOME/.npm-g/lib/node_modules' >> ~/.bashrc

bun run - <<<'import { serve } from "bun"; serve({ fetch: req => fetch(`https://api.telegram.org${new URL(req.url).pathname}`, req.method === "GET" ? { method: req.method, headers: req.headers } : { method: req.method, headers: req.headers, body: req.body }), port: 8080 });' 

node -e "require('express')().use('/', require('http-proxy-middleware').createProxyMiddleware({target:'https://api.telegram.org',changeOrigin:true})).listen(8080)"

懒得本地check了，靠CI https://github.com/duangsuse/tv/actions/runs/16111998058/job/45457458405 试错

这两天时间多但是效率低
真的被恶心死了
https://github.com/duangsuse/WebSQL-Polyfill# 我都提交了6次 …… 浪费时间

We are excited to announce that NuxtLabs is joining @Vercel to pursue our mission on creating the best DX to deliver the best UX.

Read more at nuxtlabs.com

原文：https://markushimmel.de/blog/my-first-verified-imperative-program/
阅读时间：13 分钟
分数：173

Hoare三元组的一般形式为{ P } S { Q }，其中P和Q是断言（assertions），分别称为前置条件（precondition）和后置条件（postcondition），S是一个程序语句或程序段。
含义
{ P } S { Q }表示如果在执行语句S之前，程序的状态满足前置条件P，并且语句S正常终止，那么在语句S执行完毕后，程序的状态将满足后置条件Q。也就是说，前置条件描述了执行语句S之前程序应满足的状态，后置条件描述了执行语句S之后程序应达到的状态。

alias w=echo who-w=$(which w)
declare -A tputKV=(
[🟥]=1 [🟩]=2 [🟨]=3 [🟦]=4
[🟪]=5 [⬜️]=7 [⬛️]=0 [🏙]=6
)
for d in {0,8}; do for k in "${!tputKV[@]}"; do
declare -A "fputKV$d[$k]=$(tput setaf $((${tputKV[$k]} + $d)))"
declare -A "tputKV$d[$k]=$(tput setab $((${tputKV[$k]} + $d)))"
done; done
I=$(tput sgr0)
tputKV8['⬛️']=$I
FG() { w ${fputKV8[$1]}; }; Fg() { w ${fputKV0[$1]}; }
BG() { w ${tputKV8[$1]}; }; Bg() { w ${tputKV0[$1]}; }

FBG() { u=$(node -p '((ks,v)=>"w "+process.argv[1].replace(/\b(.)(-?) /g, (_,cv,b,i)=>(i=ks.indexOf(cv))==-1? cv : `$(${b?"B":"F"}${process.env.g?"g":"G"} ${v[i]})` ) +" $I")("BYGRPZWI", [..."🏙🟨🟩🟥🟪⬛️⬜️🟦"])' "$*"); eval $u; w $u; }