中华人民共和国教育部指导的公告教育资源平台

国家智慧教育平台 | #教育
《Python 源码学习》系列博文

本系列主要以阅读和分析 CPython 源码的方式学习 Python。

Blog | #Python
编程语言基础:Agda 语言描述

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

在线访问 | 中文版 | #电子书
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 美元
快乐的Linux命令行

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

在线阅读 | pdf文件 | #电子书 # Linux #命令行
一个免费强大的在线表格转换工具

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

TableConvert | #编辑器 #工具
如何创建可移植的Linux二进制文件(即使你需要最新的编译器)?

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

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

Blog | #教程
Back to Top