这项探索质疑了我们传统计时系统的效率,该系统依赖于 24 小时、60 分钟和 60 秒的任意基数。批评者认为,这种结构前后矛盾且难以计算,与公制系统精简的逻辑形成了鲜明对比。 作者提出了几种替代时钟设计,以测试实现更直观方案的可能性: * **十进制(Base 10)时钟:** 将一天分为 10 小时,每小时 100 分钟,通过简单的十进制进位简化了换算。 * **24 小时制时钟:** 一种经典的变体,通过让时针每天旋转一圈来消除上午/下午的混淆。 * **其他进制:** 实验性设计包括供爱好者使用的二进制(Base 2)时钟、十六进制(Base 16)时钟,以及受罗盘导航启发、按 36 小时划分的“度数”时钟。 虽然这些系统突显了我们当前时钟在数学上的局限性,但也强调了传统计时方式在文化和历史上的分量。归根结底,作者邀请读者构想一种衡量我们日常生活的更合乎逻辑的框架,从而证明时间既是一种自然常数,也是一种设计选择。

最近的一场 Hacker News 讨论聚焦于时间可视化的创意与替代方案。讨论由一个关于独特时钟设计的链接引发,促使网友们分享各自的项目和偏好。 一位用户分享了一个包含十二种不同时钟概念的交互式合集,从落沙到 3D 建模的水车应有尽有。其他参与者则探讨了非常规计时器的实用性,例如常作为退休礼物赠送的“七段式星期时钟”。讨论最后,用户们推测了一些缺失的概念(如基于弧度的时钟),并针对这些交互式时钟的用户界面提供了反馈。总的来说,这场讨论反映了人们对于重新构思时间感知与衡量方式的共同兴趣。

QuadRF 是一款紧凑型手持式相控阵无线电设备,基于树莓派 5 (Raspberry Pi 5) 和 FPGA 构建,专为 4.9–6 GHz 频段内的高级信号处理和波束成形而设计。该设备利用树莓派的 MIPI 通道进行高带宽数据传输,实现了低延迟、高速的射频流传输,从而具备了无人机追踪和穿墙可视化 WiFi 信号等功能。 该项目由前 SpaceX 工程师马丁·麦考密克 (Martin McCormick) 开发,旨在让复杂的射频分析不再局限于政府级工具。虽然当前原型的用户界面仍有待完善,但该设备功能强大,包括一个可实时映射射频信号的定制增强现实 (AR) 可视化工具。 尽管最初是作为更大规模月球级天线阵列项目的一部分构思的,但手持式 QuadRF 已展现出作为业余爱好者和专业人士通用工具的巨大潜力。该设备通过 Crowd Supply 活动发布,提供了一种创新且开源的射频可视化方案。虽然预生产软件仍需优化,但其性能——尤其是追踪无人机等设备的能力——表明高端射频工程正变得日益便携和普及。

近期 Hacker News 上的一场讨论探讨了 Jeff Geerling 的“QuadRF”。这是一款能够通过墙壁实现射频(RF)信号(如无人机和 WiFi)可视化的工具。 评论者们将该工具的视觉输出与声学摄像机进行了比较。技术用户们讨论了它在电磁兼容(EMC)合规测试中的实用性,并质疑其噪声基底是否足够低,以满足专业应用需求。 讨论中有很大一部分集中在机场无人机检测的潜力上。虽然一些人认为这具有广阔的商业前景,但另一些人指出,大型机场已经在使用成熟的无人机反制系统。目前的共识是,尽管射频可视化技术令人印象深刻,但现有雷达技术在区分无人机与鸟类或气球等其他飞行物方面仍存在困难。除非该系统能提供精确的追踪和测距数据(这是被动式射频系统通常所缺乏的),否则它可能仍不足以应用于关键的航空安防环境。

最新曝光的一段邻居拍摄的视频证实,参议员米奇·麦康奈尔于6月14日从其国会山住所被救护车送往医院,这与他办公室此前发布的有限信息相矛盾。该视频内容与此前报道的紧急调度录音一致,录音中描述了一名“失去意识”的患者出现“心脏骤停”并需要进行心肺复苏。 尽管紧急情况十分严重,麦康奈尔已住院近一个月,其办公室仅提供了关于他康复情况的模糊更新。这种缺乏透明度的做法引发了广泛的猜测和担忧,与明显的紧急救援情况形成了鲜明对比。虽然一些共和党盟友声称与这位84岁的参议员通过话,并称他听起来“状态良好”,但缺乏详细的医疗披露仍是一个争议焦点。 鉴于麦康奈尔过往的跌倒史和健康问题,他长期缺席参议院继续在共和党内部制造不确定性。其办公室拒绝就这段新视频置评。

作者起初对作为死记硬背工具的抽认卡持怀疑态度,但最终通过 Anki 采用了间隔重复法,以支持 STEM 等累积性学科的深度学习。在承认抽认卡可能助长浅层学习这一常见批评的同时,作者认为,只要使用得当,它们对于保持熟练度以及建立高级推理所必需的“组块化”概念至关重要。 作者的方法优先考虑质量而非数量:抽认卡绝不能取代最初的理解过程,且亲自编写的卡片比导入或 AI 生成的卡片效果更好。除了简单的定义外,作者还会为“顿悟时刻”、直觉甚至是反复出现的练习题制作卡片,以弥合初步学习与长期记忆之间的差距。 通过将抽认卡与数字笔记相结合,并保持精简且目标明确的复习流程,作者成功地在漫长的学习间隔中保留了复杂的知识。尽管目前除了医学教育外,关于 Anki 效能的实证数据有限,但作者发现,该技术将学习从一种易逝的临时性努力转变为持久的知识基础,使他们即使在多年后也能重新投入复杂的项目,而无需从零开始。

这篇 Hacker News 讨论聚焦于使用间隔重复软件(如 Anki)学习纯数学和物理等复杂概念性领域的有效性。 用户指出,虽然传统的间隔重复建议强调简明扼要和简单的知识点回忆,但概念性学习提出了独特的挑战:将抽象关系编码为固定的问答对非常困难。评论者认为,核心障碍不仅仅是记忆,而是将深奥概念拆解为可操作、可学习单元所需的智力投入。 讨论提到了专家级的方法,例如迈克尔·尼尔森(Michael Nielsen)关于“增强长期记忆”的研究,并将其视为此类严谨学习的黄金标准。此外,参与者还探讨了软件工具的演变,一些用户倾向于使用更新、更完善的 Anki 算法,而另一些用户则坚持使用经典的莱特纳(Leitner)系统等手动方法。最终,共识认为,虽然抽认卡功能强大,但在高水平学术领域的应用需要一种复杂且非传统的创作方式。

这篇博文探讨了1939年《生活》杂志上一则关于RCA Victor“学校音响服务”的广告。 作者将这一史料置于1929年RCA与胜利留声机公司(Victor Talking Machine Company)合并的历史背景下进行考察。在大萧条前夕,RCA通过股票置换交易收购了胜利公司的有形资产,从而获得了在经济衰退期间实现转型的基础设施。在20世纪30年代的金融动荡中,RCA将目标锁定在教育领域以开辟新的收入来源,通过向学校提供音响系统、录音机和唱片目录,推动了课堂的现代化。 作者将早期的课堂技术推广与现代慕课(MOOCs)和人工智能等教育工具的兴起进行了引人深思的类比。尽管RCA当时主要将音乐作为一种经久不衰的教育商品,但诸如ERPI课堂电影(ERPI Classroom Films)等竞争对手也同时引入了纪录片和教学媒体。文章最后反思了人类通过技术重塑教育的执着追求,并探讨了未来一代回顾当今的“人工智能教育”时代时,是否会像我们审视20世纪30年代的课堂创新一样。

Hacker News 最新 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 1939年 RCA Victor 如何向课堂推销音响服务 (pncnmnp.github.io) 3 分,由 pncnmnp 发布于 1 小时前 | 隐藏 | 往期 | 收藏 | 2 条评论 | 帮助 rconti 2 分钟前 | 下一条 [–] 最初的“寓教于乐”? 回复 1Bas-12g 38 分钟前 | 上一条 [–] 一则针对现代互联网“教育”的“人类一直如此”式广告: “正如你所想象的那样,这与互联网教育浪潮之间有很多相似之处。就像 RCA 一样,MOOC(大规模开放在线课程,如 Coursera、可汗学院、MIT OCW 和斯坦福在线)让任何地方的孩子都能实时访问顶尖教授的课程,不再受限于当地可提供的资源。两波浪潮都将硬件和基础设施(如 Chromebook 和树莓派套件)与现代化的承诺捆绑在一起。最后,两者似乎都是在更广泛的消费技术繁荣背景下出现的。” 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

继六月份创下高温纪录后,欧洲各大工会正要求欧盟委员会制定相关法律,以保护劳动者免受极端高温的侵害。每年约有 1.3 亿名劳动者面临热应激风险,这已导致大量工伤及数百人死亡。工会正致力于推动设立具有法律约束力的最高气温限制。 拟议的措施包括:当气温超过 30°C 时,体力劳动岗位(如建筑和农业)必须强制停工;久坐岗位则在气温超过 32.5°C 时强制停工。目前,欧洲各地的保护措施差异巨大,导致许多雇员仍处于危险的工作环境中。 在英国,英国工会联盟(TUC)正为争取类似标准而开展运动。他们指出,虽然法律规定了工作场所的最低温度,但却缺乏最高温度限制。工会联盟建议,雇主应在气温达到 24°C 时采取降温措施,并在气温达到 30°C(体力劳动为 27°C)时允许停止工作。劳工领袖们强调,随着气候变化使极端高温成为工作场所的常态,必须尽快更新安全法规,以确保劳动者的福祉。

欧洲工会正主张通过一项法律授权,允许员工在气温超过 30°C(86°F)时停止工作,该规定主要针对农业和建筑业等高强度户外行业。 这一提议在 Hacker News 上引发了激烈讨论。批评者认为,对于夏季气温经常超过 30°C 的南欧地区而言,设定统一的 30°C 门槛并不切实际。许多评论者建议,政策应侧重于考虑湿度的“湿球温度”指数,或优先改善基础设施,如提升通风与隔热水平,并普及热泵和空调的安装。 一些参与者强调,现代办公环境(通常配备空调)与缺乏简易改善方案的户外体力劳动之间存在差异。另一些人则指出,尽管北欧历史上缺乏应对高温的基础设施,但日益频繁的极端天气使得建筑标准和劳动法规的变革势在必行。归根结底,这场讨论反映了在全球气候变暖的背景下,劳工安全需求与无法简单“开启空调”的行业经济现实之间的张力。

拒绝访问。您没有权限访问此服务器上的 "http://www.dailymail.com/sciencetech/article-15956159/Incredible-lost-city-discovered-Egypts-desert.html"。参考编号 #18.a7a4c117.1783697531.b0c17cb https://errors.edgesuite.net/18.a7a4c117.1783697531.b0c17cb

``` Hacker News 最新 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 在埃及沙漠下发现古城,内含古老教堂 (dailymail.com) 19 点 由 Bender 发布于 2 小时前 | 隐藏 | 往期 | 收藏 | 1 条评论 帮助 cmrdporcupine 7 分钟前 [–] ...我们有比《每日邮报》更好的来源吗?这里:https://archaeologymag.com/2026/07/byzantine-city-with-writt... 以及 https://www.theguardian.com/world/2026/jul/04/archaeologists... 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 加入 YC | 联系 搜索: ```

该作者曾开发过一款屏蔽“一次性”电子邮箱域名的工具,但现在他反对在用户注册时系统性地拒绝那些注重隐私的电子邮件服务。 其核心观点在于区分“公共共享收件箱”(临时的、任何人皆可访问)与“个人别名”(永久的、私人的转发地址,如 Firefox Relay 或 Apple 的“隐藏邮件地址”)。虽然公共收件箱常被滥用,但个人别名是用户保护身份、管理垃圾邮件及追踪数据泄露的重要工具。 作者认为,域名屏蔽列表对蓄意的垃圾邮件发送者而言并无成效,因为他们可以轻易通过自定义域名或 Gmail 别名绕过限制。因此,这些列表主要惩罚的是注重隐私的用户,却无法阻止真正的攻击者。 作者建议,服务商应停止将电子邮件验证视为衡量“可信度”的手段,而不应采取硬性屏蔽措施。如果必须使用列表,也应明确区分共享的一次性邮箱与个人别名。开发者应摒弃非黑即白的拒绝策略,转而将域名声誉纳入更广泛、更细致的风险评估体系中。

这篇 Hacker News 讨论帖探讨了使用邮件黑名单过滤“一次性(burner)”地址所面临的讽刺意味与实际挑战。 参与者认为,“一次性”邮箱与“别名”在功能上并无区别,两者都允许用户掩盖身份并批量生成地址。虽然一些服务商试图封禁热门的一次性域名,但用户指出,更强大的替代方案(如 Apple 的“隐藏邮件地址”、Fastmail 别名或自定义的泛域名解析)仍难以被有效封禁。 讨论还涉及了邮件“加号地址(plus addressing)”(例如 `[email protected]`)的局限性。多位评论者指出,这仅仅是一种约定而非严格标准;垃圾邮件发送者和数据聚合商可以轻易去除“加号”部分以获取真实地址,从而使这种保护隐私的策略失效。最终,该帖认为,封禁特定的邮件格式只是一场徒劳的军备竞赛,无法应对不断演变的用户变通手段和恶意攻击者。

自5月1日退出欧佩克(OPEC)以来,阿联酋已将石油产量提高至6月份创纪录的每日410万桶。这一数字较5月份的每日330万桶有了显著增长,几乎是2026年3月霍尔木兹海峡危机爆发初期产量的两倍。 为规避霍尔木兹海峡持续的封锁,阿联酋已采取战略举措,增加了从富查伊拉和阿曼苏哈尔海上设施的出口。此外,阿布扎比国家石油公司(ADNOC)正在加速推进基础设施项目,以保障其能源出口。其中包括定于明年投入运营的“西-东1号”管道,该管道将使经由富查伊拉的出口能力翻倍。在550亿美元上游和下游项目投资计划的支持下,阿联酋在退出石油卡特尔后,正优先考虑国家利益和市场独立性。

三菱汽车宣布与东京大学初创企业Highlanders合作,计划于2027年前在其京都工厂量产人形机器人,受此消息影响,三菱汽车股价大幅上涨。该项目计划月产能达1000台,初期将用于解决三菱自身设施内的劳动力短缺及制造复杂性问题。 此举顺应了汽车行业向“具身智能”(physical AI)转型的趋势。分析师对此持积极态度,认为电动汽车与人形机器人在零部件生态、制造流程及供应链方面有显著重合。通过发挥在硬件和规模化生产方面的专长,包括三菱、特斯拉以及多家中国企业在内的汽车制造商,有望借此开辟新的营收来源并提高生产效率。 三菱汽车已对Highlanders进行投资,并计划将这些机器人推向全球市场。这一战略转型标志着该公司正从传统的汽车制造商向快速发展的具身智能领域参与者转变。

美国卫生与公众服务部(HHS)宣布计划根据“应对措施伤害赔偿计划”(CICP)为新冠疫苗设立一份伤害列表。该列表将明确列出推定由新冠应对措施引起的特定伤害,并界定症状出现的必要时间范围。 卫生与公众服务部部长小罗伯特·F·肯尼迪表示,此举旨在提高医疗风险的透明度。包括律师亚伦·西里(Aaron Siri)在内的支持者认为,正式的列表对于帮助申请人成功通过CICP至关重要,因为该计划目前拒绝了约99%的申请。 然而,批评人士对此持怀疑态度。一些疫苗伤害受害者的倡导者认为,该提案可能只会承认心肌炎和过敏反应等已知病症,而无法涵盖更广泛的已报告伤害。尽管该项目目前发放的赔偿有限,但该新列表的有效性将取决于正式发布时所包含的具体医疗状况。

中东地缘政治紧张局势加剧,美伊之间本就脆弱的停火协议实际上已经崩溃。尽管技术上保持开放,但霍尔木兹海峡的通航量已暴跌至战前水平的24%,这主要是由于战争保险费飙升以及持续的军事打击所致,其中包括近期伊朗布什尔核电站附近的活动。尽管存在这些风险,石油市场仍基本保持平稳,布伦特原油价格回落至每桶76美元。 在经济政策方面,美联储内部就人工智能对通胀的影响出现了分歧。美联储主席沃什(Warsh)认为人工智能是长期的反通胀力量,而纽约联储主席约翰·威廉姆斯(John Williams)则警告称,供需失衡可能会带来通胀压力。沃什已成立了五个高级别工作组,并招募了默文·金(Mervyn King)和拉古拉姆·拉詹(Raghuram Rajan)等全球经济重量级人物,以完善美联储的框架。 与此同时,加拿大寻求加强与沙特阿拉伯的关系,总理马克·卡尼(Mark Carney)访问吉达,就地区冲突进行讨论并签署了一系列合作谅解备忘录。此外,Anthropic公司已任命美联储前主席本·伯南克(Ben Bernanke)进入其监督信托委员会,以确保其强大AI模型的问责制。

国际能源署(IEA)7月的报告警告称,美国与伊朗之间重新爆发的敌对行动,威胁到了石油市场向供过于求转化的预期。尽管霍尔木兹海峡在6月份的暂时重开推动全球石油日供应量反弹了410万桶,并实现了四个月来的首次库存增长,但近期的地缘政治紧张局势升级已导致油价小幅上涨,油轮战争风险保险费也随之飙升。 尽管6月份原油价格大幅下跌至每桶68美元,但成品油市场依然异常紧俏,推动炼油利润率创下四年新高。国际能源署指出,虽然全球需求正开始从第二季度的低谷中复苏,但前景依然不稳定。明年市场转向供过于求的预期,在很大程度上取决于紧张局势的迅速缓和以及海峡运输的稳定。目前,全球产量仍比战前水平低940万桶/日,只要地区冲突继续干扰航运和生产计划,市场的复苏之路就将面临巨大的波动。

统一内存架构的迷你主机因优先考虑“容量”而非原始速度,已成为运行大型语言模型(LLM)的热门选择。与传统台式机因显存受限而存在性能上限不同,这些系统在 CPU、GPU 和 NPU 之间共享同一内存池。这使得相对平价的迷你主机能够加载庞大的模型(如 700 亿参数模型),而这些模型在过去通常需要昂贵的高端工作站显卡才能运行。 然而,这种容量优势是以性能大幅下降为代价的。LLM 的文本生成速度主要受限于内存带宽;由于迷你主机的带宽远低于独立显卡,其生成文本的速度就像“慢速阅读者”一样。此外,计算密集型的“预填充”阶段(读取长提示词)也是迷你主机中较弱的集成显卡难以应付的环节。 归根结底,这些机器不是追求速度的利器,而是解决容量问题的工具。它们非常适合那些需要运行大型、高内存占用模型,且模型无法在标准显卡上加载的用户。对于较小的模型或需要高速交互的任务,独立显卡依然是更好的选择。请根据模型规模而非营销参数来选择硬件。

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 统一内存详解:为什么迷你电脑能运行 70B 模型而大型 GPU 却不行 (vettedconsumer.com) 8 分,ermantrout 发布于 3 小时前 | 隐藏 | 过往 | 收藏 | 1 条评论 | 帮助 LoganDark 5 分钟前 [–] 不过,其实也没法运行得那么好。我的“迷你电脑”是一台配备 128GB 统一内存的 M4 Max,但在推理方面,内存带宽依然严重不足(尽管它比任何非统一架构的消费级产品都要好得多!)。回复 准则 | 常见问题 | 列表 | API | 安全 | 法律 | 加入 YC | 联系 搜索:

斯巴达以拒绝使用传统货币而闻名,为了抑制财富积累并专注于军事,他们更倾向于使用笨重的铁条。几个世纪以来,这个城邦主要依赖物物交换或外来货币,长期保持着坚定的反物质主义文化。 随着斯巴达国力的衰落,这一传统立场最终发生了转变。从公元前3世纪的阿雷乌斯一世(Areus I)开始,斯巴达国王为了资助雇佣兵,开始铸造皇家货币。后来的领导人如克里昂米尼三世(Cleomenes III)和纳比斯(Nabis)铸造了带有君主肖像和当地神祇的银制四德拉克马,反映出该城邦正向更传统的经济模式靠拢。 在被纳入亚该亚同盟后,斯巴达采用了统一的区域货币。罗马征服之后,该城在盖乌斯·尤利乌斯·尤里科里斯(C. Julius Eurycles)等地方长官的授权下,发行了地方性的青铜货币,并最终以罗马皇帝的名义进行铸造。如今,这些钱币被归类为“拉科尼亚”或“拉刻代蒙”货币。虽然稀有的斯巴达皇家钱币价格昂贵,但它们作为历史记录,见证了一个骄傲的社会在希腊化和罗马时期对经济现实的逐渐适应。

Hacker News | 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 | 登录 古钱币:斯巴达钱币是怎样的? (coinweek.com) 5 分 | thunderbong 发布于 2 小时前 | 隐藏 | 过往 | 收藏 | 1 条评论 | 帮助 quuxplusone 18 分钟前 [–] 维基词典: > 普鲁塔克在《吕山德传》第 17 章中告诉我们,在早期,钉子(ὀβελοί (obeloí))被用作货币,六枚钉子为一把(δραχμή (drakhmḗ)),后来这个名字变成了 ὀβολós (obolós)。 不过,在(传说中的)斯巴达版本里,货币更加笨重,且刻意降低其实用价值。你不希望人们因为钱币本身的用途而觊觎它——仅仅因为它的交易价值就足以让人贪婪了!因此,斯巴达的铁币(据称)是用醋淬火处理的,以破坏其内在价值。 https://en.wikipedia.org/wiki/Pelanor 不过,这个传说不太可能符合古代的实际情况。 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 加入 YC | 联系 搜索:

在社交媒体往往充满敌意的部落主义氛围中,Robin Berjon 提出了一种技术桥梁,旨在统一两个强大的协议:ActivityPub (AP) 和 AT Protocol (ATProto)。 Berjon 认为,虽然两者都致力于打破社交媒体的壁垒,但它们解决的是不同的问题。ActivityPub 擅长社交网络,但与电子邮件类似,容易受到服务器管理员的控制。相反,ATProto 在用户自主权和“可信退出”方面提供了更优越的架构,允许用户拥有自己的数据,并在不同提供商之间迁移,而不会丢失身份或关注者。 作者提出了一个设计构想:在 ATProto 个人数据服务器 (PDS) 之上实现 ActivityPub 路由。通过利用 ActivityPub 中“Actor”文档指向 ATProto 端点的灵活性,用户既能享受 AP 去中心化和联邦化的覆盖范围,又能保留 ATProto 主权且可迁移的数据所有权。 尽管存在一些细微的技术障碍——例如协调 REST/RPC 方法以及统一身份/句柄系统——但 Berjon 认为这些是可以克服的实际挑战,而非决定性的阻碍。通过整合这些互补技术,我们可以构建一个比传统联邦和封闭平台壁垒更具韧性、以用户为中心的网络。

抱歉。

**Runloom** 是一个高性能库,为 Python 引入了 Go 风格的有栈协程(stackful coroutines)。通过利用手写的汇编上下文切换、基于 C 语言的工作窃取调度器以及高效的 `netpoll` 实现,它使开发者能够编写跨所有 CPU 核心并发运行的阻塞式代码。 主要特性包括: * **易用性**:支持 `monkey.patch()`,无需 `async/await` 即可将标准阻塞式 I/O(套接字、时间等)转换为非阻塞的协作式代码。 * **高性能**:专为自由线程(free-threaded)CPython (3.13t/3.14t) 设计,吞吐量和生成速率可与 Go 媲美。 * **架构**:实现了 M:N 调度器,将任务分配到多个操作系统线程中,有效绕过了传统单线程 Python 并发的限制。 * **兼容性**:为旧代码提供 `asyncio` 桥接,并可通过预编译的 wheel 包在主流操作系统和架构上使用。 尽管由于 CPython 执行帧的原因,Runloom 每个纤程的内存开销约为 Go 的 3.3 倍,但它为 Python 实现多核并行提供了一种强大的方式。它并不会加速单个 Python 字节码的执行,但能够让单个进程的阻塞式 Python 逻辑扩展到所有可用的硬件核心上。

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Show HN: Runloom – 为 Python 自由线程版(free-threaded)提供 Go 风格的协程 (github.com/robertsdotpm) 7 分,由 Uptrenda 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 1 条评论 ksdme9 16 分钟前 [–] 这与 gevent 相比如何? 回复 准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请加入 YC | 联系 搜索:

Haskell 的长期拥护者兼董事会成员 Avi Press 解释了为什么他的公司 Scarf 在新项目开发中放弃 Haskell,转而选择 Python。 在承认 Haskell 的可靠性和类型安全性的同时,Press 指出,人工智能驱动的开发浪潮已从根本上改变了编程的经济学。AI 代理依赖于快速反馈循环、低成本执行和低摩擦环境。Haskell 较长的构建时间、复杂的依赖管理以及较高的“冷启动”开销,造成了严重瓶颈,阻碍了 AI 辅助的工作流程。相比之下,Python 提供了有效利用现代大语言模型(LLM)所需的敏捷性,能够实现快速迭代和交付。 Press 警告说,如果 Haskell 社区继续侧重于学术研究(如依赖类型),而非构建性能和 AI 集成等工业需求,将面临停滞的风险。他敦促社区优先考虑“对代理友好”的工具(如更快的编译速度和更好的文档),以保持竞争力。最终,他认为如果 Haskell 不进化以适应 AI 驱动的范式,它将难以在快速发展的生态系统中竞争。对于 Scarf 而言,这一决定是对现代软件领域中生产力和速度紧迫需求的务实响应。

Scarf 从 Haskell 转向 Python 的决定在 Hacker News 上引发了针锋相对的争论。批评者认为,Haskell 强大的类型系统是 AI 生成代码的必要保障,能够捕捉到 Python 动态特性所忽略的错误。许多评论者认为,为了 Python 的“直觉编码”速度而牺牲编译时的安全性是违背常理的,尤其是在 AI 工具已经能够高效处理复杂类型系统的情况下。 相反,一些参与者认为这种转换是对现代开发现实的务实回应。他们指出,Python 庞大的训练数据使其更具“AI 原生性”和易用性,而 Haskell 缓慢的编译速度和陡峭的学习曲线阻碍了 AI 辅助工作流所需的快速迭代循环。 这场讨论凸显了行业内一个更广泛的矛盾:软件开发的主要瓶颈究竟是执行性能和类型安全,还是“LLM 人机工程学”——即模型在特定语言生态系统中读取、生成和迭代的便捷程度。归根结底,这场辩论反映了一种转变,即语言的选择正越来越多地由 AI 兼容性和工具可用性驱动,而非纯粹的美学或架构偏好。

Polymarket 正通过其关联公司 Coming Home GBA LLC 申请期货佣金商牌照,旨在重返美国市场。若获美国全国期货协会(NFA)及商品期货交易委员会(CFTC)批准,该平台将获准提供保证金交易,允许用户以较少的初始资金进行投注。 此前,Polymarket 因涉及未注册衍生品交易与 CFTC 达成 140 万美元的和解协议,并于 2022 年退出美国市场。随着预测市场日益受到关注——预计到 2030 年交易额将达到 1 万亿美元——Polymarket 正同步开展活动,以提升其在监管机构和政策制定者中的声誉。 此次申请标志着 Polymarket 正积极追赶 Kalshi 等竞争对手,后者已于今年早些时候获得了保证金交易许可。随着该行业从利基投注转向涵盖体育、经济和政治的更广泛“信息市场”,竞争也日益激烈。

唐纳德·特朗普总统宣布,他将拒绝签署两党通过的《21世纪住房之路法案》,以抗议参议院未能通过他标志性的选举立法——《拯救美国法案》。 旨在降低成本并增加供给的这项住房法案,若特朗普不正式行使否决权,将于周五午夜自动成为法律。虽然特朗普声称他扣留签字是为了向参议院施压,要求废除冗长辩论规则并以此通过包含严格选民身份核实要求的选举改革,但这番抗议在很大程度上被视为象征性的。 国会对于该住房法案的支持率极高,两院均拥有足以推翻否决权的票数,这意味着如果他选择阻挠,国会很可能会推翻其否决。尽管一些共和党议员对僵局表示不满,但特朗普仍将住房法案称为与其选举议程的紧迫性相比“微不足道”的事项。尽管参议院多数党领袖约翰·图恩拒绝终止冗长辩论,总统的态度依然坚定,这使得住房法案的命运陷入了宪法层面的不确定状态。

墨西哥洞穴鱼为企业停滞提供了一个生动的隐喻:正如生活在洞穴中的鱼因黑暗环境不再提供奖励而进化到失去视力一样,成功的公司也常会患上“能力盲点”。 当高增长公司将员工人数置于标准之上时,它们创造了一个让工程卓越性退化为残余特征的环境。那些带着“视力”——即识别糟糕基础设施或过时实践的能力——入职的员工,往往会被否决。这导致了一种职业层面的细胞凋亡,他们对质量的追求被逐渐抹除。 为了掩盖这种腐败,公司建立了以官僚控制为先的“卓越中心”,进一步扼杀了内在动力。在市场壁垒的保护下,这些公司凭借早期成功积累的“脂肪”生存,依然保持盈利。管理者常将这种衰退误认为是企业文化,并将员工离职归咎于外部因素,而非自身内部的黑暗。归根结底,留在这样的环境中是一种自我适应;想要重获“视力”,唯一的办法就是离开洞穴,去新的水域游弋。

本次讨论探讨了创新的内在难度以及各类规模企业所面临的结构性挑战。 一种观点认为,大众普遍认为“成功企业会因盲目而衰落”,这种看法忽视了商业周期的现实。创造真正有价值的事物极其困难;随着企业规模扩大,工作的重点会从纯粹的创新转向维护、安全及行政优化等复杂且枯燥的工作。作者指出,大企业的员工并非能力不足,而是因为他们处于一种难以推动变革的结构中;与初创公司动荡的生存状态相比,大企业中那些“安静”的成功往往会被忽视。 另一种观点认为,大语言模型(LLM)的兴起可能加剧了这些问题。通过使群体思维常态化和代码生成标准化,人工智能工具可能会在无意中加速团队的停滞,并导致原创性、高影响力的问题解决能力下降。最终,共识在于:无论是在初创公司还是大型企业,核心难点都在于如何平衡构建创新方案与维持现有复杂系统之间的张力。

请启用 JavaScript 和 Cookie 以继续。

```Hacker News最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 投稿登录瑞安航空航班上,一男子险些被吸出“脱落”的窗户 (rte.ie)4分 由 theanonymousone 发布于 25 分钟前 | 隐藏 | 过往 | 收藏 | 3 条评论 帮助 LorenDB 16 分钟前 | 下一条 [–] 也许他们会因为这“游乐园套餐”向他额外收费。回复ChrisArchitect 10 分钟前 | 上一条 | 下一条 [–] 更多讨论:https://news.ycombinator.com/item?id=48858997回复spiderfarmer 11 分钟前 | 上一条 [–] 是时候更新 Windows 了。回复 准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:```

我们目前正在经历一起影响 Proton 服务登录的故障。我们的工程团队正在积极调查,并致力于尽快恢复正常访问。对于此次服务中断,我们深表歉意,并在有进一步消息时会及时更新。

Proton AG 目前正经历服务中断,这引发了 Hacker News 用户的不满。评论者们表达了对该平台不可靠性的怨言,一些用户指出,为一项缺乏稳定性的服务付费颇具讽刺意味,这种不稳定性是他们几十年来从未遇到过的。一位新订阅用户表示,自己在购买年度计划几分钟后就遭遇了中断,并称这次宕机让他重新考虑是否要将 Proton 用于域名注册等关键通信。另一些人则借此将 Proton 的不稳定性与 Azure 等其他主要服务提供商进行了对比。

这篇文章哀悼了以参与为基础的本真文化的消亡,认为其已被表演性的“奇观”和精心策划的营销所取代。作者主张,以人工智能、社交媒体和算法消费为特征的现代数字生活,导致了“电极刺激(wireheading)”现象,即用户在缺乏现实参与的情况下,体验到一种虚假的成就感。 作者指出,互联网这台“机器”已有效地胜过了真正的人类体验,将个人身份转变为统一且顺从的数据。随着我们的“内在现实”成为全球信息战的主要战场,作者警告称,我们已不再是遭遇物理上的征服,而是正经历心理上的同化。尽管作者认为现代人工智能不过是自我长达数十年退化的顶点,却并未提供简单的解决方案,并指出这场“新战争”需要的是灵魂本身。归根结底,本文以愤世嫉俗的视角观察了技术如何吸收人类文化,剥离其棱角,并将空洞、预先咀嚼过的版本反馈给人类,最终使个体失去了人生的方向盘。

```Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 朋克,或者我为什么不再直播了 (geohot.github.io) 21 点,由 surprisetalk 发布于 31 分钟前 | 隐藏 | 过往 | 收藏 | 讨论 帮助 准则 | 常见问题 | 列表 | API | 安全 | 法律 | 加入 YC | 联系 搜索:```

人们很容易任由大语言模型(LLM)生成冗余代码,并想当然地认为既然是 AI 在写代码,那么诸如“DRY”(不要重复自己)之类的可维护性问题就不再重要了。然而,这是一种危险的谬误。 大语言模型通过模仿你代码库中已有的模式、捷径和架构习惯来生成代码。当你不断合并重复的逻辑或“快速而草率”的解决方案时,你不仅是在外包工作,更是在训练模型将糟糕的编码习惯作为你项目的标准。每一次复制粘贴的条件语句都在强化一种错误的模式,导致模型在未来的响应中优先采用这些“反模式”。 最终,你的代码库将充斥着技术债务,而你将越来越难以通过提示词(Prompt)来摆脱困境。为避免这种情况,你必须将代码库视为一份高质量的蓝图。通过保持代码整洁且结构化,你可以确保 LLM 提供持续的高质量输出,而不是自动制造未来的维护难题。归根结底,你依然应该像对待人类维护者那样去编写代码,因为 AI 终究会学会模仿你最坏的习惯。

抱歉。

日本财务大臣片山皋月近期建议,包括规模达1.81万亿美元的日本政府养老金投资基金(GPIF)在内的国内养老基金,应增加对日本本土资产的投资。这一出人意料的言论刺激了日元和国内债券的上涨,使日元从四十年来的低点获得短暂喘息。 日本政府此举旨在将家庭和机构储蓄引导至国内增长领域,特别是人工智能和芯片等行业。目前,GPIF约一半的资产投资于海外,日本仍然是美国国债最大的海外持有国。若这些资金大规模回流,将从结构上支撑日元。 然而,市场分析师和高盛等机构对此持怀疑态度,认为市场反应过度。他们指出,GPIF的投资策略遵循正式的长期流程,目前并没有官方政策转向。许多专家认为,若日美之间的利率差没有更有利的改善,导致日元承压的基本宏观经济压力基本未变。尽管资金回流的潜力为汇率提供了理论上的支撑,但其对扭转日元长期跌势的实际影响仍不确定。

一名61岁的塞尔维亚男子在希腊塞萨洛尼基机场搭乘瑞安航空航班起飞后不久,因引擎零件脱落击碎窗户,险些被吸出舱外。 由于机舱瞬间失压,该男子的头部和肩膀被吸出机舱外。他的妻子和其他乘客奋力抓住了他,并在五分钟后将其拉回机舱。目击者称窗户破碎的声音就像“轮胎爆裂”,随后氧气面罩弹出,机舱内一片恐慌。 飞行员成功操控这架波音737-800客机返回机场并安全降落。瑞安航空证实了这起事件,并表示受伤乘客因惊吓和摩擦擦伤接受了医疗护理。其余乘客随后被安排搭乘替换飞机继续前往德国梅明根。

一则关于瑞安航空(Ryanair)乘客在引擎故障后被吸向破损舷窗的报道在 Hacker News 上引发了讨论,但很快就演变成了典型的网络讽刺。尽管原文探讨了这一空中险情的致命性,但评论区主要集中在瑞安航空以廉价机票和附加费用著称的声誉上,用户们拿“靠窗座位”费用和超重行李费开起了玩笑。 在调侃之余,关于航空安全的简短讨论也随之出现,特别是强调了飞行期间系好安全带的重要性。一位用户试图指出此类小概率、高后果事件的统计学现实,但遭到其他参与者的进一步嘲讽。对话最终以关于移民和离岸外包等可预见的偏题攻击结束,这反映了在线论坛往往会从严肃新闻转向煽动性题外话的倾向。

在经历了两天的直接军事打击后,美国与伊朗之间的紧张局势已暂时平息。目前,卡塔尔调解方正致力于恢复外交努力,以防止全面战争的爆发。尽管两国官员仍在进行旨在巩固脆弱停火的“技术性会谈”,但局势依然岌岌可危。 多种相互矛盾的压力使环境变得更加复杂:伊朗革命卫队已公开誓言要为最高领袖阿里·哈梅内伊的近期去世进行报复,而霍尔木兹海峡的全球海上安全也处于最高警戒状态。此外,以色列分享的一份新情报使外交进程备受考验——据称该情报暗示伊朗有暗杀特朗普总统的阴谋,尽管一些分析人士对此持怀疑态度,认为这可能是试图破坏美伊谈判的手段。 尽管局势动荡,华盛顿和德黑兰似乎都致力于防止和平进程彻底破裂。随着市场稳定性和全球石油库存受到牵动,国际观察人士正密切关注局势发展。这种在暴力与外交之间不断循环的过程,仍是对双方意志的危险考验,使该地区陷入了高风险的不确定状态。

摩根大通分析师认为,尽管近期 Strategy 的比特币抛售让投资者感到不安,但加密生态系统面临的真正结构性威胁是向许可型私有区块链的转变。 金融机构正日益优先考虑私有基础设施,因其在隐私、合规和治理控制方面受到监管机构的青睐,从而置公共的无需许可网络(如以太坊)于次要地位。SWIFT 的区块链项目、央行数字货币(CBDC)以及受监管的代币化存款等项目,对公共稳定币和链上结算的发展构成了重大挑战。 如果机构活动迁移至这些“统一账本”和受监管的围墙花园,公共网络可能会面临流动性降低和资本流减弱的问题。虽然公共链目前承载着资产代币化的早期实验,但摩根大通指出,成熟的金融体系最终可能更青睐私有化净额结算所带来的资本效率。 尽管对通用区块链基础设施的前景持悲观态度,但该报告承认,比特币作为“数字黄金”可能依然具有韧性;无论这些更广泛的基础设施之争如何演变,它都有可能成为抵御货币贬值的对冲工具。

联系我们 contact @ memedata.com