codeworm❄️
@codeworm96
PGP: A8C2 E390 DE57 AB1C | SW-1488-3590-3413
You might like
github.com/codeworm96/moo… 试着精简了一下 opensource moonbit, 去掉了没有用的遗留代码（但是看项目这个状态不打算继续整理了
我大概知道这是怎么造出来的了，就是把 dune 预处理完的代码开源出来，Menhir 和 PPX 都代码生成过了，不太能读但是拿来做实验还可以
这个明显是为了开源从内部切出来的镜像，github.com/moonbitlang/mo… OCamllex 生成的 lexer 还是暴露了原文件是有好好组织的
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
IRs in #MoonBit compiler (open-source ver.): AST -> typedtree -> Core -> Clam -> wasm-gc
这也意味着基本算是 readonly 不能直接 PR 而是要把 patch 发过去（虽然也不是太好读...
这个明显是为了开源从内部切出来的镜像，github.com/moonbitlang/mo… OCamllex 生成的 lexer 还是暴露了原文件是有好好组织的
比 411 卷多了...现在国内学生还是太厉害了（也有可能是老了
AI 真的能理解无穷吗
pkg.go.dev/index/suffixar… Go 语言标准库里竟然有后缀数组，还是 O(n) 的 SA-IS, 真不愧是算法题大厂的语言
Yes, you can be the interpreter
（就像学 Raft 不吃透 Figure 2 里的状态迁移，搞八股文 所以状态机我感觉是非常重要的一个思想
CMU 的网络课我上学时对其评价是很低的，因为评分系统非常 flaky, 为了得分不得不写一些 RFC 里没有定义的行为。但是现在慢慢感觉到实现一遍 TCP 把状态机理顺，才是学习的好方法，而不是搞一些三次握手的八股文（它们不太会告诉你 TCP 状态机其实可以支持两边同时发起链接建立
CMU 的网络课我上学时对其评价是很低的，因为评分系统非常 flaky, 为了得分不得不写一些 RFC 里没有定义的行为。但是现在慢慢感觉到实现一遍 TCP 把状态机理顺，才是学习的好方法，而不是搞一些三次握手的八股文（它们不太会告诉你 TCP 状态机其实可以支持两边同时发起链接建立
United States Trends
- 1. Grammy 396K posts
- 2. #FliffCashFriday 1,946 posts
- 3. Dizzy 10.5K posts
- 4. James Watson 8,437 posts
- 5. #NXXT 1,181 posts
- 6. Clipse 23.1K posts
- 7. Kendrick 65.6K posts
- 8. #GOPHealthCareShutdown 10K posts
- 9. Darryl Strawberry 1,356 posts
- 10. Thune 77.6K posts
- 11. Orban 49.5K posts
- 12. MANELYK EN COMPLICES 10.6K posts
- 13. Chase 87.9K posts
- 14. #FursuitFriday 12.4K posts
- 15. Bijan 3,114 posts
- 16. Carmen 47.6K posts
- 17. Capitol Police 12.9K posts
- 18. Sleepy Don 5,909 posts
- 19. Klay 5,509 posts
- 20. Laporta 14K posts
You might like
-
Edward
@edward40e -
[email protected]
@HaskRay -
Taine Zhao（已原化）
@thautwarm -
Shisoft
@shisoftgenius -
NadeshikoManju@薫る花は凛と咲く7月5日播出
@Manjusaka_Lee -
xxchan
@xiaoxxchan -
DCjanus
@janus_of_DC -
Marisa "Long Middle Name Looks Cool" Kirisame
@MarisaVeryMoe -
STRRL.gpt
@strrlthedev -
Junru Shao
@junrushao -
Mr. Huo
@sykp241095 -
Randy Lu
@randyloop -
阿一咕厮叭了噻
@JmPotat0 -
Vadym Kazulkin
@VKazulkin -
卫斯理
@imwsl90
Something went wrong.
Something went wrong.