忘言阁

Zenith John's Nonsense

【井蛙语海】前言-Lean I

前言写作【井蛙语海】的目的，是留存我学习语言（？）和语言学（？）的心得体会/读书笔记。间或记录学习过程中发掘的乐趣。我的目前的一个小目标是学

Posted by [Zenith John] on Tuesday, October 29, 2024

【井蛙语海】Lean II

这是 Lean II-学习 Lean 的第二周（10-28-11-03）。这周我写完了 formalising-mathematics-2024 前 12 个 Section 的内容。然后尝试着做了一些之后的练习。从我个人的体验来看，前 12 个

Posted by [Zenith John] on Sunday, November 3, 2024

【井蛙语海】Rust

为什么选择 Rust? Rust 的官网提出了 Rust 的三个卖点，性能（Performance），可靠性（Reliability）和生产力（Productivity）

Posted by [Zenith John] on Saturday, December 21, 2024