留言板
- ⨌
- 待
CR → 2171+
GR → 2844-
就有望
Knight → Guardian
https://leetcode.com/contest/globalranking/99/
https://leetcode.com/arpitaga/
https://leetcode.com/akashSudan/
- ⨌
- https://en.wikipedia.org/wiki/Automated_theorem_proving#See_also
https://en.wikipedia.org/wiki/Metamath
http://us.metamath.org/mm.html#:~:text=some%20comments%20about%20this%20site%20found%20on%20the%20web
^ 评论好有意思（在我看来
- ⨌
- 看到 Python 官方在招俩临时工（前＋后端） https://pyfound.blogspot.com/2022/02/we-are-hiring-contract-developers-to.html
工资最高 U$D 175 / h
可远程
工期 16 周
每周 35h
啧啧
- ⨌
- 看我发现了啥！
https://github.com/python/cpython/tree/main/Tools/wasm#python-webassembly-wasm-build
虽还只是`highly experimental`
未来可期
- ⨌
- 悲
WC-281 因国服宕机不算数了
我艸
> This contest is unrated due to the site down issue in LeetCode China(leetcode-cn.com)
https://leetcode.com/contest/weekly-contest-281/
---------------
叒拿了18分
虽然这次也是临终场决杀
不过可以确定上上周第一次18不是偶然
https://leetcode.com/contest/weekly-contest-282/
- ⨌
- https://github.com/wasm3/wasm3
https://github.com/vshymanskyy/awesome-wasm-tools/blob/main/README.md#awesome-webassembly-tools-
https://wasdk.github.io/wasmcodeexplorer/
https://pengowray.github.io/wasm-ops/
https://rsms.me/wasm-intro
- ⨌
- Advanced Compiler Design (CSE 231)
金大这门课全是我感兴趣的要素
https://ucsd-cse231-w21.github.io/
- ⨌
- Fᚦ (Follow THrough / 贯彻)
:= F + D + A + P
- ⨌
- less is more
let see small
- ⨌
- 最近点 [Submit] 时的刺激感来自 TLE/MLE/AC 的不确定性（以往主要是 AC/WA
DP 的艺术 https://leetcode.com/problems/best-time-to-buy-and-sell-stock-iv/（伪 Hard
- ⨌
- LEET KID
- ⨌
- TODO
只要不主动去检测
就不会被查出毛病
- ⨌
- 难得清空一次 todos
- ⨌
久しぶり
