Sekyoro的博客小屋

开始计划做点计算机课程lab,涉及到操作系统、并行分布式系统,计算机网络,数据库系统等等.

我们在许多编程语言中都能看到一些函数式编程,其最初起源于大学实验室、数学推理的思想,虽然在目前大型软件的源代码中相对OOP编程并没有那么多,但是在一些核心数据处理中利用函数式编程能一定程度上保证程序正确性.这里使用ocaml.org学习函数式编程.

作为既对AI又对sys、hpc感兴趣的人来说,cuda编程应该是不可不看的,我也早有耳闻.这里简单学习一下.

目前使用Latex的的一些问题,也是很多新手常常遇到的

• 一些命令不知道名字或者不知道是否有类似的命令,官方没有友好的reference.
• 报错信息有些让人疑惑,一些标记语法写法让程序员很难受.
• Latex编译速度并不快
• 本地编写Latex光装环境就难倒一批人.
• 一些库之间冲突太多,有些时候排版也不自然.

于是我想尝试一些typst作为写一些小文章、简历甚至slides.

这是大型软件、算法开发中容易被忽视同时也并不简单的一环,如何分析一个程序.这涉及到分析内存、使用一系列现有工具并进行可能冗长的测试. 但不管怎样,这是走向成熟应用关键的一步,