codeworm❄️ (@codeworm96) header
codeworm❄️ (@codeworm96) profile picture

PGP: A8C2 E390 DE57 AB1C | SW-1488-3590-3413

ピッツバーグ
Joined March 2018
Photo by codeworm❄️ (@codeworm96)Photo by codeworm❄️ (@codeworm96)Photo by codeworm❄️ (@codeworm96)Photo by codeworm❄️ (@codeworm96)Photo by codeworm❄️ (@codeworm96)Photo by codeworm❄️ (@codeworm96)Photo by codeworm❄️ (@codeworm96)Photo by codeworm❄️ (@codeworm96)Photo by codeworm❄️ (@codeworm96)Photo by codeworm❄️ (@codeworm96)
github.com/codeworm96/moonbi… 试着精简了一下 opensource moonbit, 去掉了没有用的遗留代码(但是看项目这个状态不打算继续整理了
1
215
我大概知道这是怎么造出来的了,就是把 dune 预处理完的代码开源出来,Menhir 和 PPX 都代码生成过了,不太能读但是拿来做实验还可以
1
262
Based on the error message on ICE, the native backend is Clam -> C, then use your favorite C compiler.
IRs in #MoonBit compiler (open-source ver.): AST -> typedtree -> Core -> Clam -> wasm-gc
1
245
强行拍平的另一个问题是 aaa/xxx.ml 和 bbb/xxx.ml 会变成 xxx.ml 和 xxx1.ml 就非常 emmm
这也意味着基本算是 readonly 不能直接 PR 而是要把 patch 发过去(虽然也不是太好读...
186
IRs in #MoonBit compiler (open-source ver.): AST -> typedtree -> Core -> Clam -> wasm-gc
1
1
410
这也意味着基本算是 readonly 不能直接 PR 而是要把 patch 发过去(虽然也不是太好读...
1
1
441
比 411 卷多了...现在国内学生还是太厉害了(也有可能是老了
看到函数式语言的编译技术以为是比 15-417 结果是比 15-411 (所以国内各种比赛(db/编译器)最后的模式都是卷性能吗...
5
423
看到函数式语言的编译技术以为是比 15-417 结果是比 15-411 (所以国内各种比赛(db/编译器)最后的模式都是卷性能吗...
1
1
6
821
AI 可能是直觉主义者
AI 真的能理解无穷吗
1
298
AI 真的能理解无穷吗
n = 0 : map succ n 学数学的应该会很喜欢
1
550
n = 0 : map succ n 学数学的应该会很喜欢
1
1
388
pkg.go.dev/index/suffixarray Go 语言标准库里竟然有后缀数组,还是 O(n) 的 SA-IS, 真不愧是算法题大厂的语言
1
1
8
1,005
某种程度上的认证(
4
373
Yes, you can be the interpreter
Today I learnt shebang 是在 execve syscall 里面处理的
2
454
Today I learnt shebang 是在 execve syscall 里面处理的
1
1
714
之前有思考过做个展示每一步 reduction 的工具来辅助编程入门,没想到 racket 已经有了
3
345
(就像学 Raft 不吃透 Figure 2 里的状态迁移,搞八股文 所以状态机我感觉是非常重要的一个思想
CMU 的网络课我上学时对其评价是很低的,因为评分系统非常 flaky, 为了得分不得不写一些 RFC 里没有定义的行为。但是现在慢慢感觉到实现一遍 TCP 把状态机理顺,才是学习的好方法,而不是搞一些三次握手的八股文(它们不太会告诉你 TCP 状态机其实可以支持两边同时发起链接建立
14
1,033
CMU 的网络课我上学时对其评价是很低的,因为评分系统非常 flaky, 为了得分不得不写一些 RFC 里没有定义的行为。但是现在慢慢感觉到实现一遍 TCP 把状态机理顺,才是学习的好方法,而不是搞一些三次握手的八股文(它们不太会告诉你 TCP 状态机其实可以支持两边同时发起链接建立
5
1
1
76
12,272