黑洞资源笔记中转站

2022-08-30 19:02:25 编程语言基础：Agda 语言描述

本书是 Philip Wadler 和 Wen Kokke 所著的《Programming Language Foundations in Agda》的中文翻译。是对编程语言理论的介绍。书中的程序使用证明助理 Agda 编写

在线访问 | 中文版 | #电子书 打开/如何

2022-08-30 18:55:05 文件系统学习笔记

博文 | #笔记 打开/如何

2022-08-30 18:52:20 AMD 发布锐龙 7000 系列处理器
R9 7950X： 16C32T，4.5-5.7GHz，80MB 缓存，170W TDP，699 美元
R9 7900X： 12C24T，4.7-5.6GHz，76MB 缓存，170W TDP，549 美元
R7 7700X： 8C16T，4.5-5.4GHz，40MB 缓存，105W TDP，399 美元
R5 7600X： 6C12T，4.7-5.3GHz，38MB 缓存，105W TDP，299 美元 打开/如何

2022-08-30 18:51:11 快乐的Linux命令行

本项目是 The Linux Command Line 一书的中文翻译

在线阅读 | pdf文件 | #电子书 # Linux #命令行 打开/如何

2022-08-30 18:45:06 一个免费强大的在线表格转换工具

此工具支持在线创建和编辑表格，还可以从网页提取Excel！重要的是，它可以在 CSV、LaTeX 表格、HTML、JSON 数组、insert SQL、Markdown 表格 和 MediaWiki 表格之间进行自如的转换。

TableConvert | #编辑器 #工具 打开/如何

2022-08-30 18:40:13 如何创建可移植的Linux二进制文件（即使你需要最新的编译器）？

为在各种发行版上运行的 Linux 创建应用程序二进制文件有点棘手，因为不同的发行版提供了不同版本的各种系统库。这些通常向后兼容，但不向前兼容，因此链接到旧版本库的程序也适用于较新版本，但不是（必然）反过来。
因此，你希望将你的应用程序与这些库的旧版本链接；但是，尤其是在使用 C++11 或更新版本时，这并不总是可行的。

这篇文章将展示如何处理这些问题。它专注于视频游戏，但总体思路也适用于其他类型的应用程序（对于普通的 GUI 应用程序，您可能有更多或更复杂的依赖项，例如 Qt，可能需要额外注意，此处未详细说明）

Blog | #教程 打开/如何

2022-08-30 18:35:49 开源项目挣钱实用手册

以下为作者语：

"我在参与开源项目，但是我该如何挣钱呢？"

我列出了我从各种渠道所知道的开源项目带来收入的人们的故事，每种出资类型都有一系列的真实案例，粗略的按照出资量从小到大排列。（我已尽可能的将链接指向具体故事而非主页面）。

本文中的出资类型并非互斥的，例如一个项目既可以由基金会也可以通过众筹来筹集资金，而一个人既可以靠咨询挣钱也可以获得捐赠。本文的主要目的是提供一个详尽的挣钱方式列表，而你只需要从中选出适合你的。

中文版 | 英文版 | #手册 打开/如何

2022-08-30 18:31:46 使用 F5 NGINX 管理 Kubernetes 流量：实用指南。

传送门 | #指南 打开/如何

2022-08-30 18:29:59 网页抓取的 5 种首选编程语言

络抓取或网络收获需要一个好的工具才能有效地进行。它涉及数据抓取、内容获取、搜索、解析以及数据重新格式化，以使收集的数据准备好进行分析和呈现。使用正确的软件和语言进行网络抓取工作非常重要。

本文介绍了五种用于网络抓取的最佳编程语言。该列表基于许多因素，包括直观性、易于编码、可维护性、灵活性，当然还有网络抓取的有效性。该软件的受欢迎程度也很重要。一个更受欢迎的工具往往会得到更好的更新和支持，这些用户可以互相帮助解决问题或学习新的和更有效的网络抓取方法。

文章详情 打开/如何

2022-08-30 18:27:55 使用 C++ 获取硬件信息的跨平台解决方案

hwinfo 打开/如何