Sarasa Mono T SC 的含义

2020-01-16 84 words 1 min read

Sarasa Mono T SC 作为现在的主力字体, 每次都忘记这几个是啥意思.

sarasa 更纱 Mono 等宽 SC 简体中文.

关于 T:

Have ligature, Em dashes (——) are full width —— MonoT Have ligature, Em dashes (——) are half width —— Mono No ligature, Em dashes (——) are half width —— Term

未来有你成都站

2019-11-11 548 words 2 mins read

我是个葱葱人 hhhhhh.

以前由于穷和懒一直没有去过现场, 今年决定去一次. 一开始并不知道今年未来有你有四站(上海成都北京广州), 成都票出来以后就和女票商量买了票, 并且约了在成都的大学同学. (后来才发现上海是最早的, 11.2, 失策, 明年去上海好了)

Brewer’s Conjecture and the Feasibility of Consistent, Available, Partition-Tolerant Web Services

2019-10-31 2027 words 5 mins read

[toc]

原文

摘要

当设计分布式的 web 服务时, 有三个经常考虑到的属性: 一致性 (consistency), 可用性(availability)和分区容错性(partition tolerance). 三者是不可能同时达到的. 在这个文章里, 我们将会在一个异步网络模型中证明这个猜想, 然后在部分同步模型中讨论解决这个问题的方案.

TCP_NODELAY 是什么

2019-10-02 625 words 2 mins read

引言

最近在使用 curl 的时候经常注意到:

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30


# strrl @ eiu in ~ [11:02:50]
$ curl -v google.com
* Rebuilt URL to: google.com/
*   Trying 127.0.0.1...
* TCP_NODELAY set
* Connected to 127.0.0.1 (127.0.0.1) port 6152 (#0)
> GET http://google.com/ HTTP/1.1
> Host: google.com
> User-Agent: curl/7.54.0
> Accept: */*
> Proxy-Connection: Keep-Alive
>
< HTTP/1.1 301 Moved Permanently
< Location: http://www.google.com/
< Content-Type: text/html; charset=UTF-8
< Date: Wed, 02 Oct 2019 03:02:53 GMT
< Expires: Fri, 01 Nov 2019 03:02:53 GMT
< Cache-Control: public, max-age=2592000
< Server: gws
< Content-Length: 219
< X-XSS-Protection: 0
< X-Frame-Options: SAMEORIGIN
<
<HTML><HEAD><meta http-equiv="content-type" content="text/html;charset=utf-8">
<TITLE>301 Moved</TITLE></HEAD><BODY>
<H1>301 Moved</H1>
The document has moved
<A HREF="http://www.google.com/">here</A>.
</BODY></HTML>
* Connection #0 to host 127.0.0.1 left intact

会有一个 TCP_NODELAY set 的日志打出来, 然鹅已经不是很记得大学计网里关于这个特性了, 所以自己又翻一番资料去了解这个.

Restful API Mock 工具: JSONPlaceholder

2019-07-09

Other

200 words 1 min read

最近闲逛的时候发现了这个工具, JSONPlaceholder.
它自带了一些数据，比如说 posts, users 啊.
而且正如它的名字 placeholder, 在开发时一些还没定下的 POST/PUT/DELETE 接口也可以直接发过去.

另外还有一个项目My JSON Server, 可以将你的 JSON 数据放到 Github 上的一个仓库里, 然后就可以使用这个功能, 无需自己搭服务器.