事情的发生是有规律性的，这样我们才能预测天气、发射火箭、制造原子弹、将来甚至进行星际旅行。那么这些规律又是如何发现的呢？以前靠人，例如牛顿、爱因斯坦。那么以后会不会由机器来发掘呢？

接触过网络编程的人会听到这样一种说法：IPv4 的地址马上就不够用了，快去用 IPv6 吧，因为它的地址有 2¹²⁸ 个，不会面临 IP 地址短缺的情况。

数据在链路层传输时，比特差错是一个无法回避的问题。当比特差错发生之后我们如何检测和纠正呢？本文主要介绍检测比特差错的基本思想和三种实现技术，它们分别是：奇偶校验、校验和、循环冗余检测。

一提起统计学，大家脑海中浮现的第一印象是什么？就我而言，我第一时间想到的就是那个著名的 抛硬币 实验。最近看了一本书，叫 《赤裸裸的统计学》，在里面发现了几个有趣的小故事，想与大家分享一下。

大家在做 web 开发时常碰到的一个需求就是：将网页上某个列表页的数据导出。有的要求导出成 excel 格式的文件，有的要求导出成 csv 格式的文件。今天就来给大家介绍怎么利用 java 导出 csv 格式的文件。

相信从事 Java 开发的小伙伴们对 Maven 这个词都不陌生。目前来说，只要存在外部依赖的 Java 项目基本上都是 Maven 项目，而每个 Maven 项目都有一个明显的特征——pom.xml 文件。

今天，我们就一起来学习一下什么是 Maven 项目。

经过 前文的介绍，我们已经有了一个可以在『存在比特差错的丢包信道』上进行可靠数据传输（reliable data transfer）的协议——rdt3.0。同时我们也发现 rdt3.0 并不完善，它是一个停等（stop-and-wait）协议，还存在性能方面的问题待优化。

我们知道，传输层有两个协议，分别是 UDP 和 TCP。其中 UDP 提供的是无连接的、不可靠的数据传输服务。而 TCP 则提供面向连接、带拥塞控制的可靠数据传输服务。今天，我们就来聊一聊怎么实现可靠数据传输服务（reliable data transmission service）。

文章的主要内容是介绍怎么利用钉钉的自定义机器人来自动通知技术部的今日分享。目的是想给大家提供一种『利用钉钉的「自定义机器人」实现「定时」通知「固定格式消息」的实现思路』。

我们知道，身份证号码可以唯一标识一个人。但我们在相互介绍时通常不会使用身份证号码，而是报上姓名。因特网上的主机也和人类一样，有一个可以唯一标识的 IP 地址，同时它们也有一个主机名（hostname），例如 www.google.com 、www.wikipedia.org 等。由于计算机只认识 IP 地址，所以我们需要一种能将主机名转换到 IP 地址的目录服务，这就是 DNS（Domain Name System），又称域名系统。