Malicious SHA-1 (2014) https://malicioussha1.github.io/

The perils of transition to 64-bit time_t https://blogs.gentoo.org/mgorny/2024/09/28/the-perils-of-transition-to-64-bit-time_t/

Reverse-engineering a three-axis attitude indicator from the F-4 fighter plane http://www.righto.com/2024/09/f4-attitude-indicator.html

Cores That Don't Count [pdf] https://sigops.org/s/conferences/hotos/2021/papers/hotos21-s01-hochschild.pdf

https://www.science.org/doi/10.1126/science.aay5734
...？

工科猪咨询群友一个算法问题：

现在有一个 DAG，入度为 0 的节点称为输入，出度为 0 的节点称为输出。输入输出节点数量一致，有一个一一对应关系。

对这个 DAG 做一个“纵切”，要求满足以下条件：
1. 对应的输入和输出划分到一起（Hence “纵”）
2. 每个链保证只跨过 Cut 最多一次：也就是不允许出现以下这种链（以 A/B 表示划分到哪边）：
.. -> A -> B -> ... -> B -> A -> ...

用什么算法好，或者如何 Reduce 到一个比较好的图划分问题上，然后调库侠
X 问题：Circuit as SSA，状态是输入/输出节点，做划分，不允许组合逻辑跨过 Cut 两次

https://youtu.be/i8OUh3YvRpk
最近跑步在听这个