原标题：《Android apps running native on macOS》 评分: 295 | 作者: flocked 💭 内置 JVM 却宣称无虚拟机，谁在模拟谁？ 🎯 讨论背景 Mac.apk 是一个 GitHub 项目，目标是在 Apple Silicon Mac 上把 Android APK 转换并运行，宣传中强调不使用 Android emulator、Linux 或 virtual machine。Android APK 通常携带 DEX 字节码；项目说明被解读为通过内置 Java runtime 将 DEX 反向转换为 JVM bytecode，并补齐 Android APIs，而非直接执行完整 Android 系统。许多 Android 应用依赖 Google Play Services（Google 的专有移动服务框架）及 Play Integrity API（设备与应用完整性校验），这使脱离官方 Android 环境的兼容性天然受限。Apple Silicon Mac 虽具备运行部分 iPhone/iPad app 的系统兼容层，但是否允许安装由开发者
原标题：《U.S. Supreme Court to review 1868 federal ban on home distilling of liquor》 评分: 34 | 作者: Jimmc414 💭 为收税防爆，地下室威士忌也要管到 1868 年？ 🎯 讨论背景 这起案件涉及美国一项可追溯至 1868 年的联邦禁令：个人即使只为自用，也不得在家蒸馏烈酒。挑战者主张，该禁令将国会的税收执行权及 Commerce Clause（州际商业条款）扩展到了非商业、非跨州的私人行为；评论所指的 Wickard v. Filburn（1942 年允许联邦规制自用小麦的最高法院判例）正是这种广泛联邦权力解释的核心背景。历史上，George Washington 任内的 whiskey tax 与 Whiskey Rebellion（反对联邦威士忌税的武装抗税事件）使蒸馏监管长期与税收相连，而现代争论则加入了 methanol 中毒、ethanol 火灾爆炸和小型创新的取舍。部分评论还把此事映射到 DeepSeek（中国开源大模型）等开源技术的监管争议，以“distillery”讽刺既有产
原标题：《OpenBSD 8.0 release will have inteldrm/radeondrm/amdgpu drivers from Linux 6.18》 评分: 127 | 作者: doener 💭 版本翻到 8.0，GPL 代码就自动洗成 BSD 了吗？ 🎯 讨论背景 OpenBSD 是强调代码审计和许可证简洁性的 Unix-like 操作系统，其显卡支持长期通过移植 Linux 的 DRM（Direct Rendering Manager，GPU 内核驱动框架）代码来更新。此次所说的 inteldrm、radeondrm 和 amdgpu 分别对应 Intel、较早期 AMD Radeon 与现代 AMD GPU 驱动，但评论补充称相关 Linux 6.18.y LTS 代码已在 OpenBSD 7.9 中落地。OpenBSD 采取每六个月一次的固定发布节奏，版本从 7.9 滚动到 8.0 不表示语义化版本中的“主版本升级”。争议的核心是 Linux 内核中可移植部分的逐文件许可：OpenBSD 只纳入宽松许可的驱动代码，而专有 GPU firmware bl
原标题：《The fire retardant in the seafood chain》 评分: 128 | 作者: gumby 💭 鱼粉省下惰化设备，消费者就该吞防火添加剂吗？ 🎯 讨论背景 报道的核心是 Ethoxyquin（用于抑制氧化的 quinoline 类抗氧化剂）被加入易自热的鱼粉，以降低其在仓储和船运中的自燃风险；鱼粉随后作为水产养殖饲料，使该化学品可能沿饲料—海鲜链进入消费者视野。鱼粉并非普通粉尘爆炸案例：其风险可来自氧化或分解放热在大宗堆料中积累，而面粉和谷物粉通常须有火花才会爆炸。讨论因此落在两种治理路线的取舍：以氮气惰化、冷链、分仓等工程措施控制风险，或以低成本添加剂处理物料。评论还旁及 BFR（溴系阻燃剂，一类用于家具和电子产品的阻燃化学品）在母乳中的检出及健康证据，但这与 Ethoxyquin 是相关却不同的化学品议题。 📌 讨论焦点 自燃机制与粉尘爆炸不能混为一谈 评论者指出，人体“spontaneous combustion”更接近都市传说；但亚麻籽油抹布、鱼粉等可氧化物确实能在无外部火源下积热并起火。大堆覆盖物、潮湿干草和谷物储存物也会因微生物
原标题：《Novo Nordisk, Eli Lilly Report GLP-1 Signals of Slowed Biological Aging at ARDD》 评分: 25 | 作者: hnburnsy 💭 体重变轻了，就能把副作用和衰老一起减掉吗？ 🎯 讨论背景 ARDD（Aging Research and Drug Discovery，一项聚焦衰老生物学与长寿医学的会议）上，Novo Nordisk（丹麦糖尿病与肥胖药企）和 Eli Lilly（美国制药公司）报告了 GLP-1 药物可能减缓“生物学年龄”的信号。“生物学年龄”通常依据生物标志物或健康指标估计，和证明药物能延长寿命或逆转衰老并非同一回事。GLP-1 药物原本主要用于 2 型糖尿病，后因显著减重效果广泛用于肥胖治疗，因此其收益也必须与眼部风险诉讼、精神与奖赏体验变化及非正规 RUO（Research Use Only，仅限研究用途）供药问题一并评估。 📌 讨论焦点 安全信号需放在基线风险与规模中解读 评论者质疑把 GLP-1 的未知副作用轻描淡写，指出已有针对 Ozempic 等药物致盲的集体诉讼报
原标题：《Lula supporters protest against Meta to denounce its 'electoral interference'》 评分: 26 | 作者: jumpocelot 💭 算法真能洗脑，举牌抗议又是谁批准的？ 🎯 讨论背景 卢拉是巴西左翼政治人物、现任总统；其支持者以葡萄牙语双关语“N ão Se Meta”（意为“别插手”，同时点名 Meta）抗议 Meta（运营 Facebook、Instagram 等社交平台的美国科技公司）涉嫌影响选举。争议核心是平台的账号封禁、内容分发和推荐算法，究竟是正常的内容治理，还是足以改变政治竞争的“选举干预”。评论者还援引美国在拉丁美洲冷战政治中的历史角色，以及 Bolsonaro 家族与 Trump 阵营的联系，来解释为何此类怀疑在巴西具有政治土壤。另一方面，反对者强调，平台影响力不能自动证明跨国协调阴谋，也不能把政治失败一概解释为外部操纵。 📌 讨论焦点 抗议指控的证据门槛 有人质疑抗议者究竟掌握了什么证据，并嘲讽法院若要求 Meta 证明自己“没有干预”，等于要求证明一个否定命题。回应者指出
原标题：《I built a drone with only one motor [video]》 评分: 376 | 作者: hakonjdjohnsen 💭 少装几颗电机，却让整机打转，这也叫实用？ 🎯 讨论背景 视频展示了一种单旋翼、单主电机飞行器：旋翼铰链与磁编码器配合，由控制器高速调制电机 torque 和桨叶角度，在转动周期的不同方位制造不对称升力来控制姿态。它试图以软件和动力学替代直升机的 swash plate（把操纵输入传给旋转桨叶的机械机构），但反扭矩会令机身自旋，稳定悬停仍是主要难题。评论者将其放入已有技术谱系：RC 特技飞机的 VPP、使用舵机导流片的 monocopter，以及宾夕法尼亚大学（UPenn，美国研究型大学）等机构的早期单旋翼控制研究都已有相关探索。俄乌战争中低成本无人机快速迭代的现实，又让这类“更少电机”的设计同时引出后勤价值、军事效用与自主武器伦理的争论。 📌 讨论焦点 巧妙机构与控制代价 该设计以特殊铰链、磁编码器和高速 torque modulation 改变旋翼桨叶角度，使旋转一周中不同方位产生不同升力，省去了传统直升机的 swas
原标题：《MiniMax M3.1 Flash》 评分: 365 | 作者: jtg 💭 跑分第一，却要用户替它找能做对的任务吗？ 🎯 讨论背景 MiniMax 是一家提供语言模型与视频生成模型的 AI 公司；此次发布的 M3.1 Flash 是面向低成本 agentic task 的语言模型，并曾以“Space Bunny”之名在 OpenCode（AI 编程工具）中匿名预览。该模型据称采用 MoE（混合专家）架构，总参数约 428B、每次激活约 23B，并以 DeepSWE、TerminalBench 等软件工程 benchmark 展示性能和降价幅度。讨论的核心参照物是 DeepSeek V4.1 Flash、GLM5.3 Flash、Qwen3.8-Flash-Next 等便宜高速模型，以及 Claude Opus 等更强但受订阅配额或 API 价格制约的模型。评论者关注的不只是单价和 benchmark，而是编码任务的首错率、修复次数、TTFT、token 吞吐、缓存成本、隐私承诺与本地部署可行性。 📌 讨论焦点 实测口碑与 DeepSeek/Qwen 的落差 不少曾在
原标题：《Galois Finite Fields and the Advanced Encryption Standard (AES)》 评分: 31 | 作者: ankitg12 💭 既然 CTR 只会 XOR，AES 的逆运算是数学摆设吗？ 🎯 讨论背景 AES（Advanced Encryption Standard，一种广泛部署的对称分组密码）以 GF(2 ^8)（256 元有限域）上的字节运算构成其代换和扩散步骤，因此有限域与多项式取模是理解其内部设计的基础。有限域 GF(p ^n) 可由系数在 GF(p) 中、次数小于 n 的多项式模一个 n 次不可约多项式构造；这解释了为什么 AES 的字节能被表示为二进制多项式。AES 常被置于 CTR（计数器模式）或 GCM（带认证的计数器模式）等工作模式中，此时底层 AES 可用于生成密钥流，但 AES 本身的可逆置换性质仍是其分组密码定义的一部分。历史上基于 lookup table 的 AES 软件实现易暴露 timing attack（通过运行时间或缓存痕迹泄露秘密的侧信道攻击），推动了专用硬件指令的普及。 📌 讨论焦
原标题：《Token-maxxing is dead, OpenRouter's token usage plateaus》 评分: 20 | 作者: pranshuchittora 💭 一个路由器流量停了，AI token 就死了？ 🎯 讨论背景 OpenRouter（聚合多家 AI 模型 API、便于开发者切换模型的网关）公开的 token 用量被用来判断“token-maxxing”是否降温，但评论强调其客户样本并不等于整个模型市场。争论发生在模型能力提升、价格快速下降的背景下：Claude Code（Anthropic 的代码代理工具）、Codex（OpenAI 的编程代理产品）等订阅式产品，可能替代按 API token 付费的工作流。与此同时，DeepInfra（提供 GPU 托管与模型推理服务的平台）和各类 harness 正争夺网关入口，用户也可直连模型厂商 API 或自行部署 open weights 模型。Kimi K3、GLM、MiMo、Qwen 等中国模型的使用反馈，则说明某一聚合平台的停滞未必意味着模型调用需求整体萎缩。 📌 讨论焦点 OpenRoute
