@huczyt 不对呀，你在国内的应用商店上架不是都要提交一个软件著作权证书吗？那个就可以作为维权依据啊，而且应用商店应该是直接可以受理的，用不着走最复杂的法律途径。

@libook 那 Rescript 应该就是最佳选择了，类 Ocaml 语法编译成 JS 跟 TS 类似但定位是子集而不是超集，有 Facebook 大厂背书，创始成员之一是国人。

@ppbaozi 对，那就希望不大了，去找数据恢复专业人士或许希望会大一点，但是也很有限。数据很有可能已经被覆盖没了。

@asilin 你这完全没有必要注册域名让所有人访问啊，用 zerotier 和 tailscale 稍微配置一下就完事了，访问内网内容就像在内网，访问其他内容完全不干扰。

首先，你是想要公开服务还是只给自己确定的几台设备使用？
如果是想要公开给所有人服务那么理论上都是要备案的，否则服务器建在国内就是非法的，使用 80 443 等常用端口会被 ISP 封禁，使用 cloudflare 或者 HE 免费 tunnel ，其中 cloudflare 应该有端口转换功能吧。使用这种方式需要绑定域名，同时意味着你的家庭网络被暴露在所有人的访问下，任何人通过域名都可以间接访问到你的网络，如果没有很好地配置防火墙，那么你的路由器或者提供网站的这台服务器有可能被扫描、DDOS 甚至通过配置或软件的漏洞入侵。所以如果没有搭建公开网站的需求，尽量避免使用这种方式。
自用的话最为推荐的就是 P2P 组网方案，其实本质上跟你的代理没有太大区别，只不过是成套解决方案，可以在不同网络环境下使用，可以进行 NAT 打洞，可以按照路由表分流，只将必要的内网 IP 段映射到代理中，一键搞定非常方便，并且最重要的是安全，所有流量加密，没有账户批准密钥根本无法进入这个虚拟内网。这样的方案就是 zerotier 和 tailscale 两家，具体实现都差不多，并且在你这种两边都有 IPv6 公网 IP 的情况下可以 P2P 直连，使用体验不会有什么区别，都能达到满速。

@1543544726zy container 大法好！不过 docker 貌似已经不太行了，不但被巨头打压，自己的也没做得太好，podman 确实香。

@namelosw xi-editor 也没有夭折吧，现在 [GitHub 仓库]( https://github.com/xi-editor/xi-editor)仍然是活跃状态

呃，你的 remote 端是不是没装 git ，或者是 git 的路径有什么特别？

赶紧关机，不要动任何文件，然后把硬盘拔下来插到另外一个电脑上用分区工具搜索被删除的文件，这种覆盖应该也有可能因为分配了一块新区域来保存数据而保留了旧数据的，所以数据恢复软件还是有可能找到，但是微信这种非标准格式就很恶心，有可能搜索的难度直线上升，因为如果是常见文件格式是可以通过看标头来确认原文件位置和大小的。
总之微信垃圾，重要的需要长期保存的对话都别在腾讯系聊天软件上说，钉钉多香啊，国内算是最接近 telegram 的软件了。

你需要 dependent types ，你这个需求在 idris 语言里可以被完美地满足 https://www.idris-lang.org/ 所谓类型驱动的开发。其实就是引入了形式化验证包括自动定理证明技术，在某些工业和区块链场合是挺重要的。

@godwinma win11 切 insider dev 预览版就可以了，当然不太稳定，取决于你的硬件是不是亲儿子。

单次搜索当然用循环完事儿了，毕竟 js 单线程你也不可能做什么多线程优化，用全局函数或者别人的库都是一样的。如果你想对同一个键进行多次搜索并且列表的数量级非常巨大的话，那可能需要建立一个字典其实就是哈希表以便于多次查询，就是你新建一个对象，然后用需要查询的这个属性作为键，然后你再用这个属性调用这个对象的内容的时候引擎会自动帮你优化成哈希表查询，坏处就是会占更多的内存。
然而说了这么多，终究你还是不应该把计算逻辑大量的放在 js 里面。。。

哈哈，居然还有人敢在国内聊天软件上发这种东西，所有链接都是有机器人自动爬取审查的呀。我从来不用国内的任何聊天软件或者邮箱发送这种可以直接下载的文件链接，对方实在没那个条件的话，我会让他们用 outlook 收，用起来还是挺方便的。