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

Flutter

音频库 Just-audio assets_audio_player 文章 创建一个简单的音乐播放器

Published on a minute ago