iovxw

含糖型 Brainfuck 解释器

断句有问题

其实标题应该是 《含糖型 Brainfuck | 的解释器》

不过因为不单单是个解释器还是个可视化和单步执行工具以及一个语法糖的实现

所以,嗯……标题就这样吧

修复 Linux GNOME 环境下非 GTK 窗口鼠标指针主题不统一问题

以后重装系统得清配置文件

~/.icons/default/index.theme 中的 Inherits 改过来就行了

如果没有就改 /usr/share/icons/default/index.theme,不过就是全局的了

本文完

原因估计是 GNOME 自带的鼠标主题设置没改这个文件,而非 GTK 程序都是靠这个读取鼠标主题的

自定义 Git commit 时间

拿来刷小绿点

在需要给 commit 指定时间的时候,可以用 --date 参数

支持的日期格式可以看:

http://stackoverflow.com/questions/19742345/what-is-the-format-for-date-parameter-of-git-commit

使用 'x days ago' 可以很方便的补上之前的小绿点(🙈这功能其实就是拿来干这种事的)

Shields.io —— 制作各种状态图标

嘛这篇文章其实是凑数的

在 github 上看见很多项目都有 IMG 这样的图标对不对?

嗯,这就是今天我在好不容易重新开始的 github 连击要断了于是急中生智水的这一篇博客中要介绍的东西:

http://shields.io

打开页面就能发现,各种例子相当全面,完全不用我介绍

于是这篇文章就结束了

一份 Minecraft InGameInfo Mod 配置文件

没错,这段时间我都在玩游戏

效果图:

https://img.vim-cn.com/f6/80f3ababde436eacbeaf0616cb42dc34f5fc2a.png

Ark —— Go 和 Rust 的结合体

只是没人用

编译器是用go和Rust写的,github在这里:https://github.com/ark-lang/ark

官网:http://ark-lang.org/

说是系统级编程语言,可以和C无缝交互

至于为什么说是go和rust的结合体

看下面的例子就知道了(https://github.com/ark-lang/ark-docs/blob/master/IDEAS.md

struct Bar {
    name: str;
}

struct Baz {
    name: str;
}

trait Foo {
    func fooBar();
}

impl Foo for Bar {
    func fooBar() {
        println("foobar method in foo for bar %s!", name);
    }
}

impl Foo for Baz {
    func fooBar() {
        println("foobar method in foo for baz %s!", name);
    }
}


// attributes look cool
// basically generics, we need to use
// them in this case instead of saying `value: Foo` as
// a param, because a trait does not have a constant
// size that is known at compile time, so the generic
// will basically compile down to [in this case] two
// functions one for Bar, and one for Baz, then it
// will know the size of the given value.
// this might be weird to understand but its 1am and im
// ill and tired. jah bless xx
func [T: Foo] callFooBar(value: T) {

}

func main() {
    // monomorphisation????
    baz: Baz = {
        name: "baz",
    };

    bar: Bar = {
        name: "bar",
    }

    callFooBar(baz);
    callFooBar(bar);
}

Chez Scheme 中的 machine-type

魔法的缩写

Chez Scheme 中可以用 (machine-type) 获取当前的运行环境

比如 64 位 Linux 获取到的是 a6le, 而如果启用了线程则是 ta6le

第一次看完全是一头雾水, 这到底是什么玩意?

其实只要注意看一下 Makefile, 就能明白了

Chez Scheme 性能测试

不用自己跑,省了很多事

#chez 频道里, @ecraven 使用 Chez Scheme 跑了下 Larceny 项目的 R6RS Scheme 基准测试 (感谢 ecraven)

测试环境是 Intel i7-4770 @ 3.4GHz, 结果如下:

http://www.nexoid.at/tmp/scheme-benchmark.html

为了省事在这里也放一份, 不过不保证更新, 最新结果请去上面的链接查看

total-accumulated-runtime

chez-9.4 (94.)larceny (235.)petite-9.4 (749.)racket (750.)petite-8.4 (889.)vicare (893.)ypsilon (1537.)

times-faster-than-any-other

petite-8.4 (2)larceny (3)racket (3)vicare (3)petite-9.4 (4)ypsilon (11)chez-9.4 (42)

打包发布 Chez Scheme 程序

简单暴力

上一篇文章 里说过如何将 Chez Scheme 程序编译为单文件, 不过仍然需要 Chez Scheme 或者是 Petite Chez Scheme 才能运行

但是总不能要求用户都安装 Chez Scheme, 因为这货在各大发行版官方仓库里都没有 (AUR 不是官方仓库), 只能自己编译, 更别说 Windows 了 (好好好, 我知道 Windows 10 发布了一个很重要的特性, 但那现在还是预览版)

解决方法很简单也很暴力, 发布的时候把 Chez Scheme 打包进去

将 Chez Scheme 程序编译为单文件

但是仍然依赖解释器

通过使用 make-boot-file 可以将 Chez Scheme 程序编译为单文件

文档如下:

procedure: (make-boot-file output-filename base-boot-list input-filename ...)
returns: unspecified
libraries: (chezscheme)

output-filename, input-filename, and the elements of base-boot-list must be strings.

make-boot-file writes a boot header to the file named by output-filename, followed by the object code for each input-filename in turn. If an input file is not already compiled, make-boot-file compiles the file as it proceeds.

The boot header identifies the elements of base-boot-list as alternative boot files upon which the new boot file depends. If the list of strings naming base boot files is empty, the first named input file should be a base boot file, i.e., petite.boot or some boot file derived from petite.boot.

Boot files are loaded explicitly via the --boot or -b command-line options or implicitly based on the name of the executable (Section 2.9).

See Section 2.8 for more information on boot files and the use of make-boot-file.