MemeData

渐近最优近似Hadamard矩阵 Asymptotically optimal approximate Hadamard matrices 3 天前

arXivLabs是一个框架，允许合作者直接在我们的网站上开发和分享新的arXiv功能。个人和与arXivLabs合作的组织都接受并拥护我们的开放、社群、卓越和用户数据隐私等价值观。arXiv致力于这些价值观，并且只与秉持这些价值观的合作伙伴合作。您是否有为arXiv社群增加价值的项目想法？了解更多关于arXivLabs的信息。

黑客新闻新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交登录渐近最优近似Hadamard矩阵 (arxiv.org) 19 分，mathfan 1 天前 | 隐藏 | 过去 | 收藏 | 2 评论 mlpoknbji 1 天前 [–] 非常酷！这是我见过的最令人印象深刻的“AI做数学”文章之一。回复 areyousure 1 天前 | 父评论 [–] 如果有人好奇，第5节（PDF第8页）讨论了AI。这个直接链接可能有效：https://arxiv.org/pdf/2511.14653#page=8 回复指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系搜索：

英国部长回避关于全国数字身份计划成本问题。 UK minister ducks cost questions on nationwide digital ID scheme 3 天前

该网站正在使用安全服务来保护自身免受在线攻击。您刚才的操作触发了安全解决方案。提交特定词语或短语、SQL命令或格式错误的数据等行为可能会触发此阻止。

```Racket v9.0``` **Racket v9.0** Racket v9.0 3 天前

## Racket v9.0 发布！ Racket v9.0 现在可在 [https://download.racket-lang.org/](https://download.racket-lang.org/) 下载。此主要版本引入了 **并行线程**，作为 Racket 现有绿色线程、future 和 place 之外的重要补充，以增强并行性。主要功能包括使用 `#:pool` 参数创建并行线程，在使用 `#:keep` 设置为 `'results` 时使用 `thread-wait` 获取结果，以及用于准确基准测试的 `black-box` 包装器。更新还包括反编译的改进、BC Racket 中的处理器计数功能以及 AArch64 包分发。数学库增加了威布尔分布，并且改进了语法跟踪。此版本是大量社区贡献的结果——完整的列表在原始公告中提供。欢迎在 Discourse 或 Discord 上提供反馈和讨论。更多详细信息请参阅发布公告：[https://blog.racket-lang.org/2025/11/racket-v9-0.html](https://blog.racket-lang.org/2025/11/racket-v9-0.html)。

## Racket v9.0：并行线程与持续演进 Racket v9.0 版本已发布，其主要特性是增加了轻量级的原生多线程支持。之前，并行可以通过“places”实现，但这种新方法对开发者来说更熟悉且更灵活。这一增加扩展了 Racket 在更广泛项目中的可行性。此次发布引发了关于 Racket 成熟度的讨论，因为开发涉及重大的内部重写（从BC到基于Chez Scheme的CS实现），以支持这些新特性。虽然有些人质疑在这样过渡期间将 Racket 称为“成熟”，但另一些人指出，像 Python 和 OCaml 这样的成熟语言也进行了类似的近期更新。用户强调了 Racket 在语言设计和教育方面的优势，例如自定义语言创建和教学工具。虽然在行业中的采用不如某些语言广泛，但 Racket 提供了一个强大且可扩展的环境，尤其适合重视元编程和函数式范式的人。许多用户还注意到，在重写过程中，Racket 保持了强大的测试和向后兼容性。

Typechecking is undecideable when 'type' is a type (1989) [pdf] 3 天前

## 类型检查与类型的局限性 - 摘要一篇1989年的论文指出，确定一个‘类型’是否为有效类型是不可判定的——类似于停机问题。这是因为类型系统很容易陷入循环，其中一个类型是其自身更大版本的子类型，无限增长。解决方案，如讨论所示，在于限制类型：只有“小”类型（不包含抽象类型）才被认为是真正的类型。这类似于数学中“集合”和“类”的区别。讨论深入探讨了依赖类型（函数的类型取决于其输入值）以及“所有类型的类型”的概念。围绕这个想法存在混淆，Python的例子说明了一个类型*可以*是‘Type’类型的值。诸如类型层次结构（使用Lean和Rocq中的宇宙）和受限的依赖类型系统（如Liquid Types）等解决方案试图解决这个不可判定性问题，但通常以牺牲表达力为代价，或者只是推迟了问题。最终，完全类型级别的泛型函数仍然是一个挑战。

克劳德代码已停止运行。 Claude Code Is Down 3 天前

## Claude API 错误率更新请订阅错误率升高的更新，以了解 Claude API 的性能。您可以选择在事件更新时通过**电子邮件**接收通知，并在事件*创建或解决*时通过**短信 (SMS)** 接收通知。短信通知适用于广泛的国家/地区 – 订阅过程中会提供支持的国家/地区代码的完整列表。要接收短信更新，您需要使用一次性密码 (OTP) 验证您的手机号码。如果您愿意，您可以仅订阅电子邮件更新，而无需短信验证。这对于依赖 Claude API 的开发者和用户来说，是一个主动解决和监控潜在问题的有用工具。

英国食品银行需求同比增长15% Demand for UK Food Bank Up 15% Year on Year 3 天前

肯特郡的一家食品银行正面临着前所未有的需求，随着生活成本危机加剧，凸显了英国各地家庭的困境。坎特伯雷食品银行是全国最繁忙的食品银行之一，现在每月分发超过1100份食品包裹，与2019年的450份相比，大幅增加。一位四孩母亲表示，她不得不严格限制开支，依靠食品银行来避免只给孩子们提供意大利面。食品价格上涨，加上工资和福利停滞不前，正在迫使越来越多的工薪家庭、单亲父母，甚至学生寻求帮助。尽管当地捐款慷慨，但该慈善机构的成本却急剧上升，每月食品账单高达1万英镑。专家认为，食品银行已经从临时解决方案转变为福利体系中的永久组成部分。呼吁取消双孩福利上限的呼声日益高涨，此举可以帮助数十万儿童摆脱贫困。尽管通货膨胀最近略有缓解，但该食品银行预计压力将持续存在，因为捐款正在减少，对支持的需求仍然非常高。

## 英国食物银行需求与经济担忧 - Hacker News 摘要一篇关于英国食物银行使用量增加的文章（同比增长15%）在Hacker News上引发了长时间的讨论，涉及更广泛的经济问题。虽然文章最初关注的是双孩福利上限的影响，但讨论很快扩展开来。许多评论员指出系统性问题，如2008年金融危机以来停滞的经济增长、日益加剧的贫富差距以及政府在监管必需品成本（住房、食品、水电费）方面的失败。一些人认为，当前的经济政策偏袒富人，导致许多人负担不起基本生活必需品。关于个人责任与系统性支持，引发了争论，一些人提倡激励措施以限制家庭规模，而另一些人则强调不可预见的情况以及对更强大社会保障体系的需求。人们也对政府腐败以及企业利益对政策的影响表示担忧。最终，讨论凸显了对当前发展轨迹的悲观情绪，一些人担心会走向法西斯主义以及社会支持体系的崩溃。

硅谷初创公司：一次又一次地作恶。 Silicon Valley startups: being evil, again and again 3 天前

## 硅谷的虚伪：摘要硅谷塑造了一种进步和创新的形象，旨在“组织世界信息”和“不作恶”。然而，这种表象掩盖了一种根深蒂固的保守经济现实：资本主义剥削的延续。虽然为可见的劳动力提供高工资和舒适的工作场所，但硅谷依赖于一个建立在盗窃之上的系统——挪用工人创造的价值，为所有者和投资者谋利。初创公司是硅谷的核心，本质上建立了一种权力失衡，即所有者控制企业的各个方面，包括利润，而工人没有民主发言权。风险投资强化了这一点，要求所有权（股权）而不是简单的贷款融资，确保永久的利润提取。这违反了交换原则——工人创造价值，但没有获得全部回报。尽管口口声声说进步，硅谷实际上却在加剧经济不平等和社会弊病。对股权资本的关注阻止了替代的、公平的模式（如工人合作社）获得发展，迫使有才华的人进入剥削性的结构。这导致了财富差距的扩大以及一系列相关问题，被硅谷精英们方便地忽视了。作者认为，真正的进步需要根本性的转变：优先考虑工人所有权和民主控制，而不是以利润为导向的企业。只有这样，硅谷才能超越“虚伪的进步主义”，真正为更美好的世界做出贡献。

着色器：如何仅使用x和y坐标绘制高保真图形 Shaders: How to draw high fidelity graphics with just x and y coordinates 3 天前

我们正在验证您的浏览器。网站所有者？点击此处修复。 Vercel 安全检查点 | sin1::1763908253-bBt15sz3CkSUZ9oMNhXH5xOMoWnRBETC 启用 JavaScript 以继续。 Vercel 安全检查点 | sin1::1763908253-bBt15sz3CkSUZ9oMNhXH5xOMoWnRBETC

## 着色器与图形：总结这篇文章来自makingsoftware.com，详细介绍了着色器以及它们如何仅使用x和y坐标实现高质量图形。它解释说，着色器是在GPU（也可以在CPU上运行）上运行的程序，用于确定每个像素的颜色。讨论澄清了常见的误解，例如着色器本身并*不*知道x/y坐标——这些必须提供。它还强调着色器不仅仅用于3D渲染；它们本质上是根据输入数据计算颜色。评论区的大部分讨论集中在描述OpenGL、Vulkan、DirectX和WebGPU等图形API之间关系的图表的准确性上。针对Vulkan的开源状态进行了更正（它是一个开源*标准*，而不是开源实现）及其跨平台能力。WebGPU在浏览器之外更广泛的可用性也被强调。文章和后续评论涉及了光线行进等高级技术，以及理解底层GPU架构（SIMT/SIMD执行）的重要性。学习着色器编程的资源，包括Shadertoy和Figma等用于创建视觉辅助工具，也被分享。最终，这篇文章旨在揭开着色器的神秘面纱，并为进一步探索提供坚实的基础。

Tosijs-schema 是一个超轻量级的、首schema优先的、原生LLM的JSON schema库。 Tosijs-schema is a super lightweight schema-first LLM-native JSON schema library 3 天前

启用 JavaScript 和 Cookie 以继续。

## Tis-schema：一种为LLM设计的轻量级JSON Schema库一个名为**tis-schema**的新库已发布，作为定义JSON Schema的轻量级替代方案，特别是用于大型语言模型（LLM）。其创建者在发现Zod对于LLM响应格式过于繁琐，以及需要一个数据结构的单一真理来源后构建了它。主要区别包括**tis-schema默认生成严格的Schema**，这与Zod需要手动配置形成对比。讨论围绕这些说法是否准确，一些用户对Zod的验证错误和Schema生成方面的批评提出异议。该库通过检查受限样本（最多100个项目）的数据，实现**O(1)性能**，无论整体大小如何。关于这是否真的是O(1)，基于百分比抽样，也存在争论。对话涉及Typebox和Standard Schema等替代方案，以及考虑XML作为传输格式的建议，但主流观点是JSON和JSON Schema已被广泛采用，并得到LLM提供商和现有工具的良好支持。最终，重点是为LLM和开发人员提供清晰、人类可读的Schema。

首次接吻可追溯至2100万年前 First kiss dates back 21M years 3 天前

## 亲吻的进化史一项新研究表明，亲吻并非人类独有——它是一种具有深厚进化根源的行为。研究人员将亲吻定义为非攻击性的口对口接触，伴随嘴唇运动且*不*涉及食物交换，并将它的起源追溯到2100万年前，追溯到人类和大型猿类的共同祖先。在包括黑猩猩、倭黑猩猩、狼、草原犬鼠、北极熊甚至信天翁等不同物种中发现了亲吻的证据。有趣的是，该研究提出尼安德特人可能也亲吻，他们的DNA中与现代人共享口腔微生物，表明长期存在唾液交换。虽然*为什么*仍然是个谜，但理论认为亲吻可能起源于梳理行为，或者是一种评估伴侣健康和相容性的方式。研究人员强调，研究这种行为的重要性超越了它的浪漫联想，认识到它与我们的动物亲属共享的特征。

## 初吻：2100万年的历史 - Hacker News 讨论摘要最近一篇BBC关于接吻历史的文章，追溯到2100万年前，在Hacker News上引发了热烈讨论。核心争论在于接吻是与生俱来的进化行为，还是文化习得的行为。许多评论者认为接吻起源于父母的行为，例如为后代咀嚼食物，或婴儿吸吮父母的最初连接——将其与原始需求和通过富含神经的区域（如嘴唇）进行情感联结联系起来。另一些人指出，在动物中观察到类似的“接吻”行为，甚至包括小牛，这支持了其生物学基础。然而，反驳观点强调接吻的文化多样性，并认为它仅仅是一种文化定义的亲密信号，与其他表达爱意的方式类似。一些人对将*一切*归因于进化起源表示怀疑。讨论还涉及神经末梢在接吻愉悦感中的潜在作用，以及人类与狗之间独特的联系，在后者中，“接吻”对动物来说具有不同的、操纵性的目的。最终，接吻的起源仍然有待解释。

每日HackerNews RSS