X · 核心生态
colmugx @colmugx · 21h DeepSeek Harness 要喜欢这样搞还不如从第一天就用 moonbit 去实现，真的，连形式化验证都有了 9 4 53 13K
colmugx | @colmugx | · | 21h | DeepSeek Harness 要喜欢这样搞还不如从第一天就用 moonbit 去实现，真的，连形式化验证都有了 | 9 | 4 | 53 | 13K
SOURCE-DECLARED INSTALL
Open the public source page ↗MEDIA REFERENCES
Captured in public view
No public media reference was captured for this record.
CONTEXT
Why it is here
colmugx | @colmugx | · | 21h | DeepSeek Harness 要喜欢这样搞还不如从第一天就用 moonbit 去实现，真的，连形式化验证都有了 | 9 | 4 | 53 | 13K
Evidence updated 2026-08-15T06:16:55.585Z. Interaction numbers are platform-native snapshots; the evidence panel records the metric source and observation time. NULL means the public page did not expose a number at collection time.