是这个吧 https://docs.github.com/en/rest/reference/actions#create-a-workflow-dispatch-event

作为算法问题，最好是能把所有的前提都说明。让人自己摸索规律的话，这就是一个工程问题了，不同的人心中的规律不同，难以形成共识，结论的含金量也就大大降低。

我现在设计的最小需要 1.43GB ，平均下来每个卡号使用了 30.725bit
把 10^16 的空间分成 10^7 个 bucket ，卡号剩余 9 位数，用 30bit 来覆盖。卡号排序后，将这 4*10^8 个卡号的 30bit 数据紧密排列，4*10^8*30bit
bucket 数据，每个 bucket 存储起始 index ，index 最大 4*10^8 ，用 29bit 来覆盖，这部分是 10^7*29bit
两项加一起 1.43GB

另外沿着信息的那条路去估算 log2(C(10^16, 4*10^8))，我把分子的里面改成 10^16-4*10^8 找下限，再用积分模拟分母，最后得到的下限大约 1.21156GB

@kalago 每个 bucket 后 8 位十进制应该用长度 10^8 的 bitmap 来存储吧，存在添 1 ，不存在添 0 ，这样才是 bitmap 。27bit 只能存储 1 个 8 位十进制数字。
我看的 roaring bitmap 例子里，就是给后 16 位 2 进制数分配了长度 2^16(即 65536)的 bitmap 来存储。

有个电视和滚筒洗衣机，两个大桌子，感觉很值得

如果对视频质量有一丁点要求的话，gif 一般是比 mp4 大的。如果发视频没有比发 gif 更复杂的话，推荐用视频转码工具把视频分辨率降下来、码率降下来。

直接双系统吧

小窗能打开声音么，我想象中应该有个默认静音的按钮，点开之后能听到声音。然后点击正在播放的视频能动画展开成播放页，而不是现在跳转到网页
就现在这个体验，实在是太差了还不如没有

局域网用 smb ，广域网文字用一个公开的笔记网站，文件用 vps 上的 ftp

传统 ssd 再怎么强也是外存，需要读取数据时需要 DMA 到主存里，这就直接意味着 ssd 速度无论怎么强，也高不过内存速度。
传统 DRAM 作为主存的地位现在还非常稳固，和 flash 的延迟和吞吐性能差距在客观上也非常明显，短期内是看不到的。
optane 直连 cpu 做内存持久化是一个思路，但仍然要直面延迟和性能差距。

想要内部不可变，java 的话就改用不可变对象，或者对外只暴露不可变接口。反正是可以做到，但可能费一些功夫去写接口。我在一定程度上赞同写一套只读接口，再 extend 出一个读写接口，有点啰嗦，但比较规整。

算是一种背包问题吧，多个背包，要看到几个背包的时候能全部塞满

MFC 或者 Qt 的话，可以抓到控件句柄，直接读数据的吧

b = a.bind(null) 和 b = a 相比，除了判断相等的结果不一样之外还有别的区别吗

安装包里面可以看看体积分析，根据我 n 年前做 android 的印象可能是带了 support 库或者是图标图片等太大。

@qin20 默认不指定 copy 就是重新编码的，而且输出正好是 1 秒钟，共 61 帧数据。
需要把-ss 和-to 放在-i 前面，这样时间修饰的是输入，会跳过前面的编码，只编码制定的区间。
放在-i 后面就变成修饰输出了，不符合你的需求，会导致要全编码一遍然后在输出的地方截断。

“重新编码遇到几个 G 的视频文件时，切割两秒的视频，就需要处理好几分钟，在批量切割的需求下(几百个视频片段)，完全达不到性能要求”

这个问题我没有遇到哦，我从一个 13 分钟长、平均码率 4.5Mbps 的视频中，截取比较靠后的 1 秒钟
ffmpeg -ss 700 -to 701 -i a.mp4 out.mp4
用 measure-command 测了一下运行时间不到 0.7 秒

@qin20 可以试试拉 loglevel ，然后监听类似于 [mov,mp4,m4a,3gp,3g2,mj2 @ 000001f53b1ae8c0] stream 0, sample 450, dts 14933333 的数据，就能知道他在复制那些帧

1. 先找到关键帧
网上找的命令，比如
>ffprobe -loglevel error -skip_frame nokey -select_streams v:0 -show_entries frame=pkt_pts_time -of csv=print_section=0 input.mp4
得到关键帧的时间戳，只是感觉输出不是很稳定，会有数字之外的数据，可能要多调试兼容

2. 粗切
ffmpeg 用 -c copy 的时候，手动指定前后的关键帧的时间戳，这样应该就会从指定的帧开始。至少我实验下来开始的关键帧是准的，结束的关键帧不稳定，可能还会多几帧。

3. 精切
接着就可以用重编码的方法来切到指定帧了。