主页

learn idris

关于环境和数据类型简介 Emacs集成 Idris 开发环境 Idris repl 使用说明 Idris 代数类型定义 1. Emacs 安装 idris-mode1234567(use-package idris-mode :mode (("\\.idr$" . idris-mode) ("\\.lidr$" . idris-mode)) :ensure t :defer

技术简史

太长不读篇《技术简史》原著Ruling the wave, From the Compass to the Internet, a History of Business and Politics along the Technological Frontier)。依书中的视角,从15世纪的地理大发现到21世纪的网络音乐,每一次技术的创新和商业发展都大致遵循4个阶段规律: 创新 市场化 创造性的

Tree command 的多重实现

解题思路 利用递归,将目录转换成 {:name: ".", :children: []} 结构 对于第一层目录名,前缀装饰成 T_branch = "├── "或者 L_branch = "└── " 对于子目录,前缀装饰成 I_branch = "│ "或者SPACER = " "举

函数式编程简介

函数式编程是什么 函数式编程更加强调程序执行的结果而非执行的过程,倡导利用若干简单的执行单元让计算结果不断渐进,逐层推导复杂的运算,而不是设计一个复杂的执行过程。 – wiki 例子一 累加运算12345678910111213// sumList<Integer> nums = Arrays.asList(0, 1, 2, 3, 4, 5, 6, 7, 8, 10);public s

维多利亚时代的互联网

人类互相交流的欲望从未减弱过。 作者和书这本书是汤姆·斯坦迪奇(Tom Standage)于1997年完成,1998年9月第一次出版。中文版是后浪|江西出版社于2017-8年出版。作者毕业于牛津大学,主修工程学和电脑科技,在《经济学人》杂志科技版担任主编。出版过的图书作品有《从莎草纸到互联网》、《六个瓶子里的世界史》等,本书是其代表作和畅销之作,已被拍成纪录片。 电报简史脑图见文末。本书的概述

系统之美

世界是普遍联系、永恒发展的,这是我很欣赏的一名大学马原老师奉为圭臬的话,也是给我很大触动的金玉良言。世界是一个大系统,其中有纷繁复杂的事物,用独特的行为方式互相影响,或直接或间接,要么直截了当因果相连,要么兜兜转转蝴蝶效应。如果持不可知论,世界将永存混沌。系统总是比看上去复杂,但是其中玄妙又遵循因果。依照系统思考的基本原则,系统的行为总是由系统的结构决定。我们不愿意看到的很多现象,归根结底都是系统

验收条件

特征 日常语言描述 捕获系统行为 个数有限 在故事基础部分,我提到用户故事通常是日常或者商务语言写成的句子,这些句子描述了用户在其工作职责范围内想要达成的某个目的以及达成该目的需要的功能(手段)。所以书写用户的故事的句式一般都是:As(用户的角色)… I Want(功能或手段)… So That(目的)。根据用户故事的 INVEST 划分原则中 N (Negotiated 可协商的) 原则,故事

敏捷团队工作流

站会站会中的内容是每天工作的开始,也是对昨天工作的回顾。一般会由团队的某位成员主持,这位主持人有责任让电子系统上的story卡片和看板上的保持一致。站会上,大家依看板从右至左依次更新自己负责story的状态,如果遇到阻碍,应该在站会上及时提出,团队之中的成员如果能提供帮助,应该在站会之后,组织解决方案的讨论。 站会反模式 站会上由组长一人发言、分配任务; 一人长篇阔论占据大半时间(合理的发言时间为

如何发布jar到clojars

Clojars 介绍Clojars 是一个为开源 Clojure 类库打造的仓库,截止2017年9月17日,大概有19831个项目发布在上面。整个网站也是用 Clojure 编写的。 发布 Clojure library1. 注册 clojars前往 clojars 注册 2. lein 部署1$ lein deploy clojars # lein deploy [repository name

如何发布Jar包到Maven Central Repository

太长不读篇 在 issues tracker 上注册 创建 issues 配置 build.gradle gpg 生成 key pair 以便签名 上传 Release Archive 关闭并验证 Staging 环境的 Archive 发布 Archive 通知 issue 管理员开启同步 细读篇1. 注册Maven Central 网站并不提供注册的功能,你需要到 Sonatype 网站上进