码厩技术博客

#631 数据库设计规范

随手写的，以命名为主（原来想写的是命名规范，结果写超了纲）。

#630 不简单的绝对值

这篇文章讲到了绝对值计算的问题：One does not simply calculate the absolute value。

IEEE 754

三个特殊值：

1. 如果指数是0并且尾数的小数部分是0，这个数 ±0（和符号位相关）
2. 如果指数 = 2^e - 1 并且尾数的小数部分是 0，这个数是 ±∞（同样和符号位相关）
3. 如果指数 = 2^e - 1 并且尾数的小数部分非 0，这个数表示为非数（NaN）。

abs 的实现

class Test {
    public static double abs(double value) {
        if (value < 0) {
            return -value;
        }
        return value;
    }
    public static void main(String[] args) {
        double x = -0.0;
        if (1 / abs(x) < 0) {
            System.out.println("oops");
        }
    }
}

if 中加上条件：value == -0.0 是行不通的，因为 +0.0 == -0.0，可以使用 JDK 中的 Double.compare:

public static double abs(double value) {
    if (value < 0 || Double.compare(value, -0.0) == 0) {
        return -value;
    }
    return value;
}

这样确实有效，不过效率上可能会受到影响，abs 的复杂性就上了一个台阶。

JDK 17 中的实现

java/lang/Double.java

public static int compare(double d1, double d2) {
    if (d1 < d2)
        return -1;           // Neither val is NaN, thisVal is smaller
    if (d1 > d2)
        return 1;            // Neither val is NaN, thisVal is larger

    // Cannot use doubleToRawLongBits because of possibility of NaNs.
    long thisBits    = Double.doubleToLongBits(d1);
    long anotherBits = Double.doubleToLongBits(d2);

    return (thisBits == anotherBits ?  0 : // Values are equal
            (thisBits < anotherBits ? -1 : // (-0.0, 0.0) or (!NaN, NaN)
             1));                          // (0.0, -0.0) or (NaN, !NaN)
}

重新实现

参考 JDK 中的实现，重写 abs：

private static final long MINUS_ZERO_LONG_BITS = Double.doubleToLongBits(-0.0);
public static double abs(double value) {
    if (value < 0 || Double.doubleToLongBits(value) == MINUS_ZERO_LONG_BITS) {
        return -value;
    }
    return value;
}

新的问题：NaN 的处理，处理方法：把 doubleToLongBits 改成 doubleToRawLongBits。

private static final long MINUS_ZERO_LONG_BITS = Double.doubleToRawLongBits(-0.0);
public static double abs(double value) {
    if (value < 0 || Double.doubleToRawLongBits(value) == MINUS_ZERO_LONG_BITS) {
        return -value;
    }
    return value;
}

JVM 的 JIT 会替换这次调用为底层的 CPU 寄存器操作，效率非常可观。

PS：如果可以省去这个分支的判断逻辑，JVM 可以给我们更好的性能优化？

1. 中间涉及 CPU 分支预测（branch predictor），如果预测错误，可能会付出相对昂贵的代码。

   We know that branches are bad. If the CPU branch predictor guesses incorrectly, they can be very expensive.

2. 有传言说，这个调用（doubleToRawLongBits）会导致浮点数寄存器转换到通用集成器。

   Although there are rumors saying that this call may still lead to a transfer from a floating-point register to a general-purpose register. Still it's very fast.

进一步优化

采用 0 减负数等于正数，并且 0 - -0 = 0 的规则：

public static double abs(double value) {
    if (value <= 0) {
        return 0.0 - value;
    }
    return value;
}

这就是长期以来（直到最新的 Java 17），JDK 使用的方法（return (a <= 0.0D) ? 0.0D - a : a;）。

参考：JDK 17 中的的实现：java/lang/Math.java

再进一步

有人提出了意见，认为目前官方的实现 too slow（6506405: Math.abs(float) is slow #4711）。

这就是 jdk-18+6 中引入的新方案（java/lang/Math.java#L1600~L1604）：

public static double abs(double a) {
    return Double.longBitsToDouble(Double.doubleToRawLongBits(a) & DoubleConsts.MAG_BIT_MASK);
}

DoubleConsts.MAG_BIT_MASK 就是 0x7fffffffffffffffL, 0 + 63 个 1。

原理就是，通过位运算，清除符号位（使之为 0）。

参考资料与拓展阅读

• harb.com, One does not simply calculate the absolute value
• Bealdung, Branch Prediction in Java
• https://zh.wikipedia.org/wiki/IEEE_754

#629 《科技爱好者周刊（第 176 期）》阅读笔记

视觉错觉

这么明显的视觉错觉，让人觉得好神奇！
我下次要拍一张这样的图片，拼在一起看看。
如果拍好了，我就更新在这个下面。

绝对值问题

由于有 +0 和 -0 的问题 (IEEE 754)，问题变的复杂起来。

由于需要粘贴大量代码，我另起一篇吧（不简单的绝对值）！

手机学习网页开发

PS: 周刊中提供的链接打不开，我自己在 LinkedIn 上找到了这个用户，拿到了嵌入代码：

一个尼泊尔人教他弟弟学习 Web 开发的故事，由于没有电脑可用，就通过一部手机搭建了开发环境。
然后，经过两个月的学习，这个人成功的教他弟弟初步掌握 HTML、CSS 和 JS。

图片中采用的是什么 App 或者网站，我看不出来。但是阮一峰在上面提到了一个可以通过手机浏览器使用的 Web 开发环境 http://www.webden.dev，我试了一下，感觉还不错，如果接上鼠标键盘，确实可以用来学习。

宇宙飞船可以飞多远？

如果你走得足够远，其实就再也没办法回去了。当你回到故乡，原来的一切都已经消失了。
不过，这也不算什么，归根结底，旅程才是你的故事中最重要的部分。
-- 《如果有无尽的推动力，宇宙飞船可以飞多远？》

这段话让我想起 《三体》 中的一句话：“真正进入太空的人，再也不是人了”。
不过前者指的是时间流速不一致导致的错过，后者是社会意义上的，由于失去故土家园导致的，放弃之前所有的认同，包括国家、民族、价值观、甚至人的身份。

#628 自然语言处理（NLP）有关的几本书

Python 自然语言处理

1. 基于 NLTK

Python 自然语言处理实战

1. 比较系统
2. 大量使用 NumPy

NLP 汉语自然语言处理原理与实践

1. 哈工大 LTP

精通 Python 自然语言处理

1. 基于 NLTK

NLTK 基础教程：用 NLTK 和 Python 库构建机器学习应用

#627 Oracle JDK 又改成免费了

Oracle 宣布从 Java 17 开始采用新的 NFTC 协议，总的来说，就是允许免费商用了。

#626 心愿清单

1. 书籍 & 电子书
2. 科幻
3. 计算机专业
4. 笔记本 & 台式机
5. CPU: 主流，比如: 十代 i5/i7
6. 内存：32G
7. 硬盘：512G SSD
8. 显卡：中高端
9. 天地飞 ET-07
10. 无人机（航拍）
11. PS4
12. VR: 比如 HTC VIVE
13. 树莓派 4B 4G
14. 开源机械臂
15. 自行车
16. 家用 NAS （4 盘位 +）
17. 云主机
18. OpenWRT 路由器
19. 投影仪
20. 假期 & 旅游

#625 转载：中小学生阅读指导目录（2020 年版）

原始 PDF 文件

小学段

初中段

高中段

#624 GitHub 上的一些备选方案

内容管理系统 / CMS

以 cms stars:>10000 在 GitHub 上搜索，再经过一些筛选，剩下以下项目：

1. hugo , 静态网站生成
2. wagtail , Django
3. grav
4. django-cms
5. netlify-cms, NodeJS, MIT 静态网站生成，Git-based
6. Keystone , NodeJS
7. Strapi , NodeJS, headless CMS
8. Ghost , NodeJS
9. October , PHP, Laravel

论坛 / BBS / Forum

以 forum stars:>2000 在 GitHub 上搜索，再经过一些筛选，剩下以下项目：

比较知名的项目：NodeBB，Flarum，phpBB，

1. answerdev/answer Go
   An open-source knowledge-based community software. You can use it quickly to build Q&A community for your products, customers, teams, and more.
2. NodeBB/NodeBB Node.js
   Node.js based forum software built for the modern web
3. flarum/flarum PHP Symfony
   Simple forum software for building great communities.
4. phpbb/phpbb PHP
   phpBB Development: phpBB is a popular open-source bulletin board written in PHP. This repository also contains the history of version 2.
5. flaskbb/flaskbb Python Flask
   A classic Forum Software in Python using Flask.
6. rafalp/Misago Python Django DRF
   Misago is fully featured modern forum application that is fast, scalable and responsive.
7. discourse/discourse Ruby On Rails
   A platform for community discussion. Free, open, simple.

SNS / MicroBlogging

1. rocboss/paopao-ce Go
   🔥A artistic "twitter like" community built on gin+zinc+vue+ts 清新文艺微社区
2. humhub PHP AGPL 3.0
   HumHub is an Open Source Enterprise Social Network. Easy to install, intuitive to use and extendable with countless freely available modules.

框架 / Web Framwork / RESTful API (Python)

• Django
• django-rest-framework
• Flask
• Sanic
• Falcon
• FastAPI
• APIStar
• Pyramid
• Tornado
• Twisted

• daphne - A HTTP, HTTP2 and WebSocket protocol server for ASGI and ASGI-HTTP.
• uvicorn - A lightning-fast ASGI server implementation, using uvloop and httptools.
• bjoern - Asynchronous, very fast and written in C.
• gunicorn - Pre-forked, ported from Ruby's Unicorn project.
• uWSGI - A project aims at developing a full stack for building hosting services, written in C.
• waitress - Multi-threaded, powers Pyramid.
• werkzeug - A WSGI utility library for Python that powers Flask and can easily be embedded into your own projects.
• uvloop - Ultra fast asyncio event loop.

数据校验 / Data Validation

• Cerberus - A lightweight and extensible data validation library.
• colander - Validating and deserializing data obtained via XML, JSON, an HTML form post.
• jsonschema - An implementation of JSON Schema for Python.
• schema - A library for validating Python data structures.
• Schematics - Data Structure Validation.
• valideer - Lightweight extensible data validation and adaptation library.
• voluptuous - A Python data validation library.

#623 Shell 脚本检查工具：shellcheck

发现一个好东西：https://www.shellcheck.net/

bash -n xxx.sh 只能帮助我们检查一些致命的错误，但 shellcheck 却能给我们更多写 Shell 脚本的建议。

这个工具用起来估计可以让我们 Shell 水平得到很大提升。

#622 工信部推进解除网链屏蔽

据第一财经的消息，工信部在 9 月 9 日召集国内主要的互联网公司召开 “屏蔽网址链接问题行政指导会”，提出以下要求：

1. 具有外部网址链接访问功能的即时通信软件，对于用户分享的同种类型产品或服务的网址链接，展示和访问形式应保持一致；
2. 具有外部网址链接访问功能的即时通信软件，用户在即时通信中发送和接收合法网址链接，点击链接后，在应用内以页面的形式直接打开；
3. 不能对特定的产品或服务网址链接附加额外的操作步骤，不能要求用户手动复制连接后转至系统浏览器打开。

4👈 xixi:/₴9RXMXpz7rhF₴  Raspberry Pi 树莓派4B  4代linux电脑AI开发板python编程套件8GB

像这样的微信消息应该可以看不见了吧？

个人感觉，现在对外屏蔽最严重的就是腾讯，可以说这次阿里和字节是最大受益人。