In order to unite my blogs, I decide that this blog will receive no updates from now on and I will move to a new place.  ...继续阅读 (31)

首先评价：这道题肯定不是小学水平，至少是初中奥赛（要用三角函数），不过高中生水平应该会做。如果真是一道小学题，那么左下角那一块要涂满。根据对称性，很容易看出来，如果填上左下角（下图中的ADE区域），那么阴影部分面积会很好求，矩形面积减去两个圆面积除以 2 就行了（这也正是小学题水平，但肯定算不上什么五星题）。现在问题转化为求左下角（ADE）的面积。先画几条辅助线。显然有 SADE=SABC-SDEBC，略加运算得到 [tex]S_{ADE}=\frac{25\pi}{4}-(S_{ODEC}-S_{ODC})[/tex]。为了求 SODEC和 SODC，有必要知道 ∠DOC。易得 tan∠OCD=tan∠CAB=0.5。为了方便，把 ∠OCD 记作 α，则有 ∠DOC=θ=π-2α。首先可求出 SODEC：[tex]S_{ODEC}=\frac{25\theta}{2}=\frac{25}{2}(\pi-2\arctan\frac{1}{2})[/tex]。根据几何关系：OF=5sinα，CF=5cosα，则 SODC= 12.5sin2α = 10。这里需要一定的三角函数知识才可得解。现在把这些数据代回 SADE的运算式中即得结果 [tex]10+25\arcta ...继续阅读 (77)

按以下过程操作：新建新管理员用户，设置-账户-家庭和其他用户-其他用户-将其他人添加到这台计算机-我没有这个人的登陆信息-添加一个没有 Microsoft 账户的用户。注销，从新用户登录。进入 C:\Users，重命名文件夹。在注册表中把所有原文件夹路径替换成新的，其中最重要的是 ProfileList。注销，以原用户身份登陆，删除刚才新建的用户。完成。 ...继续阅读 (80)

在开始之前这里我们用 Vala 语言和 GTK+ 来展示如何使用 Automake。首先创建 src/sp-gui.vala：using Gtk; int main(string[] args) { Gtk.init(ref args); var win = new Gtk.Window(WindowType.TOPLEVEL); win.destroy.connect(Gtk.main_quit); win.title = "Salamat Pagi"; win.show_all(); Gtk.main(); return 0; }这段代码会生成一个标题为 Salamat Pagi 的空白窗口。这段代码可以使用以下命令测试：> valac sp-gui.vala --pkg gtk+-3.0 > ./sp-gui开始折腾 Automake首先创建 Makefile.am 文件：SUBDIRS = src然后创建 src/Makefile.am 文件：bin_PROGRAMS = sp-gui sp_gui_SOURCES = sp-gui.vala # 很遗憾我还没找到有什么好办法把这个 VALAFLAGS 消除掉 sp_gui_VALAFLAGS = --pkg gtk+-3.0 sp_gui_CFLAGS = $(GTK_CFL ...继续阅读 (64)

很好的开端……你应该已经学习了本部教程的 m4 章节，那么恭喜你，这是一个非常好的开端。过去你可能已经多次尝试入门 autoconf 但是不得要领，但是只要你学会了 m4 的基础知识，autoconf 对你来说就是一套预先定制好的 m4 宏而已，你只需学习其用法即可。读完本章，你就会发现 autoconf 是多么简单！configure.ac 和 autoconf要使用 autoconf，你需要一个叫做 configure.ac 的文件，当然，搞得这么花哨，其实就是一 m4 文件罢了。因为讲解 autoconf 时不宜引入 automake 之类的乱七八糟的东西，避免影响我们的教授流程，所以这里不会给出一个实际例子。这里你只需要知道，我们的目标程序名字叫做 SalamatPagi，使用 C 语言开发。我们创建一个非常典型的开源项目文件系统：mkdir -p SalamatPagi/src mkdir -p SalamatPagi/lib mkdir -p SalamatPagi/common cd SalamatPagi然后我们创建 configure.ac：AC_INIT([SalamatPagi], [0.1], [bug-report@address]) AC_PROG_CC此处，AC_INIT 初始化 autoconf，AC_PROG_CC 引入 ...继续阅读 (66)

m4 是什么？Autoconf 的基础是一个叫做 m4 的东西。那么 m4 是什么呢？说白了，它类似于 C 语言的预处理器，用来处理宏的。要看看这玩意是怎么工作的？kai@debian:~$ m4 define(`OS', `operating system') ⇒ OS ⇒operating system注意，我输入的是 `' （第一个字符不是半角单引号，而是 ~ 键不按 Shift）而不是 ''。很简单吧？它将 OS 直接展开成了 operating system，而 C 语言 #define 就差不多：#define OS operating system OS /* 展开成 operating system */m4 对我们有什么用？要玩转 autoconf，我们不得不了解一下 m4。虽然 configure.ac 看上去很简单，但是里面一些高端玩法都是和 m4 有关的，要进行深度定制也离不开 m4。但是我们有必要学得很深入么？当然没有必要啦，学学跟我们可能有关的就行了。m4 玩法举例引用前引用符号 ` 和后引用符号 ' 扩起来的，就是一个单纯的引用（不知道怎么解释比较好，文档里称 Quotation，注意不是 Reference）。m4 在遇到 quotation 时不会进行宏展开，这类似于 Lisp，Lisp 遇到 quote 时不会对变量求值。如果 ...继续阅读 (33)

谈谈这个系列我以前写过一个 10 分钟入门 Autotools 的文章，但是弄丢了，而且困于俗务，又好久没有敲打键盘，因此自己也都不会用 Autotools 了，便计划重新系统地学习一遍。这部教程打算作为学习的产物，以飨大众。计划完整涵盖 autotools 的常见用例，包括m4,autoconf,automake, intltool, libtool 及多语言混合编程、单元测试，共 7 篇。这个系列的撰写对我个人而言意义会更大，因为我会尝试在撰写中使用较多自由软件技术，点亮更多技能点。在该系列中，我会力求阐明 GNU 构建系统的来龙去脉。我的机器使用 Debian Jessie 系统，autotools 各组件版本如下：autoconf 2.69automake 1.14.1libtool 2.4.2intltool 0.50.2此外，该系列也会尽量从现代视角出发，争取不牵扯到无聊的历史细节中去，使知识可以立即转化为技能。这部教程假定读者对 Linux 桌面编程有初步的认知，即会使用 C 语言、了解 C 语言程序和库的编译流程、会编写简单的 Makefile、知道程序国际化和本地化的流程和基本工具。另外，这套教程建议读者先通读一遍，此后再按需查阅，因为其中的例子是随着行文逐渐发展的，如果不通读一遍可能不知道我在写什么。什么是 GNU 构建系统？如今，我们已经渐渐遗忘了历史上兵荒马 ...继续阅读 (160)

fontconfig 是用来配置字体的玩意。系统字体安装后，会有一个 .conf 配置文件安装在 /etc/fonts/conf.d 下。因为没有其他信息，所以由 fontconfig 自行决定字体顺序，所以偶尔会出现字体混用之错乱情况；或者字体显示效果不佳，心中不爽；或者选择了另外一种语言的字体（尤其是中日字体）。这时，就必须亲自动手撰写 fonts.conf 文件（放在 ~/.config/fontconfig 下）。详细见man fonts-conf（中文翻译）。下面是一个自用配置，放在这里也是为了备份。这里选择思源黑体为中日无衬线默认字体，花园明朝体为有衬线默认字体。<?xml version="1.0"?> <!DOCTYPE fontconfig SYSTEM "fonts.dtd"> <fontconfig> <!-- 别名设置： serif ☚　宋体、SongTi、simsun、ming、明體 sans-serif ☚ 黑体、黑體、heiti、simhei --> <match> <test name="family" compare="eq"><string>宋体</string& ...继续阅读 (43)

SICP 1.1 节「程序设计的基本元素」给出了一个计算平方根的算法，原书并没有给出证明，大概是因为不太适合书的主题，我在此写这个证明只是为了补充书上所缺，满足自己的强迫症，如有错误请指出！证明数学表达如下：对于任意实数 [tex]b>0[/tex]，数列 [tex]a_n[/tex] 的递推公式是 [tex]a_{n+1}=\frac{a_{n}+b/a_{n}}{2}[/tex]，且[tex]a_1=1[/tex]，那么当 n 充分大时，[tex]a_n[/tex] 可以无限接近 [tex]\sqrt{b}[/tex]。下面给出证明。由 [tex]a_{n+1}-a_{n}=\frac{b-a_n^2}{2a_n}[/tex] 可知，当 [tex]a_n<\sqrt{b}[/tex] 时，数列 [tex]a_n[/tex] 是严格递增的；当 [tex]a_n>\sqrt{b}[/tex] 时，数列 [tex]a_n[/tex] 是严格递减的。容易知道，当 b > 1 时，数列 [tex]a_n[/tex] 严格递增且有上界；当 b = 1 时，无疑 [tex]a_n=1[/tex] 恒成立；当 b < 1 时，数列 [tex]a_n[/tex] 严格递减且有下界。因此确信数列 [tex]a_n[/tex] 收敛且存在极限，记作 [tex]a[/te ...继续阅读 (46)

This may sound ridiculous, but that's actually happening...package require critcl foreach item [exec pkg-config --cflags gtk+-3.0] { critcl::cheaders $item } foreach item [exec pkg-config --libs gtk+-3.0] { critcl::clibraries $item } critcl::ccode { #include <gtk/gtk.h> } critcl::cproc gtk {} void { gtk_init(NULL, NULL); GtkWidget *win = gtk_window_new(GTK_WINDOW_TOPLEVEL); gtk_widget_show(win); gtk_main(); } gtk"apt-get install critcl libgtk3.0-dev", and be sure to kill it using C-c.Critcl is amazing, isn't it? ...继续阅读 (44)

考虑 Fibonacci 数列：f(0)=0, f(1)=1, f(n)=f(n-1)+f(n-2) (n=2, 3, 4, ...)可以很轻松地写出其递归形式表达（这里使用 Racket）：(define (fib n) (if (< n 2) n (+ (fib (- n 1)) (fib (- n 2)))))很显然，这个函数是无法被尾递归优化的。但是我们也可以很简单地将它转化为线性迭代过程：(define (fib-iter a b n) (if (= n 0) a (fib-iter b (+ a b) (- n 1)))) (define (fib n) (fib-iter 0 1 n))这样做的原理是什么呢？实际上，我们只不过是把每次运算的结果丢弃掉，然后换上下一次需要的数据而已。比如说，我们要计算 f(n+1)，那么就需要知道 f(n-1) 和 f(n)。循环的终止条件是 n=0，然后返回 a。如何验证这样做是正确的？可以列出如下表：i=n a=f(0) b=f(1) i=n-1 a=f(1) b=f(2) i=n-2 a=f(2) b=f(3) ... i=1 a=f(n-1) b=f(n) i=0 a=f(n) b=f(n+1)我们得到了我们想要的结 ...继续阅读 (33)

现状是 Bilibili 需要 Flash，首先，在 Linux 下 Flash 很糟糕，其次，由于没有代理暂时装不上 Pepper Flash Plugin。不过 Star Brilliant 写了个叫BiliDan的软件，可以让 mpv 播放 bilibili 视频，支持弹幕。OK，现在问题简单多了。首先安装 bilidan。如果你用 AOSC OS，直接从源里面拖一个就行了。然后给你的 Firefox 安装个 AppLauncher。右键，AppLauncher -> Preferences，add，Name 里面填你喜欢的（比如「用 Bilidan 播放本页」），Path 里面填「/usr/bin/gnome-terminal」。然后按这些写 Arguments：--hide-menubar-ebilidan &url;用 gnome-terminal 而非直接调用 bilidan 的好处是可以立即看到效果和日志，免得等了半天结果发现 bilidan 报错退出了……如果你是从 git repo 里面拖出来的 bilidan，记得修改 Arguments 的最后一行。配置完成后，即可轻松远离 Flash 的祸害。 ...继续阅读 (64)

电脑挂了后就直接装了 AOSC OS。和 Debian 完全是两种作风：Debian 要把包拆得细细的，还都很老，AOSC OS 的包粒度很粗，整个 LibreOffice 只有一个包！而且更新很快。The AOSC way.——Jeff Bai第一关是安装。AOSC OS 是用 tarball 安装的，给我这种用惯了安装程序的家伙带来了一些困扰。不过我好歹有点 Linux 使用经验。找来了之前的 Gentoo LiveDVD，随手 mkfs.ext4 然后按着 GitHub 上的说明就成功安装了。其实也很简单。第二关是网卡驱动。可喜 AOSC OS 的开源驱动直接支持我的网卡，不必花费时间折腾。第三关是显卡驱动。nouveau 至今没启动起来，一直是 llvmpipe。第四关是缺软件。自己打包呗。AOSC OS 有一套用 bash 脚本（没错这是真的）写的自动化工具，其中 autobuild3 就是为此而生的，可以通过很少量的一些配置打包出 deb 和 rpm，用起来十分惬意。比如这是 easytag 的包。剩下的就是一些零零碎碎的小问题，比如缺某些包依赖啦（发个 issue 呗）、Pepper Flash Plugin 装不上啦（买代理呗）…… ...继续阅读 (93)

今天看 C# 发现这样一种用法：class IntManager { int[] arr = { 0, 1, 2, 3 }; public IEnumeratorGetEnumerator() { for (int i = 0; i<4; i++) { yield return arr[i]; } } }是的……对我这样孤陋寡闻的人来说，这就是这么神奇……居然可以这样写出迭代器！而且根据一些资料来看，这个迭代器是随用随取的，也就是说如果资源不在内存上，那就可以需要多少取多少，不会一次性全部取回来，非常方便。以前我只知道 yield 用在 coroutine 上。不过把这两个一结合，我就发现了神奇的现象……Tcl 的 yield 其实也不过是这样而已。proc y {} { set i 0 while 1 { yield [incr i] } } coroutine coro y ;; -> 1，这里会调用一次 y 所以是 1 coro ;; -> 2 coro ;; -> 3 coro ;; -> 4没错，这还是一个……嗯，我们不如来研究一些好玩的。proc fibo {} { ;# 第一次 yi ...继续阅读 (28)

在百度贴吧上看见了一个类似的话题，试着自己又写了一篇。（可能是浪费时间的行径 =_=||）行文风格参考了 The Theoretical Minimum 这本书。 ...继续阅读 (24)

元包和软件组安装一批软件，Debian 使用了元包（meta-package），而 Fedora 选择了 groupinstall。Debian 的元包支持起来比较方便，不需要对包管理进行特殊的修改，但是有个问题，假如删除了元包依赖的任何一个包，那么元包就会被删除，被依赖的所有包都会标记成 orphan。autoremove 和 clean_requirements_on_removeDebian 的 autoremove 功能很早就有了，Fedora 一直没有这个功能，像 package-cleanup 之类的比 apt-get 难用一百倍。后来 yum 有了 clean_requirements_on_remove，在 remove 的同时找出他依赖的不再有用的包并删除。这一点我觉得比 apt-get 好，毕竟这个要手动再调用一次。（aptitude 则和 yum 行为一样）另一点是 autoremove 比较危险，尤其是 meta package 的大量使用容易导致整个系统被炸飞……而 yum 则安全许多。 ...继续阅读 (21)

终于比较认真地读了一下 CSAPP 的一点点，顺便做点记录，也算是以往经验的小小总结吧。诸如 [DCL13-C] 的标注，是 CERT C 安全编码标准的编号（看来我写的代码还是不错的嘛）。大端、小端是机器中两种表示数据的方法（字节序），大端法是把最高有效数字排在低地址，小端法是把最高有效数字排在高地址。举例来说，0x12345678 这个数字，在小端机器中会被存储为 78 56 34 12（低->高），相反在大端机器中是 12 34 56 78（低->高）。以程序验证：#include#includevoid show_bytes(const void *bytes, size_t len) { const unsigned char *bytes_; // [DCL00-C], [INT07-C] size_t i; bytes_ = bytes; for (i = 0; i < len; i++) { printf(" %.2X", bytes_[i]); } printf("\n"); } int main(void) { int val = 0x12345678; show_bytes(&val;, sizeof(val)); return EXIT_SUCCESS; }运行该程序，输出 78 56 34 12，说明我的机器就是小端的。注意，在 ...继续阅读 (61)

以下内容以 Jessie 和标准 GNOME 桌面为例。切换到网络源如果是 DVD 安装，那先确保有网络，然后切换到网络源上。如果你不幸是开源驱动不支持的 BCM 用户并且安装的时候没有提供固件，请先看下面的安装网卡驱动，然后再回来。编辑 /etc/apt/sources.list：deb http://security.debian.org/ jessie/updates main non-free contrib deb-src http://security.debian.org/ jessie/updates main non-free contrib deb http://ftp.cn.debian.org/debian/ jessie main non-free contrib deb-src http://ftp.cn.debian.org/debian/ jessie main non-free contrib deb http://ftp.cn.debian.org/debian/ jessie-updates main non-free contrib deb-src http://ftp.cn.debian.org/debian/ jessie-updates main non-free contrib注意我开启了 main、non-free 和 cont ...继续阅读 (23)

firewall-cmd --direct --add-rule ipv4 filter INPUT 0 -p gre -j ACCEPTfirewall-cmd --direct --add-rule ipv6 filter INPUT 0 -p gre -j ACCEPTfirewall-cmd --reloadDo this if you are experiencing connection failures... (source Ask Fedora) ...继续阅读 (25)

Fedora Copr is a build system (like OBS) where you can easily set up your own software repository, but unlike OBS, it's specifically for Fedora.DNF, a package manager introduced in Fedora 21, has built-in support for Fedora Copr. When you want to get Rust programming language installed, for example, just do this:dnf copr enable fabiand/rust-binary dnf install rust-binaryIn case a software you want is not in the official repository, search Fedora Copr for it, chances are that it's already there. ...继续阅读 (20)

如果在几年前我玩 Arduino 的话，估计我不会这么惊讶，不过学了好多原理之后，就对这玩意里面的很多东西感到惊奇了……电压怎么就神奇的反转了，波形怎么就神奇的变化了，传感器怎么就能输出信号了，这些信息怎么就被芯片截获了，之类的，越是玩下去，就越想知道这小小的黑盒子到底是怎么制造的…… ...继续阅读 (45)

Tcl 是个很老很老的语言了，而且最让人叹惋的是，这语言一开始就饱受关注，然后就被广泛使用了，从此作出大的改动已经不太可能了。变量与作用域问题就是 Tcl 时代限制在这方面的体现。 ...继续阅读 (19)

#include#includeusing namespace std; class clsA { public: int value() { return 1; } }; class clsB { public: string value() { return "yes/no"; } }; templateauto foo(Type x) -> decltype(x.value()) { return x.value(); } int main(void) { clsA oa; clsB ob; cout << foo(oa) << foo(ob) << endl; return 0; } ...继续阅读 (27)

kim then ngax ghan jah lix khan syet phjeu kua 今天我寒夜裏看雪飄過 ghruai triak lengx khiak leux tek sim qua phjeu yanx pyang 懷着冷卻了的心窩飄遠方 piung yox lix tryi kanx 風雨裏追趕 myoh lix pyon pyot chieng qiengx cyung 霧裏分不清影蹤 then khung haix khuat nrix jox ngax 天空海闊你與我 khax ghuad pienh(zjyi muot zaih pienh) 可會變（誰沒在變） ta sjeux chiih ngieng triak lengx ngrenx jo trau sieuh 多少次迎着冷眼與嘲笑 zyung myoih pyangh khjiih kua sim triung tek lix siangx 從未放棄過心中的理想 qjit chrat na kuang huot 一剎那恍惚 njak iux sriox sjit tek komx kruk 若有所失的感覺 pyot trie pyot kruk jix pienh damh 不知不覺已變淡 sim lix qaih(zjyi mieng brak ngax) 心裏愛（誰明白我） ngyan l ...继续阅读 (11)

我过去读过小虾的类似文章，很有意思，《无聊入门一下传说中的验证码识别技术》《浅谈某些网页验证码以及绕过验证》。谁想到今天遇到了更搞笑的：某网站光明正大地使用随机生成的文本。我们来看看这是个什么网站。一开始是有人来问怎么识别验证码的，但是，随手一看就能发现猫腻……然后再看看代码：嗯……这边没有检查。那是不是连带验证码也发送了呢？……等等！！为什么只是在本地 validate 一下啊？！（其实还有 validate 和 createCheck 的源码，太懒就不发了）（再吐槽一句，check code 是什么玩意儿？validation code 很不服气啊！）也就是说，这个验证码只是在前端生成+验证的，つまり，也就只能糊弄一下用户！验证码一开始是用来限制机器人的，用以辨别用户是不是人，随着 OCR 技术的不断精进，验证码也愈发复杂，今天见了这个验证码，倒是有点返璞归真的感觉……个屁，只能给用户造成麻烦，却不能阻挡机器人，要你何用？当然，凡事我们要辩证地看，绞尽脑汁后我们也能找出那么一两点好处的（转自小虾文章）：加这个验证码是让查的人不那么急，流量不那么拥挤加这个验证码的目的可能是让用户有机会停下来确认输入的数据是否正确（但是，人都输入验证码了，谁还会去回头检查输入的数据？）这 ...继续阅读 (31)

之前有人问到如何从 C 端访问 Tcl 变量，此处做一总结。庶几不失「现代」之名。有关 Tcl_Obj 的维护者资料击此。于是终于回到了主线。《Tcl 现代方法》本来是作为记录 Tcl 现代用法的系列博文，一开始是介绍 C 库的，但是后来 Tcl 脚本的内容反倒更多，结果现在纯粹谈起来 C 库又会导致歧义，因此在标题前加上 lib 标记，以示内容是 C 库而非 Tcl 脚本。 ...继续阅读 (37)

本文是从底向上逐步构建其 TclOO 大框架的，如果你更喜欢自顶向上的，可以参考别的教程。另外，本文只是入门级别，读完本文后再去看文档或者其他教程应该会容易些，毕竟是汉语写的。这里我推荐 Ashok 写的《Tcl Programming for Windows》中的 TclOO 一章。除去协程，面向对象编程也是现代编程语言不可或缺的一部分。Tcl 在 8.6 之前都没有内建支持面向对象编程，但这不意味着 Tcl 没法 OO——恰恰相反，Tcl 有一大堆 OO 库，我随口就能叫出几个出名的：[incr Tcl]、XOTcl、Snit。这些库各有千秋，有的模仿 C++，有的是原型继承，还有的是模仿 Common Lisp Object System，千姿百态。可能和大家所想不同，这样的「大好」局势并未给 Tcl 带来许多好处：依然有人批评 Tcl 没有 OO 支持；有的人虽然知道有，但批评选择太多让用户无所适从，或者为自己所爱的库口诛笔伐；有的人虽然不在乎别人怎么选择，但很苦恼其他扩展包依赖了自己根本不需要的 OO 库……在这种情况下，Tcl Core Team 站了出来，提出了TIP 257，由 Donal K. Fellows 主要实现。这套面向对象机制起名叫做 TclOO，并随 Tcl 本身提供。TclOO 的设计十分灵活，可以 ...继续阅读 (4)