乔西·金斯是一位研究人员，她拥有广泛的个人经验，使用过200多种迷幻化合物。她正在一丝不苟地编目这些物质的多样化影响。在彻底探索后停止个人使用，金斯开发了“主观效应指数”——一份不断增长的清单，目前已记录了233种体验。
现在，她与Mindstate Design Labs和领先的迷幻化合物研究人员合作，旨在完善和扩展该指数，尤其侧重于更难以捉摸的认知和情感影响。虽然视觉效果正变得定义明确（例如“衍射”、“机器景观”和“纹理液化”），但捕捉内在体验的细微差别仍然是一个挑战。
金斯的工作不仅仅是列出效应；她详细描述了特定的视觉现象以及最有可能诱发它们的化合物，甚至包括令人不安的体验，如“难以言喻的恐怖”。她的目标是为迷幻体验创建一个全面而精确的分类系统，以帮助未来的研究和理解。
每日HackerNews RSS
## 黑客新闻讨论：致幻剂的视觉效果 (2023)
最近一篇《Nautilus》的文章探讨了致幻剂的视觉效果，在黑客新闻上引发了热烈讨论。用户分享了经验和资源，许多人指出 Reddit 子版块 /r/Replications 提供了令人惊讶的、对迷幻体验准确的视觉再现。
有些人认为这些再现与完整的体验相比显得平淡——就像观看过山车视频而不是亲自乘坐一样——而另一些人则赞赏它们作为一种在不进行个人实验的情况下理解这种现象的方式。一个关键点是，视觉只是体验的一部分，更深层次的影响涉及洞察力、情绪释放和自我感知的改变。
对话涉及了诸如 MDMA（用于 PTSD）等迷幻剂的潜在治疗用途，以及对其益处的持续研究，同时也承认了风险和潜在的负面体验。一些评论员将这些效果与人工智能生成的图像进行了对比，注意到大脑生成过程中的相似之处。最终，讨论强调了迷幻体验的主观性和复杂性，以及试图通过描述或视觉效果完全传达它们的局限性。
关于 新闻 版权 联系我们 创作者 广告 开发者 条款 隐私政策和安全 YouTube 工作原理 测试新功能 © 2025 Google LLC
世界上最大的帆货船“Neoliner Origin”最近完成了首次跨大西洋航行，抵达巴尔的摩，尽管在风暴中一艘帆受损。这艘由法国公司Neoline建造的136米长的船只旨在大幅减少温室气体排放——最多可减少90%，从而解决航运业目前产生的全球3%的排放问题。
虽然帆的损坏导致不得不部分依赖辅助发动机，但该船表现出韧性，仅略有延误。 “Neoliner Origin”利用两张半硬帆和现代系统来实现安全高效的运行，运载5300吨货物，如车辆和机械。
Neoline设想每月在欧洲和北美之间进行航行，速度为11节，在商业需求与环境责任之间取得平衡。专家估计，在优化的船只上，风力推进系统可以将排放量减少超过50%，提供一种免费、可预测且环保的能源。
## 最大型帆货船完成大西洋航行 - 摘要
一艘大型、主要依靠风力驱动的货运帆船最近完成了它的首次跨大西洋航行，但途中需要使用辅助引擎，并且帆受损。该船提供乘客服务，费用约为每天250欧元，包含餐食和便利设施。
此次事件引发了关于风力航运可行性的讨论，评论者指出帆船的历史成功，以及像旋翼帆和风筝系统等现代技术进步，并讨论了将该技术扩大规模以匹配传统货船运力的挑战。人们对速度、可靠性和与燃油成本相比的经济可行性表示担忧。
许多人强调了其在特定领域的应用潜力，例如奢侈品运输，以及减少对化石燃料依赖的重要性，即使全面替代并非立即可行。 讨论还涉及了海上优先通行权规则以及小型帆船与大型船只并行航行时的安全考虑。
编程语言中的控制结构：从goto到代数效应
Control structures in programming languages: from goto to algebraic effects
20 天前
本书全面探讨了编程语言设计，重点关注**控制结构**——决定程序执行流程的机制。它追溯了从早期的`goto`语句到现代技术的演变，考察了命令式和函数式范式。 本书首先回顾了Fortran和Algol的历史，然后介绍了高级命令式特性，如生成器和协程（通过Java、OCaml、Python和C++示例进行说明）。接着，本书转向函数式方法，详细介绍了延续、控制算子，以及**代数效应和效应处理程序**——一个现代研究领域。 本书以OCaml和Haskell作为主要示例，融合了历史背景、实用代码和理论基础。它提供了对语言设计独特的比较视角，并作为对前沿控制和效应管理技术的全面介绍。代码示例采用MIT许可协议。
这个Hacker News讨论围绕一篇关于编程语言控制结构演变的文章，从`goto`语句到代数效应。 讨论迅速转向关于错误处理的争论——具体来说，异常与返回值的优缺点。
许多评论者不喜欢异常，将其比作升级版的`goto`语句，并批评其隐式的控制流。 另一些人则为检查型异常（如Java中的异常）辩护，认为它们清晰且能够强制开发者处理错误。 一个反复出现的主题是错误应该被视为“异常”还是“预期”，这会影响异常和返回值的选择。
讨论还涉及代数效应作为一种潜在的解决方案，一些人强调了它们在管理副作用和并发方面的优势。 许多评论者提到具体的实现和性能考虑，尤其是在Haskell和OCaml等语言中。 一位用户推广了他自己的Haskell效应系统Bluefin，作为一种实用且简单的替代方案。 最终，这个帖子揭示了关于在现代编程中最佳错误处理和控制流方式的细微且持续的争论。
## 人类拥有“远程触觉” 伦敦玛丽女王大学和伦敦大学学院的研究人员发现，人类与某些动物共享一项令人惊讶的能力——“远程触觉”，即在没有直接接触的情况下感知物体。这项研究受到鹬类等鸟类寻找埋藏猎物行为的启发，调查了人类是否可以通过感知手指运动产生的微小机械线索来探测沙子下隐藏的立方体。 结果令人瞩目：人类表现出类似的能力，通过感知微小的沙子位移来探测物体——接近物理上可探测的理论极限。有趣的是，人类（70.7%的精确度）的表现优于配备触觉传感器和人工智能的机器人，尽管机器人的探测距离稍远，但误报率更高（40%的精确度）。 这一发现扩展了我们对人类触觉感知及其“感受野”的理解，为开发更灵敏的辅助技术和机器人提供了宝贵的见解。潜在的应用包括考古挖掘等精细任务、探索火星土壤等复杂地形，以及改进用于更安全、更智能探索的机器人系统。这项研究强调了心理学、机器人学和人工智能跨学科合作的力量。
## 人类与“远程触觉” – Hacker News 摘要
最近一项在 Hacker News 上被重点介绍的研究探讨了人类在无需直接接触的情况下，探测隐藏在颗粒状材料（如沙子）中的物体能力。这种能力类似于鹬鸟寻找猎物的方式，依赖于感知当附近施加压力时，通过介质传递的细微机械信号。
一些评论员将此称为“第七感”，但许多人认为这仅仅是触觉的一种精细形式，利用我们对材料动力学和潜意识世界建模的现有敏感性。讨论的中心在于这种探测是纯粹的感官体验，还是涉及无意识的推理。还有人指出类似的能力，例如感知附近的墙壁或收到电子邮件。
该研究题为“基于触觉的从颗粒介质中检索物体”，可在 Arxiv 上找到，并展示了人类如何使用这种方法准确地定位埋藏的物体。对话还涉及其他经常被忽视的感觉，如本体感觉和内部感觉（如饥饿），质疑将此标记为新的“感官”的新颖性。一些人甚至推测了潜在的应用，例如增强机械键盘的触觉反馈。
一项由牛津大学和41个其他全球领先机构的研究人员进行的新研究揭示了我们在衡量大型语言模型（LLM）的能力和安全性方面存在的重大缺陷。该研究回顾了445个AI基准测试，发现缺乏科学严谨性，只有16%使用了统计分析，大约一半缺乏对“推理”或“无害性”等概念的明确定义。 这意味着报告的AI改进可能具有误导性，可能由于偶然因素或测试侧重于格式等表面方面，而非真正的理解。该研究强调了“脆弱性能”的例子——对问题进行微小更改就会导致失败——以及基于有限测试结果的、缺乏支持的专业知识声明。 随着基准测试越来越影响AI开发、监管（如欧盟AI法案）和研究重点，作者强调需要改进。他们提出了八项建议，包括精确的定义、具有代表性的测试和稳健的统计分析，以及用于评估基准测试的“效度构建检查表”。 研究结果强调了科学合理的评估对于准确评估AI进展和确保负责任的开发的重要性。
欧洲人权机构裁定，脸书的算法在招聘广告投放中存在性别偏见，向女性展示“通常为女性”的职位，向男性展示“通常为男性”的职位——强化了有害的刻板印象。这一决定源于CNN的“As Equals”调查和非营利组织“Global Witness”的调查，揭示了欧洲（包括荷兰、法国和印度）普遍存在的类似偏见。 荷兰人权研究所发现，Meta未能证明其算法不存在歧视，必须对其进行修改以防止进一步的偏见。虽然裁决不具有法律约束力，但可能导致罚款或算法修改。Meta对调查结果表示异议，但此前曾表示已对招聘广告应用了定向限制，尽管批评人士认为这些限制不足。 此案凸显了人们对算法问责制日益增长的担忧，以及反歧视法律对科技公司的适用性。活动人士认为这是确保维护数字权利的关键一步，尤其是在Meta最近缩减了其多元化和包容性项目，引发了人们对在线保护弱势群体进一步的担忧。
## 纳米通道编译器开发方法 传统的编译器开发可能令人望而却步，因为它涉及复杂的分析、转换和优化，通常需要许多通道。 “纳米通道”方法提供了一种更易于接近的替代方案：将编译器结构化为*大量小型、单一用途的通道*。 这种方法通过肯特·戴布维格的编译器课程（P523）而广为人知，在该课程中，学生们每周逐步构建一个Scheme到x86的编译器，添加通道，最终得到一个43通道的编译器。一个关键的好处是每一步之后都能立即获得一个可用的编译器，尤其是在采用“从后向前”的开发方式（从代码生成开始）时。 最初用于研究，纳米通道框架被证明出奇地高效，现在被Chez Scheme（Racket的基础）等生产编译器使用。它类似于解析器组合器，从简单的组件构建复杂性。这种方法简化了编译器构造，使其感觉像编写解释器一样可行，并促进模块化、可维护的代码。对于林赛·库珀来说，这段经历至关重要，激励她为Rust编译器做出贡献，尽管实现细节不同，仅仅是因为它让她相信构建编译器是*可以实现*的。
这个Hacker News讨论围绕着sigplan.org上的一篇名为“我的前十五个编译器”的博客文章链接。原始文章和2019年的重新提交之前在该平台上引起了广泛关注。
评论主要偏离到无关话题。一位用户抱怨网站强制平滑滚动，并得到建议直接向网站报告，而不是在Hacker News上。另一位用户询问“从后往前”构建编译器的原理，质疑如何在不知道未来输入/输出需求的情况下实现通道——这个问题通过解释中间语言独立演化来回答。最后，一位评论员建议初始通道充当汇编到汇编的编译器，作为后续优化的目标。
该帖子还包含YC（Y Combinator）冬季2026批次的申请公告。
洛杉矶机场美国航空与意大利航空险些空中相撞[视频]
Near mid-air collision at LAX between American Airlines and ITA [video]
20 天前
关于 新闻 版权 联系我们 创作者 广告 开发者 条款 隐私政策和安全 YouTube 工作原理 测试新功能 © 2025 Google LLC