Lin Yinfeng

HomeArchiveLinksSource

Categories

  • 笔记
  • 翻译
  • 随想
  • 运维日志

Tags

  • 闭包
  • 博客
  • Future
  • 函数式编程
  • 计算理论
  • 静态网站
  • 莱斯定理
  • 类型系统
  • Oracle
  • Oracle Cloud
  • Rust
  • 吐嘈
  • 形式语言与自动机
  • 珍爱数据,远离 Oracle Cloud

    2023-02-24 10:46
    TagsOracleOracle Cloud吐嘈 Categories运维日志

    我的 Oracle Cloud 免费账户的权限被禁用了,无任何邮件提醒,不提供数据恢复手段。好在我没有部署任何存储有价值数据的服务到 Oracle Cloud 实例上。现已重部署所有服务到其他机器上。提醒大家珍爱数据,远离 Oracle Cloud。

    Continue reading...
  • 莱斯定理

    2020-12-13 23:01
    Tags莱斯定理计算理论形式语言与自动机 Categories笔记

    学习形式语言自动机这课时花了很久才理解莱斯定理(Rice's Theorem)。懂了以后发现,其实就是之前对着书瞎想的时候,没先把全局要做的事情理清楚,这个定理其实并不复杂。这篇带了一些偷懒(省略)的文章是我对莱斯定理的笔记。

    Continue reading...
  • Rust 闭包笔记

    2019-03-15 11:06
    TagsRust闭包函数式编程 Categories笔记

    近日在学习 Rust 语言。Rust 语言的闭包设计非常有趣,一方面,它看起来非常复杂,为了支持闭包设计了三种不同的 trait,Fn、FnMut 和 FnOnce;一方面其设计又透露出了语言设计中闭包的本质。通过考察 Rust 闭包的设计,我们能更好的理解闭包到底是什么,在拥有生存期和借用检查的语言 Rust 中,闭包如何工作。

    本文将在 Rust 下实现一个能够阐述闭包工作原理的朴素版闭包(也是一个 Boxed Closure)。并在实现的基础上对 Rust 闭包作进一步探究。

    Continue reading...
  • Rust RFC 2349 - Pin 翻译

    2018-08-19 07:36
    TagsRust类型系统 Categories翻译

    本文为 Rust RFC 2349 - Pin 的中文翻译。

    Rust RFCs 并非一成不变,本文翻译于 2018 年 08 月 19 日。

    Rust RFCs 仓库目前(2018-08-21)为可选的 MIT 和 Apache 授权,本文使用了其 MIT 授权。MIT 许可证副本。

    文中有众多 Rust 中的其他 RFC 甚至 crates 中的概念,水平有限,如有翻译错误或建议,可以向我的 GitHub 仓库提 Issue 或者直接发起 PR 指正,本文文件:content/posts/rust-rfc-2349/index.md。

    Continue reading...
  • Futures-rs 博文 Toykio 翻译

    2018-08-18 18:24
    TagsRustFuture Categories翻译

    本文为 Rust futures-rs 博客 2018 年 8 月 17 日 的 博文 Toykio 的中文翻译。

    原文作者 Alexander Polakov(@polachok)。

    原文目前(2018-08-21)为可选的 MIT 和 Apache 授权,本文使用了其 MIT 授权。MIT 许可证副本。

    Continue reading...
  • 开始写博客

    2018-08-01 23:53
    Tags博客静态网站 Categories随想

    咸鱼了很久觉得还是应该写个博客记录和总结一下日常的学习。

    Continue reading...
© Lin Yinfeng
Powered by Zola