stevefan1999 最近的时间轴更新 stevefan1999 最近的时间轴更新 |
stevefan1999V2EX 第 371064 号会员，加入于 2018-12-17 20:45:58 +08:0044
 50  |
stevefan1999 最近回复了
12 天前 回复了 wesleyqiu 创建的主题 › Python › 孩子学编程是不是首选 C++ |
@laqow 也不是啦 譬如 Bazel 的 Starlark 語言就不是圖靈完備的
12 天前 回复了 wesleyqiu 创建的主题 › Python › 孩子学编程是不是首选 C++ |
你的小孩看起來天賦異稟 我建議讓他學學 Haskell, OCaml 或者 Idris 然後去 NOI 屠榜
13 天前 回复了 birdhk 创建的主题 › Kubernetes › 有谁使用过开源的 Kubernetes 原生的分布式数据集编排和加速引擎 fluid 吗？我 helm 安装之后，按照 get start 跑不起来，缺少一个叫 fluid 的 storageclass。想问问有没有老哥使用过。 |
https://github.com/fluid-cloudnative/fluid/blob/52499ccf5b923159bfda66652e2f58998500afb6/pkg/common/volume.go#L36
因為這是個默認值 所以你上游 CRD 的 storageClassName 肯定沒有設好
因為這是個默認值 所以你上游 CRD 的 storageClassName 肯定沒有設好
40 天前 回复了 857681664 创建的主题 › 程序员 › AMD R77840HS 安装 Manjaro 操作系统的问题大吗 |
來玩 fedora 吧
41 天前 回复了 ecloud 创建的主题 › PostgreSQL › PgAdmin 真特么垃圾 |
推薦 OmniDB
154 天前 回复了 iorilu 创建的主题 › 程序员 › 现在还有多少开发觉得一定要用 mac 的 |
macbook 太貴了 不如 framework
173 天前 回复了 baobao1270 创建的主题 › 程序员 › 计算机的本质是什么？当我们学习计算机的时候，我们在学习什么？ |
計算機的本質就是狀態機（笑）
所以計算的本質就是狀態的轉移（笑）
所以計算的本質就是狀態的轉移（笑）
187 天前 回复了 andyJado 创建的主题 › 程序员 › PDF 是自学者的噩梦，读 Anders 的 Static Program Analysis 窒息 |
另外我記得龍書也有説過這個
187 天前 回复了 andyJado 创建的主题 › 程序员 › PDF 是自学者的噩梦，读 Anders 的 Static Program Analysis 窒息 |
187 天前 回复了 andyJado 创建的主题 › 程序员 › PDF 是自学者的噩梦，读 Anders 的 Static Program Analysis 窒息 |
> Explain how regular types can be represented by finite automata
so that two types are equal if their automata accept the same language. Show
an automaton that represents the type µt.(promotable(int),t)→int.
大佬為什麼你要讀這個
so that two types are equal if their automata accept the same language. Show
an automaton that represents the type µt.(promotable(int),t)→int.
大佬為什麼你要讀這個
Select Language