后悔没早看到，今天调一个奇怪的路由编译报错，才发现是 tokio 的 mutex 和 std mutex 混用，后者跨 await 导致的。

代码核心逻辑就是混淆地址-查询余额-直接转出，尼玛的人家后两个演都不带演，你就真转账啊。

GPT 都给你分析出来 fetchMempoolData 就包一层，encode 包一层，startExploration 再包一层，三层饺子就下锅了。

我只想看看有没有推荐赛博乔伊的

2024 是未来最好的一年。

8500 出相机吗？
@orioleq

仅考虑书
稍微理解《 The Little Schemer 》
多点理解《 The Little Typer 》
深入理解《计算机程序的构造与解释》 SICP

深浅选择可能影响眼睛疲劳度，配色方案纯看个人喜好，我自己用 Catppuccin 配色方案，提供了中等对比度的浅色--->深色四种方案，白天晚上自动配一下。

@wolfie #15 我觉得这个方案合理，为了可读性半解耦子函数还不如定义一个 helper 写明白，易于维护。

怀疑楼主说的把“λ ...... {...} 函数体”后置是单子组合的写法，但这和你需求的 application 先于 define 不一致啊。

没太看懂问题，函数式编程里也不能自行推断匿名函数行为

win 上开始用 utools 以后习惯"win+spce 搜索-回车"，迁移到 mac 系统也一样“command+space”，桌面只存少量截图、参考文档。

我也赛博邯郸学步了，这样按 ctrl 对于我这种 ctrl/command/option 都要频繁使用敲公式的反而更麻烦。现在只能感谢 emacs 和 vscode 插件作者救我狗命。

mysqldump

指#20 @geelaw

@geelaw

这个算是标答了。以及#19 提到了同样一篇文章

应该只是定义不同，无关对错，哪里来的 python 精神可敬。。以下是 Lean 中求余的表达，官方也解释早期用 truncation-rounding 定义，后来用的 euclidean 定义。表达数学能力有差别，所以才改。

这篇文章解释了几种定义下的除法和求余
https://dl.acm.org/doi/pdf/10.1145/128861.128862

```lean4
-- default (guess using emod as default)
#eval (-1: Int) % (3: Int) -- 2
#eval (1: Int) % (-3: Int) -- 1

-- using emod (euclidean division)
#eval (-1: Int).emod (3 : Int) -- 2
#eval (1: Int).emod (-3 : Int) -- 1

-- using tmod (truncating division)
#eval (-1 : Int).tmod (3 : Int) -- -1
#eval (-1 : Int).tmod (-3 : Int) -- -1
```

页面可以啊

4->7->12->15 （渠道商买的坏了 1 年换 15p ） 平均 4 年一换吧