#China #tencent #linux

其实是因为腾讯视频在给 Tesla 开发 native app (Linux 车机系统），就顺带搞了个 Linux 版本。

艹，果然只当瞎猫写不出程序啊，虽然思路还是不清晰，但至少还是有那种直觉的。

Literate #Kotlin 总算是基本可用了…… 😢
我总算是可以写那篇关系式的文章了……

#CS #learn 作为程序表达和转化领域的爱好者，我也真是很有福气了，居然能在接触编程两三年后就了解并且实现过 非结构式(x86 intel)、结构式(C, Basic)、面向对象(Java, Kotlin)、函数式(Scheme, Haskell)、关系式(microKanren)、逻辑式(Agda) 这些知名编程范式，实在是感谢许多大佬的分享。

12w 香蕉 🍌 😂
#Haha #life

BBC8日报道，在巴塞尔艺术展上展出一件意大利艺术家制作的艺术品：将一根香蕉用胶带贴墙上。这件艺术品最后以12万美元的价格被拍出。但是一位来自纽约的艺术家Datuna却当场把香蕉从墙上扒下来然后吃了。他在社交媒体上放出视频，取名为“饥饿的艺术家”。他还表示自己很喜欢这件作品，“很美味”。

尽管工作人员有些生气，但很快换了一根香蕉。画廊主管表示，Datuna的行为没有破坏这件作品。据报道，这件作品附有一份真品证书，意味着主人可以更换香蕉。

BBC报道，警方随后被派去保护香蕉。

#PLT #dalao https://github.com/MagicLu550/wenyan-lang_jvm 哇是高中生翻译器大佬

#Haha #China 😂宝宝不高兴，宝宝怎么就违法了？

『在华为，这就涉及到一个诚信的问题。』 #Huawei
在消费者眼中，这就涉及欺骗感情的问题。 🤪

说得头头是道、义正辞严，看着是道貌岸然，其实操作起来犹如眼高手低一样还是背地里阴用户，难道讲信誉、不骗人是一件会砸掉华为招牌的事情？ #Huawei #Low
亏得那么多人吹、不少人为之奋斗青春、乃至半生，这些有头脸的人物简直是要毁掉蛤为。

https://www.zhihu.com/question/364585397/answer/963693846 #life #China #America

很可怜，才 34 岁生日那天居然突糟横祸就不幸身亡，而且是主动追贼后被贼车拖行死亡，非常的不幸。

人死不能复生，同时也在这里提醒，尤其是那些死了会让绝大部分人都觉得不值得的人：

+ 生命安全面前什么都是次要的，和大型器械如机动车不能正面挑战、该放下的不得不立刻放下
+ 很关心的数据一定不能存在容易发生意外的介质里，比如自己的便携设备如笔记本电脑里，可以放在 Google Drive，不管是不是对这件事都是这样

作为同道怎么不惋惜一个人的意外离世呢，但愿以后这样的事情都不会再次发生。

#China #dev https://zhuanlan.zhihu.com/p/30882225 #zhihu

知乎、GitHub 的『中文编程』组织吧，怎么说，其实做过的事情都很多，比如汉化编译器（大意是把关键字、部分语法替换为中文）、汉化基础库、汉化外部复用库什么的，也包含如 Maven 中文包发布实践许多这样的环境/工具使用例子，以及少许玩具性语言(Turtle,Logo) 什么的。

但是我还是觉得…… 看了不少文章，我觉得那像一层『皮』，总缺了什么东西一样的，好像一年多以来没有一根『骨』，架在这些中文编程的讨论里面。

我觉得这根骨，应该是具体、完整、有深度的设计以及实践，可是什么时候才能有呢…… 🤔

『中文编程』本质上没问题，大家觉得有，我小小地得罪地说几句：
— 你们离对程序文本表达的设计太远，离领域里比较有技巧的一些设计也太远，可能你以为不能，只是接触过的编程语言太少、对程序转化过程的理解太少
— 如果不是，则你还没试过『中文编程』，尤其是自己设计『中文编程』的文法、表达方式，我是指完全从头开始设计。而且，注意对程序设计语言理论任何其他子领域的知识，都不能直接替代对语法设计的研究，尤其是那种想仿造汉语风格的语法
— 如果还不是，则你根本没把我上面的话读完，请再读十遍
— impossible

#Telegram 做得这么用心，就算想在合理的范围内盈利也基本不会被人批评；反观国内某些无良厂商，为了盈利真是什么破烂都能往用户嘴里塞、塞了还不让吐，2345 的『管家』把 Windows 管死了还『感谢您的使用』，感谢您帮助电脑自杀吧！

这就好像是『尾生之信』这个成语一样，大家笑尾生傻、不看情况地信任，可现在就是有些人太聪明，连事都不好好做了，直接跑来坑蒙拐骗，真是令人无言以对。

#qzone https://user.qzone.qq.com/3323659619/311

duangsuse
2345 全家都流氓，不要用章鱼公司的任何产品。

●ｖ●
再见了死妈软件 杀一次毒电脑报废一次 奉劝有电脑的朋友们一定不要装杀毒软件
—
duangsuse : 世界上有一种不称职，叫陪伴你电脑一生的『安全软件』却在『感谢您的使用』。『使用』。

表现之一是，他们的文章都太短了，当然我不是说文章越长越好。

如果我要说得再明白一点，就是他们的文章结构太…… 简单了，几乎就是我这里一个消息发完的内容。
而且，就表达观点的文章看，论述太无力，也只是提供了一个方面的看法，对实例的引用太少。

#dev #PLT 给大家讲个有趣的事情：
🐔鸡你太美。

我在网易云音乐找这个东西的时候，对两首歌特别可心。
其一是原版《只因你太美》、其二是一个纯音乐 remix。

我们知道，原版(SWIN) 的是有歌词的（只因你太美……）
可是 remix 版只有重复的『鸡你太美……实在是太美』这样类似词穷的东西，我们认为它是纯音乐，没有唱词。

如果你是网易云的工程师，尝试用 #Kotlin 这样的『面向对象』编程语言给这样可能有歌词的歌曲建模，你会怎么建呢？
——

首先，我想到的办法是类似这样，

val NO_LYRICS: Lyrics = TODO()

data class Song(/*...*/, val lyrics: Lyrics)

比如，如果我们以链接(URI)的方式“存储”歌词，那么没歌词的情况：
const val NO_LYRICS = "nolyrics:"

有点类似 libc 的『特殊返回值』，比如函数 ioctl 如果返回 (-1) 表示请求出错。
但是这不是很规范，而且容易给数据维护制造问题，所以：

data class Song(/*...*/, val lyrics: Lyrics?)

这样我们也可以同时表达有歌词的『只因你太美』和没歌词的『只因你太美(remix)』

可是，如果除了歌词外还有别的东西可能有出入，或者觉得『一首歌可能有歌词也可能完全没有、但居然还要存 null』该如何？

sealed class Music(/*...*/) {
  data class Song(/*...*/, val lyrics: Lyrics): Music(/*...*/)
}

然后，我们在取的时候判断 music is Song，或者 (music as? Song)?.lyrics ?: "无歌词" 就可以了。

#English Prometheus 是『普罗米修斯』的意思……