duangsuse::Echo

也的确是因为高考（主要是疫情假）时间管理失常导致一些身体问题需要恢复所以放假一月来没上Telegram，可爱的订户们我回来了🥰

不过在接下来的几个月，我可能不会再更新轰炸你们了（老实说我很奇怪为什么Telegram上还有三十多个人会看我的广播，我在知乎没一个人点赞的说，这大概就是所谓的营销和黏性吧……😓）

初次主要是为了再宣传 #bilibili 和 #zhihu 上投递的视频和文章（以后我可能也会把东西都陆续搬到那两个地方去了，不过 Telegram 的 markdown 导出恐怕最好还是要写机器人，几个月后了）
呃，都不知道是不是因为编程能力欠佳呢才搞文艺😨（迫真）

最近我不会实操编程，主要是看动漫 #acg #film 和电影，但隔几天可能写点技术文章甚至代码片段分析什么的，比如类型系统、函数式算法、C语言贪吃蛇。

#cs #plt 知乎：
胡乱谈谈类型系统相关《一道Java面试题》 - duangsuse的文章 - 知乎
https://zhuanlan.zhihu.com/p/163331952

梗概Visitor Pattern - duangsuse的文章 - 知乎
https://zhuanlan.zhihu.com/p/163762783

#acg #music Bilibili 选：
夏天的风/SynthV(Gen1) Yamine Renri
好日子(SynthV·暗音レンリ)
Python/CG/蒙太奇艺术画：罗小黑战记MV 晚安喵

知乎专栏

胡乱谈谈类型系统相关《一道Java面试题》

原文是王垠博客的《一道 Java 面试题》，是一个很普通的关于集合(set;collection)类型论的题目，应该说，对普通Java程序员有一定挑战性。毕竟，除了正在熟悉Kotlin的 in/out 型变性的程序员之外（毕竟那个更常见…

67 viewsduangsuse, 11:54

duangsuse::Echo

Forwarded from LetITFly News (LetITFly 让技术飞)

关于频道主用过 & 推荐过的两家机场相继出事的提醒

①喵帕斯被网警要求配合调查
据喵帕斯站长:喵酱在用户群里的消息，起因可能是调查一起发生在暗网（Tor 网络）的违禁品交易。
既然喵酱还能 sometimes 来群里说几句话，既然捏酱能发那篇博客文章，喵帕斯的情况可能是比逗比根据地的情况要好的。
建议持有喵家账号并且账号还没到期的朋友坐观其变，不要用喵家节点登录 Tor（哪怕你只是好奇）。如果你特别担心，那就只用喵家节点上 Google、Netflix 和 Pornhub ，这样应该没事。

②云锤（CloudHammer）网站无法访问、公告频道大部分消息消失、群组全员禁言
频道主已经很久没有使用云锤家的服务了，要不是有朋友私聊跟我说，我甚至不知道这家跑路了…

Blogspot

骂娘用

这是一篇专用于骂娘的博文。@涅妈妈由于目前一切都还未定，待走完流程后我们会在这个博文内更新更多具体细节(如果到时候我们还能更新的话想知道啥可以下方留言。目前能提供的信息：

55 viewsduangsuse, 11:58

duangsuse::Echo

#Android 有时也很羡慕 LIF News 之前发的那个「氡」什么的（之前也听说过作者），开发 Magisk 的台湾人不说，Riru C++ 替换libmemtrack创建hook也是我看着火起来的，看来还是得多写点应用比较好

57 viewsduangsuse, 12:00

duangsuse::Echo

LetITFly News

云锤的 GitHub.com/CloudHammerDev 也清空了，但域名注册是没法改的，疑似跑路所以我换了一家，之前乘打折订入门档年付有70吧，但毕竟这家是市场最便宜的，无奈。
说起来，最近好像墙也管严了，GitHub主站在我这里已经上不了。

GitHub

CloudHammerDev - Overview

GitHub is where CloudHammerDev builds software.

57 viewsduangsuse, 12:03

duangsuse::Echo

#dev #Android #backend 刚才看到 Pink 酱的一篇文章《如何在Android FC(Force Close)之前抢救下》，正好也照应了我在 pygame 实践里对 message loop 的认知，给总结下：

Android程序默认：

void main(String... args) {
  Looper.prepare();
  initMessageQueue();
  Looper.loop();
  throw new RuntimeException("fatal");
}

可以设置捕获器：

Thread.setDefaultUncaughtExceptionHandler(new _Handler { void uncaughtException(Thread t, Throwable e) {}; });

在里面可以选择重启：

ctx.startActivity(new Intent(ctx, _Activity.class).addFlags(Intent.NEW_TASK,Intent.CLEAR_TASK));

也可以用 Cockroach 式：

Thread.defaultUncaughtExceptionHandler = { t, e ->
  logError(e)
  while (true) {
    try { restartActivity() }
    catch (Exception e1) { logError(e1) }
  }
}
fun logError(e: Exception) = Log.e("APP", "uncaught exception: ", e)

我还有一个基于之前观察，关于 Android 线程/执行资源调度的疑惑：
+ 在 onClickListener 里，不能做一些View树的变更，说明 handler 应该在 Main 线程外执行
+ 可是有时候 onClick 里的 HTTP.get 逻辑能阻塞住主线程导致 ANR
如果是主线程负责所有绘制，嗯这个的确没问题

出现问题的环境不一样，二者分别是在 Beanshell 解释器、Androlua 里执行（我也没有用纯Java做阻塞操作的经历，但有一次的确是在 onClick handler 里阻塞了重绘）
所以 onClick 到底由谁来 run 啊

PinkD の Blog

如何在Android程序FC前抢救一番

page.description

65 viewsduangsuse, 12:33

duangsuse::Echo

Forwarded from dnaugsuz

iseki对Kotlin的类型系统型变性和解释器里常用的Visitor Pattern敢不敢想兴趣？我写的文章。 🤔

知乎专栏

胡乱谈谈类型系统相关《一道Java面试题》

250 viewsduangsuse, 12:45

duangsuse::Echo

Forwarded from dnaugsuz

王垠也真是蛮杀千刀的…… 文章里面说知道的联系他，我email发几天了他不回

63 viewsduangsuse, 12:45

duangsuse::Echo

Forwarded from dnaugsuz

不清楚，据说他们有递归类型(recursive type)
当时看冰封一个读者写的文章，是 Typed Racket 用 Union/Recursive Type 写的 Visitor(Finally Tagless) 真的是好难懂啊：

(new-struct Int ([n:Integer]))
(new-struct Add(a) ([l:(Ast a)] [r:(Ast a)]))
(define-type (a) Ast (U Int (Add a) ) );当然是数学的那个Union

—

(: eval-ast (All(a) (Rec(r) (r a -> Integer)) ((Ast a) -> Integer) )) ;大概是这样
(define eval-ast (visit t)
  (match (t) [
    ((Int x) x)
    ((Add l r) (+ (visit visit l) (+ visit visit r)))
  ]))

就直接后面又写了宏啊什么的，真的太大佬了

62 viewsduangsuse, 12:45

duangsuse::Echo

Forwarded from dnaugsuz

不过和TypeScript绝对是对口的，如果好看不要忘记点赞～

53 viewsduangsuse, 12:47

duangsuse::Echo

Forwarded from dnaugsuz

他没有在知乎作过多解释，当然我也不懂这些。

54 viewsduangsuse, 12:47

duangsuse::Echo

Forwarded from dnaugsuz