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次 …… 浪费时间

原文：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之后程序应达到的状态。