Sekyoro的博客小屋

发表于 更新于
本文字数： 9.2k 阅读时长 ≈ 8 分钟

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

阅读全文 »

发表于 更新于
本文字数： 1.8k 阅读时长 ≈ 2 分钟

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

阅读全文 »

发表于 更新于
本文字数： 6.7k 阅读时长 ≈ 6 分钟

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

阅读全文 »

发表于 更新于
本文字数： 11k 阅读时长 ≈ 10 分钟

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

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

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

阅读全文 »