这个 C 代码片段定义了一个预处理器 MAP 工具:`__map` 统计其可变参数并分派到 `MAP_n`,后者递归地将宏应用于每个参数。`PRINTINT` 将每个参数展开为 `printf` 调用,打印其文本形式和整数值。在 `main` 中,`__map(PRINTINT, 1,2,3,4,x,y,z)` 生成七条 `printf` 调用,显示如 `1 = 1`、`x = 1` 和 `z = 3` 的值。

``` Hacker News 新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 有趣地扩展 C 预处理器 ( davidpriver.com ) 7 分 由 david2ndaccount 2 小时前 | 隐藏 | 过往 | 收藏 | 2 条评论 帮助 pajko 12 分钟前 [–] 你不需要扩展预处理器就能拥有 MAP: https://github.com/swansontec/map-macro 回复 david2ndaccount 11 分钟前 | 父评论 [–] 文章展示了如何实现 map,但它本应是内置的 回复 考虑申请 YC 的 2027 冬季批次! 申请 截止 11 月 2 日。 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索: ```

这篇文章描述了一场严重的视频游戏行业危机:自2022年以来近6万个工作岗位流失、AAA预算飙升、工作室关闭以及硬件成本上涨。专家认为增长已放缓,核心PC/主机玩家市场基本饱和,许多玩家被锁定在少数几款长线运营的“生态系统”游戏中。提出的应对措施包括效仿日本更精简的团队和更低的高管薪酬、制作更小规模的游戏、瞄准更低的硬件规格、改善版税和署名制度、避免公开市场的增长压力,以及利用共同开发来合理调整团队规模。一些人警告人工智能不会重置成本,而一个带来新玩法可能的新平台或许会。更广泛的原因包括宏观经济压力、风险资本的预期,以及资本主义向整合与裁员的激励。尽管条件严峻,受访人士仍看到希望:中型游戏、更好的工人保护,以及人类创造力在不断变化的商业模式中幸存。

Hacker News 链接了一篇 Edge 文章,询问游戏行业能否被修复。一位评论者认为,AAA 游戏失败作品太多,让首发周不再那么重要;老的大作感觉更有吸引力,而新作要么缺乏生命力,要么是 bug 频出的服务型游戏。他们认为团队规模过大可能是 contributing factor,并质疑从 500 人团队缩减到 100 人团队能否保持行业健康。另一位评论者把问题 framing 得更 broader,说在当前经济体系下每个行业都出问题,游戏因为 optional 而更早感受到。

请启用 JavaScript 并禁用广告拦截器

Hacker News 新 | 过去 | 评论 | 提问 | 展示 | 工作 | 提交 登录 《伊丽莎白·霍姆斯纪录片》,通过揭露她的记者的眼睛 (nytimes.com) 12 分 由 benchtobedside 1 小时前 | 隐藏 | 过去 | 收藏 | 讨论 https://archive.is/aKGff 帮助 考虑申请 YC 的 2027 年冬季批次!申请开放至 11 月 2 日。 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

五百个时钟 1× 10× 60× 600× 3600× 现在 现在 没有匹配的时钟。 显示全部 如何阅读 如何工作

Show HN 展示了 Claude Opus 5.5 创建的、包含 500 个时钟的单个 6.3 MB HTML 文件。作者 tkgally 用该项目测试前沿模型,并对 Opus 5.5 多样的时钟设计印象深刻;GitHub 摘要解释了提示过程和页面设计。评论称赞了具体时钟,包括 Pong 风格时钟和交互式小说时钟,并提到重复主题。一位评论者将其与自己的 Chamber of Clocks 和 Triclock 比较,松了口气没有重复。作者承认重复和粗糙边缘,但仍然对模型的想法和代码生成的图形印象深刻。

请启用 JavaScript 和 cookie 以继续

Hacker News 链接到 Matthew Prince 解释为什么 Cloudflare 提供免费套餐且始终会提供。评论包括对 Cloudflare 基础组件、Workers、Durable Objects 和 Next.js 部署的赞扬;关于其 1.6% 的就业接受率是指已接受的 offer 还是已发 offer 的申请人而起的争论;要求将帖子标记为 2016 年的请求;一条指出 Cloudflare 免费套餐实际上匿名、仅需邮箱的说明,其中提到 Hostinger 和 GitHub Pages 作为替代;以及 bandwidth 在规模下很便宜而托管云过度收费的观点。

约翰·威廉姆斯是一名荒野生存教练,在右翼民兵组织中卧底超过两年,包括AP3和誓言守护者,期间未通知警方、FBI或亲人。他升任AP3的犹他州指挥官,并接触到誓言守护者领导人,包括一名现领导该组织的前警察侦探,同时秘密录制会议并收集文件。受1月6日国会大厦袭击事件的激励,他以自由职业义务警员的身份行动,收集民兵组织与执法部门联系以及监视记者的证据。在向一名记者发出匿名警告险些暴露他之后,他逃离,并后来向ProPublica分享了大量资料。这些记录揭示了新一代民兵领导人——医生、律师和警察——专家警告称,特朗普承诺赦免1月6日暴乱者可能引发民兵组织复兴。威廉姆斯现在计划公布更多文件,希望激励其他人渗透极端主义团体,并预计会遭到暴力报复。

黑客新闻 近期 | 过去 | 评论 | 提问 | 展示 | 工作 | 提交 登录 一名卧底渗透进了美国民兵组织的最高层 (propublica.org) 18 分,由 georgecmu 发布于 32 分钟前 | 隐藏 | 过去 | 收藏 | 讨论 帮助 考虑申请 YC 的 2027 年冬季批次!申请截止到 11 月 2 日。 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

启用 JavaScript 和 Cookie 以继续

Hacker News 新 | 过去 | 评论 | 提问 | 展示 | 工作 | 提交 登录 南部地犀鸟在阿蒂斯动物园获得3D打印喙义肢(nltimes.nl) 7分 由 jacquesm 1小时前 | 隐藏 | 过去 | 收藏 | 讨论 帮助 考虑申请YC 2027冬季批次!申请开放至11月2日。 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系 搜索:

Sphinx 是一个用于代理辅助开发的 Git 钩子,它会暂停推送到受保护分支,并询问开发者变更代码在故障场景下会做什么。它使用审查模型根据 diff 生成问题,独立于编码代理。开发者回答;答对允许推送,答错则揭示问题并提供另一场景。它支持 Codex、Claude Code、Cursor、OpenCode、Pi 或普通 Git,并可使用 OpenRouter 或兼容 OpenAI 的端点,token 用量极少。它从不向代理暴露 .env 文件或密钥,跳过操作通过 `sphinx yolo` 记录。安装:`npm install -g sphinx-understand`,运行 `sphinx install`,然后正常推送。需要 macOS、Linux 或 WSL 上的 Node 22.19+。

Hacker News 的一篇 "Show HN" 帖子介绍了 Sphinx,一个接入编程代理工作流、在将 AI 生成代码推送到生产环境前对开发者进行理解度测验的工具。该帖子获得了 19 点和 4 条评论。评论者提出了担忧:有人指出该名称与现有的 Sphinx 文档项目(sphinx-doc.org)冲突;另一人承认了动机——开发者推送自己并不完全理解的 AI 代码——但因"确认疲劳"而怀疑其有效性,并预测代理很快会代表用户与 Sphinx 交互;其他人对"外包你的思考"这一说法持怀疑态度。页面还包括一条关于 YC Winter 2027 批次申请的通知。

作者表示,新纪录片《You Can See Everything》与其说关于霍尔姆斯,不如说关于叙事与操纵。观众期待的是一个欺骗叙事,但影片通过取景、镜头角度、剪辑以及信息揭露的顺序来欺骗观众。作者指出,霍尔姆斯在患者欺诈指控中被无罪释放,但在误导投资者方面被判有罪,这凸显了社会对细微差别的厌恶。引用佳能照片实验,文章认为感知是由叙事者塑造的。导演兰斯·奥本海姆和内森·菲尔德反复改变观众看待霍尔姆斯、她丈夫以及菲尔德本人的方式,引发情绪反应和重新思考。纪录片表明,人们往往先形成情绪印象,再寻找支持事实,这使得操纵变得容易。最终,它既是心理操纵的解释,也是其身临其境的例证。

Hacker News 讨论一篇文章,声称伊丽莎白·霍姆斯纪录片《You Can See Everything》误导观众。评论者指出影片有三幕——欺骗、同情、幕后操控——并留下霍姆斯是有意操纵还是无知的问题,而非其是否犯罪的问题。多人认为文章 stating obvious(所有纪录片都会塑造认知)且缺乏具体分析,可能只是蹭纪录片热度。还有人澄清,霍姆斯被控患者欺诈获判无罪,但因误导投资者被定罪。总体上,用户认为影片模糊、批评平淡。

lpviz 是一个交互式线性规划可视化工具,需要 JavaScript。同时,文档无需 JavaScript 即可使用:lpviz 文档 · 单纯形法 · 内点法 · PDHG · 椭球法 · 中心路径

黑客新闻 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 浏览器中的交互式线性规划 ( lpviz.net ) 3 分 由 klamike 1小时前 | 隐藏 | 过往 | 收藏 | 讨论 帮助 考虑申请 YC 的 2027 年冬季批次! 申请 开放至 11 月 2 日。 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

请启用JavaScript并禁用广告拦截器

黑客新闻 新的 | 过去 | 评论 | 提问 | 展示 | 工作 | 提交 登录 通过沿着父亲的足迹攀爬来面对他的离世 ( nytimes.com ) 7 点 由 elemeno 2 小时前 | 隐藏 | 过去 | 收藏 | 讨论 帮助 考虑申请 YC 的 2027 冬季批次! 申请 截止到 11 月 2 日。 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

作者需要一个无分支公式来提取浮点数中的最低置位。无法手动找到,他们对一组精选常量上的最多五次运算表达式进行暴力搜索,并用归纳搜索剪枝重复输出。这找到了几个五运算公式;其中一个可复用公共子表达式,减少到四次运算。最终表达式计算 a = x 的指数/符号位,然后以浮点数形式返回 (x 的位与 (a - x 的位)) 减 a。它通过翻转符号位处理 2 的幂,这对作者的 FPU 模拟器可接受。搜索约四分钟,证明穷举枚举可以发现不明显的位操作优化。

Hacker News 新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 超级优化一个 FPU 模拟器 (purplesyringa.moe) 3 分,由 dverlaeckt80 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 讨论 帮助 考虑申请 YC 2027 冬季批次!申请开放至 11 月 2 日。 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

Silvio Canto Jr. 回顾了水门事件对理查德·尼克松形象的持久影响,并认为值得重新审视。他说尼克松被妖魔化,同时指出当前对“lawfare”和 Russiagate 的担忧使对水门事件的怀疑不再那么不可信。他引用 John D. O’Connor 的观点,认为尼克松是无辜的,应审查检察官不当行为,并提到 Geoff Shepard 向司法部职业责任办公室投诉,指控其存在不诚实、党派性的起诉。文章质疑尼克松的起诉和参议院水门报告是否存在伦理或实质缺陷。Canto 本人为尼克松辩护,认为是时候重新审视,并最后注明出版方不为 ZeroHedge 的背书。总体而言,文章呼吁重新调查水门事件的起诉和历史记录。

乌克兰防务媒体称,俄罗斯Geran-4单向攻击无人机已编目电子元件中,76%来自美国企业——105个已识别部件中的80个。德州仪器和国家半导体公司占61个部件,包括处理器、收发器和电压调节器。按每月3000架无人机计算,俄罗斯每年将需要超过两百万个德州仪器/国家半导体部件,显示制裁执行薄弱。该报告基于此前拆解发现德州仪器芯片及其他外国部件(包括大量来自中国)的研究。目前尚不清楚芯片是制裁前囤积还是通过第三国中间商获取。总体而言,这些发现突出俄罗斯无人机对外国电子元件的严重依赖。

Lean v4.35.0 在 AI 发现内核漏洞后加强了证明检查。`lake check` 在沙箱中导出并用 leanchecker 重新检查开发内容;`lake check --paranoid` 还运行 nanoda、lean4lean、con-leche、con-ron,以及一个加固内存分配器的内核变体。Con-leche 是首个用 Lean 编写并证明一致的 Lean 内核;它能快速检查 Mathlib,但编译器/运行时缺陷仍可能发生。Con-ron 是一个被验证为细化 con-leche 的 Rust 版本,因此同时使用两者可降低共享编译器/运行时风险。Lean4lean 的验证预计很快完成。开发者也在翻新内核、构建更简单的内核,并为大型项目规划二进制/增量检查。用户被敦促运行 `lake check --paranoid` 并报告内核分歧。

``` 黑客新闻 新的 | 过去 | 评论 | 提问 | 展示 | 工作 | 提交 登录 Lean 现在附带经验证的内核 ( leodemoura.github.io ) 10 分 由 matt_d 2 小时前 | 隐藏 | 过去 | 收藏 | 讨论 帮助 考虑申请 YC 的 2027 年冬季批次! 申请 开放至 11 月 2 日。 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请加入 YC | 联系 搜索: ```

伊朗战争正在消耗美国武器库存,并引发对华盛顿保护波斯湾能力的疑虑,这可能削弱石油美元,降低对美元和美国国债的结构性需求。与此同时,美国需要大量借款,因此上升的国债供应可能遇上减弱的需求。10年期国债收益率已从3.97%升至约5.26%,约129个基点,每年额外增加约5160亿美元利息成本。作者预计收益率将继续上升,直到美联储干预,可能通过货币贬值抑制收益率。黄金被视为可能的受益者:中国和主要中东石油生产国已积累黄金,中国还建设了连接人民币贸易与实物黄金的基础设施。更广泛的论点是,美国军事限制和石油美元侵蚀可能标志着重大货币转变,有利于黄金并威胁美元购买力。

请启用 JS 并禁用任何广告拦截器

**摘要:Meta 在抗议日暂停“No Kings”Instagram 账号** Meta 在全美集会当日毫无预警地暂停了主要“No Kings”Instagram 账号,随后在 backlash 后恢复可见性 90 分钟——但阻止账号管理员再发布三小时。Meta 承认它做出了“坏决定”。 Hacker News 讨论涵盖多个角度: - **政治动机争论:** 一些用户认为这是与扎克伯格结盟特朗普政府相关的蓄意审查;另一些人认为是自动审核错误(汉隆剃刀)。 - **行为模式:** 评论者引用类似事件,包括 Meta 在选举期间阻碍巴西总统卢拉账号,以及 TikTok 封禁推广马斯克纪录片的账号。 - **言论自由伪善:** 用户指出自称言论自由倡导者保持沉默,质疑此类言论是真诚还是党派性的。 - **企业权力:** 多位评论者认为科技巨头偏袒广告商/政府而非用户,呼吁监管或对企业权力进行“罗斯福式”处理,并敦促迁移到 Fediverse 等去中心化平台——不过其他人指出这些平台缺乏受众。 - **对解释的怀疑:** 一些人因时机问题认为 Meta 的“技术问题”辩护站不住脚。

Vacuula 是一个一体化自定义服务器,用于修复和控制损坏的 Neato 机器人吸尘器。目前支持 Gen3 机型(D3–D7)和 Gen4 机型(D800、D8–D10),但不支持 Gen1(无 Wi-Fi)或 Gen2 BotVac Connected,后者计划支持。已完成功能包括设置/状态、地图、历史运行记录、调度、设置、区域/禁行线以及 Gen4 多区域;进行中的功能包括通知、Home Assistant 实体、拖拽清洁、自定义声音、体验改进、次日调度以及 Gen2/Gen3 多区域。处于“彩虹模式”的 Gen4 机器人可通过 Discord 获得维修帮助。服务器必须在专用硬件上持续运行,可通过 Home Assistant 或 Docker Compose 安装,并提供安装器来配置机器人。默认端口为 80(Web 应用/API)、443(Gen3)和 3443(Gen4)。已在 ARM64 和 x86-64 上测试,未来可能支持 32 位平台。

Hacker News 新闻 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 自定义服务器以复活 Neato 机器人 ( github.com/vacuula ) 7 分 由 matttah 2 小时前 | 隐藏 | 过去 | 收藏 | 1 条评论 帮助 BitBangingBytes 4 分钟前 [–] 这太棒了!! 我还记得很久以前逆向工程 Neato 激光雷达。从那以后它有了很大进步。 回复 考虑申请 YC 2027 年冬季批次! 申请开放至 11 月 2 日。 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

众议员里奇·托雷斯提出《玩家权利法案》,旨在通过指示联邦贸易委员会监管游戏所有权来保护玩家。该法案将授予消费者所购游戏的实际所有权,而非可撤销许可,并要求在服务器关闭前提供离线模式。它追随宾夕法尼亚州参议员约翰·凯恩的《保护我们的游戏法案》和“停止杀死游戏”运动。引用的例子包括育碧《The Crew》停服、《NBA 2K25》两年后下架,以及《守望先锋2》取代原版。索尼辩称购买的是许可,而非持久权利。该法案还可能涉及转让权,尤其是实体副本,但细节尚不清楚。倡导者说,盗版往往在无DRM的情况下提供更好的体验。该立法标志着终结游戏行业反消费者做法的重要一步。

纽约宣布了一项要求游戏所有权而非许可的法案,引发了 Hacker News 讨论。评论者大多支持这一想法,并认为可行:开发者通常已有本地服务器栈,发布可执行文件将让社区在停服后运行游戏。其他人指出关于离线支持、点对点和社区服务器的执法问题,以及开发商破产等边缘情况。一些人强调,游戏历史上开箱即可离线运行,公司主要需要避免干扰保存工作。

对AI数据中心的反对团结了不同政治群体,动因包括对AI的怀疑、不断上涨的电费和水耗。文章指出数据中心长期支撑云服务与就业,并以弗吉尼亚州阿什本为例。它认为数据中心支付的公用事业固定费用份额日益增加,从而降低他人成本,一些科技公司承诺承担新增电费。它将电网问题归咎于需求平稳期的投入不足,称AI数据中心收入可资助升级;公司还探索替代能源和循环用水。水下数据中心可能减少土地影响;微软在奥克尼的实验服务器故障率更低,但于2024年暂停。作者结论:若政府确保公司赔偿所造成的影响,技术可满足AI数据中心需求,而不抬高邻居账单。

由于观看量增长放缓和第二季观众下降,Netflix股价年初至今下跌近25%。公司将于10月26日用前迪士尼和福克斯高管彼得·赖斯接替首席创意官贝拉·巴贾里亚,后者在Netflix工作超过10年。此变动发生在约1000人裁员之后,且在Netflix订阅用户超过3.25亿但面临观众与营收增长放缓之际。分析师艾丽西亚·里斯称赖斯备受认可,此次调整可能意味着方向转变。文章还称,Netflix的左翼信息让部分家庭感到疏离,推动以价值观为导向的竞争对手Angel Studios增长,其订阅用户达到300万。

PNG 文件由块组成,每个块包含长度、类型、数据和 CRC。关键块包括 IHDR(图像元数据)、IDAT(压缩图像数据)和 IEND(结束标记)。解码时,拼接所有 IDAT 数据并用 zlib 解压,得到带滤波的扫描行。每行扫描行以一个滤波字节开头;反滤波将其还原以恢复像素。交错 PNG 使用 Adam7 存储七次逐步更详细的遍历。块名称编码块是关键/辅助、公开/私有,以及是否可安全复制。示例是一个 256×256 的真彩色 RGB 图像。

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 工作 | 提交 登录 解码 PNG 的每一步 (2022) (iter.ca) 5 分 由 jxmorris12 1 小时前 | 隐藏 | 过去 | 收藏 | 1 条评论 帮助 ranger_danger 23 分钟前 [–] 我觉得如果有这样一个网站,收集许多类似这样的页面,涵盖多种不同格式,会是个很棒的想法(如果它还不存在的话)。 回复 考虑申请 YC 2027 年冬季批次!申请开放至 11 月 2 日。 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

铜市场在需求上升背景下供应持续收紧。在智利,BHP旗下Escondida的主管计划罢工,此前Centinela已发生停工,而El Teniente遭遇致命山体滑坡;8月产量下降12.8%,降至2011年以来最低。分析师表示,供应中断正在支撑供应风险溢价,铜价接近历史高点。需求预计将到2040年大幅上升,由电气化、AI数据中心和国防驱动,标普与国际能源署警告将出现重大供应缺口。中国硫酸出口限制可能使智利大部分浸出铜产量面临风险。许可延误和社会冲突继续限制智利和秘鲁的项目,而秘鲁目标吸引330亿美元矿业投资。阿根廷寻求重启铜生产,Vicuña项目目标在年底前对71亿美元第一阶段作出最终投资决定,并在2030年产出首批铜,尽管存在法律纠纷。总体而言,即使政府为能源转型和技术寻求更多铜,供应风险也在加剧。

78岁的宾夕法尼亚大学退休教授卡罗琳·马文因在费城市中心人行道上反复拒绝警方要求,继续阻挡 Uber Eats 送餐机器人,而被以扰乱秩序罪逮捕。自这些机器人于3月推出以来,马文一直习惯站在它们前面,抗议企业用机器人取代人类送餐员。她计划以第一修正案为由抗辩该指控,并表示将继续抗议,将其视为公民参与和公民责任。她形容公众反应分化——有些人支持,有些人担心顾客——但认为机器人对送餐员的影响也应引起担忧。她小心不阻挡人类行人。此次事件是她持续数月抗议中警方首次介入。Uber 拒绝置评。

一位宾夕法尼亚大学的退休教授因多次在费城人行道上阻拦 Uber Eats 送餐机器人而以扰乱秩序罪被捕。她表示自己多次阻拦这些机器人,以抗议企业用机器取代人类送餐员,并计划以第一修正案为由抗辩指控,同时继续阻拦它们。Hacker News 评论者就其非暴力阻拦是合法抗议还是干扰送餐展开辩论,有人将其比作静坐抗议,也有人认为送餐机器人应受到免于阻拦的保护。其他评论指出,这些机器人在费城被归类为行人,提出了关于紧急送餐的假设性担忧,并批评逮捕人而非逮捕阻拦行人的机器人。

白宫新闻秘书凯蒂·扎卡里亚在与肖恩·汉尼提进行的一场不利的福克斯新闻采访后被免职;消息人士告诉Politico,该采访据称由不看好扎卡里亚的幕僚长苏西·威尔斯协助安排。采访中,扎卡里亚表示准备不足,并承认未通过加州律师资格考试,同时关于她在社交媒体上自称律师的帖子也引发了疑问。特朗普表示,他曾询问扎卡里亚是否愿意继续留任。白宫和福克斯新闻否认威尔斯策划了采访,将后果归因于扎卡里亚自己的媒体表现和资历问题。几天前就已出现关于她律师考试的问题。扎卡里亚此前在国土安全部短暂任职,拒绝置评;白宫表示她将转任新职。

JDK 28 JDK 28 7 小时前

本版本将是 Java SE 平台第 28 版的参考实现,由 Java Community Process 中的 JSR 403 指定。状态:主线已开放,用于错误修复、小规模增强,以及通过 JEP 流程提议和跟踪的 JEP。在 GPL 下的早期访问二进制文件可在此处获取。特性。最后更新:2026/10/15 14:44 UTC。

关于 JDK 28 的 Hacker News 讨论,探讨了 Java 加速发展与现代相关性。评论者称赞 Java 的演进,有些人更喜欢它而非 Kotlin;有人指出 JVM 服务器可能比 Node 更轻。关于 Java 在 AI 时代的价值出现辩论:支持者认为其快速、可扩展的运行时和深度遥测适合 AI 生成代码,而怀疑者更青睐 Rust 或 BEAM 的性能与可观测性。BEAM/Elixir 因内置可观测性受称赞,而 JVM 用户提到 JFR 和 ZGC(无停顿)但指出复杂性。其他人讨论启动速度:小型程序可在数十毫秒内启动,但 Spring 等框架会拖慢启动;AOT 和 ZGC 的改进旨在降低这一点。GUI 问题提到 Swing/AWT 仍捆绑提供(外观非原生),JavaFX 单独存在。有评论者批评 JEP 540 的 JSON API 不接受尾随逗号/注释;捍卫者称严格遵循 RFC 8259 有助于机器互操作。总体而言,尽管仍有权衡,该讨论反映出对 Java 轨迹的乐观。

24岁的ESPN制片人妮可·诺伦在该网络拥抱体育博彩后离开,包括失败的ESPN Bet应用以及与DraftKings的合作。曾以严格界限著称的ESPN如今大力推广博彩。诺伦曾因调查性报道获得重要奖项,她说赌博成瘾摧毁了她的家庭:祖父、父亲和兄弟都受影响,她的兄弟在拉斯维加斯无家可归时去世。她曾提出审查博彩公司和成瘾的报道,但未获批准或被弱化。她担心ESPN推广博彩使博彩正常化并伤害年轻受众,将其比作其他公共卫生危机。尽管ESPN发表了关于一名学生赌博成瘾的专题报道,诺伦说该网络避免审视自身的作用。她现在正在帮助发起一项聚焦公共卫生的体育博彩与赌博成瘾倡议。

Hacker News 的讨论串围绕《哥伦比亚新闻评论》一篇题为《我不会让手上沾血》的文章展开,文章聚焦体育博彩推广带来的危害。最热门评论称合法化是美国的一项重大政策错误,对低收入人群伤害更大;其他人则指出,赌博成瘾可能影响任何人,无论财富或教育水平如何。评论者还争论这是否比监控、去工业化或其他问题更严重的政策失误。担忧包括博彩收入快速增长、激进广告、在儿童中正常化投注,以及与 Kalshi 等平台的关联。有人说博彩业不创造价值,他们已不再观看体育比赛。另一些人认为监管优于禁止,但批评者说广告——而非仅仅是合法性——是核心问题,禁令可以减少伤害。总体而言,讨论反映出人们对体育博彩社会成本的警觉,以及在如何应对上存在的分歧。

Curtis Hill认为,加州的SB54通过将遵守规定作为在加州销售的条件,不当地迫使全国范围的包装调整,包括由私人组织Circular Action Alliance收取的费用。由于企业使用统一的全国供应链,加州的规则实际上变成了全国规则,提高了其他州制造商和消费者的成本。十七名共和党州检察长正起诉阻止此事,Hill支持这一行动,将其视为捍卫州主权和联邦制。他将此与加州和马萨诸塞州此前通过市场准入在全国强加地方政策的努力相比较。他说,各州可以制定自己的环境政策,但不能征用州际经济,也不能将费用制定权委托给未经选举的私人团体。他认为,这起诉讼是协调一致的法律反制,而非特殊pleading,同时警告其他州不要袖手旁观。

俄勒冈州本德市警方正在调查16岁的格里芬·J·约翰二世如何获得用于在银轨小学杀害三名儿童和一名教师的猎枪。他爬上学校围栏,射穿锁着的门,进入所有受害者被枪击的特殊需求教室;一名7岁女孩和一名工作人员受伤。尚未给出动机。枪支是一把Maverick 88型猎枪,还发现了44发额外子弹。匿名消息人士称他母亲在他8月生日附近购买了枪,但警方尚未确认,也没有报道称已提起指控。俄勒冈州法律允许父母向未成年人转让猎枪,但存储和监督规则可能适用。调查人员正在搜查他家和设备。一名持枪旁观者跟踪枪手并开火,结束了袭击。

Haskell 的 kind 系统以类型分类值的方式分类类型:常规类型具有 kind `Type`,而像 `Maybe` 这样的类型构造器具有 kind `Type -> Type`。高阶 kind 类型将其他类型构造器作为参数;高阶 kind 数据(HKD)利用这一点,用构造器 `f` 参数化记录的字段类型。作者将 HKD 用于 Redis 配置类型,该类型可以是部分类型(`Last`)用于合并,或完整类型(`Identity`)用于默认值,避免重复定义。通过 `DataKinds` 创建的自定义 kind 将数据声明提升到类型级别;作者定义了 `ConfigField` kind,将每个配置字段的 redis.conf 键与其 Haskell 类型配对,防止两者脱节。这些特性共同让更多信息驻留在类型系统中,减少重复并实现更安全的代码。

Hacker News 的讨论围绕一篇关于 Haskell 种类系统的博客文章。一位评论者解释说,种类描述“类型的类型”:普通类型具有种类 *,而像 ArrayList 这样的泛型类型具有 * -> * 这样的种类,从而支持像 JSON<ArrayType, MapType> 这样的高阶种类抽象。这允许客户端选择容器类型,与 Java 的类型参数不同;C++ 模板可以近似实现,但缺少种类检查。其他评论辩论单子:有人说高阶种类类型有助于解释它们,其他人认为单子概念上简单,或单子变换器和 IO 使其变难;还有人警告单子会在大型系统中增加复杂性。还有关于抽象与 C、依赖类型,以及术语是语法表达式而值是运行时结果、类型对术语进行分类的更正的讨论。总体而言,种类支持更富有表现力的泛型编程和更清晰的类型错误,但评论者对高级类型抽象的价值和复杂性存在分歧。
联系我们 contact @ memedata.com