瀚海星空

星空浩瀚 人类渺小

国内安装Rust环境

问题 Rustup 是 Rust 官方的跨平台 Rust 安装工具。 第一次安装 rustup 的时候,如果按照官网教程 https://sh.rustup.rs 链接无法下载,可以通过 jsdelivr 下载 rustup-init.sh, 然后把脚本中的 RUSTUP_UPDATE_ROOT 变量改为 https://mirrors.ustc.edu.cn/rust-static/rus...

Apple:为孩子们创建的编程语言1

Apple语言概述 Facebook的Libra项目,主体采用Rust语言,以安全高效著称。智能合约采用了自定义的Move语言,可以更方便安全处理金融业务。让一般的东摘西抄区块链项目相形见绌。其实定义一门语言,现在并不像几十年前那么困难了。缺的是思想。 Apple语言就是一门为孩子设计的语言。可以用于体验新设计语言的过程。 随着人类社会的发展,人类需要面临的计算越来越复杂。最开始的计算机...

图灵机和图灵完备

图灵机(Turing Machine‘’) 英国数学家Alan Turing 于1936年发表的《On Computable Numbers,with an Application to the Entscheidungsproblem》(论可计算数及其在判定性问题上的应用)中提出的数学模型。Entscheidungs 是德语,即decision problem,可判定性问题。该问题由德国数...

Raft 共识

概述 Raft是一种共识算法,用于多个分布式的系统,如zookeeper,谷歌chubby。用于保持数据的一致性。可替代paxos共识算法。其核心思想是由一个leader作为入口,由他来对数据进行接受和分发处理。该唯一leader必须得到多数节点的选票。所以即使集群分裂,最终还是会有多数节点会达成一致。 适用于彼此可信的节点环境。 角色 leader 1个 candidate ...

微信机器人

概述 微信群限制了用户最多只有500人。对于多群的培训和讲座,如何便捷实现转发呢? 或者你想对好友进行一个群发的祝福,但最好能有不同的称呼,如何自动群发祝福呢? 这就需要用到微信机器人。 itchat是python版的一个工具。可以用此工具便捷实现简单微信机器人。 其原理是通过调用web版的接口,达到控制群和发送消息的目的。 安装 $ sudo pip install itchat...

Chrome console引入Js

概述 有时候为了网页调试方便,需要在chrome console中引入js的库。 方法 var importJs=document.createElement('script') importJs.setAttribute("type","text/javascript") importJs.setAttribute("src", "https://cdn.bootcss.com/bi...

mongodb 实操

概述 mongodb是文档型数据库,存储的内容是类似json的bson格式。 mongodb 每一行相当于一个文档,可以动态的增加列。 下面是对mongodb的一个简单操作和说明。 本地启动 zhouhh@/Users/zhouhh $ mongod 2019-05-26T15:47:49.697+0800 I CONTROL [main] Automatically disablin...

ClassNotFoundException ch.qos.logback.classic.Level

运行springboot 的demo时遇到一个奇怪的错误: ClassNotFoundException ch.qos.logback.classic.Level 环境 spring boot 2.1.0 原来,gradle 缺省用了implementation implementation('org.springframework.boot:spring-boot-starter-w...

Mac下docker安装

docker简介 什么是Docker? Docker是一个开源项目,诞生于2013年初,最初是dotCloud公司内部的一个业余项目。它基于Google公司推出的Go语言实现。 Docker 是世界领先的软件容器平台。开发人员利用 Docker 可以消除协作编码时“在我的机器上可正常工作”的问题。运维人员利用 Docker 可以在隔离容器中并行运行和管理应用,获得更好的计算密度。企业利用...

nodejs的execa库使用

概述 execa是可以调用shell和本地外部程序的javascript封装。会启动子进程执行。支持多操作系统,包括windows。如果父进程退出,则生成的全部子进程都被杀死。 安装 npm init npm i execa --save npm install babel-core --save-dev npm install babel-register --save-dev 入...