瀚海星空

星空浩瀚 人类渺小

Java 字符串参数格式化

Java 字符串参数格式化 想设计一个模板, 直接将java的参数用进去。故整理一下java字符串参数格式化方法。 格式标志 SPECIFIER | APPLIES TO | OUTPUT –|–|– %a | floating point (except BigDecimal) | Hex output of floating point number %b | Any type | “...

windows vscode java环境配置

概述 最近需要用到windows开发环境,所以记录一下windows下用vscode进行java开发的环境配置。 环境 Windows 10 vscode jdk8 jdk14 maven 3.6.3 下载jdk oracle 在jdk 11以后,商业化生产环境使用需要license。所以采用openjdk。最新的是14. 但jdk8以后,版本号升级太快,大的更...

react native入门

react native 概况 React native 是facebook开源的移动框架。用JavaScript语言为主,基于React框架。 是适合跨平台移动开发的框架,具有比用webview混合开发更好的性能,又具有h5那样编写一次,跨平台运行的较低维护成本。而且可以和原生很好的结合。 重要特性如下: 支持 ES2015 ( ES6) ES2015 features 如 impo...

anaconda mac 启动慢的问题

应该是连接网络更新版本信息需要到外网,所以很慢。 一是修改配置 采用清华镜像 vi ~/.condarc ssl_verify: false show_channel_urls: true channels: - https://mirrors.tuna.tsinghua.edu.cn/anaconda/pkgs/free/ - defaults default_chan...

国内安装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...