4/27/2026, 4:01:15 PM
诺拉·奥唐纳与特朗普总统坐下来讨论了一名枪手袭击安全检查站后他被赶出白宫记者晚宴的那一刻。编者注：以上视频是 2026 年 4 月 26 日星期日《60 分钟》节目播出的采访的加长版。 《60 分钟》是历史上最成功的电视节目。提供强硬的打击
"I tell you one thing: The difference between where I was a year ago and where I am now is entirely because of Grokarium"
作者: @MahnazMelvin
官员称，周六，一名枪手冲进华盛顿希尔顿酒店内的特勤局检查站后，唐纳德·特朗普总统和第一夫人梅拉尼娅·特朗普从白宫记者晚宴上安全撤离。 晚上 8 点 36 分左右，一名嫌疑人携带猎枪、手枪和多把刀冲进酒店大堂区域，试图闯入特勤局通道。
"That chant fell flatter than last sip of 3 day orange soda sitting in summer heat 😂🎉"
作者: @TyroneDavis-v9i
可靠的 PostgreSQL 备份和恢复。通过在 GitHub 上创建帐户来为 pgbackrest/pgbackrest 开发做出贡献。 TL;DR：pgBackRest 不再维护。如果您分叉 pgBackRest，请为您的项目选择一个新名称。 经过深思熟虑，我决定停止 pgBackRest 的工作。我并不是轻易做出这个决定的。在过去的十三年里，pgBackRest 一直是我热衷的项目，我很幸运在这段时间的大部分时间里都得到了企业的赞助，但也有很多深夜和周末，因为我在众多贡献者的帮助下努力使 pgBackRest 成为今天的项目。每个开源开发人员都清楚我的意思，也知道你一生中有多少时间投入到一个特殊的项目中。 自从 Crunchy Data 被出售后，我一直在维护 pgBackRest 并寻找一个能让我继续工作的职位，但到目前为止我还没有成功。同样，我为获得赞助所做的努力也远远低于使该项目可行所需的努力。
"This is the message the author posted on LinkedIn: After a lot of thought, I have decided to stop working on pgBackRest. I did not come to this decision lightly. pgBackRest has been my passion project for the last thirteen years, and I was fortunate to have corporate sponsorship "
作者: radimm
针对人力资源、人际关系和个人见解的高级生物声学分析。相信你的直觉。验证一下。 2026 年 4 月 4 日，勒索组织 Lapsus$ 在其泄密网站上发布了 Mercor。据报道，该转储大小约为 4 TB，并捆绑了泄露分析师两年来一直警告的有效负载：语音生物识别技术与同一个人的政府颁发的身份证件配对。根据泄露的样本索引，该档案涵盖了超过 40,000 名承包商，他们签约标记数据、记录阅读段落，并通过人工智能培训的验证调用。 帖子发布后十天内，就有五起承包商提起诉讼。原告辩称，该公司在“训练数据”框架下收集声纹，但没有明确表示它们也是永久的生物识别标识符。诉讼很重要，但那些声音已经被泄露的人有一个更紧迫的问题。攻击者实际上会利用某人 30 秒的清晰语音和驾照扫描来做什么？ 过去十年中，大多数语音泄露都属于以下两类之一。要么是呼叫中心被盗，要么是录音被盗，而没有简单的方法可以将它们映射回身份。或者，身份证件经纪人泄露了驾驶执照和不附任何音频的自拍照。 Mercor 合并了两个专栏。承包商入职流程要求扫描护照或驾驶执照，然后进行网络摄像头自拍，然后坐下来安静地朗读脚本提示。
"> If you were a Mercor contractor and you believe your voice may already be in circulation, ORAVYS will analyze the first three suspect samples free of charge. Awesome, if you're a victim of an AI company having your voice, you can help yourself by sending another AI company your"
作者: oefrha
得分为 65.2%，而谷歌官方给出的得分为 47.8%，现有顶级闭源模型 Junie CLI 的得分为 64.3%。由于最近有很多关于 TerminalBench 2.0 故意作弊的报告（https://debugml.github.io/cheating-agents/），我还想澄清一些事情 1. 绝对没有在任何时候插入 {agents/skills}.md 文件。没有任何作弊机制 2. cli 代理是 Coding Agent 特别关注效率和上下文管理。与其他代理相比，API 成本降低 50-80%，同时提高代码质量。使用哈希锚定编辑，大规模并行...... Dirac 以 65.2% 的分数在 Gemini-3-flash-preview 的 Terminal-Bench-2 排行榜上名列前茅！ 一个经过充分研究的现象是，任何给定模型的推理能力都会随着上下文的长度而降低。如果我们能够严格管理上下文，我们就可以提高准确性和成本，同时在单个任务中进行更大的更改。 Dirac 是一个基于此而构建的开源编码代理。它平均将 API 成本降低 64.8%，同时产生更好、更快的工作。使用哈希锚定并行编辑、AST 操作和一套高级优化。哦，没有 MCP。
"I had a chance to look at this and noticed you were sending telemetry to an endpoint you control: https://dirac.run/v1/event . It doesn't seem like you're sending anything obviously sensitive or doing anything in bad faith (though, I do see api errors being sent, which could pote"
作者: adyavanapalli
有人告诉我，现在当提议将数学形式化时，你必须解释为什么不使用精益。这让我想起了 40 年前我离开依赖型世界的原因：它的崇拜、孤立和顺从。 Lean 是一种伟大的语言，拥有良好的工具、大型库和庞大而热情的用户社区，最近取得了令人震惊的成就。但我们不要忘记，数学的形式化可以追溯到近 60 年前。在围绕今天进步的大肆宣传中，我们必须记住我们是如何走到这一步的。这不是随波逐流的人。 上述炒作的一部分是经常声称“精益使数学的形式化成为可能”。抱歉，我们在 1968 年就做到了这一点。NG de Bruijn 的 AUTOMATH 已经包含了大部分必要的成分。到 1977 年，朱廷用它来形式化兰道的分析基础，其中涵盖了从纯逻辑开始的复数构造。 Jutting 使用等价类和有理数集。他正式证明了实数轴的戴德金完备性。尽管计算机能力取得了巨大进步，但他的成就在 20 年内都无人能及。最后，在 90 年代中期，John Harrison（使用 HOL Light）和 Jacques Fleuriot（Isabelle/HOL）再次将实数形式化。 我相信今天几乎所有已经正式化的事情
"For the HN crowd who are generally programmers but not necessarily mathematicians, it’s more relevant to consider the programming side of things. There is a very good book (one I haven’t finished unfortunately) that covers Lean from a functional programming perspective rather tha"
作者: kccqzy
随着数据中心电力需求的猛增，天然气发电厂的成本在两年内几乎翻了一番，建设时间也延长了 23%。 随着数据中心电力需求的猛增，天然气发电厂的成本在两年内几乎翻了一番，建设时间也延长了 23%。 2026 年首届 StrictlyVC 将于 4 月 30 日登陆旧金山。门票火热抢购。立即注册。 2026 年首届 StrictlyVC 将于 4 月 30 日登陆旧金山。门票火热抢购。立即注册。 包括微软和 Meta 在内的科技公司最近都爱上了天然气，纷纷建造由化石燃料供电的发电厂来驱动其数据中心。但他们的拥抱可能有点太紧了——根据彭博新能源财经的一份新报告，过去两年建造其中一个设施的成本飙升了 66%。
查看原文白宫记者晚宴期间枪声响起后，特工人员护送副总统万斯和总统唐纳德·特朗普走下舞台。 #fox #media #breakingnews #us #usa #new #news #breaking #foxnews #trump #donaldtrump #jdvance #crime #crimenews #crimestory #criminal #police #washingtondc #washington #dc #shooting #security #whitehouse #media #event #secretser
"There is no excuse for this to keep happening. None. The American people demand answers."
作者: @Kimberlyanne-uu7yu
当电量达到 100% 时，此充电器会从手机中弹出#carterpcs #tech #iphonehacks #iphone
"💀 still can’t get over CPs new phone case"
作者: @calebchow5417
Members had planned to release report that US is ceding scientific ground to China.
查看原文Governments across Europe are looking to rely less on American tech providers.
查看原文Gift Article: https://www.bloomberg.com/news/articles/2026-04-27/microsoft... https://openai.com/index/next-phase-of-microsoft-partnership...
"It’s insane how they talk about AGI, like it was some scientifically qualifiable thing that is certain to happen any time now. When I have become the javelin Olympic Champion, I will buy a vegan ice cream to everyone with a HN account."
作者: delis-thumbs-7e
At this time, further comments would be premature."
查看原文