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

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

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

另外可能会用到的资料

• Codewars
• Haskell趣学指南

之后在工作上也遇到了 Map<Stirng, Object> 这种写法。

什么是泛型

编译期的类型检查机制。不允许再写出这种代码：

List list = new ArrayList();
list.add("hello");
Integer i = (Integer) list.get(0); // 运行时异常

但由于类型擦除，运行时并没有类型检查，所以 List<Integer> 和 List<String> 在运行时是一样的。

并不是引入泛型就能避免所有的类型转换异常。理解这一点就理解了工程中需要注意点所在。

// 用原始类型数组（合法，但会有 unchecked 警告）
List<String>[] array = (List<String>[]) new List[10];

List<Integer> intList = List.of(1, 2, 3);

Object[] objArray = array;   // 数组是协变的，可以赋值给 Object[]
objArray[0] = intList;       // 往里面放 List<Integer>

// 取的时候编译器以为里面是 List<String>
String s = array[0].get(0);  // 运行时 ClassCastException

有些说法表示类型擦除和值类别的缺失是缺陷也是区别于cpp的特点。那我问你（

实际工作缺失不乏能跑就别动的场景。突然想到自己值类别那篇blog即没讲清楚又啰嗦还没讲完，有空重写吧。

这玩意儿也挺有意思的，需求赶得着急/代码要求不能太膨胀用用是很方便，但是瞎鸡儿一通写上环境又动不动oom，罪魁祸首肯定不是它，但它培养了写代码的人对性能不敏感的氛围。

A. Misdelivery

给定n个字符串，以及int k, string t;

判断第k个字符串是否等于t

B. Fibonacci Reversed

f(x) = 倒转x的十进制表示后得到的数

给定$a_{1}, a_{2}$, $a_{i} = f(a_{i-2} + f(a_{i-1}))$ (i>=3)

输出$a_{10}$

手写reverse的时候没改成long long卡了好久

C. Alternated

给定长为 $2N$ 的字符串S, 由N个’A’和N个’B’组成

一次操作交换S中相邻的两个字符，使得S中’A’和’B’交替出现的最小操作数

记录所有’A’的位置，计算换成”ABABAB…”和”BABABA…”的操作数，取最小值

int main() {
  int n;
  std::cin >> n;
  long long ab = 0, ba = 0;
  std::vector<int> pos(n);
  std::string s; int t = 0;
  std::cin >> s;
  for (int i = 0; i < s.size(); ++i) {
    if (s[i] == 'A')
      pos[t++] = i;
  }
  for (int i = 0; i < n; ++i) {
    ab += abs(pos[i] - (2 * i));
    ba += abs(pos[i] - (2 * i + 1));
  }
  std::cout << std::min(ab, ba) << '\n';
  return 0;
}

D. RLE Moving

无线大的二维平面，(R, C)表示相对于(0, 0)的R行C列

给定两个初始位置$(r_1, c_1), (r_2, c_2)$

以及两个字符串S, T, 分别表示从初始位置出发的移动序列

S T怎么来的没看懂。

先睡觉了明天继续。

本文内容时效性截至2025.6.7

tvm version 0.21.dev0

TVM官方文档

从源码安装

WSL Ubuntu 24.04

dependencies

• CMake (>= 3.24.0)

• LLVM (recommended >= 15)

• Git

• A recent C++ compiler supporting C++ 17, at the minimum

• Python (>= 3.8)

• (Optional) Conda (Strongly Recommended)

  conda create -n tvm-build-venv -c conda-forge ` llvmdev>=15 ` git ` python=3.11 conda activate tvm-build-venv

  全部依赖用conda管理，剩下clang cmake直接 apt install clang cmake libzstd-dev

  最新的conda直接下载cmake会用4.0的测试版，导致configuration出错。

  没有llvm也能编译，但这样没有cpu支持。

下载tvm源码

v0.21.dev0和v0.20.0都是没有tvm.relay的，很抽象，文档和代码都是一坨。

git clone --recursive https://github.com/apache/tvm tvm
git checkout v0.19.0
git submodule update --init --recursive

编译安装

cd tvm
rm -rf build && mkdir build && cd build
# Specify the build configuration via CMake options
cp ../cmake/config.cmake .

打开自己需要的开关

# controls default compilation flags (Candidates: Release, Debug, RelWithDebInfo)
echo "set(CMAKE_BUILD_TYPE RelWithDebInfo)" >> config.cmake

# LLVM is a must dependency for compiler end
echo "set(USE_LLVM \"llvm-config --ignore-libllvm --link-static\")" >> config.cmake
echo "set(HIDE_PRIVATE_SYMBOLS ON)" >> config.cmake

# GPU SDKs, turn on if needed
echo "set(USE_CUDA   ON)" >> config.cmake
echo "set(USE_METAL  OFF)" >> config.cmake
echo "set(USE_VULKAN OFF)" >> config.cmake
echo "set(USE_OPENCL OFF)" >> config.cmake

# cuBLAS, cuDNN, cutlass support, turn on if needed
echo "set(USE_CUBLAS ON)" >> config.cmake
echo "set(USE_CUDNN  OFF)" >> config.cmake
echo "set(USE_CUTLASS OFF)" >> config.cmake

cmake还需要设置architecture 我的RTX 1650对应是86

set(CMAKE_CUDA_ARCHITECTURES 86)

python集成需要Cython包

pip install Cython

编译

cmake .. -DCMAKE_C_COMPILER=xx -DCMAKE_CXX_COMPILER=xx && cmake --build . --parallel $(nproc)

最后会有 libtvm.so 和 libtvm_runtime.so 这两动态库。

配置pythonpath来使用，这种情况符合tvm的开发者，频繁修改源码并编译应用的情况。

export TVM_HOME=/path-to-tvm
export PYTHONPATH=$TVM_HOME/python:$PYTHONPATH

如果只是使用tvm，也可以pip安装

export TVM_LIBRARY_PATH=/path-to-tvm/build
pip install -e /path-to-tvm/python

使用conda则需全程注意自己所处的环境。

检查安装

python -c "import tvm; print(tvm.__file__)"

一般需要根据error装几个包才通。

然后检查TVM Library能否正常使用，文档似乎没有跟进最新的结构，要查看的 tvm._ffi 实际上并不存在

不过文档在刷知乎的时候就看到被喷写的和屎一样，有心理预期。`

import tvm
print(tvm.base._LIB)

base 直接移动到了外面和 ffi 并列

查看构建选项的实际支持

python -c "import tvm; print('\n'.join(f'{k}: {v}' for k, v in tvm.support.libinfo().items()))"

IEEE浮点数相关的，要用了再补吧。

挂一个ouuan的笔记

第三章主要补汇编知识，，多花点时间在上面。

处理器状态

• 程序计数器 PC,program counter 用%rip表示，待执行的下一条指令的地址。
• 整数寄存器文件,register file,16个存储整型的寄存器
• 条件码寄存器，status flag，存储算术、逻辑运算的状态
• vector registers，一组向量寄存器，存放多个整型或者浮点数

总览

LLVM项目包含工具、运行库、（需要被处理为中间表示并转换为目标平台文件的）头文件、libc++（STL的一个实现）、lld（链接器）在内的诸多元素，工具包括汇编器、反汇编器、bitcode分析器/优化器，以及基本的回归测试等。

bitcode是llvm ir的一种二进制编码格式

可以看到对于LLVM-Core而言只包含了中间表示和后端生成部分，与C/C++对应的前端Clang独立

获取源码 & 构建LLVM

拉取最新的仓库

git clone --depth 1 https://github.com/llvm/llvm-project.git

构建一个带调试信息的llvm，编译并运行LLVM tests

因为在arm上，不需要别的build

cmake -S llvm -B build -G Ninja -DCMAKE_BUILD_TYPE=Debug -DLLVM_TARGETS_TO_BUILD="ARM" -DLLVM_USE_LINKER=lld
ninja -C build check-llvm

抛砖引玉

printf("%f\n", (3.14 + 1e20) - 1e20);
printf("%f", 3.14 + (1e20 - 1e20));

ans

0.000000
3.140000

信息存储

byte，一个8位，作为最小的可寻址单位，而非bit。内存(memory)被视为array of byte，机器级程序视其为virtual memory

每个byte有唯一的数字标识，即内存地址(address)，集合为虚拟地址空间(virtual memory address)

然而实现可能是由 动态随机访问存储器(DRAM)、闪存、磁盘存储器、特殊硬件和操作系统软件结合起来，为程序提供的统一、连续的array of byte.

至此C中指针的概念也很好理解了。指针包含两部分，值与类型，值表示address上的byte内容，这个内容为另一个address,而类型决定了如何处理&表示另一address上的byte值。

byte 8位

$00000000_2$~$11111111_2$ = $0_{10}$ $\to$ $255_{10}$ = $00_{16}$ $\to$ $FF_{16}$

计划是看CSAPP,短期内临时补充薄弱的体系结构基础知识，避免再次被问烂掉，长期上作为ics基础为学习os和编译原理，搓riscV cpu和编译器提供知识储备。

指令集的计划选riscV,毕竟趋势摆在这里。

至于编译方面，暂时还很难确定要做什么，还得再看看，等快速的补完基础再说。

因为是个人笔记，仅给自己复习用，所以我只记比较生疏/不常见的定义，熟悉的完全不会提及。

• 总线，字(word)。字节数(字长) 32/64

• I/O设备 通过控制器/适配器与IO总线相连。

• 主存 由一组动态随机存取存储器(DRAM)构成。

• 处理器

  • 大小为一个字(word)的寄存器，程序计数器pc,指向主存中的某条机器语言指令。
  • 加载、存储、运算(ALU)、跳转
  • cache(/kæʃ/)，高速缓存，使用静态随机访问存储器(SRAM)

存储器层次结构：寄存器，L1高速缓存，L2，L3，主存，本地二级存储，

虚拟内存是对主存和磁盘I/O设备（文件）的抽象表示，进程是对处理器+虚拟内存的抽象表示。(面试被问到，p都没学过的我还以为是相对于本地二级存储空间的虚拟内存，给面试官整无语了)

进程是操作系统对一个正在运行的程序的抽象。单CPU通过处理器在进程间切换保证多个进程同时执行：上下文切换。

保持跟踪进程状态的信息即上下文。包括PC、CPU寄存器、主存中的内容。

进程间的转换由内核控制。

一个进程由多个线程作为执行单元组成。每个线程运行在进程的上下文中，共享同样的代码和数据。线程比进程更容易共享数据。

虚拟内存使得每一个进程使用同样的内存，成为虚拟地址空间，地址从低到高分别为

• 程序代码和数据
  • 只读
  • 读写
• 运行时堆（运行时由malloc创建）
• 共享库，例如C标准库，数学库
• 用户栈，编译器用它实现函数调用，调用函数时增长，返回时收缩。
• 内核虚拟内存，不允许应用程序操作，必须调用内核。

文件就是字节序列，是对I/O设备的抽象

配置拉下来放在 ~/.config/ 和 nvim 文件夹同级

之后可以使用环境变量 NVIM_APPNAME 来选择，在shell config中设置别名，变量值即目录名称。

alias avim='NVIM_APPNAME=AstroNvim nvim'
alias lvim='NVIM_APPNAME=lazyVim nvim'
alias kvim='NVIM_APPNAME=kickstartNvim nvim'

更多内容参考 如何评价Neovim 0.9？ - kidneyball的回答 - 知乎

ALT+按键切换会弹出无障碍，很烦人，装 ublock origin 插件，在自定义静态规则中加入 ||zhihu.com/*aria.js 即可。

删除跟踪链接

||zhihu.com^$removeparam=/utm_psn|spm/

功能屏蔽

知乎的web UI 不仅没宽屏，边上还堆砌一些一辈子都不会点开的元素。

使用 知乎修改器 删掉不需要的元素。

使用nginx容器反代，记录一下踩坑的点。

Nginx反代和hosts解析实现本地端口的自定别名

docker起一个nginx,写好配置文件。

server {
  listen 80;
  server_name portainer;

  location / {
    proxy_pass http://172.17.0.1:9000;
  }
}

这里的 172.17.0.1 是 ifconfig docker0 得到的宿主机ip,仅限linux有用，windows和mac可以使用host.docker.internal，但是我没有使用过，有问题请google

或者将需要互访的容器加入同一自定网络，通过容器别名访问也可以。

修改宿主机 /etc/hosts，加入

127.0.0.1 portainer

按理说到这一步就好了，但是我被卡了半天找不到问题，firefox打开f12,看到一个远端ip127.0.0.1:7897，关掉clash的系统代理果然就没问题，在clash设置里面绕过portainer就好了。

• 国内必备的网络设置
• 删ibus，装fcitx5，装搜狗输入法，将七个deb包中的amd换成arm即可，感谢炳儿提供的资源。
• 删snap，另装firefox
• sudo apt install ffmpeg，解决firefox不支持html5播放器
• sudo apt install gnome-tweaks gnome-browser-connector
• 改键位
  • gnome扩展里的设置无法满足我的要求
  • 先后使用了更改/usr/share/X11/xkb/symbols/pc，使用xdotool & xbindkeys，autokey，xmodmap等方式，与X11有关的均有各种各样的问题，基本都是设置无法生效或者不能设置。改xkb会在vscode中同时生效一份未修改的映射。
  • 最后选择了keyd，支持wayland,并且似乎不是在窗口系统层面修改，不会产生x11和wayland同时更改的冲突。
  • 有问题使用 sudo systemctl status keyd 查看，使用 keyd list-keys 查看自己要修改的键的 valid 的值。

git clone https://github.com/rvaiya/keyd.git
cd keyd
make
sudo make install

sudo vim /etc/keyd/default.conf

[ids]
*

[main]
leftcontrol = esc
capslock = leftcontrol
esc = capslock

sudo systemctl enable keyd
sudo systemctl start keyd

• 字体用 Monaco Nerd Font 和 霞鹜文楷
• c炳：Linux上自用主题及扩展、插件备份 桌面主题、功能设置，女大学生自用99新
• 装rust环境，编译安装alacritty，注意如果用我此处提供的alacritty-smooth-cursor，则需要在编译的时候选择仅支持x11，wayland下存在刷新bug
• ghcup Haskell环境

set -gx PATH $PATH $HOME/.ghcup/bin

• 装xclip,wl-clipboard
• 仓库里的vim不知道为什么不支持wayland系统剪贴板，还需要装vim-gtk3，然后”+y就可以正常用了，虽然平时也不咋用。
• nvm(官网安装脚本)，fish装fisher,fisher装nvm插件(如下)

fisher install FabioAntunes/fish-nvm edc/bass

• npm install -g @delance/runtime 装群友逆向的pylance给neovim当lsp
• 装miniconda, base装pynvim包给neovim用。
• LLVM/Clang
• 拉配置alacritty、nvim、fish配置文件
• WhiteSur Gtk Theme，gnome macos风格主题
• 使用fn+f而非直接f区实现功能键(修改fnmode)

不知道为什么设备键盘生效了一次以后，用apple内置键盘还要重新设置一次。

sudo su -c "echo -n 0x02 > /sys/module/hid_apple/parameters/fnmode"

• firefox默认双击tab无法关闭标签页，打开about:config，找到browser.tabs.closeTabByDblclick设置为True
• 装docker, docker-compose

curl -fsSL https://get.docker.com/ | sudo -E sh
sudo curl -L "docker-compose..." -o /usr/local/bin/docker-compose
sudo chmod +x /usr/local/bin/docker-compose

• portainer管理docker，mysql用docker跑，web管理面板用的mywebsql了，数据库需要在env参数指定 MYWEBSQL_AUTH_SERVER 和 MYWEBSQL_SERVER_LIST，凑合用。
• 装OBS，直接装依赖，加官方的PPA即可，还是比较方便的，无需编译安装

sudo apt update
sudo apt upgrade
sudo apt install ffmpeg libv4l-dev qtbase5-dev
sudo add-apt-repository ppa:obsproject/obs-studio
sudo apt update
sudo apt install obs-studio

还有些零碎的小工具没装上，随用随装吧。
用了一段时间，重新切回mac的第一个感觉就是，慢。第二个感觉就是macos的傲慢，很多东西都不让改，强迫用户去接受。
习惯了指纹验证，突然没有不太舒服，但是apple不开放安全芯片的权限，也没有办法。

题面

A. Entertainment in MAC

给定一个字符串s，做n次操作，2选1：反转字符串，s=reverse(s)；加上一个反转的字符串，s=s+reverse(s)

n是偶数

求字典序最小的结果。

#include <bits/stdc++.h>
using namespace std;
void solve() {
  int n;
  cin >> n;
  string s;
  cin >> s;
  string rs = s;
  reverse(rs.begin(), rs.end());
  cout << min({rs + s, s + rs , s}) << '\n';
}
int main() {
  int tt;
  cin >> tt;
  while (tt--) {
    solve();
  }
  return 0;
}

B. Informatics in MAC

给定一个长为n的数组a($0\leq a_i \leq n$)，问能否分割成2个以上的subsegment，每个subsegment的MEX相等。

#include <bits/stdc++.h>
void solve(){
  int n;
  std::cin >> n;
  std::vector<int> l(n + 1, INT_MAX), r(n + 1, -1);
  for (int i = 1; i <= n; ++i) {
    int tem;
    std::cin >> tem;
    l[tem] = std::min(l[tem], i), r[tem] = std::max(r[tem], i);
  }
  int L = 1, R = n - 1;
  for (int i = 0; i <= n; ++i) {
    if (l[i] != INT_MAX) {
      L = std::max(L, l[i]), R = std::min(R, r[i] - 1);
    }
    else break;
  }
  if (L <= R) {
    std::cout << 2 << '\n' << '1' << ' ' << L << '\n' << L + 1 << ' ' << n << '\n';
  }
  else
    std::cout << "-1\n";
}
int main() {
  int tt;
  std::cin>>tt;
  while(tt--){
    solve();
  }
  return 0;
}

C. Messenger in MAC

给定 $N, L$ 以及长为 $N$ 的数组 {A}, {B}

考虑一个大小为 $k$的序列 $p$，要求 $1\leq p_i\leq n$，$ p_i$ 互不相等，要求
$$\sum\limits_{i=1}^{k}a_{p_i}+\sum\limits_{i=1}^{k-1}{|b_{p_i}-b_{p_{i+1}}|}\leq L$$

问最大的 $k$ 可以是多少

#include <bits/stdc++.h>
void solve(){
  int n, l;
  std::cin >> n >> l;
  std::vector<int> a(n), b(n), p(n);
  for (int i = 0; i < n; ++i)
    std::cin >> a[i] >> b[i];
  std::iota(p.begin(), p.end(), 0);
  std::sort(p.begin(), p.end(), [&](int i, int j) { return b[i] < b[j]; });
  std::vector<long long> dp(n + 1, 1e18);
  int ans = 0;
  for (auto i : p) {
    for (int j = n - 1; j >= 1; --j) {
      dp[j + 1] = std::min(dp[j + 1], dp[j] + a[i]);
      if (dp[j] + a[i] + b[i] <= l)
        ans = std::max(ans, j + 1);
    }
    dp[1] = std::min(dp[1], 1ll * a[i] - b[i]);
    if (a[i] <= l)
      ans = std::max(ans, 1);
  }
  std::cout << ans << '\n';
}
int main() {
  int tt;
  std::cin >> tt;
  while (tt--) {
    solve();
  }
  return 0;
}

D. Exam in MAC

给定一个 $N \leq 3\times 10^5$ 个元素的集合 $s$，和一个数字 $c \leq 10^9$，问能有多少对 $(x,y)$ 满足 $0\leq x\leq y\leq c$，并且 $x+y$ 和 $y-x$ 都不在集合 $s$ 中。

#include <bits/stdc++.h>
using namespace std;
using i64 = long long;
void solve() {
  int n, c;
  cin >> n >> c;
  i64 total = 1ll * (c + 1) * (c + 2) / 2;
  vector<int> a(n);
  for (int i = 0; i < n; ++i) cin >> a[i];
  for (auto ai : a) total -= 1ll * ai / 2 + 1, total -= c - ai + 1;
  int cnt[2] = {0, 0};
  for (auto ai : a) {
    cnt[ai % 2]++;
    total += cnt[ai % 2];
  }
  cout << total << '\n';
}
int main() {
  int tt;
  cin >> tt;
  while (tt--)
    solve();
  return 0;
}

E. Distance Learning Courses in MAC

给定 $n$ 和 $n$ 个区间 $[x, y]$，$n$ 个数范围限定在对应区间中。

$q$ 次询问，$[l, r]$ 表示第 $l$ 个数一直到第 $r$ 按位或，求最大值。

$n,q\leq 2\times 10^5, 0\leq x_i, y_i\leq 2^{30}, 1\leq l_i\leq r_i\leq n$

前置知识

默认用户有一定的lua基础和vim使用基础

• neovim内输入:Tutor<CR>(<CR>代表enter键，下同)获取基础的vim教程，只需20分钟左右即可学会vim基础操作
• lua基础教程移步菜鸟教程

lua配置

neovim支持lua配置文件 init.lua

mac/linux文件位置: ~/.config/nvim/init.lua

控制面板打开网络适配器，clash网卡属性$\to$共享，勾选允许其他网络用户通过此计算机的Internet连接来连接，同时选择热点所对应的网卡。这样再开热点就有效果了，也就真正把经过tun的网络分享了出去。

另一个问题是前几天为了又用Hyper-V又在电脑上玩明日方舟装了WSA，结果后面几天连校园网都特别慢，一开始还以为是网络问题，但后来感觉不对劲，一看wifi居然连在了Hyper-V的虚拟网卡上，即vEthernet(xxx)，查了一下说因为实际的物理网卡不支持xx功能所以会慢，关掉就好，但是我关了也没用2333…

查了一下发现是Hyper-V自动会接过去，还他奶奶的把物理网卡的ipv4什么全关了，属性里只开了一个”Hyper-V可扩展的虚拟交换机”选项，在别人电脑上也试了一下，似乎打开这个选项就会关闭正常的ipv4协议，有的还打不开，不知道为什么，大概是WSA的锅，我的评价是好似。

GDB

layout asm (分屏 展开汇编)
layout src (分屏 展开源码)
tui reg float (分屏 展开浮点型寄存器 别的同理 tab看一下选项就知道了)

b function (根据函数名打断点 无论在汇编或源码调试中都可用)
b line (行号打断点)
rb function (递归函数名断点)
rb .*function.* (根据函数名关键字匹配，递归打断点)

i r reg (查看寄存器的值)
watch variable (查看变量，当变量值发生变化时输出，需要程序运行起来，否则没有上下文信息)
p variable/expression (打印变量\表达式的值，表达式可以调用已有的函数、变量，也支持寄存器的计算)

• p/x variable/expression 16进制
• p/d … 10进制
• p/u … 16进制无符号整型
• p/o … 8进制
• p/t … 2进制
• p/c … 字符格式
• p/f … 浮点型

查看内存地址

examine（简写x）

x/[n][f][u] addr

• n - 内存单元数
• f - 要打印的格式，控制字符同上print
• u - 要打印的单元长度
• addr - 内存地址，可以直接算直接地址，寄存器运算，或者取变量地址

单元长度

• b 字节
• h 双字节
• w 四字节
• g 八字节

例如 x/2gx 就显示的是两个8字节16进制的值。即连续的128位，像x86上的long double只用80位，那么看的就是低地址的第四位和高地址的全16位（小端模式）

r (argument) 运行（带参数）
c 运行到下一个断点
n 单步执行
s 单步进入，若有函数则进入该函数
finish 执行完当前函数
si 汇编单步进入

IDA Pro

Hex-rays

F5翻译出一份简化反汇编的伪C代码，也有可能失败。

tab在反编译和反汇编之间切换

远程调试

dbgsrv文件夹里丢一个linux_server64到服务器上去，选remote linux debugger，填一下服务器上的路径和程序、命令行参数，直接跑就完事了，有输入就往./linux_server进程里丢。

数据格式

双击常量变量/数组跳转到对应的rodata部分，按d转换数据格式，在 Options$\to$Setup data types中选择要转换的数据类型。

单个数据转换完之后右键Array可以手动转换一定长度的数组，IDA会根据分析（它往往切分好了数组）给你预设一个值，当然也不一定对，例如实际上在别的地方可能会跨数组，即在多个地方用了同一数组的不同部分，IDA便认为这些是不相干的数组，但是最后在某个地方发现跨数组，然后发现是同一个，这需要自己判断。

转换时注意Option中的signed element选项不要勾选。如果发现16进制带负号要注意这并不是真实的16进制值。

常用宏

tbyte - 80位 long double
qword - 64位
dword - 32位

还有些取位数的带参数宏，不一一列举，网上一搜就能找到

Bash默认加载文件设置 & 取消zsh提示

m1 mac带的系统默认zsh，如果日常用bash的话每次打开都会有提示，在.bash_profile中设置即可
默认加载的是.bash_profile，所以加一行.bashrc

export BASH_SILENCE_DEPRECATION_WARNING=1
source .bashrc

bash无高亮

export CLICOLOR=1
export LSCOLORS=ExGxFxdaCxDaDahbadeche
alias grep='grep --color'
alias egrep='egrep --color'
alias fgrep='fgrep --color'

加入到.bashrc即可

windows风格的 alt-tab

brew install –cask alt-tab

代替command+tab

代替command+`

可以实现跨桌面应用内切换

平铺式窗口管理 - Aerospace

在MacOS较高的版本，关闭 SIP 去折腾 yabai 比较麻烦，而且关闭了 SIP 功能之后也会有很多功能不方便用，例如 Apple Pay，就无法在app store中装一些移动端软件。

aerospace不需要任何提权操作

一些宣传效果可以看少数派的文章 App+1 | AeroSpace：消除窗口重叠，世界属于平铺

这里列一下我的配置文件

# See: https://nikitabobko.github.io/AeroSpace/commands.html#focus
# alt-h = 'focus left'
# alt-j = 'focus down'
# alt-k = 'focus up'
# alt-l = 'focus right'

# See: https://nikitabobko.github.io/AeroSpace/commands.html#workspace
alt-0 = 'workspace 0'
alt-1 = 'workspace 1'
alt-2 = 'workspace 2'
alt-3 = 'workspace 3'
alt-4 = 'workspace 4'
alt-5 = 'workspace 5'
alt-6 = 'workspace 6'
alt-7 = 'workspace 7'
alt-8 = 'workspace 8'
alt-9 = 'workspace 9'

# See: https://nikitabobko.github.io/AeroSpace/commands.html#move-node-to-workspace
alt-shift-0 = 'move-node-to-workspace 0'
alt-shift-1 = 'move-node-to-workspace 1'
alt-shift-2 = 'move-node-to-workspace 2'
alt-shift-3 = 'move-node-to-workspace 3'
alt-shift-4 = 'move-node-to-workspace 4'
alt-shift-5 = 'move-node-to-workspace 5'
alt-shift-6 = 'move-node-to-workspace 6'
alt-shift-7 = 'move-node-to-workspace 7'
alt-shift-8 = 'move-node-to-workspace 8'
alt-shift-9 = 'move-node-to-workspace 9'

[[on-window-detected]]
if.window-title-regex-substring = '(setting|设置)'
run = 'layout floating'

[[on-window-detected]]
if.window-title-regex-substring = '(Picture-in-Picture|画中画)'
run = 'layout floating'

# QQ
[[on-window-detected]]
if.app-id = 'com.tencent.qq'
# if.window-title-regex-substring = '^(?!QQ).*$'
run = 'layout floating'

# 微信
[[on-window-detected]]
if.app-id = 'com.tencent.xinWeChat'
# if.window-title-regex-substring = '^(?!WeChat \(Chats\)|微信 \(聊天\)).*$'
# if.window-title-regex-substring = '(WeChat|微信)'
run = 'layout floating'

[[on-window-detected]]
if.app-id = 'com.google.Chrome.app.ibblmnobmgdmpoeblocemifbpglakpoi'
run = 'layout floating'

[[on-window-detected]]
if.app-id = 'com.apple.ActivityMonitor'
run = 'layout floating'

[[on-window-detected]]
if.app-id = 'maccatalyst.com.atebits.Tweetie2'
run = 'layout floating'

# QQ音乐
[[on-window-detected]]
if.app-id = 'com.tencent.QQMusicMac'
run = 'layout floating'

# 钉钉
[[on-window-detected]]
if.app-id = 'com.alibaba.DingTalkMac'
run = 'layout floating'

# 网易云
[[on-window-detected]]
if.app-id = 'com.netease.163music'
run = 'layout floating'

# Alacritty
# [[on-window-detected]]
# if.app-id = 'org.alacritty'
# run = 'layout floating'

Thor

一款组合件触发应用的软件，我一般用来打开Alacritty

brew install --cask thor

D. Chocolate

分类讨论一下，发现只有1*1的时候先手会输

J. Roulette

一开始读错题了，后来发现 输...输赢 为一轮总是赢1块。

由 $2^r-1\geq n$ 可知当前有 $n$ 元最多输 $\log_2{n+1}$ 次，所以要连着赢 $m$ 轮，概率为

$$\prod_{x=n}^{x=n+m}(1-\frac{1}{2^{\log_2{x+1}}})$$

统一考虑所有 $\log_2{x+1}$ 相同的 $x$，复杂度就从 $O(N)$ 降到了 $O(logN)$

令概率为 $\frac{d}{dx}$，则最终求的 $a\times dx\equiv d(mod\ 998244353)$，
只要在每次更新 $d$ 的时候乘到 $a$ 上，更新 $dx$ 的时候乘对应的逆元到 $a$ 上即可。

逆元用费马小定理求一下即可。

#include<bits/stdc++.h>
using namespace std;
using ll=long long;
const ll mod=998244353;
ll pow(ll a,ll b){
  ll ans=1;
  for(;b;b>>=1,a=a*a%mod)if(b&1)ans=ans*a%mod;
  return ans;
}
int main(){
  ll n,m;
  cin>>n>>m,m+=n;
  ll d=1,dx=1,ans=1;
  while(n<m){
    ll r=log2(n+1);
    ll lim=min(m,(1ll<<(r+1))-1);
    ll _dx=1<<r,_d=_dx-1;
    dx=dx*pow(_dx,lim-n)%mod;
    ans=(ans*pow(_d,lim-n)%mod)*pow(pow(_dx,lim-n),mod-2)%mod;
    n=lim;
  }
  cout << ans << '\n';
  // cout<<d<<' '<<dx<<'\n';
  return 0;
}

A. World Fragments I

读两个二进制数，输出差的绝对值

D. Ama no Jaku

考虑第一列，如果有0有1，那么$\min(r_i)<\max(c_i)$势必成立，就寄了，于是每一列要么全0要么全1

然后考虑每行的状态，不难发现每列要么全0或全1的情况下整个矩阵都得是0或1

于是行和列的状态都只能有两种：第一行（列）和它的反转状态，然后$n^2$枚举一下答案即可

#include<bits/stdc++.h>
using namespace std;
#ifdef LOCAL
#include "algo/debug.h"
#else
#define debug(...) 114514
#endif
int n;
int solve(vector<string>&v){
  int t1=1,t2=0;
  for(int i=1;i<n;++i){
    if(v[i]==v[0])t1++;
    else{
      int tag=1;
      for(int j=0;j<n;++j)
        if(v[i][j]==v[0][j])
          tag=0;
      if(tag)
        t2++;
    }
  }
  if(t1+t2!=n){
    return -1;
  }
  int tot=0;
  for(char c:v[0])if(c=='1')tot++;
  int ans = min(t1, t2) + min(n - tot, tot);
  return ans;
}
int main(){
  cin>>n;
  vector<string>v(n);
  for(int i=0;i<n;++i)
    cin>>v[i];
  debug(v);
  vector<string>_v;
  for(int j=0;j<n;++j){
    string tem="";
    for(int i=0;i<n;++i)
      tem+=v[i][j];
    _v.push_back(tem);
  }
  debug(_v);
  int ans=solve(v);
  if(ans==-1){
    cout<<"-1\n";
    return 0;
  }else{
    debug(ans);
    ans=min(ans,solve(_v));
    cout<<ans<<'\n';
  }
  return 0;
}

H. Until the Blue Moon Rises

比赛的时候傻逼无比的拍了个递归上去，然后没发现，偏偏牛客把Tle也当Wa，贡献了n发罚时

用哥猜当结论分类讨论一下即可。

#include <bits/stdc++.h>
using namespace std;
#ifdef LOCAL
#include "algo/debug.h"
#else
#define dbg(...) 42
#endif
using ll = long long;
bool check(ll k) {
  if (k == 1)
    return false;
  for (int i = 2; i * i <= k; ++i)
    if (k % i == 0)
      return false;
  return true;
}
int main() {
  int n;
  ll m = 0;
  cin >> n;
  for (int i = 1; i <= n; ++i) {
    int tem;
    cin >> tem;
    m += tem;
  }
  if (n == 1) {
    if (check(m))
      cout << "Yes";
    else
      cout << "No";
  } else if (n == 2) {
    if (m < n * 2)
      cout << "No";
    else {
      if (m % 2 == 0 || check(m - 2))
        cout << "Yes";
      else
        cout << "No";
    }
  } else {
    if (m < n * 2)
      cout << "No";
    else
      cout << "Yes";
  }
  return 0;
}

J. Fine Logic

比赛的时候有个高手一直不明白什么是minimal number，我不说是谁

考虑拓扑，如果是 $DAG$ 就 $k=1$ 然后输出，否则搞一个排序和反排序，保证所有的环都在其中

#include <bits/stdc++.h>
using namespace std;
#ifdef LOCAL
#include "algo/debug.h"
#else
#define debug(...) 42
#endif
int main() {
  int n, m;
  cin >> n >> m;
  vector<vector<int>> adj(n + 1);
  vector<int> in(n + 1, 0);
  for (int i = 1; i <= m; ++i) {
    int u, v;
    cin >> u >> v;
    in[v]++;
    adj[u].push_back(v);
  }
  set<int> q;
  for (int i = 1; i <= n; ++i) {
    if (in[i] == 0)
      q.insert(i);
  }
  vector<int> ans{};
  while (!q.empty()) {
    int u = *q.begin();
    for (int v : adj[u]) {
      if (--in[v] == 0)
        q.insert(v);
    }
    ans.push_back(u);
    q.erase(u);
  }
  if (ans.size() == n) {
    cout << "1\n";
    for (int i : ans)
      cout << i << ' ';
  } else {
    cout << "2\n";
    for (int i = 1; i <= n; ++i)
      cout << i << " \n"[i == n];
    for (int i = n; i >= 1; --i)
      cout << i << " \n"[i == 1];
  }
  return 0;
}

前情提要

半夜刷知乎，本来是在看条宝点赞的瑟瑟内容，结果看到了没坤坤ylq点赞的信号。进他主页看了看，没想到他赞同了这个回答。

刷了一下其中的评论，看到有人提出了合乎常理但稚嫩的想法，忍了好几次，还是没忍住写点什么，因为感觉大部分人了解的都不够多，不喜欢看到他们被这么引导，起码得先知道一些真相再说。

正文部分

知乎看这个回答时给人的回复，留一个备份

这篇文章中充斥着很浓厚的辩论气息。在真实的内容中杂糅了很多心理描写、个人揣测、各种一句话的总结、格言什么的，这是我看的最不舒服的一点。

首先你得搞明白，你说的向icpc举报这件事，有没有人做过，又是什么样的结果。真要较真牵涉到很大量、还不一定留得下证据的历史。可以去查“ICPC银川赛站NXIST“的微博，看他冠冕堂皇发的”通知“，也可以去了解一下“icpc亚洲第一训练委员会“，”亚洲训练联盟“，这几个名词，以及几个人的名字，去搜一搜。我没有花很多时间在了解这些，但是网上搜很难了解到全貌（我没有搞明白怎么做到这一步的，只觉得混乱），只能从原来的经历者口中得知（还得是当时关注这些事的人）。

我觉得多知道一些真相是好的，个人角度来看抵制宁理赛事参赛选手是不成熟的做法，只有这种盲目相信“矫枉必须过正”的蠢人才会采取这种行动。这个事的根本原因不在于参赛的人，想要混奖的人就算没有这个比赛，能混的也多了去了。然而为什么宁理能够办起来，是在于找不到一个能够明确阻止他的“官方”。我没有找到，也不愿意花时间继续了解，因为了解了也改变不了什么。反正ICPC Aisa EC委员会是没有表过态进行抵制或者阻止，而宁理的文件中却说得到了授权。再考虑到其中的一些人，yjs都一再回避（譬如之前不知道在哪里看到过，最新的那个github证据放出来之后，yjs解散不知道什么群的截图）。当然，他们的表面功夫还是很熟练的，可以参考这个 如何评价2021年ICPC银川赛区RCD俞经善发布给EC竞赛委员会的道歉信内容？

在了解一些历史之后重新审视，我觉得处理事后的参赛学生实在不妥，不能说是避重就轻，甚至是在将宁理事件高举轻放，试图用处理选手来了结，处理的还是之后参赛的选手，明明本该是被团结的对象。取消奖项也好，抵制宁理也好，这都是合理且必要的做法。

唯独不给之后有参赛经历的学生工作面试机会，直接标记为一个“劣迹的人”，太荒唐了。。。。另一方面可以说是在扼杀西部地区学生参与竞赛的可能性（西部赛因为宁理也烂了，但他妈的总不能真打个蓝桥杯天梯赛就到头了吧）。荒唐到和文章之前的“理性思维”相矛盾，所以我甚至怀疑他是不是在抛出一个暴论来围魏救赵。

另外，还有一个好玩的事情，你可以查询一下本文作者，《西安工业大学 学生代表》的历史战绩。board.xcpcio.com/ 这里可以查。 当然，不要查太新的，看2022年的网络预选赛即可[爱]。然后建议再思考一下，如果是一个外行（或者精致的伪内行）说这些话，以及一个辛苦训练了几年的内行说这些话，会不会有什么感官上的不同，毕竟他也说了要结合大家的意志嘛。

每次看到这篇文章，或者身边的人赞同，都憋了回去，还是稍微认真整理了一下，发出这段话，被删的话也无所谓了，哥们自己只想好好训练，暑假好好打完多校，下半年打出成绩（来个铜牌靠前或者银吧），让自己开心，老师、父母觉得不错就可以了。

打icpc肯定会听说宁夏理工，但是牵涉的复杂的事、人有很多。我也只是网上搜了点东西，主要消息来自知乎上亲历者、委员会成员、各大比赛里比较有话语权的元老的回答，cjb，p大乌老师，开心小陀螺等大佬。。 然后网上搜了点尚且保存的消息作为佐证。

如果我这里的内容都看的一头雾水，感觉也没有必要深入了解进去。作为一个选手，我只希望这样的闹剧能少出现，大家都安安心心训练做题，打好相对高水平的算法竞赛。

如果你是萌新，只要记住一些普遍使用的原则，不要作弊，兼听则明，多见识高水平的选手、题目、代码、讲课，不被腌臢的形式、阴暗的内幕，糟糕的场次所影响心态，空耗时间，保持热爱。

upd

2023.10.14 网络赛已经结束很久了。第一场因为有人用翻译，整个学校取消成绩，第二场写了四题，最后一点时间冲第五题的时候傻逼志愿者跑来和我说有人用翻译（不知道他为什么要这么干），当时心态炸了没稳住，本来可能写五题还有点机会打到名额。不过只有一场也不太可能，按照那个排名规则，第一场没成绩，第二场起码打到校排75，就算5题罚时也太高了；

归根结底还是自己菜，训练浮夸，暑假干这个干那个，结果还是玩游戏，acm没打好项目也没做好，没什么好说的，走一步看一步吧。。

upd

2025.9.21

重新再看到还是很愤怒，尤其是他说处理涉事学生正是为了针对学校的时候，只有脱产的学生才有这么愚蠢的想法。

学生和学校究竟是有利益冲突还是沆瀣一气都分不清楚。为了维护环境不是给西部的学生提供一个更好的方案，而是直接把他们拒之门外。真是可笑。

对宁理喷的这么狠，词藻之华丽不知道的还以为在歌颂自己多么伟大的功绩，实际上宁理的最大的两个问题都闭口不谈：1. 为什么题目质量烂。2. 为什么这学校作弊没人管

一昧上升高度，最后得出一个干掉学生就是解决源头的结论。你怎么不说直接把人杀了出一个终产者资源利用率100%呢。

有这个抵制学生的劲头，给一个好的学校，例如兰大的校队和教练去众筹题目和经费，让良币能够被看见不可以吗。兰大这几年的金牌是看不见瞎了还是他也掌握了兰大的作弊把柄？

人家真想为环境做点事，办了CCPC省赛。赛场的人力物力，校队队长花心力出一套好题，再去教育厅争取证书。哪一件事是随随便便就做成了的？

水平废物还摆不清定位的人却在舆论的高地指指点点。

不团结可以团结的伙伴，挥刀向弱者。

到头来一句，反正没人管，你有本事你给方法，我就要这样。

这种愚昧的坚定和假把式的开放包容是真的让人怒火滔天，事实上和宁理那帮畜生没有区别，谁没有难处，宁理都能有难处，到头来居然是去解决西部的学生。

怎么着，苦苦学生骂名你来担？赵贞吉说这种b话因为他知道他的利益来自皇帝，就算嘴上冠冕堂皇，内在的利益逻辑是自洽的。

生动诠释了坏人的绞尽脑汁不如蠢人的灵机一动。

就和社保一样，把工资低了的踢了拉高基数，但是灵活就业的社保又要照样交，不觉得良心有愧就算了，还嫌供养者们素质低，应该滚蛋，到时候别来分钱。

所谓的破坏保研/就业市场，不怨土壤不怨自己怨对手，懦弱到了极点。

自己享受着什么条件都不知道，身在西安的大学我说一句吃里扒外都不为过。网络赛打了个2题之后就没参与了。

菜成这样其实连参加邀请赛、区域赛都浪费名额。来操心什么icpc的未来，搞不搞笑。

用最恶意的角度揣摩：实上对打一场高质量的比赛根本就不上心，单纯只是对这种权威、“正义”的迷恋。

西部的学生承受着落后的条件，明明是命运安排的无奈选择，结果被这种人说成是“想混个奖”，那人家想向上有错吗，抛开转移支付不谈都没有资格来贬低，明明是人人平等的事情。

更别说西部还要被吸的这么狠。自己还在西安上大学也享受了这边的各种资源。

以前我身在山中看不清，现在我可以回答当初定的文件名，Fix-SayItOrNot.md

我要说出来，我要讲述事实，我要站在一个感受过东西部差异的人、一个在杭州高中参加过竞赛，在西部弱校本科曾经努力过，一个在网络赛最终表现出能打到名额的水平的人，讲述我所知道的事实。