本研究页面仅以英文发布。技术页面已翻译,论据清单没有:一条被译错的论据就是一条假论据。
四十六个文件夹,装的是 进行中的工作
这是一个书架,不是产品目录。其中有些是带实验和数字、能出结果的研究。有些是设计文档。有些是推测性的,它自己的 README 里也这么说。现在每一个目录都有一份完整的说明,取自原始论文而不是目录里的 README,每一条主张都和它背后的证据并排列出 — 包括那些报告了负面结果的。全部以 GNU Affero 通用公共许可证(AGPL-3.0+)发布,旁边还有商业条款。
筛选这个书架
46 / 46 项已显示
100 W 噪声发生器
设计文档一个 SystemVerilog 文件,监管一个蔡氏电路模拟核心、一条四频段功放链、供电 DAC、热敏 ADC,以及一个亚微秒级的硬保护状态机。
完整说明 →布尔函数 n = 3…8
有结果对三到八个变量的布尔函数空间逐维做的一次普查,追踪真正不可约函数所占的比例,从大约四分之一一直到接近天花板。
完整说明 →ARIA
参考实现一种认证加密,nonce 由消息和会话密钥推导出来,而不是传过去,使得收发双方在结构上不可能失步。
完整说明 →Ashby Optimiser
有结果N 个相互隔离的搜索单元,半径按几何间距分布,轮转调度,停滞时做稳态重启 — 老老实实地和随机搜索以及 (1+1)-ES 做了基准对比。
完整说明 →ARIA-INTEL
参考实现一个 PMBM 随机有限集跟踪器,带生活模式建模、八个谍报手法检测器和贝叶斯威胁评分 — 2,363 行,只用 NumPy 和 SciPy,每次扫描 28 ms。
完整说明 →Battle Sim
推测性一篇关于现代数学作战模型的简短综述 — Hughes 式的离散齐射、扩展的兰彻斯特方程、马尔可夫状态战斗模型 — 附上它们的方程和各自的注意事项。
完整说明 →Hemp Harmony
设计文档一款三相植物性药妆品,每一类成分都用同行评议的临床、体外和民族植物学证据来支撑,而不是空口声称。
完整说明 →CPU
推测性一篇异构众核架构的讨论,配上一份 SystemVerilog 草图,把操作系统的原语 — 上下文切换、系统调用分派、缺页处理 — 挪进硬件。
完整说明 →酒吧运营
参考实现四种本土植物基底,撑起菜单上每一款浸渍液、糖浆和苦精,配有明确的时长、批次配比、质检节点和排班节奏。
完整说明 →Izaac · GRIA · NMP
有结果共享 PRF 的协调、分级可逆性,以及把神经网络当作可测量的压缩算子 — 统一在一套信息论的词汇之下。
完整说明 →金刚石电池
推测性四个设计系列,把 2024 年布里斯托/UKAEA 的碳-14 金刚石电池外推到公用事业规模,并以 40 万吨乏燃料存量作为原料来源的论据。
完整说明 →UCDW
设计文档在离子液体基质中把电化学离子迁移、热扩散和超声辅助结合起来,五种工作区间下覆盖母材强度的 77% 到 99%。
完整说明 →储库式给药
推测性一份货真价实的药剂学操作手册 — PLGA 调控区间、相转化凝胶、Higuchi 释放动力学、ICH Q8 框架 — 搭配的却是虚构的化合物,文件夹在每一页都用横幅标明那是虚构的。
完整说明 →EREM · SPX
设计文档两条线:把国民财富改用物理能量单位来表述,以打破对货币机构的循环依赖;以及五个模型共同指向 2028–2029 这个 gamma 平仓的时间窗。
完整说明 →Babbage · Antikythera · TDC
有结果巴贝奇的差分机、安提基特拉机械的行星齿轮系,以及二战时期的鱼雷数据计算机 — 每一个都被重建成一个可做基准测试的算法,而不是一件博物馆展品。
完整说明 →GH-SR-IMM
有结果一个重尾多目标跟踪器,把离群值稳健性和机动处理解耦,报告 GOSPA 平均改善 51.6%。
完整说明 →Fungal Network Algorithm
设计文档一个受生物启发的自组织网络,其中的边和权重是输入历史的结果,而不是存储介质,完全按局部规则生长和修剪。
完整说明 →Future C++
推测性一场关于某种编译型语言的长篇设计讨论,这种语言有 C++ 的语法和现代的保证 — 它开篇先论证现代 C++ 已经覆盖了愿望清单的大部分,然后再把剩下的部分理清楚。
完整说明 →GF(2) 代数
有结果从对全部 16 种二元运算的穷举枚举,一直到置换多项式、电路优化和可微逻辑门 — 其中包括一个关于 AND 的唯一性定理。
完整说明 →HSA
推测性一个三阶段的基因改造方案,以工程推演的方式写成,带有分级的证据免责声明、一张累计不良事件表,以及开头一条横幅,声明它纯属理论与世界观构建。
完整说明 →LCRP
设计文档一篇兼有综述和框架的论文,论证少数几种机制 — 分治、树表示、信息论下界 — 就能解释七个领域里大多数从平方级降到对数线性级的改进。
完整说明 →Izaac 协议
设计文档一个紧凑的共享密码状态 σ 充当免费的广播信道 — 从拜占庭共识到协同差分隐私,十二个具体协议都是从这一个观察里推导出来的。
完整说明 →UHPM
有结果局部敏感哈希记忆和分层预测编码统一在同一个自由能泛函之下,报告在 100K token 处相对完整注意力实现 289× 的查询延迟加速。
完整说明 →数学综述
参考实现一篇研究级的综述,从数论一直讲到金融数学 — 基础理论、过去十年的标志性成果、未解问题,以及它们之间的跨领域联系。
完整说明 →给 AES 建模
有结果一项成对的研究,用神经网络从两个方向攻击 AES-128,结论是两个方向都不行 — 并且量化了各自到底差多远。
完整说明 →SGF · Algebraic Autopsy
有结果把所有高效深度学习技术归约到一个原语 — 弯曲流形上的一个在线充分统计量 — 外加一个事后诊断工具,从权重里读出一个训练好的网络隐含的代数结构。
完整说明 →Neural Decompiler
参考实现一个带分层记忆和负载均衡专家混合的编码器–解码器 Transformer,把从汇编到源码的还原重新表述成一个序列建模问题。
完整说明 →NQD
推测性量子纳米金刚石传感器贴近到单个神经元的距离,由超声供电的 CMOS 微尘以光学方式读出,再反向散射到一个可穿戴阵列 — 不用任何穿过颅骨的导线。
完整说明 →混合器件
参考实现忆阻器、约瑟夫森结、GMR 和相变元件,在六个阶段里做了仿真 — 还有一次自查,在自己的框架里找出并公布了七个 bug。
完整说明 →NLFGN-UFT
推测性一个变分形式的非局域引力方案,把因果信息传递保持在 ≤ c 的速度上,外加一篇文章,论证超光速退行是一个解释上的分歧,不是 ΛCDM 的失败。
完整说明 →AusDike™
设计文档一种开底自压载堤板,从概念一直做到模具报价 — 28 次仿真、一面由屈曲主导的墙体,以及一个这个方案没有掩埋掉的不利发现。
完整说明 →素数元模式
有结果六个 MLP 被训练来在跨五个数量级的范围内分类素数,仅从权重进行解读 — 它们重新发现了 6k±1 格点上的试除法,然后又以 30–80× 的差距输给了它。
完整说明 →QDMP
推测性在超材料金刚石晶格中构造的 NV 色心阵列,作为一个有结构的思想实验提出 — 并对照当前文献评估了七个点名列出的科学障碍。
完整说明 →QGO
参考实现五个可审计的层 — 谱压缩、切比雪夫编码、模拟 QAOA、按噪声加权的排序、谱回升 — 每一层都有一个具名的验证函数和一个明确写出的误差项。
完整说明 →随机数生成器合集
有结果超越常数 DAG、布尔 LCG、双吸引子混沌和反向旋转湍流 — 四个失效模式确实不同的生成器,分别做了基准测试。
完整说明 →HX-70 GradePlex
设计文档一种功能梯度硬质合金基体、一套五层涂层,以及一条从锻造到机加工的供应链 — 瞄准的是常规刀片失效的那一段和 CBN 几何形状所覆盖的那一段之间的空白。
完整说明 →USG
有结果证明这些生成器在复合运算下构成一个数学范畴,并用基于哈希的上下文压缩,打破了那个把 n-gram 和 HMM 方法卡在三到五个 token 的状态爆炸上限。
完整说明 →统计式调度器
有结果公平性来自一个统计式的 CFS 变体,放置质量来自一个上下文老虎机,负载均衡来自一个 PID 回路 — 每一项都有形式化的保证,实测放置延迟在亚毫秒级。
完整说明 →威胁评估
推测性关于身份替换谍报手法、神经干扰和一种爆炸混合物的假想情报简报 — 完全基于公开来源写成,用的是这类文件实际使用的语体。
完整说明 →UCN 的那些 AI
推测性Any Purpose Networks、General Purpose Networks、Signal AI 和两个学习原语 — 用数学基础论文的语体写成的世界观构建产物。
完整说明 →UCN
推测性八篇编了号的文章,涵盖宪法、经济、国防、知识产权、毒品政策和外交关系 — 每一条说法都注明出处,每一处与现行法律的冲突都在路线图里明确承认。
完整说明 →联合国改革
推测性一支由民选安全事务专员领导的联合国常备防卫部队,论证依据是《联合国宪章》条款和条约法,结尾一节讲它大概为什么不会被采纳。
完整说明 →VDJ
有结果把 V(D)J 重组抽象成五个模块,用于单样本学习和组合式生成,为嵌入式部署做了精确到毫秒和千字节的性能剖析。
完整说明 →VERITAS
参考实现关于二值模式空间的九条定理,其中 PAC 和 ALT 保证是在运行时检查的,而不是离线论证的 — 还有一个复合性结果,表明这些保证是可以相加的。
完整说明 →国防项目合集
设计文档三十多个平台文件夹,用的是国防工程的语体,并且有一条不多见的纪律:每一个弹道、热学和全寿命周期数字都由同一个共享的物理引擎生成,并注明出自那里。
完整说明 →警用装备
设计文档一套质量只有现役产品三分之一的防弹衣,和一把降低能量的制式手枪,两者都跑过与国防项目合集同一个共享物理引擎,也都按采购案做了成本核算。
完整说明 →四个证据等级,一以贯之地使用
每一篇说明都带着其中一个等级,还有一份主张台账,把每一个数字分别标注为实测、合成、推导、预测或引用。
只有理论或设计。没有内部实测。
有详细规格;实现部分完成或完全没有。
代码存在,也能跑。性能没有经过独立核查。
做过实验,数字就报在这里。