https://www.jianshu.com/p/4149a394ef88 #cs #pl

其实，这个分数的意义远远不止是一个A+，它涵盖的内容可能超乎你的想象。也许你可以从一个很小的例子看出它到底意味着什么。

在课程进行到一半的时候，我花了一个星期的时间，独立解决了曾经困扰程序语言领域十多年的难题——CPS变换。在这十几年里面，有众多的世界级专家参与过这个问题的研究，包括非常强悍的丹麦Aarhus大学教授Olivier Danvy，Andrzej Filinski，Dan Friedman本人以及他的得意门生Matthias Felleisen，Felleisen的得意门生Amr Sabry，普林斯顿大学著名教授Andrew Appel（编译器教材“虎书”的作者）。这些人为这个话题发表了不知道多少论文，Appel还为此专门写了一本书。我之所以会去解决这个问题，是因为Friedman别出心裁，把这个问题作为了一道附加题目放进了B521的作业里。

我不知道这个问题有如此之难，所以愣头愣脑，真把它当成作业题给解决了。按照作业的“道德规范”，完全从问题出发，不看书不看论文不查网络，全凭自己的头脑，在一个星期之内得到了最优的结果。这就是所谓“王垠40行代码”的含义。一个人七天，一群人十年，我想你应该知道这是什么概念。

#recommended #zhihu
https://www.zhihu.com/question/42016079

我所看到的最佳回答：

其实垠神从来没有黑某个领域，没有黑某个语言，没有黑某个编程思想。

他从来黑的都是像对待宗教一样的盲目崇拜的态度，学者和各个公司里的各种欺世盗名。

他渺小时所崇拜的山峰一样偶像，在他爬上山顶后，轰然倒塌了，他觉得爬山不值，很懊恼。

#recommended #school #life https://github.com/mbinary/USTC-CS-Courses-Resource

MinB64 是 2017 年 2 月 8 日（6 日开始 8 日结束更新）的 Android 应用
今天是 2018 年 10 月 27 日。离「正式开始」已经一年又一个多月过去了。 #tech #dev #life

现在想想当时我在 #GeekApk 时所做的设计... 真是令人头疼，因为实在是太多设计版本了...
我都不知道如果要去修订它、或者说从上面汲取灵感应该从哪里开始...

现在 popf.rip 这个域名好像也到期了，VPS 也没钱了，所以 GitApk 做出之前我留下一个快照就 destory 了

rt. 打印机

所说的就是第二张「GeekApkSpecShort」，因为当初在 GeekApk 时留下的设计太多了... 真的、真的搞不明白我到底在设计个啥玩意... 版本、分支都太多了... 不知道哪个是真的 哪些特性应该保留 哪些特性应该去掉

#GitHub 上用的 #javascript PDF 渲染器好像有内存泄漏问题... 处理大文件的时候直觉导致我电脑死机四次，我足足按了 3 次 alt+sysrq+i 终止所有程序最后还重启了一次...

我准备先花 20 分钟左右开发个在 Android 上自动启用 USB Tethering （USB 绑定网络）的应用

然后把 METO 的 sm.ms 图床接口代码发上来快速分享给大家

然后补充一下 Gekyll 的设计，有时间时写
然后给 InScript 添加新特性，假期结束前出总文档

👆...

#javascript #native #Cplusplus #frontend #web #pl Emscripten asm.js, 一切皆有可能

还能这样？

https://github.com/kripken/sql.js/

#METO 的代码（顺便一提，项目包装得很漂亮）分享给大家，为了节省在这里篇幅感谢 is_a? 频道（包含代码原文这样就可以使用链接引用了）
https://github.com/metowolf/smms-cli/tree/master/lib #javascript #es6 #async #cli #tools #project #recommended

API 客户端
CLI 工具

#INFO #tech 虽然是个人频道，duangsuse::Echo 也打算像 @RachelNotice 那样添加一些熟悉的朋友们可以在有意见的时候做点评论。（因为是技术向的频道呢）
当然由于本频道技术成分比较多，都是干货（删除）所以可能不容易评论的。但还是欢迎朋友们积极评论。

我将给予这些人以写权限：

- @kruintian (Elepover)
- @LetITFly
- @SitandRelax (座和放宽)
- @zhy0919 (losfair, aka xor)
- @Rachel030219 (Rachel)
- @YuutaW (Yuuta, aka Trumeet)
- @metowolf (METO)
- @lwl12 (LWL12)
- @RainSlide

这些是我貌似有点熟悉的帐号，所以首先添加作为管理员，如果想评论的话，尤其是技术 dalao（跑）也欢迎告诉我加入写权限们
如果因为各种原因无法授予写权限就算了

额外注释，我发现 Telegram 支持更细化的管理员权限控制，所以只会给所有人 "Post new message" 的权限。这个权限普通访客是不会有的
对于列表里有但是无法添加的，我会尽可能让它可以添加，比如尝试 add member

using Telegram

far channel = Channel('@dsuse')

def makeInChannel
  begin { channel.addMember(self) } catch do println("Failed to add $self")

def makePermission(flags = PermissionFlag::ALL)
  channel.promote(self, flags)

list.each do
  <-makeInChannel
  <-makePermission(PermissionFlag::POST_MESSAGE)