Reveriel · Interactive Knowledge
知识是游戏，阅读是游玩。比书更好。
- Reveriel：一个交互式知识系统的设计 Stage 12026年7月23日
Reveriel 是一个交互式知识系统，伪装成博客的样子。这篇文章解释它的设计哲学、目录结构、内容管线、组件系统、品牌与 SEO——以及为什么游戏是比书本更先进的知识载体。
- On the Fly Batching Stage 12019年5月28日
对于一个 RNN, naive 实现是每次只计算一个句子。 ```r func rnn( xs:[vec{8}] ) // 假设词向量长度8 n = length(xs) h_0 = 0 for x in xs h_t = tanh(W * [h_{t-1}; x_t] + b
- Games and Bots Stage 12019年2月22日
最近给碧蓝航线写了个脚本, 反复刷地图 3-4. 脚本的内容就是点进去那个地图, 地图是一个大约 4x6 的棋盘, 舰队(敌人)会在随机的位置出现, 每打完一个舰队会在棋盘上刷新的舰队, 打完5次以后会刷出Boss 舰队. 打舰队的很简单, 因为游戏提供了自律功能. 所以脚本只需要简单点几下就行了. 这么简单的事情..
- Logic Stage 12019年2月21日
> constructive logic proves that the law of the excluded middle is positively > not refuted (its double negation is constructively true).
- Hugo Usage Note Stage 12019年2月21日
Notes about how to use hugo.
- system_server, high cpu usage? Stage 12018年12月29日
华为手机的对后台应用的处理有点奇怪啊, 大概概况为这么一句话: 另可卡死, 也不杀一个后台. mate 20, 5.4 GB 内存. swap 2.1GB 打开应用, 不使用返回键或在多任务切换界面删除, 这些应用就几乎是一直在 后台缓存着, 再次打开时, 能够非常迅速的打开, 而且不丢失运行状态. 不会回到刚才 用
- Mininet Simulation Stage 12018年5月5日
- Termbox, an API for text-based UI Stage 12018年4月23日
[Termbox](https://github.com/nsf/termbox) 之前就在 haskell 库里面看到过, 现在又在 lua 里面看到了. 似乎各个语言中都有这个库. 字符界面的 API 感觉挺酷的, 而且在实现简单程序 demo 时也可以考虑使用字符界面而不是GUI. 看一看这个 API 是怎么设计
- 记全国大学生 IoT 创新大赛 Stage 12018年4月22日
参加 IoT 创新竞赛. 汇报了我们的作品 PiCam , 一个基于树莓派的跟踪摄像头.
- Object Tracking on RPi Stage 12018年4月1日
Install [SiamFC-TensorFlow](https://github.com/torrvision/siamfc-tf) on RPi
- Web Server using NodeJS Stage 12018年3月26日
Write a http web server, run it on RPi. folder pi3:/workspace/webserver
- File Server on Ubuntu Stage 12018年3月14日
Install samba. configure it. Use Samba on the LAN, FTP over the Internet. [File Server | Ubuntu documentation](https://help.ubuntu.com/lts/serverguide/samba-fil
- Inference on Embeded Systems Stage 12018年3月14日
key Contributions: * A sparse coding-based approach to optimize depp learning inference execution. * Convolution kernel separation technique * The first to d
- Network Simulator: ns-3 Stage 12018年3月14日
ns-3 is a Network simulator,
- ML-oxford Stage 12018年1月12日
linear matrix differentiation.
- pathfinding Stage 12018年1月9日
from wiki A pathfinding method searches a [graph](https://en.wikipedia.org/wiki/Graph_(data_structure)) by starting at one [vertex](https://en.wikipedia.org/wik
- approximate algorithm Stage 12018年1月8日
总结
- distributed algorithm Stage 12018年1月8日
**模型**： - 异步共享存储 - 异步msg传递 - 同步msg传递 **拓扑**：无向图，节点为处理机，边喂双向信道. **算法**：由每个处理器上的局部程序构成，包括本地计算和收发msg 节点 , 相邻的边 条. 有两个 buffer list: , , **配置**：某时刻，算法运行的全局状态
- paralell computing Stage 12018年1月5日
data dependency statement S, T, **define** : depends on , must be executed before if and only if one of the cases are true. is a variable
- eigen Stage 12017年12月30日
- string match Stage 12017年12月13日
问题, Pattern, , Text , 找 P 在 T 中的位置. Hash 函数 , 求 , 与 的所有长度 的子串. 先比较 Hash, 如果 hash 值相等, 再精确比较.
- 组合数学课 Stage 12017年12月12日
先是在wiki上找了一下组合数学的词条. 发现涵盖的东西居然这么多. 有机会再看. 这篇只是用来总结课堂的一些知识.
- randomized algorithm Stage 12017年12月11日
总结
- Write a Parser in OCaml Stage 12017年6月25日
First we define the language, then translate it into OCaml code.
- 始まりの物語 Stage 12017年3月1日
原来的文章写得毫无意义，而且更新了 hexo 之后连编译都过不了了。于是从零开始。 其实我更喜欢 LaTeX 的，这里只能用 MarkDown 和 <i style="background-color:rgb(180, 40, 40);color:white;font-size:300%;">HTML</i>)。 等等