分类 默认 下的文章

七月是夏日迟迟，树影流动，杂糅着不安分的热情与温柔的凉意，这些都是我想和你在七月经历的美好。

七月的天色，哪怕黄昏都是清澈，脆蓝泛起火烧云，空气平滑地进入胸腔，呼吸带着天空的余味。——张嘉佳《云边有个小卖部》

走遍一座座喧闹的都市，我很难梦见什么。除了那第一个七月，永远的七月，七月是黄金的季节啊。——《海子》

在七月的最早几天，想起你，我今夜跑尽这空无一人的街道。——海子《眺望北方》

“你啊，大抵就是那陈年清酿，那七月急雨，是那词不达意的温柔，是我的心上人，天上月。”

“七月 夏天的凉席 风扇转着脑袋
一根绿豆味的雪糕
夏日炎炎下 老猫的呼噜声 淡淡的花香 好 抽空想你一下”

我也曾把七月排得满档，我想与你去赏花，坐在结满雾气的窗里，泡一杯碧螺春喝，和眉眼微眯的你对坐着，看玫瑰花在暑假了挣扎绽放。

时方七月，绿树阴浓，
水面风来，蝉鸣聒尔。——沈复《浮生六记》

七月的阳光下，让我们走出美术馆，去喝一杯，玻璃柠檬茶。——谷川俊太郎

七月正午的骄阳华丽而耀眼，还有暴风雨来临前的紫色天空，疯狂而又多彩的日落，认同服食迷幻剂之后看到的幻境。——劳伦.奥利弗《忽然七日》 ​

[TOC]

第 1 章 了解 Web 及网络基础

1.1 使用 HTTP 协议访问 Web

1.2 HTTP 的诞生

1.3 网络基础 TCP/IP

1.4 与 HTTP 关系密切的协议：IP、TCP 和 DNS

1.5 负责域名解析的 DNS

1.6 各种协议与 HTTP 协议之间的关系

1.7 URI 和 URL

简单的 HTTP 协议

第 2 章 简单的 HTTP 协议

2.1 HTTP 协议用于客户端和服务端之间的通信

2.2 通过请求和相应的交换达成通信

2.3 HTTP 是不保存状态的协议

2.4 请求 URI 定位资源

2.5 告知服务器意图的 HTTP 方法

2.6 使用方法下达命令

2.7 持久连接节省通信量

2.7.1 持久连接

2.7.2 管线化

2.8 使用 Cookie 的状态管理

第 3 章 HTTP 报文内的 HTTP 信息

第 4 章 返回结果的 HTTP 状态码

4.1 状态码高中从服务端返回的请求结果

4.2 2XX 成功

4.2.1 200 OK

4.2.2 204 No Content

4.2.3 206 Partial Content

4.3 3XX 重定向

4.3.1 301 Moved Permanently

4.3.2 302 Found

4.3.3 303 See Other

4.3.4 304 Not Modified

4.3.5 307 Temporary Redirect

4.4 4XX 客户端错误

4.4.1 400 Bad Request

4.4.2 401 Unauthorized

4.4.3 403 Forbidden

4.4.4 404 Not Found

4.5 5XX 服务器错误

4.5.1 500 Internal Server Error

4.5.2 503 Service Unaviable

第 5 章 与 HTTP 协作的 Web 服务器

第 6 章 HTTP 首部

6.1 HTTP 报文首部

6.2 HTTP 首部字段

6.2.1 HTTP 首部字段传递重要信息

6.2.2 HTTP 首部字段结构

6.2.3 4 种 HTTP 首部字段类型

6.2.4 HTTP/1.1 首部字段一览

6.2.5 非 HTTP/1.1 首部字段

6.2.6 End-to-end 首部和 Hop-by-hop 首部

6.3 HTTP/1.1 通用首部字段

6.3.1 Cache-Control

6.3.2 Connection

6.3.3 Date

6.3.4 Pragma

6.3.5 Trailer

6.3.6 Transfer-Encoding

6.3.7 Upgrade

6.3.8 Via

6.3.9 Warning

6.4 请求首部字段

6.4.1 Accept

6.4.2 Accept-Charset

6.4.3 Accept-Encoding

6.4.4 Accept-Language

6.4.5 Authorization

6.4.6 Expect

6.4.7 From

6.4.8 Host

6.4.9 If-Match

6.4.10 If-Mofied-Since

6.4.11 If-None-Match

6.4.12 If-Range

6.4.13 If-Unmodified-Since

6.4.14 Max-Forwards

6.4.15 Proxy-Authorization

6.4.16 Range

6.4.17 Refer

6.4.18 TE

6.4.19 User-Agent

6.5 响应首部字段

6.5.1 Accept-Range

6.5.2 Age

6.5.3 ETag

6.5.4 Location

6.5.5 Proxy-After

6.5.6 Server

6.5.7 Vary

6.5.8 WWW-Authenticate

6.6 实体首部字段

6.6.1 Allow

6.6.2 Content-Encoding

6.6.3 Content-Language

6.6.4 Content-Length

6.6.5 Content-Location

6.6.6 Content-MD5

6.6.7 Content-Range

6.6.8 Content-Type

6.6.9 Expires

6.6.10 Last-Modified

6.7 为 Cookie 服务的首部字段

6.7.1 Set-Cookie

6.7.2 Cookie

6.8 其他首部字段

6.8.1 X-Frame-Options

6.8.2 X-XSS-Protection

6.8.3 DNT

6.8.4 P3P

第 7 章 确保 Web 安全的 HTTPS

第 8 章 确认访问用户身份的认证

第 9 章 基于 HTTP 的功能追加协议

第 10 章 构建 Web 内容的技术

第 11 章 Web 的攻击技术

http://graphics.stanford.edu/~monzy/DramainthePhD.mp3

So Much Drama in the PhD 出自 MonzyYo,

MC Plus Plus, my rhymes are so phat,
MC 棒棒，我的节奏酷毙了
I'm PSPACE-complete but I'll reduce you to 3-SAT.
我图灵完备，但是解决不了3-SAT

（PSPACE是计算复杂度理论中能被确定型图灵机利用多项式空间解决的判定问题集合，是Polynomial SPACE的简称。）
（3-SAT问题：
给定一系列的布尔变量x_1,x_2,...
x_n文字(Literal)定义为每个变量的是与否，
比如x_1的就是x_1和 NOT x_1
在3-SAT问题中，子句(Clause)定义为三个文字(Literal)合并到一起的运算，例如
(x_1 OR (NOT x_2) OR x_3)
那么最后3-SAT的表达式就是一系列这样的子句(Clause)合并到一起的运算，例如：
(x_1 OR (NOT x_2) OR x_3) AND (x_4 OR x_5 OR (NOT x_6)) AND ....
3-SAT的表述就是能否找到这样的一系列x_1,x_2,...x_n
使得如上形式的式子得到的是TRUE，如果是则是满足的(satisfied)，否则不是。）

My crew is so hard that we roll in NP,
我们是这么幸苦地在NP中翻滚

（NP类问题：所有的非确定性多项式时间可解的判定问题构成NP类问题。非确定性算法：非确定性算法将问题分解成猜测和验证两个阶段。算法的猜测阶段是非确定性的，算法的验证阶段是确定性的，它验证猜测阶段给出解的正确性。设算法A是解一个判定问题Q的非确定性算法，如果A的验证阶段能在多项式时间内完成，则称A是一个多项式时间非确定性算法。有些计算问题是确定性的，例如加减乘除，只要按照公式推导，按部就班一步步来，就可以得到结果。但是，有些问题是无法按部就班直接地计算出来。比如，找大质数的问题。有没有一个公式能推出下一个质数是多少呢？这种问题的答案，是无法直接计算得到的，只能通过间接的“猜算”来得到结果。这也就是非确定性问题。而这些问题的通常有个算法，它不能直接告诉你答案是什么，但可以告诉你，某个可能的结果是正确的答案还是错误的。这个可以告诉你“猜算”的答案正确与否的算法，假如可以在多项式（polynomial）时间内算出来，就叫做多项式非确定性问题。）

And bitches dereference my pointer for free.
婊子们复引用了我的指针让它们跑掉

When I'm linear probing they're like, "Damn that's gigantic,"
当我线性逼近它们本来的样子的时候，妈的，那数字真大

I showed it to your mom and she used Hoare semantics.
我把它展示给你地妈妈，她以前是如此得霍尔语义

霍尔语义
霍尔逻辑（Floyd-Hoare Logic）便是一种典型的建立在谓词逻辑基础上的公理语义。 在它的基础上，我们可以在程序代码和谓词逻辑公式之间，建立起等语义关系的转化，从而确保我们的验证结果是有效的。
霍尔逻辑核心概念是霍尔三元组（Hoare Tuple），以及对应的推理规则。

She jumped like JNE
她跳得就像JNE

jne是一个条件转移指令

up onto my erection
跳上我的竖立物
And I picked up that ho like straight garbage collection.
我啥啥就像直接得垃圾收集
("That's right, mark-and-sweep on these nuts, bitch.")
那是对的，标记然后清理这些疯子，婊子
My lyrics get stolen by sucker MCs,
我的歌词被傻逼MC们偷走了
I gotta sign my rhymes with PGP;
我就对我的韵律使用了 PGP

PGP（英语：Pretty Good Privacy，中文翻译“优良保密协议”）是一套用于消息加密、验证的应用程序，采用IDEA的散列算法作为加密与验证之用

But I keep on generatin' like a

'Cause there's so much drama in the PhD.

What's wrong MC Plus Plus, am I making you nervous?

Even skanky fat hoes give you denial of service.

You'll probably go to jail before you write your dissertation

So prepare your asshole for some internal fragmentation;

Penetration, as they fill it up with jism,

It's too bad you aren't closed under homomorphism.

Your problem, Plus Plus, is that your typing isn't strict:

In ML my type is real

and your type is 'a dict.

I control my flow better than TCP,

I rep the west coast like Eazy-E,

You best not front if you can't pass the GRE,

'Cause there's so much drama in the PhD.

My flow is so intense that I will overflow your buffer,

Corrupt your stack pointer makin' all your data suffer.

I've got saturated edges but your flow is sparser,

Real gangstas sip on Yacc; instead you generate a parser.

While you're busy poppin' stacks I'll pop a cap in your skull,

While you smoke your crack pipe I'm gonna pipe you to
/dev/null.

I may not have a label but I rap like a star;

I'm an unsigned long int and you're an 8-bit char.

Your mom circulates like a public key,

Servicing more requests than HTTP.

She keeps all her ports open like Windows ME,

Oh, there's so much drama in the PhD.DWORD

to your moms, I came to drop bombs;

I've got more rhymes that San Jose's got dotcoms.

I rep the Farm like 50 reps Queens,

With more power than multitape Turing Machines.

Blowin' up the rap scene faster than factorial functions,

I'm dope like PNP transistors and I'll saturate your junctions.

By the time you've rhymed one line, I've already busted ten;

You rap in exponential time and I'm big-O of log(n).

I run gmake and gcc,

And I ain't never called malloc

without calling free.

I'll beat your ass until it's colored like a red-black tree

'Cause there's so much drama in the PhD.

  1. 1
  2. 2
  3. 3
  4. 4
  5. 5
  6. ...
  7. 7