2022.07-09--第9期

一、刊首图

大疆天空之城

今年9月,Dji 新总部“天空之城大楼”启用,地址是深圳市南山区仙元路55号。这个建筑自从开工后,就备受关注,曾被媒体评为“2021年全球最值得期待建成完工的10个新建筑”之一,共耗资16亿。它的设计者也是苹果新总部的设计者英国福斯特建筑设计事务所(Foster + Partners)。

二、时事新闻

1、GitHub或将下线GitHub Trending页面

9月2日,访问 GitHub Trending 页面,显示过如下公告:

Heads up! This Trending tab is being deprecated. Due to low usage of Trending Repositories and Trending Developers, this tab will no longer be available beginning September 30, 2022.

简单来说,因为低使用率官方讲在今年九月底下线 Trending 页面。虽然官方称使用率低,但是在 GitHub 官方 Community 仓库的讨论版块关于这个决定的讨论却是近一个月来最热的讨论,有用户反馈自己 Trending 页面是他默认登录 GitHub 的页面,它对找新项目非常有用。而 GitHub 官方人员也作出回应:介于大家的反馈,他们将重新评估这一决定。

2、星链的海洋上网

马斯克的星链项目(StarLink)正式推出了海洋上网。只要安装了他们的天线,就能在海中上网,据说网速可以达到 350Mbps。目前,海洋上网只能通过海事卫星,网速很慢,费用非常贵。星链的这项业务,将彻底解决海洋上网问题,使得用户在海中也能宽带上网。

由于第一期要通过地面的卫星站中转,所以只有欧美的近海能上网(下图的浅蓝色部分)。据说,年底可以实现卫星之间的直接通信,到底地球的大部分海域,都将可以上网。它的费用并不便宜,天线安装10000美元,每个月的使用费5000美元。

星链的海洋上网

3、Airpods 身份验证

苹果公司最近申请了一种专利“基于耳机的用户识别”,表明它正在开发 AirPods 的生物识别功能,以后只要你戴上 AirPods 耳机,它就能识别你是谁,确认后才会启动。这种技术用到了耳道识别,据说每个人的耳道形状都是不一样的。AirPods 会通过超声波发射,确定耳道的形状,等于耳朵里戴了一个迷你雷达。苹果的这份专利说,除了耳道,还会利用陀螺仪、加速计和麦克风,进一步验证用户的身份,计算得到一个总的相似度。

4、上海警方数据库泄露

上海公安数据库泄露事件是2022年7月初上海公安数据库遭入侵,黑客在网络犯罪论坛公开出售的中国大陆居民信息和警察案件数据的一起大规模资料泄漏事件。这批数据被称作上海国家警察数据库,据称包含逾十亿居民的个人资料,并公开了其中75w条数据,数据标价10 BTC(此时约美元20万或人民币134万)。

5、知乎水印事件

网友发现,知乎网页暗藏水印,用来发现是谁截图。这个事件曝光以后,知乎又把这个功能下线了。

知乎水印事件

6、人工智能政党

丹麦成立了一个新政党,政策完全来自人工智能(AI)模型。模型算出来什么政策,他们就执行什么政策。模型的目标是,实现联合国可持续发展指标的最大化。这个政党希望成立以后,可以参加2023年6月丹麦的选举。要是能够进入议会,就会让模型参政。

7、密码硬币

澳大利亚发行了一枚五角硬币,纪念澳大利亚信号局成立75周年。该局主要工作是维护和破解密码,所以硬币上印了四个密码,一个比一个难。负责人说,如果有人可以破解这四个密码,就可以申请到信号局工作。

密码硬币

8、3D打印住宅

美国德州的一个 3D 打印住宅区的工地。现场工人很少,建房不再需要脚手架,而是使用龙门吊一样的 3D 打印机,沿着滑轨不断来回,一厘米一厘米地整体向上打印,一两天就能打印出来一栋楼。

9、雷军2022年度演讲

2022年8月11日,雷军主题演讲《永远相信美好的事情即将发生》的全文。这次年度演讲,雷军没有谈小米,他这次聊的是“我是怎么度过那些人生低谷的,我是怎么穿过迷茫和焦虑的”。

10、区块链空气月饼

中秋节前夕,一家北京设计工作室发布了一件行为艺术品,叫做“区块链空气月饼”。打开月饼铁盒,里面除了空气,什么也没有。而且,空气是韭菜味的。为了这个味道,制作方特意把装月饼的盒子和韭菜放在一起很多天,才让空盒子有了韭菜味。

区块链空气月饼

11、假晶体丑闻

英国的一个晶体结构数据库宣布,将删除近1000个晶体结构,因为它们是不存在的。它们来自800多篇中国医生的论文,因为中国医院要求,医生只有发表论文才能评职称,结果就产生了这些不存在的小分子结构。

12、人造角膜

大约5%的盲人因为角膜疾病而丧失视力,只要角膜移植就可以恢复视力。但是,角膜只有遗体捐赠才能获得,从而使得很多盲人无法做角膜手术。最近,瑞典林雪平大学发表论文,他们从猪皮提取了胶原蛋白,制造了人造角膜,已经在印度和伊朗植入了20名盲人。24个月后评估,14个人恢复了视力,剩下6个人从严重视力障碍转变为中度或轻度视力障碍。

人造角膜

13、世界最薄的机械表

一家瑞士高档手表品牌,推出了世界最薄的机械表,只有1.75毫米厚。它堪称工程奇迹,内部结构复杂,各种零件都是薄到极致,而且还包含了表壳和蓝宝石水晶表面。在它的表盘上,时间显示区域其实非常小,只占据了大约六分之一的空间,在上部的中央位置。表盘的左上角和左下角是旋转操作钮。右上角是外露的摆轮,右下角是合作方法拉利 Logo。它的售价也是天价,高达188.8万美元,全球限量发售150个。

世界最薄的机械表

三、技术文章

1、一步步解释 SHA-256 哈希算法(英文)

SHA-256 是常用的哈希算法,作者用一个例子,一步步演示它怎么从字符串得到哈希值。

2、SQL 背后的故事(中文)

SQLite 作者的 播客访谈 中文整理,谈了 SQLite 是怎么来的,以及为什么变成了地球上最严格测试的软件:每个新版本有10亿个测试,要跑好几天。

3、iPhone 的 Safari 浏览器插件(中文)

iPhone 手机和 iPad 平板的 Safari 浏览器,可以安装插件,本文介绍14个常用插件。

iPhone的Safari浏览器插件

4、Node.js 的性能差异:CJS vs ESM(英文)

这是 Node.js 官方仓库的一个 issue。有人发现,Node.js 处理 CJS 模块比 ESM 模块快10倍,而且 Node 18 的性能不如 Node 16。

5、103状态码:加载提示(英文)

Chrome 浏览器新增了 HTTP 协议的103状态码,表示“加载提示”(early hints),即提示浏览器可以预加载某个资源,用来取代已经下线的 HTTP/2 的 服务器推送 功能。

6、Macbook触摸栏设置git操作(英文)

本文介绍如何在 Macbook 触摸栏上放置按钮,只要点一下,就能在命令行执行 git 命令。

Macbook触摸栏设置git操作

7、Python 星号的用途总结(英文)

一篇面向 Python 初学者的科普文章,介绍星号在这门语言的各种含义。

8、学习 Python 内置函数(英文)

逐一介绍 Python 的所有内置函数。

学习Python内置函数

四、开源组件

1、yolov7

yolov7相比之前版本速度和精度有了很大的提高,该项目是“YOLOv7: Trainable bag-of-freebies sets new state-of-the-art for real-time object detectors”论文的实现,论文地址

yolov7

2、Bert-Chinese-Text-Classification-Pytorch

中文文本分类,Bert,ERNIE,基于pytorch,提供预训练模型,开箱即用。

3、go-ethereum

以太坊协议的官方 Go 实现。

4、picocli

构建 Java 命令行应用的框架,寥寥几行代码,就可以完成一个 Java 命令行应用程序。

5、oneinstack

一个Shell脚本工具,可以辅助搭建配置生产环境。

OneinStack

6、flair

简单易用的 NLP 框架。基于 PyTorch 的 NLP 框架,支持文本命名实体识别(NER)、词性标注(PoS)、词义消歧和分类。项目中包含详细的使用教程,介绍了如何标记文本、训练语言模型等。

7、pre-request

用于验证请求参数的 python 框架,专为 Flask 设计。

8、vthread

python 多线程库,在不改变源代码的情况下,一行代码即可实现线程池操作。

9、Text-to-sound-Synthesis

腾讯与北大合作的一个模型,可以根据文本生成声音,代码和预训练模型已经开源。

Text-to-sound-Synthesis

10、gitea

Gitea 是一个开源社区驱动的轻量级代码托管解决方案,后端采用 Go 编写,采用 MIT 许可证。Gitea 的首要目标是创建一个极易安装,运行非常快速,安装和使用体验良好的自建 Git 服务。采用 Go 作为后端语言,只要生成一个可执行程序即可。并且他还支持跨平台,支持 Linux, macOS 和 Windows 以及各种架构,除了 x86,amd64,还包括 ARM 和 PowerPC。

Gitea简介

11、drone

Drone 是一款基于 Docker 的 CI/CD 工具,所有编译、测试、发布的流程都在 Docker 容器中进行。开发者只需在项目中包含 .drone.yml 文件,将代码推送到 git 仓库,Drone 就能够自动化的进行编译、测试、发布。Drone应用由 Server(服务器)和 Runner(执行器)两种服务构成,前者主要负责管理和展示,后者主要负责执行操作。

drone简介

12、wujie

由腾讯开源的微前端框架。官方文档

13、stable-diffusion

用一段文字描述生成一张图,同 Google 的 Imagen 类似,使用常见的 CLIP ViT-L/14 文本编码器来依照文本调整模型,代码已开源。

stable-diffusion

14、stable-diffusion-docker

在 Docker 容器中运行官方的稳定版 stable-diffusion。

15、stable-diffusion-webui

stable-diffusion 的 Web 版。

stable-diffusion-webui

16、stable-diffusion-ui

自部署安装和使用 Stable Diffusion 的简单一键式方式。提供用于从文本提示和图像生成图像的浏览器 UI。只需输入您的文本提示,然后查看生成的图像。

stable-diffusion-ui

17、DiffusionBee

Diffusion Bee 是在 M1 Mac 上本地运行 Stable Diffusion 的最简单方法。附带一键式安装程序,无需依赖或技术知识。

DiffusionBee文本生成图像

18、py-spy

用 top 的方式分析 Python 程序性能的工具。一款 Python 程序性能分析工具,它可以让你在不重启程序或修改代码的情况,直观地看到 Python 程序中每个函数花费的时间。

py-spy

19、instagrapi

适用于 Instagram Private API 2022 的最快、最强大的 Python 库。

20、annoy

用于近似最近邻搜索的算法库。近似最近邻(ANN)方法是指一系列解决最近邻查找问题的近似算法,多用于内容推荐、搜索等场景。Annoy 是用树为数据结构的 ANN 算法实现,它通过随机投影创建二叉树构建索引提升查询效率,采用优先队列和“森林”查询方法提高准确率,实现海量数据下的实时搜索。

annoy

21、mmdetection

OpenMMLab 开源的目标检测工具箱。基于 PyTorch 的目标检测开源工具箱,支持 Faster R-CNN、Mask R-CNN、RetinaNet 等主流算法。

22、neo4j

Neo4j是一个高性能的NoSQL图形数据库,它是一个嵌入式的、基于磁盘的、具备完全的事务特性的Java持久化引擎,但是它将结构化数据存储在网络(从数学角度叫做图)上而不是表中。 Neo4j也可以被看作是一个高性能的图引擎,该引擎具有成熟数据库的所有特性。

23、neovis.js

Neovis.js将JavaScript可视化和Neo4j无缝集成。与Neo4j的连接非常简单明了,并且由于它是在Neo4j的属性图模型的基础上构建的,因此 Neovis 的数据格式与数据库保持一致。在单个配置对象中定义基于标签、属性、节点和关系的自定义和着色样式。

neovis.js效果

24、Pytorch_Retinaface

Pytorch版本的Retinaface人脸识别算法,提供预训练模型。

25、jeepay

Jeepay是一套适合互联网企业使用的开源支付系统,支持多渠道服务商和普通商户模式。已对接微信支付,支付宝,云闪付官方接口,支持聚合码支付。它使用Spring Boot 和 Ant Design Vue 开发,集成 Spring Security 实现权限管理功能。

Jeepay支付系统架构图

五、工具软件

1、WeChatExtension-ForMac(开源)

Mac微信功能拓展/微信插件/微信小助手。

WeChatExtension-ForMac

2、Office-Tool(开源)

Office Tool 是一个支持自定义部署和激活 Office 产品的安装器。

3、free4.chat(免费)

free4.chat 是一个匿名语音群聊服务,跟你的朋友自在地聊天,无需下载 App 和注册用户。

free4.chat

4、pd-runner(开源)

Parallels Desktop (一个在MacOS上运行Win虚拟机的收费软件)的破解运行器,即使试用已过期,也可以通过该启动器打开虚拟机。

5、RDM(开源)

该工具可让您使用 MacBook Pro Retina 的最高和不受支持的分辨率,带闪电标识的是分辨率为 HiDPI 或 2倍及以上的像素密度。

6、vue-argon-design-system(开源)

由 100 多个独立组件构建而成,让您可以自由选择和组合。所有组件都可以采用不同的颜色,您可以使用 SASS 文件轻松修改。

vue-argon-design-system

7、SMSBoom(开源)

短信轰炸、短信测压工具。通过代理调用短信接口,支持http,socks4,socks5代理,可指定轰炸次数,轰炸间隔时间。

8、VideoTogether(开源)

异地情侣共享观看视频的插件,支持全平台使用,支持各大在线视频网站(视频解析和本地视频也同样支持),服务端可私有部署。

VideoTogether

9、MiaoYan(开源)

一个开源的基于 Swift5 开发的轻量级 Markdown 应用程序,仅适用于 MacOS 系统。

妙言

10、wechat-backup (开源)

本地备份微信聊天记录的工具。它能够将手机上的微信聊天记录,解密后保存在电脑上,支持查看、搜索、恢复微信聊天记录。

11、xechat-idea(开源)

基于Netty的IDEA即时聊天插件、让你能够在IDEA里实现聊天、下五子棋、斗地主。

xechat-idea

12、labelImg (开源)

用 Python 和 Qt 编写的图像标注桌面应用,标注数据支持 PASCAL VOC 格式的 XML 文件和 YOLO 的 txt 文件。

13、appflowy(开源)

AppFlowy 是 Notion 的开源替代品,使用 Flutter 和 Rust 构建。

appflowy

13、discoart(开源)

有了 DiscoArt,你一行代码就能用 Disco Diffusion 生成画作。作为一个 Al 方面的图像应用, 它引入了一些便捷的功能,支持结果复现、持久性、 gRPC / HTTP 服务,以便集成到更大规模的应用场景下。

14、massCode(开源)

massCode 允许你使用多级文件夹以及标签来组织代码片段。每个代码片段都有标签,这提供了更高层次的组织,也更方便你来复用代码。

massCode

15、Arctype SQL(免费)

一个桌面的数据库查询工具,可以连接各种数据库,在其中执行 SQL 语句,以可视化形式展示数据。

Arctype SQL

16、halo(开源)

一款现代化的开源博客/CMS系统,基于Java实现的,可更换主题,有详细的部署文档和演示站。

halo

17、Maccy(开源)

一个 MacOS 系统的开源软件,可以保存系统剪贴版的历史,查看每一次复制粘贴的内容。默认快捷键为Shift (⇧)+ Command (⌘)+C,安装命令为 brew install --cask maccy。

Maccy

18、ITraffic-monitor-for-mac(开源)

实时显示 MacOS 每个进程的网络速率,适配明暗两个主题。

19、glances(开源)

一个 Python 写的系统监控工具,最大特点就是跨平台,Linux/Windows/Mac 都能用。

glances

20、MHDDoS(开源)

基于 Python3 实现的 DDoS 攻击脚本。

21、AFFiNE(开源)

Affine 是下一代知识库,将规划、分类和创建结合在一起,有比 Notion 和 Miro 更多的东西。隐私至上、开源、可定制且随时可用。

AFFiNE

22、AutoMihoyoBBS(开源)

米游社自动签到,支持:崩坏二、崩坏三、原神、未定事件簿,米游币自动获取。

23、vuepress(开源)

简约的 Vue 驱动的静态站点生成器,官网即效果预览

24、Vanblog(开源)

一款个人博客系统,支持众多功能,有明暗两套主题,采用 Docker 部署,带有管理后台,前台为静态页面,提供自动 HTTPS 证书。

van-blog

25、SvnAdminV2.0(开源)

SVN 源代码仓库的 Web 管理界面,使用 PHP 开发。

26、BgSub(免费)

一个网页工具,可以自动抠图,替换背景颜色或背景图片,完全在本地完成,不会上传服务器。

26、wantquotes(免费)

清华大学推出了一个搜索引擎,根据关键词搜索相关的诗文。参见 介绍文章,另有一个汉语的 近义词搜索引擎

wantquotes

27、bk-cmdb (开源)

腾讯开源的配置平台,面向资产及应用的企业级配置管理平台,拥有主机管理、组织架构管理、通用权限管理、操作审计等功能。

28、nightingale(开源)

开源的云原生监控系统。支持 Docker 等多种部署方式,集数据采集、监控告警、可视化为一体的企业级监控平台。借助高性能时序库,可以满足数亿时间线的采集、存储和告警分析的场景。该项目已在上千家企业部署落地,经历了各种生产环境的检验。

nightingale

29、plantuml (开源)

从文本描述生成 UML 图的工具。该项目可根据简单的文字描述画出 UML 图,支持顺序图、用例图、时序图等,除此之外还支持架构图、甘特图、思维导图、实体关系图等非 UML 图。支持在线、命令行、桌面应用等多种使用方式,可根据情况自行选择。

plantuml

30、doris(开源)

高性能的分析数据库。一个基于 MPP 架构的高性能、实时的分析型数据库,尤其是在海量数据和高并发场景下表现优异。目前,在众多知名企业中均有使用,可用来构建用户分析、日志检索分析、用户画像等应用。

doris

31、koodo-reader(开源)

先进的电子书阅读工具。该阅读器支持 EPUB、Kindle、PDF、漫画等多种常见文本格式,界面清爽功能丰富,拥有自定义字体、添加笔记、书签、划词翻译、导入图书、数据同步等功能。提供了 Windows、macOS 和 Linux 客户端,还支持网页版可在线使用。

koodo-reader

32、video.js(开源)

流行的 HTML5 视频播放器。一款开箱即用的 Web 视频播放器,它支持 HTML5 视频和流媒体格式,至今有超过 45 万个网站在使用它。

33、dooit (开源)

命令行待办事项工具。用 Python 写的交互式命令行 todo 工具,操作简单支持快捷键和鼠标,界面精致可自定义主题和图标。

dooit

34、label-studio(开源)

开源的数据标注工具。支持音频、文本、图像、视频、时间序列等,多种类型数据的标注和注释工具。

35、nas-tools (开源)

NAS 媒体库资源自动整理工具。支持资源检索和订阅、媒体库整理和通知服务的 NAS 媒体库工具。

nas-tools

36、MonitorControl(开源)

控制 macOS 外接显示器的工具。一款 macOS 多显示器控制工具,有了它就能够在菜单栏或使用快捷键,轻松地控制外接显示器的音量、亮度、对比度。

37、gibMacOS(开源)

macOS 系统下载工具。通过 Python 脚本直接下载 macOS 系统文件,可用来制作 macOS 安装镜像。

38、daily_morning(开源)

这是一款免搭建、免定时、免编码,极易上手的消息推送工具。通过微信公众号的方式向自己的女朋友推送信息。

39、surrealdb(开源)

一个用于实时网络的可扩展、分布式、可协作的文档图数据库。它通过简化数据库和 API 栈来减少应用程序的开发时间。SurrealDB 可以作为单机运行,也支持以高可用、高可扩展的分布式形式运行。它支持来自客户端设备的 SQL 查询、GraphQL、ACID、WebSocket、结构化和非结构化数据处理、全文索引、地理空间查询及权限控制。

surrealdb

40、Akebi-GC(开源)

可用来开发游戏的男女角色,项目用了原神来做 Demo 展示了地图传送、Noclip 等常见游戏场景。

Akebi-GC

41、PocketBase(开源)

单文件的数据库软件,使用 Go 编写,把数据库(SQLite)、后台 UI、数据管理、用户管理等,都做在一个文件里面。

PocketBase

42、Aspect(免费)

一个浏览器插件,允许从网页里面拷贝任意 UI 组件,把它的代码还原出来,相当于从 UI 逆向工程。

Aspect

43、upscayl(开源)

适用 Windows、Linux、macOS 的图像增强工具,在本地上传一张图片之后可以得到更高清的图像。值得注意的是,这是一个 Linux-first philosophy 项目,优先考虑 Linux 的适配,当然其他系统使用也没问题,只要你有一个兼容 GPU 的 Vulkan。

44、speedtest(开源)

一个用于网络测速的Web页面,比较轻量,支持Docker部署。

speedtest

45、ParallelsDesktopCrack(开源)

Parallels Desktop 的破解包,提供一键破解脚本,适用于 Parallels Desktop 18.0.1-53056,破解后直接变成 Parallels Desktop for Mac 商业版永久许可证。

46、Rocket.Chat(开源)

一款开源的聊天软件,服务端、桌面端、手机 App 都提供。

Rocket.Chat

47、Simple Admin(开源)

Simple Admin是一个开箱即用的分布式微服务后端管理系统,基于go-zero开发,提供丰富的功能如服务发现,权限管理等。 该框架可以帮助您快速开发具有RPC服务的后台管理系统。

Simple-Admin

48、TinyTeX(免费)

学术排版系统 Tex Live 的简化版本,只有100多兆,支持中文。

49、Keet(免费)

一个点对点聊天的软件,不需要服务器,可以进行多人的视频和文字的加密对话。

50、GoBy(免费)

一个系统漏洞安全扫描工具。

GoBy

六、学习资源

1、MacOS 的安全和隐私指南(中文)

这里汇集了一些想法,它们是有关如何保护运行了 macOS 10.12 "Sierra" 操作系统的现代化苹果 Mac 电脑,也包含了一些提高个人网络隐私的小贴士。

2、Software-Engineering-at-Chrome(中文)

《Google 软件工程》的中文翻译版本。在线阅读

谷歌软件工程

3、zju-icicles(中文)

浙江大学课程攻略共享计划。在线阅读

4、software-papers(英文)

软件工程专业学生或专业人士可能感兴趣的精选论文列表,跨时代的经典论文都收录在其中。

software-papers

5、Awesome-Design-Tools(英文)

Awesome系列的设计工具和插件,内容是分类好的软件及插件目录。

6、awesome-python(英文)

Awesome系列的 Python 框架、库、软件和资源的精选列表。

7、Bash-Oneliner(英文)

该仓库收集各种一行的 Bash 命令,用来完成各种不同的任务。

8、美国数学学会认可的教科书(英文)

美国数学学会认可的教科书

9、Nginx中文官方文档(中文)

Nginx官方文档的中文翻译版Gitbook。

10、DesignPattern(中文)

Java 23种设计模式全归纳,有详尽的讲解和代码示例。

11、system-design-primer(中文)

了解如何设计大型系统,准备系统设计面试。

12、OA.mg(英文)

一个免费的论文检索网站。

OA.mg

13、data-science-interviews(英文)

数据科学面试问题和答案,在线阅读

14、mlbookcamp-code(英文)

机器学习 Bookcamp 书中的代码和基于该书的免费课程。

15、awesome-computer-vision(英文)

精选的计算机视觉资源列表。

16、system_architect(中文)

2022年软考高级系统架构设计师的备考资源库。

17、EffectiveModernCppChinese (中文)

《Effective Modern C++》中文翻译版,教你如何写出正确、高效、可维护的 C++ 代码的书。

Effective Modern C++

18、100-go-mistakes(英文)

如何避免这 100 个常见的 Go 使用错误呢?100-go-mistakes 收录了具体的错误场景和最佳实践。

19、beginners-typescript-tutorial(英文)

一个面向初学者友好的交互式 TypeScript 教程,配有相对应的练习。

20、HackerMind(中文)

渗透步骤,web安全,CTF,业务安全,人工智能,区块链安全,数据安全,安全开发,无线安全,社会工程学,二进制安全,移动安全,红蓝对抗,运维安全,风控安全,linux安全的思维导图图片合集。

21、从零开始的神经网络(英文)

一个英文的图文互动教程,使用简单的语言和图片,解释什么是神经网络。

从零开始的神经网络

22、awesome-ai-art-image-synthesis(英文)

Awesome系列的工具、想法、colabs、模型,供提示设计师使用 aiArt 和图像合成。涵盖 Dalle2、MidJourney、StableDiffusion 和开源工具。

23、Proof 维基(英文)

一个收集数学证明的维基网站,目前收集了2万多个数学定理的证明。

24、云安全资源汇总(中文)

这个项目收集云安全领域的博客、公众号、文章、工具、书籍、视频等资源。

云安全资源汇总

七、生活经验

1、适用于苹果芯片了吗

跨时代的M1芯片性能和功耗相比于x86的Intel芯片有了极大的提高,但刚发布时有软件适配性的问题。现在已经一年半了,你所需要的软件适配性做的如何了,可以通过该网站进行查询。

适用于苹果芯片了吗

2、地图的失真

有时候,看地图会误判,地图上俄罗斯过大(6400公里),非洲过小(7200公里)。这并不是地图画错了,而是地球为球形,投影成平面地图会失真,高纬度地区被拉长了。

3、博士插图指南

一组插图讲解什么是博士。

博士插图指南

4、人生不短

人生很短,但是如果你知道,怎么利用好这些时间,它就不短。人生刚好够实现自己的一个梦想,前提是你必须从一开始,就把所有精力专注于此。如果你浪费时间,不够专注,那么你没做什么事,人生就结束了。真正的问题不是人生短暂,而是我们浪费了太多时间。最令人惊讶的是,人们并不重视自己的时间。你不会让别人偷走你的财产,但你却让别人偷走你的时间。如果你听任自己为那些不重要的、随机出现的事情分心,那么即使你的寿命有一千年,你也会一事无成。

5、冰川细菌

中国科学院的一组研究人员,在2010年至2016年期间从西藏的21座冰川中采集了样本。他们将冰川样本完全融化,在融水里面发现了968种独特的细菌,其中98%是人类从未见过的,此外还发现了几种病毒。这引发了科学家的担忧,现在全球气候变暖,冰川纷纷融化,里面可能包含了古代的细菌和病毒,而冰川融水又往往是人类的水源。

6、由葡萄采摘日期倒推历史平均气温

古代没有温度记录,但法国有一个葡萄酒产区,保存着 1354 年以来,每年开始采摘葡萄的日期。葡萄一般在8月底9月初成熟,然后就开始采摘。如果夏天越过,葡萄成熟得越早,采摘日期也早早。有一个学者就这些从日期,倒推历史上每年的平均气温,结果就是下图的红线。可以看到,该地区的夏季以前基本稳定,到20世纪末以后,就开始一路上行,一直到该历史最高点。

由葡萄采摘日期倒推历史平均气温

7、阳光普照的时刻

有人在网上提问,有没有某一个时刻,阳光可以照到最多的人类?经过计算,每年还真有这样一个时刻,世界99%的人口都可以看见阳光。这个时刻就是7月8日格林尼治标准时11:15,相当于北京时间19:15。这时,美州、欧洲、非洲和亚洲都是天亮的,虽然中国沿海地区已经是黄昏了(太阳在地平线以下0度到12度),只有大洋洲是天黑的。这时,看到阳光的人口总共有77亿人,其中超过64亿人在白天,超过12亿人在黄昏。他们相当于地球总人口的99%,只有不到8000万人处于夜间。

8、落叶画

一位加拿大艺术家收集落叶,制作成各种生动的画作。

落叶画

9、确保未拆封

如何保证货物没有拆封过?一位德国程序员提出一个简单的方法:你把东西放在密封袋里面,里面再装入彩色的豌豆或大米。这些彩色颗粒会形成随机分布,一旦拆封就很难复原。你在密封后,拍下照片发给收件人,对方收到货物后,再用软件甚至肉眼,检查一下彩色颗粒的分布是否跟图片一致,就可以确定有没有被拆开过。

10、海量论文无助于科学进步

某一个领域的论文越多,就代表该领域的科学进步越快吗?不,不是这样的。

海量论文无助于科学进步-1

每一年都有海量的论文发表,背后的原因并不是真的有这么多科学发现,而是因为大量机构都使用论文数量作为指标,来衡量科学家的工作成绩和产出,决定给予多少资助。科学家也把发表论文,视为自己职业生涯的成就。

但是,论文数量的增加跟科学的进步,其实是两个问题,两者之间也不一定有转化关系。一项研究发现,当一个领域每年发表的论文过多,其实会导致该领域的停滞而不是进步。因为大量新论文可能会使得审稿人和读者产生阅读疲劳,无法认出具有突破价值的新思想和新发现。而且,各种论文提出的不同观点,可能会阻止学术界将注意力逐渐集中在一个真正有价值的新想法上。

海量论文无助于科学进步-2

论文数量越多,只会使得大量引用集中到某几篇被广泛阅读的论文上面,新论文不太可能被大量引用,只会淹没在海量的论文当中。这时,就算有新论文被关注,也不是通过一个渐进的、累积的过程,而是通过其他因素,比如名人的推荐。这些因素都表明,海量的论文很可能会让大型科学领域的进展放缓,把研究者困在现有的经典论述之中。

八、闲情逸趣

《花束般的恋爱》影评

影片简介

影片讲述了山音麦和八谷绢因共同错过末班车而相遇,两人也因此从聊天中发现双方的爱好出奇的一致,无论是音乐、小说还是电影,都能找到相同的话题。逐渐的,二人从无话不谈的朋友发展成了情侣关系,并在多摩川边买下了一套房子,共同在一起。然而恋爱并不是顺风顺水,为了能在生活和经济上稳定下来,八谷绢和山音麦先后放弃了兼职,转而在社会上找了更加现实和稳定的工作。而两人却开始因为工作忙碌和生活理念的原因,开始在小事上吵架,这也是恋爱出现裂痕的开始。这种糟糕的状态愈演愈烈,麦和娟从无话不说,再到无话可说,在参加完朋友的婚礼后,山音麦和八谷绢决定分手,结束掉这曾经美好的情侣关系。

花束般的恋爱简介

影片细节

[1] 二人聊耳机的时候并不是2015年的初次相遇,而是分手后的2020年,但二人依旧十分的默契。如果山音麦和八谷绢没有在咖啡店里再次相遇,可能真的会复刻2015年表白前在餐馆的那一幕——被坐在一旁的大叔科普了一小时的混音技术的他们,也会告诉这对情侣,“音乐不是单声道,是双声道的”。不知道这里是否有“爱是双向的,不单只是一边的倾诉的意思”。有线耳机真的很便于分享给他人,而且这也是很多人的青春回忆。而且在接下来的2016年,苹果的AirPods在当时的发布会上公开发布,市场上也出现了很多无线蓝牙耳机,耳机孔不再是手机上固定存在的部分。在圣诞节时,二人也同时想到用无线蓝牙耳机作为彼此的圣诞礼物。看到这里我在想,时代在变啊,“过去”的产品也会逐渐被淘汰,爱情如果也变旧了的话,是不是也会被“淘汰”呢。2020年再次在影片中出现的有线耳机和情侣,很难不让山音麦和八谷绢回忆起表白前的那一晚。

花束般的恋爱-细节1

两人交换的圣诞礼物是无线蓝牙耳机

[2] 在山音麦和八谷绢第一次在餐馆中交流的时候,八谷绢在快要结束的时候接了一通电话,回来的时候看到山音麦和好朋友卯内坐在一起,以为他们有特殊的关系,所以决定拿包离开。八谷绢也许把山音麦当成了对于恋爱并不负责的人,这点可以从前面剧情看出来。作为故事剧情的铺垫,她在最开始的时候遇到了第一次约会的富野浩史,他在吃烤肉的时候招呼来了另一位女性,这让八谷绢感到非常不爽,由此也能看出八谷绢很希望找到一份真挚和长久的爱情。

花束般的恋爱-细节2

八谷绢在离开时做出了难以接受的尬笑

[3] 两人在刚谈恋爱的时候去了海边拍照,但拍到一半的时候山音麦去买了小沙丁鱼盖饭,突然失踪的麦让八谷绢感到慌张。她害怕自己的恋爱也会像派对一样结束,不想自己的爱情只成为一晚上的欢愉,而是能够长期保持的爱情。就像八谷绢自己说的那样,“但我的爱情会活下来”。事实上,山音麦在谈恋爱的时候一直陪伴着她,但二人之间的隔阂越来越大,成为了陪伴不能解决的恋爱问题。最后他们两个的爱情成为了一个开了五年的派对,最终还是结束了。

花束般的恋爱-细节3

一起在海边玩的二人

花束般的恋爱-细节4

找不到山音麦慌张的八谷绢

花束般的恋爱-细节5

“你别突然消失啊”

[4] 电影里有段二人在工作后去书店的剧情,八谷绢拿了两本小说,等她去找山音麦的时候,却发现麦的手上的书已经变成有关职场的书籍了。当初用插画谋生的那个他好像已经回不来了,《宝石之国》和《黄金神威》的剧情也已经忘得干干净净,现在的麦只剩下职场与强行维持住的情侣关系。《人生的胜算》或许能在职场上有所帮助,但爱情与自己的爱好,又将走向何方呢。

花束般的恋爱-细节6

原本是笑着走来的八谷绢

花束般的恋爱-细节7

《人生的胜算》

花束般的恋爱-细节8

为此感到陌生的八谷绢

[5] 在《花束般的恋爱》中,二人在KTV所唱的乐队的歌也具有代表性。这其中出现了在2007年出道的三支乐队,分别是GreeeeN、SEKAI NO OWARI以及きのこ帝国(蘑菇帝国),这三只乐队曾经都在音乐榜单上榜上有名,但其中的蘑菇帝国在2019年因为吉他手谷口滋昭退出乐团而停止了活动。在影片结尾部分,坐在山音麦和八谷绢曾经坐的位置上的年轻的情侣在聊新兴的歌手与乐队,这其中聊到了从2012年开始活动,并于2017年发售专辑的羊文学;出生于1998年,2018年出道的歌手长谷川白纸:2002年出生,从2015年开始知名的天才吉他手崎山苍志。他们在同样穿着同款白鞋的情侣中看到了自己的影子,时间变了,身边生活在不同年代的人变了,但是最初那份至诚的爱情依然存在于每对爱情的情侣中。“你也喜欢音乐吗?”,“你还喜欢听谁的歌呢?”,一句句的交流与询问,其实是了解对方更多一步的过程。这对年轻的情侣和当初山音麦和八谷绢太像了,泪水止不住的从他们的脸颊上滑下。一切都很晚了,五年的现实与生活将他们一步步压垮,很多感情都无法挽回。再见了,但也请别忘却了,我们曾像花儿一般盛开的恋爱。

花束般的恋爱-细节9

坐在山音麦和八谷绢之前坐的地方的情侣,也默契的穿了同款白鞋

九、数字与言论

1、编程是思考,而不是打字。多年编程后,我时常觉得自己打字太多,思考太少。——《如何控制编程的元认知?》

2、说服他人的一种常见手法是,不要争辩某事是假的,只需要证明它与低地位的人有关;反之亦然,不要争论某事是真的,只需要证明它与高地位的人有关。——《说服力和声望悖论》

3、问消费者他们需要什么是没有意义的,因为他们不知道,只有当你把新事物拿到他们眼前,他们才会意识到自己需要它。——乔布斯

4、这个星球有将近80亿人,可能有一万人与你非常相似、心灵相通。互联网是你找到他们、并发生联系的最可能方式。——《在互联网上交朋友》

5、软件开发的目标不是类型安全、100%的测试覆盖率、流畅的代码逻辑、完善的开发工具、高效的系统、使用最好的编程语言、优雅的 API 设计、快速的反馈循环、编写很棒的代码等等……软件开发的真正目标只有一个:发布解决客户问题的软件,为客户提供价值。——《成为专业程序员10周年的感悟》

6、人们拥有一种神奇的能力,就是使事情发生。但是大多数人从来不敢尝试这种能力,只是默默接受世界本来的样子。——Sam Altman《如何成功》

7、制定一个计划,就是为了实施。计划的唯一目的是确保获得更好的结果。如果不去实施,计划本身并没有价值。如果你清楚地知道结果,完全可以没有。—— 《计划是为了做》

8、一个好的领导(或者产品经理),应该具备五项技能:SQL、Excel、简洁写作、讲故事、区分优先级。—— 《前5位的产品和管理技能》

9、Arch Linux 的优点和缺点都是它的滚动更新机制。一方面,你总是能让系统保持最新版本,另一方面,你无法轻易地让某个软件保持特定版本,所以不适合用作生产环境服务器。——《Arch Linux 为何存在》

10、如果你是一个工程师,那么在成为资深工程师之前,永远不要担任管理职务。—— 《工程师/经理的钟摆焦虑》

11、Windows 95 安装文件的体积是 19 MB,到了现在,一张网页可能就不止这个大小。——《不同的 Windows 体积有多大?》

12、一位护士问临终的病人,他们有什么遗憾。她后来总结出了5个最常见的回答:不要忽视梦想,不要工作过久,说出想法,交朋友,要开心。—— Paul Graham

13、一位医生曾经告诉我,医学院没教的一件事情是,医学和当医生是有区别的。医学是一门生物科学,而当医生是一种社会技能,涉及到管理期望、了解医保制度、人际关系、有效沟通等。——《医学和当医生的区别》

14、医院最喜欢的病人是慢性病患者,他们依赖医院,但是又不会很快病死而不能支付账单。美国的医疗体系依靠患者赚钱,因此预防疾病并不积极,只有2.9%的医疗支出用于预防医学。这造成的结果就是,病人的寿命虽然长,但是健康的时间并不长。——David Perell

15、有一个编程原则叫做 DRY(Don't repeat yourself,不要重复自己),指的是尽量不要有重复的代码。更好的名字应该是 SPOT(Single Point Of Truth,单点事实)。代码需要修改时,你只需要在一个地方修改,而不必改动多个地方。—— Hacker News

16、如果你忧心忡忡,那是不必要的;如果你毫不担心,那么你需要担心。——桥水基金创始人达里奥

Copyright © yoyo all right reserved,powered by Gitbook该文件修订时间: 2022-12-23 09:07:49

results matching ""

    No results matching ""