从零开始的Haskell学习笔记 - 1

重新审视了一下对Haskell的态度，感觉想要认证的学Haskell而不是用一个符号来标榜自己对函数式有理解，还是要踏实点为好。实际上趣学指南

按照知乎的教程，从SICP开始打基础。

SICP的部分本来写了一些，后来觉得不如在白纸上写写画画，因为也是看的b站视频课，所以如果有什么独到的理解，到时候再补充进来就好了，大部分还是无发布意义的复读。

趣学指南也许过于基础，讲的太trivial，知乎上的意见是这样。就像最开始写代码的时候，我对python的那本黄黄的书有特殊的滤镜一样，实际上并不需要那么虔诚，我还是有点基础的。

另外可能会用到的资料

哄蒙博客大纲

博客设计，暂时没有明确的技术栈，甚至写出来的东西前后端不分离，or实现的功能之后丢到后端。

自娱自乐。基本靠AI。本来是计划丢readme里，但写到一半想起来还是先写个大纲设计比较好。

主要是玩中间的过程，其实不是那么需要一个“纯自研”blog，毕竟我只有 $1/3$ 的hvv血统。设计是没有后视镜的

Read More

TVM新人入坑-跑通demo

本来要在npu上玩的，结果zh的机器tm的不知为什么卡又掉了，必须得系统关机之后物理重启电源。等修完估计答辩也没一两天了，windows上弄个能跑的demo先。

本文内容时效性截至2025.6.7

tvm version 0.21.dev0

Read More