#share #cs #pl #oi 因为已经在熬夜了所以就没多排版方便大家打印，到时候会排版的

我来给你们解说一下大体的知识分布

asm: 文件夹里有一些 intel 风格的 x86 汇编文件，我还没有看是什么平台的，主要就是一个小计算器类的字符处理程序

cs: 里面有程序设计语言 PL0 的导学、计算机网络笔记、数据分析书、函数式 fold、huffman 压缩、MIPS 架构处理器设计、FoPL 的 GC 选项讨论

ice1kblg: 里面是「Intermidnate Representation 中间表示」即冰封博客的部分文章节选，包括完整的逻辑式入门和额外两篇关于语法设计和 Agda conductive type 和程序设计语言与机器学习的文章
注意这里可能有些 pdf 的尾页完全是无用元素充填的，直接不打印就好

ktlime: 我（菜鸡 duangsuse）写过的第一个高级语言解释器的重构版本，并且它因为源代码简单还会继续重构的，适合你们入门（相反的，JLime 因为过分实现了 Java stdlib 里的接口「其实有些可以用抽象类的」反而不好看了，而且功能没有多多少）

ktparserc: ice1000/Ruiko.kt （Ruiko.fs，FSharp F#）（一个基于 LL(?) 的 parser combinator ?: 我不知道 n 是几）的转语言重写版本的所有源代码

rednaxelablg: Rednaxela 的博文选篇，包含 C 动态执行二进制 redpill（机器代码）、迫真插入排序、LINQ |Ruby 和 Monad 函子、this 的 GC 处理，虚拟机杂谈

rs: Rust 官方文档的两个例子

rsmb: 《Rust 宏小册》中文版的「前半部分」（理论）和「后半部分」（模式），不包含中间的实现部分，太长了

scheme: 我写下的两篇文档，描述了 R6RS （BiwaScheme）上的基于堆栈机的执行模式和 Sexp （一个基于 S 表达式的多范式编程语言）的部分设计

axml.md: Android AXML 二进制 XML 文件结构描述，实际测试的结果是此文档不怎么准确所以不能实用

imgascii.kt: ice1000 博客上某文章示例代码的重构版本

learn.hs: 学习 Haskell

rsbyex: Rust by Example 书（Rust 入门和进阶）的中文版
rsnomicon: Rust Nomicon （Rust 底层交互手册）的英文版

今天会把 METO 的也加进去，然后全部做成 PDF 或者 ODF 的格式分发

最有价值打印的文档（以高亮 <code> 标记的是我已经打印的部分）：

asm/
calc.asm
nconv.asm
num.asm (optional)
mul.asm (optional)

cs/
编译原理和技术实践(2017)(PL0).pdf
小抄总结(计算机网络).pdf
熊的web.pdf
fold.pdf
huffman.pdf
lab5_单周期MIPS CPU设计.pptx
PB15111604_金泽文_Report_for_FoPL.pdf

ice1kblg/
coinductive.pdf
excited_syntax.pdf
logical(1-5).pdf
推荐到博客上复制粘贴已经排版好的文本，不用 PDF

ktparserc/*

rednafxblg/
monads.pdf
thisgc.pdf
vms.pdf

rsmb/*
scheme/*

learn.hs

rsbyex.pdf
rsnomicon.pdf

实际上打印网页的效果十分的差，我建议大家以后都不要这么做，用复制 + LibreOffice 重排版

话说 MSOffice 好像支持 LibreOffice 不支持的基于格式化模式选择文本，气死了这样格式化起来不方便

LiberOffice 给文档加页码 Footer 都困难，它不能自动设置页码 footer 也不允许你手动为每个页面加不同的页码

还是没有 production ready，目前还是比较不完善的工具

我真的搞不懂 LO 的设计者是怎么想的，假设你要拿它排版一本书的话，只分左页面和右页面加页码有啥实际意义呢？你看左面永远是 1 右面永远是 2 根本分不清是在哪，HTML 都不是这样的

最后还有 scheme、learn.hs、rsmb、rsbyex、rsnomicon

+ 更新，打完了 learn haskell
+ scheme 的也打完了

打印这些东西后我想我可能知道 papper 是什么意思了... 😶

#note #kde 自带的 PDF 阅读器 Okular 有问题，打印的时候会莫名其妙的缺失字体，推荐使用其他应用打印 PDF

只要不是英文字体，甚至是有时候 Latin 字符集的字体也会缺失真是令人服气

里面的东西基本都是没有版权问题的，如果只是自己打印的话
冰封博文版权是 CC-BY-NC-ND，也就是说不可以派生取用，但是可以完整的打印下来

准备打 JNI 的博文时好像没墨了还是未知错误...

好像是没墨了... 标准参考 A4 可打印 190 张，最大可能可以达到这个标准的 2 倍，现在打了 Rustnomicon （足足 140 张+）后残血了还是坚持又双打了四十多张...