软件测试（software testing），描述一种用来促进鉴定软件的正确性、完整性、安全性和质量的过程。依照可计算理论（计算机科学的一个支派）一个简单的数学证明推断出下列结果：不可能完全解决所谓“死机”，指任意计算机程序是否会进入死循环，或者罢工并产生输出问题。换句话说，软件测试是一种实际输出与预期输出间的审核或者比较过程。

Lex Fridman访谈录#250的片段。

Peter Wang是Anaconda的联合创始人兼CEO，也是Python社区中最具影响力的领导者和开发者之一。同时，他也是一位物理学家和哲学家。

函数式编程是种编程方式，它将电脑运算视为函数的计算。 函数编程语言最重要的基础是λ演算（lambda calculus），而且λ演算的函数可以接受函数当作输入（参数）和输出（返回值）。 和指令式编程相比，函数式编程强调函数的计算比指令的执行重要。 和过程化编程相比，函数式编程里函数的计算可随时调用。

本周为今年第45周，有个噩耗，Z-Library 被关闭了。收到消息，大家都很难受。同时我们也应化悲痛为力量，把屯的好书读起来，读书才是屯书的目的。

本周为今年第46周，以下好书均来自Flybull等群友的推荐，感谢大家的推荐。也欢迎大家加入码农读书交流群，一起交流读书心得。

知识机器

豆瓣评分：8.4

npm 是 nodejs 的包管理工具，用来安装、卸载、管理 nodejs 的包。

在 cmd 使用 npm 安装noode模块时，会打印一些信息。

1
2
3

⸨░░░░░░░░░░⠂⠂⠂⠂⠂⠂⠂⠂⸩ ⠹ loadExtraneous: verb afterAdd /Users/rebecca/.npm/null/0.0.0/package/package.json written
 ↑‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾  ↑ ‾‾‾‾‾‾‾‾‾↑‾‾‾‾   ‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾↑‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾
 percent complete     spinner    current thing we're doing     most recent log line

最近nextjs 13发布，于是用它写了个小项目妹子图-魔力美少女，部署在阿里云上，简单记录一下过程。

• meizitu.mzh.ren
• 妹子图-魔力美少女 Vercel备用地址

nextjs 官方文档Deployment | Next.js有详细的部署指南，主要是三种方式：

• 部署到 Vercel 云平台
• 导出为静态文件，随意托管
• 自己部署
  • Nodejs Server
  • Docker 方式

其中 Vercel.com 我访问不了，静态文件 不支持某些特性，Docker 暂时没用过，所以就选了 Node.js Server 方式。

去年通过群友Carry的爬虫，整理了一份2009~2021年的爬虫。

Python脚本打包下载必应壁纸2009-2021

下载脚本

今天发现一个好项目，niumoo/bing-wallpaper: 必应每日超清壁纸（4K）。

这个项目把必应每日壁纸按月归档在一个markdown 文件。有日期、有4k画质下载链接。于是写了个简单的python脚本，把图片下载下来。

Base64 是一种基于64个 ASCII 字符来表示二进制数据的表示方法。

Base64 将8比特位为一个单元的字节数据拆分为以6个比特位为一个单元的二进制片段，每6个比特位单元对应Base64索引表中的一个字符，这样最终构成一个超过编码前字节数据33%的字符串。

最近关于《孟子 告子章句下》中的《生于忧患，死于安乐》中的名句：天将降大任于斯人也，其中的“斯人”还是“是人”，引发广泛讨论，吵翻了天。不少网友激烈站队：“就算天王老子来了，也是斯人”云云。其热度远超甜粽咸粽、缩进是Tab还是空格等，演变成一种文字圣战。