Sitemap

比特币

Published on a minute ago

计算机科学

Published on a minute ago

Agda

相关资源 编程语言基础:Agda 描述 中文版

Published on a minute ago

Chrome

疑难杂症 访问自签名证书的时候报错 NET::ERR_CERT_INVALID 可以通过导入CA证书 在页面空白处单击,然后在键盘输入魔法命令 thisisunsafe ,浏览器就会自动刷新,可以访问

Published on a minute ago

Coq

相关资源 软件基础 Coq中文版

Published on a minute ago

DAO

bankless DAO Mirror DAO Seed DAO FWB DAO

Published on a minute ago

Dapp

去中心化应用 (dapp) 是在去中心化网络上构建的应用程序,结合了[ 智能合约 ]和前端用户界面。 一个 dapp 的后端代码在一个去中心化 [ p2p网络 ]上运行。 与此相对应的,是在中心化服务器上运行后端代码的应用程序。 后端代码的表现为 [ 智能合约 ] dapp…

Published on a minute ago

ECMAScript

一个语言标准,有多个实现

Published on a minute ago

Emacs

eglot 小的lsp客户端 eww project 假如不清楚需要用哪些 ELPA 的话 gnu  一般是必备的,其它的 elpa 中的包会依赖  gnu  中的包 melpa  滚动升级,收录了的包的数量最大 stable-melpa  依据源码的 Tag (Git…

Published on a minute ago

Git

在mac上使用git而不安装xcode 安装 Xcode 命令行工具 xcode-select --install 确认安装成功 xcode-select --version 切换xcode的路径 sudo xcode-select --switch /Library…

Published on a minute ago

Map of All Notes