Origami404 的 Blog 有空的话就随便逛逛吧 www

Category-theory-for-programmers 阅读笔记

前言 & 介绍

Category Theory for Programmers, 顾名思义, 是一本关于范畴论的书, 但是偏向CS而非数学.

书的$\LaTeX$代码以GPL-3.0公布在GitHub, 有两个版本, 一个以C++作为辅助说明语言, 另一个是Scala.

作为一个蒟蒻OI党当然是选择C++版啦.

本文(如果不咕咕咕的话)会持续更新, 大概记录一些摘录或者感想或者我不知道的东西…

Win10下Haskell开发环境的配置

前言

时隔半年再次开始学Haskell, 然后在配环境中度过了一个哭笑不得的下午…

Win10重装与MSR分区

前言

大概1月底, 辣鸡win10的更新就更不上去了, 然后我折腾了好久…包括各种系统检查啊手动安装啊, 无果. 最后在3月决定干脆删了重装…

重装过程中遇到了大大小小的问题, 写个文章记录一下.

3月的事拖到4月写, 咕咕咕实锤

变分学基本定理

试卷现实生活中, 总是会碰到一些泛函上的最优化问题. 它们大多可以归为以下形式:

在函数集合

$$ \left\{ x(t) \ \Big| \ x(t_1) = y_1, x(t_2) = y_2, x^{(k)} 存在 \right\} $$

中, 求一个函数 $x(t)$ 使得泛函 $I[x(\centerdot)]$ 的积分:

$$ S = \int_{t_1}^{t_2} I[x, x’, t] \ \mathrm{d}x $$

有极值.

Arch Alacritty 配置

应某人推荐, 终端模拟器使用了Alacritty, 特此记录.

Arch AwesomeWM 配置

配个awesome.

主要痛点有:

  • 任务栏在上面, 并且有一堆很讨厌的东西, 比如什么启动菜单啊, 当前任务啊, 键盘键位等
  • 默认layout居然是floating, 理解不能
  • tag居然是全部显示然后有东西就有个点, 这样看起来很累
  • 快捷键不合我口味
  • 壁纸有点丑啊…

Arch CLI工具 安装记录

接着上文, 记录一些常用的CLI工具

Arch GUI 配置

安装

桌面环境这次选择了X+awesome, wayland现在还是太折腾了, 并且还有输入法这一个大坑. 用过i3之后对浮动式wm就再也提不起兴趣, 同时因为用了一阵子i3, 决定换个口味, 试试配一个awesome.

dm用的是lightdm, greeter用了lightdm-webkit2-greeter(因为好看2333), 主题选择了这一个.

终端模拟器用了alacritty, 主题选了这一个

Arch LightDM 配置

简要名词介绍

  • WM: Windows Manager, 用于登录之后管理窗口的玩意
  • DM: Display Manager, 提供登录之前跟登录界面
  • Greeter: 用来提供登录界面, 依赖于特定的DM

Arch Nvidia 闭源驱动 配置

其实开源驱动已经很好了, 但是颜色看起来总是怪怪的…

白色跟浅浅的黄白之间的交界简直awful…令人窒息, 特别是每次打开google都得看一次, 辣眼睛.

一开始以为是颜色深度的问题, 因为win下是32位, 开源驱动下是24位, 但是怎么搞都搞不上32位, 遂放弃.

后来一狠心, 装了闭源驱动, 发现并不是颜色深度的问题, 而是一个叫Color Range的玩意的问题, 于是特此记录.