1 分•作者: marizluan•6 个月前
返回首页
最新
11 分•作者: efskap•6 个月前
16 分•作者: todaycompanies•6 个月前
我创建这个是为了让执法活动更加透明。它使用了 [提及技术栈，例如 Mapbox/Leaflet] 和一个验证系统来防止误报。欢迎大家对验证逻辑提出反馈意见。
21 分•作者: vismit2000•6 个月前
1 分•作者: petethomas•6 个月前
1 分•作者: nmr521521•6 个月前
1 分•作者: jfg0•6 个月前
2 分•作者: firloop•6 个月前
1 分•作者: _august•6 个月前
1 分•作者: Lions2026•6 个月前
我正在研究（并拥有相关知识产权）一种针对 P2P 竞赛和预言机决议系统的架构模式，该模式侧重于确定性结算、争议控制和结果决议与支付之间的精确一次执行。<p>目标是消除：
- 重放/双重结算情况
- 模棱两可的决议状态
- 由部分失败或结果冲突引起的仲裁循环<p>该模式引入了一个对账层，用于控制结算、强制最终性，并在资金转移之前保存有争议的状态以供解决。<p>我很好奇这里是否有人在以下领域实施或见过类似的模式：
- 预测市场
- 金融科技/托管平台
- 存在争议的市场
- 游戏/竞赛系统<p>对架构反馈、陷阱或正在研究此类问题的团队的线索感兴趣。
1 分•作者: walterbell•6 个月前
1 分•作者: trissim•6 个月前
我们证明了在决策问题中识别决策相关坐标是 coNP-完全的。寻找最小充分坐标集也是 coNP-完全的。
形式上：给定状态空间 S = X_1 × ... × X_n 和效用 U : A × S → Q，一个坐标集 I 是充分的，如果 s_I = s'_I 意味着 Opt(s) = Opt(s')。 检查 I 是否充分可以规约到 TAUTOLOGY。 寻找最小的 I 也可以规约到相同的问题。
主要结果：
SUFFICIENCY-CHECK 是 coNP-完全的
MINIMUM-SUFFICIENT-SET 是 coNP-完全的（Sigma_2^P 结构崩溃）
ANCHOR-SUFFICIENCY（固定坐标）是 Sigma_2^P-完全的
二分性：当 |最小集合| = O(log |S|) 时是多项式时间，当 Omega(n) 时是指数时间
可处理的情况：有界 |A|，可分离 U(a,s) = f(a) + g(s)，树状结构坐标
工程意义：过度建模不是懒惰。确定哪些配置参数重要需要解决 coNP-完全问题。包含所有内容需要 O(n) 的成本。最小化成本需要 Omega(2^n) 的成本。对于大的 n，过度规范是最优的。
这解释了：永远增长的配置文件，启发式特征选择（AIC/BIC/CV），缺乏“寻找最小配置”工具。这些不是工具故障。它们是对不可解性的最优响应。
2760 行 Lean 4 证明。106 个定理。没有遗憾。
1 分•作者: thunderbong•6 个月前
2 分•作者: sbochins•6 个月前
16 分•作者: kmavm•6 个月前
1 分•作者: shenli3514•6 个月前
1 分•作者: sargstuff•6 个月前
1 分•作者: sargstuff•6 个月前
2 分•作者: geox•6 个月前
1 分•作者: PanicSellGuru•6 个月前
在当今科技世界快速变化的背景下——从人工智能基础设施竞赛到主要平台更新——投资者们正密切关注以创新为导向的基金如何调整其持仓。本工具清晰、直观地展示了凯西·伍德的ARK Invest在2025年前三个季度对其主要持仓的调整情况，帮助用户了解市场叙事如何转化为实际的投资组合变动。
点击此处探索最新的ARK投资组合数据：
<a href="https://www.13radar.com/guru/catherine-wood" rel="nofollow">https://www.13radar.com/guru/catherine-wood</a>