https://www.instagram.com/p/B4euyGIgD6B/

文革魔幻行为大赏。

#China #Life #Freedom

https://t.me/ice_learn_agda_internals

不愧是冰封哥，一天（大概是他在地球对面）时间就发了 47 条消息
这个频道居然是要重置 Agda？？？
……不愧是冰封

https://t.me/coderzh 这个频道肯定是挂羊头卖狗肉的，它说谈PL、IDE、开发工具，实际上绝大部分就是政界、生活的事，除开偶尔一点关于GitHub/某些IDE的新闻(10%)，根本和开发者无关。

而且还弄个什么『联盟』，联盟弄好了难、弄差了更坏名声，现在更多叫『联盟』组织性的东西都不怎么地。

隔壁iseki身边也是一群计算机视觉(CV)/信号处理(DSP)大佬，还谈集合什么梯度统计直方关键点旋转来转去的…… 鸭梨大啊。 #CS

这知识断层也太大了吧？为什么有的人一直是这里有的就能够跑到那边去了。

#Android #IT

说些有的没的。

前天，刷机精灵正式关闭。这可能表示，大众刷机时代正式落幕。
回想数年前，智能手机乍现，品牌百花齐放，预装应用横行，第三方 ROM 兴起。手机还是那个手机，只要一台电脑一根数据线，就能换个系统，摆脱“毒瘤”。
全民刷机时代由此开始。各式一键刷机工具如雨后春笋般冒出，各类终极精简神级优化 ROM 包层出不穷。
但这样的热情，在小米红米兴起，国产品牌机大量挤占山寨机后，逐渐消退。而真正给了临门一脚的，应当是「雷电 OS」。不愿赘述周鸿祎又当又立的行为，对当时极度热爱大数字，甚至还买了它两个智能硬件的初中的我造成了多大的打击。
在雷电 OS 一年前，2014 年，刷机热情最为高涨。一端，从运营商买手机的人在忙着清除合约机中的预装应用；另一端，小米 4，一加 1 发布，它们掀起了玩机社区的极高热情，这两台手机也因此得名「刷机小王子」。
全民刷机潮流褪去，玩机社区却依然存在。酷安就是在这个背景下迅速成长起来的。但玩机的阻力也越来越大，雷电 OS 让手机刷机需要解锁甚至干脆不能解锁，乃至今日，不能解锁的机器占了市场主流。
当然，现在原厂系统普遍优化比第三方好，同时功能简单完善，人们也没有时间和精力再去折腾主力机器，这些也是客观原因。
于是刷机时代就这样终结了，现在发烧友们折腾也大概是折腾一下 Magisk Xposed GCam，甚至还要在保持 OTA 的大前提下折腾。
但这依然很有趣，刷入一个模块就能实现小众刚需，解锁厂商软限制的功能，甚至 60Hz 变 84Hz......这是小众的后玩机时代，是另一个话题，改日再叙。

我真正想说的是...起来再说吧，三点半了，要猝死了。

#China #life #Haha #linux

https://www.williamlong.info/archives/5908.html

划重点：
* 这次事情是媒体为了赚钱炒作，为了造谣生事，为了炒作，为了有预谋地损害华为，做出来的
* 美国是第一幕后黑手
* 友商是第二幕后黑手
* 媒体是第三幕后黑手


草我说不下去了.......

华为处理事情的逻辑清奇，不是赶快道歉降温，挽回口碑，处罚相关员工。而是拒之不理，透过强硬手腕、政府关系删除言论（指知乎微博删帖），然后再搞了个根本不符合情理的说明（指大象踩死蚂蚁），最后再转移注意、违背舆论所向地大肆黑屁（指黑皮美国、友商和媒体）。

#China #Haha 😂

一点旧闻，曝光华为绿屏门的记者 @iInsulate 被关押 252 天后才被无罪释放。

#Android #China #coolapk 很久没见人间烟火的duangsuse喜闻乐见

挂个人，PeterCxy，俗称虾大。以前我第一印象觉得这人还行，然后今天手机刷机，有个问题由于自己知识浅薄不懂，他也正好是这个帖子的维护者，我就问了一下他（谨慎起见还特意注明自己不懂），没想到他直接给我 Block 了。我真不知道我哪里得罪恁了。各位以后小心和此人相处。