brandon wang
@fluorane
加入 April 2021
291 正在關注 1.4K 粉絲
tfw deepseek hires a jane streeter to lead the harness team and suddenly there are commutative diagrams in the harness design
(for pl enjoyers theorem 5 states that something is a monoid homomorphism)
顯示更多
