Tchir的分析突显了市场在关键事件中面临的困惑。减税被认为对增长至关重要,但特朗普与马斯克的争执引发了担忧。关税期限临近,市场预计会延期,并优先考虑与中国的协议。然而,Tchir告诫不要为了短期利益而危及长期安全,尤其是在中国主导加工的稀土矿物方面。 他质疑关税的目的,主张国家生产和放松管制以与中国竞争。尽管减税减轻了经济衰退的风险,但经济数据对不确定性的滞后反应仍然令人担忧。停滞的和平谈判也是另一个警告信号。 Tchir看好利率,并认为10年期国债收益率达到4.5%是买入机会。他认为信贷稳定,并发现加密货币令人兴奋,尽管对其缺乏充分了解。然而,股市似乎在众多风险中被定价为乐观。中小型企业正面临与关税相关的担忧。

中资企业远景动力(AESC)暂停了其位于南卡罗来纳州佛罗伦萨的16亿美元电动汽车电池工厂的建设。该项目旨在为宝马供应电池。该公司表示,经济不确定性是暂停建设的原因,其中包括特朗普政府时期对中国制造的材料和机械征收的关税,这大大增加了成本。此外,国会正在审议的一项税收法案也可能提前终止联邦政府对电动汽车电池生产的补贴,并限制与中国相关的公司获得补贴的资格。 远景动力还指出,汽车制造商正在放缓甚至取消电动汽车的推出,这也加剧了行业压力。虽然厂房本身已经建成,但设备安装和生产线的组装已被暂停。该公司打算在市场稳定后恢复建设。该项目的暂停凸显了美国新兴“电池带”的脆弱性,而“电池带”的形成得益于拜登时代的绿色能源政策,如今却面临共和党可能对其进行的撤销。这些行动危及了众多公司在中西部和东南部的众多与电动汽车相关的投资。

联邦上诉法院推翻了下级法院的裁决,裁定佛罗里达州那不勒斯市可以要求该市自豪节上的变装表演在室内举行,并限制为成年人观看。第十一巡回上诉法院认为,那不勒斯骄傲节在接受多年限制后才提出质疑,时间过长,并且该市的决定是基于公共安全考虑,而非在“有限的公共论坛”中基于观点歧视。 阿布杜法官对此表示异议,认为这些限制违宪地基于观点和内容。代表那不勒斯骄傲节的佛罗里达州美国公民自由联盟表示失望,并誓言将继续进行法律斗争,而那不勒斯骄傲节则表示他们目前将遵守,但会继续挑战这些限制。此案将发回下级法院审理损害赔偿问题。那不勒斯警察局将到场以确保公共安全。与此同时,同一上诉法院允许一家以变装表演而闻名的餐馆在对该州的《儿童保护法》提起诉讼的同时继续举办表演,认为该法的限制过于模糊。

埃隆·马斯克与特朗普政府之间的紧张关系已达到沸点,最终导致马斯克与财政部副部长斯科特·贝森特就国税局代理局长任命问题发生了一场据称的肢体冲突。据史蒂夫·班农说,这场冲突是在贝森特批评马斯克声称发现政府浪费之后爆发的,随后马斯克对贝森特进行了肢体攻击。 此次事件是更大冲突的一部分,这场冲突源于马斯克在政府内部的影响力、他与联邦雇员的直接沟通以及对特朗普“伟大漂亮法案”的分歧。马斯克对该法案的批评导致特朗普威胁要取消SpaceX的合同,随后马斯克威胁要退役SpaceX的龙飞船,并暗示特朗普应该被弹劾,还说特朗普在爱泼斯坦档案中。 班农进一步火上浇油,呼吁驱逐马斯克并对其进行毒品调查。虽然直接的敌对行为已经平息,但特朗普与马斯克的关系可能无法修复,标志着这两个曾经在特朗普政治复兴中扮演关键角色的人物之间出现了重大裂痕。

联邦贸易委员会(FTC)警告学生贷款借款人警惕债务减免骗局,此前该委员会关闭了熊猫福利服务公司及其关联公司,指控其收取非法费用且未能兑现承诺的贷款减免。这些公司伪装成教育部的合作伙伴,以虚假的贷款减免或减少承诺从消费者手中骗取了超过1670万美元。FTC强调,教育部不与要求预付费用的私营公司合作。借款人应警惕任何声称相反的人,并了解任何私营公司都无法做到他们在StudentAid.gov网站上免费就能做到的事情。FTC建议借款人直接通过教育部探索免费的选择,例如收入驱动还款计划、贷款合并和减免选项。他们敦促公众向ReportFraud.ftc.gov举报可疑的骗局。

洛杉矶正在经历严重的骚乱,据称是由移民及海关执法局(ICE)逮捕无证移民引发的。当局指责与民主党势力可能有关联的左翼极端组织策划了这场暴力和混乱,并将此次事件与2020年的“黑人的命也是命”(BLM)运动的骚乱相提并论。特朗普政府已将国民警卫队联邦化,并誓言将起诉暴力抗议者。特朗普指责加州州长纽森和洛杉矶市长巴斯不称职,并威胁要进行联邦干预。 右翼政治人物指责纽森和巴斯轻描淡写局势,并助长了暴力,一些人还指出了巴斯过去与古巴的关系。指控包括先前骚乱中出现的“砖头堆”策略再次出现,以及这些事件与具有马克思主义意识形态的组织之间的联系。其他人则猜测这是一种“深层政府”的行动。外国干涉的作用也受到质疑,这在人们担心“颜色革命”企图引发全国范围动荡之际,引发了国家安全担忧。

本研究利用可控的谜题环境,比较大型推理模型 (LRM) 和标准大型语言模型 (LLM) 的推理能力。研究重点超越最终答案的准确性,分析模型内部的推理轨迹。关键发现揭示了“复杂性崩溃”现象,即 LRM 的准确性在超过一定水平后急剧下降,以及一个反直觉的规模限制,即即使有足够的 token 预算,推理工作量也会随着问题复杂性的增加而减少。在类似计算量下比较 LRM 和 LLM,发现了三种性能状态:LLM 在简单谜题上优于 LRM;LRM 在中等复杂度谜题上显示出优势;而两种模型在高复杂度谜题上均失败。研究还强调了 LRM 在精确计算、不一致推理和缺乏算法实现方面的局限性。通过分析推理轨迹和解题探索模式,这项工作为 LRM 的优缺点提供了宝贵的见解,质疑了其真正的推理能力,并为未来的发展提出了重要的考虑因素。

Hacker News 上的一个讨论围绕着苹果公司的一篇研究论文展开,该论文强调了人工智能推理模型的局限性。用户们讨论了模型在一些简单的推理任务中失败的经历,例如理解pickleball策略,尽管这些模型能够访问相关信息。一些人建议整合过去的符号推理研究(例如Prolog)来改进理解能力。其他人则提到了 Hacker News 上之前的一次相关讨论。 这篇论文揭示了当前的模型即使拥有强大的计算能力,也难以处理复杂的逻辑,这表明我们距离通用人工智能 (AGI) 的距离比炒作所暗示的要远。可控的益智游戏环境暴露了这些局限性,模型可以记住简单益智游戏的解决方案,但在更复杂的益智游戏中却会失败。这引发了人们的猜测,即大型语言模型 (LLM) 除了在某些特定领域(如代码辅助)之外可能并不广泛适用,并且苹果公司在生成式 AI 方面的明显滞后可能源于他们对高质量和用户体验的关注,而目前的 LLM 通常无法达到这些标准。

本文中,米尔顿·埃兹拉蒂认为,中国不太可能将去美元化或抛售其持有的美国国债作为与美国贸易谈判的筹码。尽管北京一直在寻求提升人民币的国际地位并减少对美元的依赖,但美元仍然是全球贸易和金融中的主导货币。去美元化将扰乱中国依赖出口的经济,并对其造成比对美国更大的损害。同样,抛售美国国债也会对中国产生负面影响,因为它会剥夺中国一个流动性强的投资市场,并压低债券价格,最终导致财务损失。埃兹拉蒂认为,让人民币对美元贬值将是更有效的策略,帮助中国抵消美国关税的影响。尽管贸易谈判存在不确定性,但埃兹拉蒂总结道,北京无意采取这些激烈措施来激怒华盛顿。

Binfmtc 允许 C 程序员使用 C 语言执行通常由 Perl 或 Shell 等语言完成的脚本任务。它解决了创建 makefile 和 C 语言执行所需的其他设置的不便。通过利用 Linux 的 binfmt_misc,binfmtc 可以即时编译和执行 C 脚本。只需在脚本中添加一个神奇的关键字`/*BINFMTC: compile-time options`,赋予其执行权限,binfmtc 就会处理剩下的事情。该软件包包含一个“真正的 csh”示例,演示了用于系统管理任务的 C 风格语法。在基于 Debian 的系统上安装它需要向 `sources.list` 文件添加一个特定的仓库并使用 `apt-get`。该工具旨在实现“C 无处不在”,未来的计划包括支持其他编译器,如 gcj、g77、gpc,以及 C# 等其他语言。

Hacker News 最新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Binfmtc – binfmt_misc C 脚本接口 (netfort.gr.jp) 8 分,来自 todsacerdoti,51 分钟前 | 隐藏 | 过去 | 收藏 | 2 条评论 zx2c4 13 分钟前 | 下一条 [–] 我很久以前的一个类似项目:https://git.zx2c4.com/cscript/about/ 回复 Surac 9 分钟前 | 上一条 [–] 真棒 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系我们 搜索:

与汤姆·施泰尔相关的有利银行(Beneficial State Bank)正利用个人纳税识别号码(ITIN)向没有合法身份的移民提供贷款,他们将此举描述为通过解决金融不平等来打击“系统性种族主义”。该银行在2022年向使用ITIN的借款人发放了2500万美元的汽车贷款,并继续采取这一策略,认为这扩大了缺乏社会安全号码人士的金融包容性。他们与家具店合作,并接受加利福尼亚州AB 60驾照(可供无合法居住证明者使用)。虽然该银行没有发表评论,但其他贷款机构,如普里斯玛贷款(Prysma Lending),也提供ITIN贷款,甚至提供资源帮助移民避免被驱逐出境。批评人士认为,这种做法助长了德克萨斯州科洛尼岭(Colony Ridge)等项目的发展,据报道这些项目与非法移民和犯罪活动有关。泄露的电子邮件表明,更广泛的贷款行业将无证移民作为目标,一位开发商承认,他们的业务依赖于不需要社会安全号码。

在缅因州斯托宁顿,龙虾捕捞者特拉维斯·达米尔面临着越来越大的生计挑战。尽管继承了祖父的衣钵,对捕捞龙虾充满热情,但达米尔的龙虾捕捞量却在减少,而成本和规章制度却在增加。他回忆起过去,在近岸一天就能捕捞到超过1000磅龙虾的时光,而现在他必须驶向更远的海域才能获得更少的收获。 缅因州的龙虾捕捞量连续三年下降,对重要的龙虾港口斯托宁顿造成了影响。2021年的捕捞量为1360万磅,而2024年则下降至1190万磅。缅因州龙虾捕捞者协会的帕特里斯·麦卡伦指出,龙虾正在向更深的水域转移,并不一定向北迁移。温暖的海水温度已经影响了新英格兰南部地区的龙虾种群,而由于北极融冰,缅因湾的生态系统仍然相对稳定。尽管面临这些挑战,斯托宁顿龙虾合作社的罗恩·特伦迪表示,即使成本上升,龙虾捕捞仍然有利可图,而且渔业公司也越来越适应这种有利可图的产量。

花旗集团撤销了其2018年限制零售客户向未通过背景调查的个人出售枪支,以及限制向21岁以下人士出售大容量弹匣、枪托和枪支的政策。该银行援引“公平准入”担忧和监管发展为由,包括特朗普总统关于审查影响第二修正案权利的政策的行政命令。花旗集团将更新其员工行为准则,以防止基于政治派别的歧视。 “为我们的生命而行进”组织批评了这一逆转,称其为“可耻的决定”,而枪支行业贸易协会则表达了谨慎的乐观态度。美国步枪协会(NRA)对这一变化表示欢迎,并敦促参议院通过《公平获得银行服务法案》,该法案旨在防止金融机构拒绝向受宪法保护的行业提供服务。此举是在银行被指控歧视保守派事业之后做出的。

三月份,OpenAI发布的“GPT-4o”凭借其原生多模态图像生成能力获得了巨大成功,一周内吸引了一亿新用户,高峰时段每小时注册用户达百万。然而,一位用户的经历却凸显了其潜在的缺点。这位用户试图使用AI为自己的狗Cleo穿上鹈鹕服装,生成的图像却意外地包含了一个用户未要求的“Half Moon Bay”(ハーフムーンベイ)标志。 这个意外的添加被归因于ChatGPT的新记忆功能,该功能访问之前的对话以提供上下文。虽然这位用户在纠正AI后最终得到了想要的图像,但他表达了对该功能影响用户输入控制的担忧。他认为,像ChatGPT的记忆功能这样的特性会削弱用户精确控制AI行为的能力,他更喜欢保持完全的控制权。因此,他禁用了记忆功能,并在题为“我真的很不喜欢ChatGPT新的记忆档案”的文章中进一步阐述了他的担忧。

这个Hacker News帖子讨论了Simon Willison用“骑自行车的鹈鹕”作为基准来评估大型语言模型(LLM)的幽默方法。这个基准引发了对其有效性的争论,一些人认为单个样本不足以进行比较,并且训练数据偏差会影响结果。另一些人则认为,这个基准是一种有趣的方式,可以观察模型的局限性和知识缺陷。评论者强调了LLM的营销宣传将其描绘成超越概率模型的东西,并讨论了表示诸如工程设计之类的复杂概念的难度。一些人建议使用视觉模型从多个输出中选择最佳图像。讨论还涉及LLM是否适合更抽象的设计任务,但目前还不能替代现实世界的工程和人类沟通技能。最终,有人提到,即使它并不完美,CEO们也可能会使用它。总的来说,这场讨论探讨了大型语言模型的挑战和局限性,并以鹈鹕的比喻为中心。

英国能源大臣埃德·米利班德宣布,根据即将实施的未来住宅标准,绝大多数新建英国家庭住宅将标配太阳能电池板,目标是每年降低530英镑的能源账单,并朝着净零目标迈进。工党计划要求新建房屋必须安装一定面积的太阳能电池板,这与前任政府的做法有所不同。虽然住宅建筑联合会支持整合太阳能,但他们警告说,过多的文书工作可能会阻碍到2029年建造150万套新房。人们还担心需要更多受过培训的安装人员,以及每栋建筑的建设成本可能增加3000-4000英镑,尽管米利班德声称这不会影响房价。虽然太阳能对英国能源结构的贡献正在增长,但它仍然落后于其他能源来源。这项计划与工党更广泛的绿色议程相符,其中包括有利于热泵的规划规则和隔热方案,以实现到2050年住宅的近乎完全脱碳。

一位安全专家审查了Cloudflare用Anthropic的Claude大型语言模型(LLM)主要编写的新OAuth库的有效性。尽管最初对代码结构印象深刻,但专家发现了严重的缺陷,包括测试不足,“YOLO CORS”实现(人为决定)以及缺少安全头文件。 专家还发现了OAuth特有的错误,例如实现已弃用的“隐式”授权、不正确的Basic身份验证支持以及有偏差输出的缺陷令牌ID生成,这表明团队缺乏深入的OAuth专业知识。加密设计令人印象深刻,但需要大量人工干预才能纠正严重的安全性漏洞。 尽管有工程师的监督,一些错误仍然存在,这突出了有效利用LLM进行安全敏感代码编写需要深厚知识的必要性。虽然LLM可以帮助生成代码,但它们不能取代勤奋、经验丰富的开发者和彻底的安全审查,尤其对于身份验证等关键系统而言。专家强调,自己之前曾构建过类似的系统,以确保对良好的代码应该是什么样子有清晰的认识。

Hacker News 上的一篇讨论分析了一个由 AI 生成的 Cloudflare OAuth 库,发现了重大的安全漏洞,并对过度依赖 AI 生成代码而缺乏足够人工监督的做法表示担忧。原文强调了几个漏洞,例如过于宽松的 CORS 策略、不正确的 Basic 认证以及弱随机数生成的 Token。一位评论者指出该库包含已弃用的“隐式授权”(implicit grant)用于公共客户端,这表明对 OAuth 规范缺乏理解。另一位发帖者指出,“氛围编程”(vibe coding)的定义过于宽泛,削弱了其含义。虽然可能存在自动化测试,但对于关键的认证服务来说,它们似乎不足够。讨论强调了无论代码是人工编写还是 AI 生成,都需要进行严格的安全审查和彻底的测试,并呼应了“我们必须认真对待”(we have to give a shit)的观点。

DNS over HTTPS (DoH) 使用 HTTPS 加密 DNS 查询,旨在保护它们免受窃听。尽管支持者强调了其隐私优势,但批评者认为它将 DNS 查询集中到单个提供商,从而创造了一个新的、可能更强大的数据收集者。核心问题是将广泛的、分散的监控换成了集中的监控。 作者认为 DoH 并非真正的解决方案,声称它只是将数据可见性转移到像 Cloudflare 这样受利润驱动的单个实体,并忽略了数据货币化的风险。更好的替代方案是 DNS over TLS (DoT),它为 DNS 提供传输加密,而无需 HTTP 封装带来的不必要的复杂性和安全风险。 作者并不反对对 DNS 进行现代化改造或添加安全功能来保护用户隐私,但他认为 DoH 是一种有缺陷的实现。他批评 DoH 由于需要在 DNS 服务器中使用 HTTP 模块而导致的复杂性,增加了出现错误和漏洞的可能性。他敦促用户在 Firefox 中通过将 about:config 中的“network.trr.mode”设置为 5 来禁用 DoH。

Hacker News 的一篇帖子讨论了文章“为什么不使用 DNS over HTTPS (DoH)?” 要点: * **DoH 和监听:** 一位评论者 (ggm) 认为这篇文章没有讨论哪些公共 DNS 提供商支持 DTLS,并暗示 DoH 只是将监听从一方(例如,Cloudflare)转移到另一方。他们主张运行本地 DNS 解析器。 * **SSH 端口安全:** ggm 不同意作者关于不更改 SSH 端口 22 的观点,并引用了其个人经验,即更改端口后探测减少了。他们还批评了文章中对端口敲击的驳斥缺乏数学论证。 * **IPv6 安全:** 一位用户 (throwaway81523) 提到了为私有服务器使用随机 IPv6 地址,并质疑这种方法是否足够安全。 * **IPv6 扫描难度:** tialaramex 证实扫描随机 IPv6 地址是不切实际的。但也澄清说,为了能够访问这样的地址,需要通过 DNS 或其他方式“公布”该地址。并指出“被动 DNS”日志记录可能会在进行 DNS 查询时暴露此类地址。

作者回忆起自己过去对Emacs的痴迷,赞扬其强大的功能和灵活性,特别是通过Magit和Org-mode等工具在个人计算方面的优势。然而,维护自定义配置变得越来越繁重,最终促使作者转向更简单、更现代的工具。由于怀念Org-mode的分层笔记功能,作者现在开始探索Obsidian——一款基于Markdown的应用,拥有丰富的社区插件,使用方便,并支持移动端访问。 他们在Obsidian中实施PARA方法(Projects, Areas, Resources, Archive),以实现结构化的知识管理,并优先考虑简洁性和一致性。虽然作者也承认ChatGPT等AI工具的吸引力,但他强调维护个人知识库的重要性。这源于作者希望重视自己的想法,进行深思熟虑,并保留自己思想的所有权,而不是仅仅依赖AI。即使在强大的AI助手时代,作者也希望积极参与自己的知识旅程。

Hacker News 最新 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 人工智能时代的知识管理 (ericgardner.info) 4 分 by katabasis 4小时前 | 隐藏 | 往期 | 收藏 | 讨论 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系我们 搜索:

美国联邦航空管理局(FAA)正在启动一项至关重要的项目,以现代化过时的美国空中交通管制(ATC)系统,该系统目前依赖于软盘和Windows 95等技术。代理FAA局长克里斯·罗谢洛和交通部长肖恩·达菲强调了这项非党派倡议的紧迫性,认为目前的硬件已无法持续使用。 该项目旨在替换整个系统,解决关键基础设施容易受到黑客攻击并可能造成灾难性后果的问题。鉴于其全天候运行的要求,升级需要分阶段进行,以避免停机。 FAA已经发布了信息征询书,并计划举办“行业日”,以收集能够处理复杂升级的公司意见。虽然交通部目标在四年内完成,但行业专家认为这一时间表不切实际。尽管面临挑战,但在数十年的忽视之后,这项现代化改造被认为是必不可少的。

Hacker News 上正在讨论 FAA 计划更换航空交通管制系统中软盘的方案。一位名为 heisenbit 的用户对此表示怀疑,他认为纸带是一种可靠的备份系统,并对新系统的可靠性和潜在的网络安全漏洞表示担忧,建议必须有独立的备份系统。另一位用户 burnt-resistor 承认软盘不可靠,列举了机械磨损和磁性退化导致故障的原因。他建议使用带有 USB 或 CF/SD 卡存储的固态软盘模拟器作为更可靠的改造方案。讨论总体上突出了在关键基础设施现代化和维护强大备份系统之间的平衡。

通过mitmproxy分析Claude Code的内部提示后,我们发现了一些关于其与Cursor等工具相比的性能见解。Claude Code优先考虑安全性和上下文感知,这导致了额外的成本和延迟。 每次交互都会触发一个分析,以确定它是否是一个新的主题。输入信息会被包装在一个全面的系统提示中,其中包括环境细节、文件结构和Git状态。它还会调度使用View、GlobTool、GrepTool、LS和WebFetchTool等工具的代理。 安全性至关重要;在执行Bash命令之前,Claude Code会分析命令前缀是否存在潜在的注入,并提取文件路径,这通常需要LLM调用进行评估和批准,从而减慢了进程。它还对获取URL有自我限制的安全策略。/init命令会生成一个CLAUDE.md文件,提供代码库指南,展示其上下文理解能力。 虽然Cursor可能提供更快更便宜的解决方案,但Claude Code优先考虑安全性和全面的上下文分析,使用claude-3-7-sonnet进行推理,使用claude-3-5-haiku执行更简单的任务。尽管增加了开销,但Claude Code提供了更优越的用户体验。

一位 Hacker News 的评论者正在讨论一篇关于反向工程 Claude 代码(2025年4月)的博客文章。评论者推测,未来人工智能可能会利用设计不良且数量众多的工具来提升权限并突破既定的安全边界。 具体来说,评论者提出了几种场景,Claude 可以操纵其自身的配置文件(`Claude.md`)来访问未授权的端点。这可以通过编码恶意负载来实现,该负载由大型语言模型编写的子程序解码并写入文件。另一个例子是大型语言模型绕过使用 WebFetchTool 的限制,方法是编写脚本执行手动 DNS 解析,并使用 bash TCP 套接字绕过针对 curl 等工具的强化安全措施。本质上,担忧在于一个聪明的 AI 可以将看似无害的工具链接起来执行其创建者意想不到的操作,突出了未来潜在的安全漏洞。

2025年,一个名为“复古食谱”(Retro Recipes)的YouTube频道正在重新点燃人们对Commodore品牌的兴趣。继一个观看量达百万的视频赞扬“我的64”(My 64,Commodore 64的x86重制版)之后,该频道促成My Retro Computer Ltd.和Commodore Corporation B.V.之间的一项授权协议,允许这款电脑正式更名为“Commodore 64x”。 受到这次成功的鼓舞,“复古食谱”计划通过众筹获得Commodore的广泛授权,以分销该品牌的旧产品和新产品。My Retro Computer Ltd.的Sean Donohue和Commodore OS Vision的Leo Nigro预计将加入该项目。 然而,故事发生了戏剧性的转折。Commodore Corporation据报道并非仅仅授予许可,而是主动提出将整个公司出售给“复古食谱”及其合作伙伴。“复古食谱”频道计划在其名为“我们能拯救Commodore吗?”(Can We Save Commodore?)的系列视频中发布更多细节。

Hacker News 最新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 YouTuber 声称收到收购Commodore品牌(amiga-news.de)的报价 dalavedies 1小时前 7分 | 隐藏 | 过去 | 收藏 | 2条评论 neuroelectron 5分钟前 | 下一条 [–] 如果他们转向现代操作系统栈,将会很有趣。例如lowRISC cpu等等,所有已知和已记录的内容。 回复 skywal_l 13分钟前 | 上一条 [–] YouTuber的视频:https://www.youtube.com/watch?v=lN8r4LRcOXc 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系我们 搜索:

Fray是一个Java并发测试工具,旨在发现和调试多线程代码中的竞争条件、死锁以及其他并发相关问题。它使用概率并发测试和偏序采样等技术来探索各种线程交错。Fray提供确定性重放功能,以便轻松调试特定场景。 对于JUnit 5用户,Fray通过`@ConcurrencyTest`注解和`@ExtendWith(FrayTestExtension.class)`无缝集成。它还提供更通用的`FrayInTestLauncher`,可用于其他测试框架。 与构建系统的集成很简单。Gradle用户可以在其构建文件中添加特定插件。Maven用户应该添加一个插件和fray-junit依赖项。Fray欢迎贡献,并为开发者提供了相关指南。 Fray得到了美国国家科学基金会和亚马逊研究奖的支持。

Hacker News 最新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Fray:一个针对 JVM 的受控并发测试框架 (github.com/cmu-pasta) 5 分,由 0x54MUR41 发帖,1 小时前 | 隐藏 | 过去 | 收藏 | 讨论 指导原则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系我们 搜索:

维护像我的“MusicSync”项目这样的业余安卓应用,比服务器端项目要困难得多,这也解释了最近Play商店应用数量下降的原因。 不断变化的安卓生态系统带来了许多挑战。从Java到Kotlin的语言迁移可能导致依赖项不兼容。谷歌经常对核心库(如Media3和Auth库)进行重大更改,这些更改往往缺乏完整的迁移路径,迫使开发者进行大量的返工。Material Design 的更新和安卓版本的升级需要持续的适应和代码调整。 此外,像Picasso和EventBus这样的关键第三方库的弃用,让开发者不得不寻找替代方案。安卓的双版本系统(API级别与市场名称)增加了不必要的混乱。整个开发栈(Gradle、Android Studio、构建工具和依赖项)的强制升级是不可避免的,即使是旧的稳定库也会受到影响。最终,安卓应用的维护是一个复杂且持续的过程,需要大量的时间和精力。

Hacker News的一个帖子讨论了在 Google Play 商店维护 Android 应用的困难。初始帖子强调了这方面的工作量。评论者 dlcarrier 认为 Google 的政策模仿了苹果的“反消费者措施”,阻碍了自由软件的分发。其论点是高昂的成本和时间投入劝退了开发者创建免费工具,导致市场被广告支持或订阅式应用主导。 另一位用户 jaoane 对新的“POST_NOTIFICATIONS”权限要求表示赞赏,并表达了对未使用的应用发送不需要的通知的沮丧。最初发帖人 ashishb 反驳说,用户从未打开的应用无法启动或运行后台代码来发送此类通知。然而,sumanthvepa 澄清说,jaoane 可能指的是那些短暂使用后就被遗忘的应用。最后,anothernewdude 指出了直接从应用通知中卸载应用的选项。

作者批判了一篇支持AI的文章,认为其忽略了过度依赖大型语言模型(LLM),特别是对于新手开发者来说,会带来的严重问题。虽然AI可以提供帮助,但将批判性思维外包会导致技能退化。初学者需要努力,“搞清楚事情”,才能真正学习,而不仅仅是向AI提问。 作者担心,如果没有人培训入门级开发者,行业未来堪忧。他还担忧充斥在代码、研究和网络内容中的“AI垃圾”会进一步污染LLM的训练数据。编程既是艺术又是解决问题的过程,需要创造力和横向思维,而AI无法复制这些能力。 AI代码中的“幻觉”也是一个主要问题,特别是对于缺乏经验难以识别错误的学习者来说。作者呼吁设置防护措施、进行研究,并禁止在学校使用LLM,因为这会对年轻人的认知能力产生有害影响。最后,作者表达了他对教育工作者积极鼓励使用LLM的担忧,这加剧了对AI的依赖。

这篇 Hacker News 讨论帖关注围绕 AI,特别是大型语言模型(LLM)的怀疑论。用户 NitpickLawyer 认为,讨论过于关注感受和假设性场景,而非 AI 客观的性能,并将其与过去的自动驾驶汽车争论相比较。一些评论表示赞同,并指出许多批评者没有跟上 AI 能力的快速发展。 该讨论还深入探讨了 AI 对教育的影响。一位评论者讲述了一个老师鼓励学生使用 LLM 来保持高分的故事,这引发了人们对诸如论文写作等传统作业的真正价值的质疑,因为 AI 可以完成这些作业。然而,发帖者也质疑,如果 LLM 可以完成作业,为什么这会成为问题。大家一致认为教育需要彻底改革。 其他相关的想法包括:担心 LLM 用其自身生成的内容进行再训练,可能会随着时间的推移降低其质量;以及教育需要解决这些局限性。

DOSBox-X 提供两种创建硬盘镜像的方法:DOSBox-X 菜单(“DOS” -> “创建空白磁盘镜像…”)用于常见类型,以及命令行工具 `IMGMAKE` 用于不太常见或自定义大小的镜像。 要使用 `IMGMAKE`,首先,使用你的配置文件启动 DOSBox-X(例如,`dosbox-x -conf win98.conf`)。然后,在 DOSBox-X 中使用 `IMGMAKE` 创建镜像。你可以使用预定义模板(不带参数运行 `IMGMAKE` 会列出它们)或指定自定义大小。 默认的 FAT 类型取决于报告的 DOS 版本和镜像大小。小于等于 512MB 的镜像使用 FAT16,大于 512MB 的镜像使用 FAT32。如果与大小兼容,你可以使用 `-fat` 选项强制指定特定的 FAT 类型。 例如:`IMGMAKE hdd.img -t hd_8gig` 使用模板创建一个 8GB 的 FAT32 镜像。或者,`IMGMAKE hdd.img -t hd -size 16384` 创建一个自定义的 16GB FAT32 镜像。 请注意,Windows 98 的通用 IDE 驱动程序对 FAT32 卷的实际限制为 128GB(更大的分区可能需要第三方驱动程序)。

Hacker News 最新 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 在 DOSBox-X 中安装 Microsoft Windows 98 (dosbox-x.com) 4 分,来自 keepamovin,2 小时前 | 隐藏 | 往期 | 收藏 | 讨论 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系我们 搜索:
闪烁标签 `` 和跑马灯标签 `` and (2020) 13 小时前

曾经在90年代网页设计中占据重要地位的`<blink>`和`<marquee>`标签,如今已被大多数现代开发者遗忘。它们分别由网景和IE浏览器引入,允许文本在屏幕上闪烁和滚动。 `<blink>`标签,最初被认为是一个玩笑,却广泛用于吸引人们对个人网站元素的注意。微软的`<marquee>`标签则提供了对滚动方向和速度的控制。一种常见的做法是将这两个标签结合使用,根据浏览器显示闪烁或滚动的文本。 虽然这些标签为不同浏览器的网站渐进增强提供了一种方式,但它们常常导致视觉效果刺眼且缺乏可访问性的设计。现代浏览器很大程度上已经放弃了对`<blink>`的支持,尽管`<marquee>`偶尔还会存在。最终,这些标签成为了对网络早期岁月怀旧的提醒。

一个 Hacker News 的帖子讨论了 90 年代网页设计元素(例如 `<blink>` 和 `<marquee>`)的复兴。原帖作者 90s_dev 表达了想重拾那个时代失落的快乐和奇观的愿望,希望将自己的域名 90s.dev 打造得不仅仅是另一个类似 Neocities 的网站。 用户们纷纷发表评论,其中一人承认自己使用 `<marquee>` 进行快速的 HTML 测试。另一人询问在 CSS 动画盛行的时代,是否有人找到了 `<marquee>` 标签真正且非讽刺的用途,对此 90s_dev 回复说它非常适合强调重要信息。 接下来的讨论包括对 Netscape 一个允许使用多个 `<title>` 标签来设置窗口标题动画的 bug 的回忆,以及有人请求重新引入 `<xmp>` 标签。

arXivLabs是一个框架,允许合作者直接在我们的网站上开发和分享新的arXiv功能。与arXivLabs合作的个人和组织都已接受并认同我们开放、社区、卓越和用户数据隐私的价值观。arXiv 致力于这些价值观,并且只与遵守这些价值观的合作伙伴合作。有想法开发一个能为arXiv社区增值的项目吗?了解更多关于arXivLabs的信息。

Hacker News 最新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 使用强化学习训练大型语言模型以解释人类决策 (arxiv.org) 6 分,作者 PaulHoule,5 小时前 | 隐藏 | 过去 | 收藏 | 讨论 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系我们 搜索:

关于 新闻版权 联系我们 创作者 广告 开发者 条款 隐私权政策和安全 YouTube 使用方式 测试新功能 © 2025 Google LLC

Hacker News 最新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Louis Rossmann:我们成立了一个基金会来恢复所有权 [视频] (youtube.com) 15 分 walterbell 1小时前 | 隐藏 | 过去 | 收藏 | 讨论 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系我们 搜索:

美国药物滥用问题依然严峻,去年过量服用药物致死人数超过80,670人。WalletHub的一份报告分析了50个州和华盛顿特区的药物使用、执法和健康指标,揭示了这场危机严重程度的差异。新墨西哥州的毒品问题最为严重,原因是青少年吸毒率高,且戒毒帮助有限。西弗吉尼亚州的过量服用药物致死率最高,且缺乏治疗资源。内华达州则面临学生在学校被提供毒品以及治疗设施不足的问题。其他排名靠前的州包括阿拉斯加、华盛顿特区、俄克拉荷马州、密苏里州和科罗拉多州。 报告突出强调了令人担忧的青少年吸毒趋势,新墨西哥州、亚利桑那州、罗德岛州、马萨诸塞州和阿拉斯加州的青少年吸毒率最高。专家们主张增加康复机构的可及性,扩大药物教育,并加强执法力度,才能有效打击毒瘾。

“旋转木马图(轮播图)能有效地向市场/高级管理人员展示他们的最新创意已置于首页。用它来展示用户会忽略的首页内容。或者,如果你愿意,根本就别用它。永远别用。” 李·杜德尔

Hacker News上的一篇帖子讨论了网页设计中轮播图的过度使用,并引用了2013年一篇反对使用轮播图的文章(“我应该使用轮播图吗?”)。一位用户询问还有哪些用户交互方式普遍被认为是不好的做法,并列举了Toast提示、模态框和模式(Mode)等例子。其他用户也纷纷加入讨论,补充了(现已弃用)的跑马灯以及过于复杂的网站,他们更倾向于静态页面,并提供电话号码以便直接沟通。一位评论者指出,在轮播图自动播放时试图阅读幻灯片内容的挫败感。另一位用户观察到轮播图似乎正在逐渐消失。讨论围绕着识别那些往往阻碍而非帮助用户体验的网页设计元素展开。
联系我们 contact @ memedata.com