LibRedirect是一款浏览器扩展程序,它优先考虑您的隐私,通过自动将热门网站重定向到替代的、注重隐私的前端来实现。它支持YouTube、Instagram、Reddit、TikTok等众多平台,并为每个平台提供多种选择。 例如,YouTube可以重定向到Invidious、Piped或FreeTube;Reddit用户可以选择Libreddit或Teddit;Twitter重定向到Nitter;Instagram重定向到Proxigram;TikTok重定向到ProxiTok。LibRedirect还扩展到其他服务,例如ChatGPT、Github,甚至Urban Dictionary,分别将其替换为DuckDuckGo AI Chat、Gothub和Rural Dictionary等替代方案。它还涵盖文件共享、搜索和翻译服务。通过使用这些替代前端,用户可以更私密地浏览网页,并更好地控制自己的数据。

Hacker News 最新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 一个将YouTube、X等网站重定向到隐私友好型前端的网页扩展 (libredirect.github.io) riffraff 2小时前 13 分 | 隐藏 | 过去 | 收藏 | 1 评论 anthk 1小时前 [–] X.com 用 lightbrd.com 比用 xcancel 好,后者总是出现验证码。 回复 考虑申请 YC 2025 秋季批次!申请截止日期为 8 月 4 日 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系我们 搜索:

请启用JS并禁用任何广告拦截器

Hacker News 最新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 人类学会在任何地方生存 (nytimes.com) 4 分,来自 pepys,3 小时前 | 隐藏 | 过去 | 收藏 | 讨论 考虑申请 YC 2025 秋季批次!申请截止日期为 8 月 4 日 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系我们 搜索:

开始副业 学习西班牙语 每天步行1万步 学习吉他 戒掉TikTok 减重5公斤 进行公开演讲 学习人工智能 多吃蛋白质 争取升职 存1万美元 开始跑步 阅读12本书 每天冥想 创作10幅艺术作品 早上6点起床 每天写日记 戒烟 学习10道新菜谱 游览3个国家 开始副业 学习西班牙语 每天步行1万步 学习吉他 戒掉TikTok 减重5公斤 进行公开演讲 学习人工智能 多吃蛋白质 争取升职 存1万美元 开始跑步 阅读12本书 每天冥想 创作10幅艺术作品 早上6点起床 每天写日记 戒烟 学习10道新菜谱 游览3个国家

Murahovsky 推出了Progressor,这款工具旨在帮助用户将宏伟的目标分解成可操作的步骤。它引导用户通过一系列问题来了解他们的目标和现状,然后生成个性化的计划,包括每日任务和资源。其目标是克服规划瘫痪和对大型模糊项目的缺乏动力。 早期反馈突出了需要改进的关键领域。用户担心缺乏清晰的隐私信息和数据使用政策,尤其考虑到该工具的人工智能特性。“便签大小”的隐私政策需要扩展。定价透明度也至关重要,因为用户在不知道订阅成本以及付费计划解锁哪些功能的情况下,犹豫是否投入时间。另一位用户评论说,入门流程让人感觉可以“免费规划”,而实际上,该工具立即需要订阅付费。

Clippy 将从 2025 年 6 月 26 日(Rust 1.89.0 beta 版)到 2025 年 9 月 18 日(Rust 1.89.0 正式版)进行为期 12 周的功能冻结。在此期间,将不接受任何新功能(lint),重点放在错误修复和改进现有 lint 的准确性上。用户可以期待更少的误报和更好的边缘情况处理。 新的 lint 建议仍然欢迎以 issue 的形式提交,但相关的 pull request 将在冻结期后审核。高级的新 lint PR 可能会根据具体情况进行审核。 用户可以通过报告错误、处理现有 issue、改进文档或修复崩溃来提供帮助。目标是提高现有 lint 的质量和可维护性。可以通过贡献指南、“good first issues”、Zulip 和用于反馈的草稿 pull request 获得帮助。此暂停旨在确保 Clippy 的长期健康,并为 Rust 用户提供更高质量的体验。

Hacker News 最新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 宣布 Clippy 功能冻结 (rust-lang.org) jmillikin 54分钟前 11 分 | 隐藏 | 过去 | 收藏 | 讨论 考虑申请 YC 2025 年秋季批次!申请截止日期为 8 月 4 日 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系我们 搜索:

`mbake` 是一款 Makefile 格式化工具,旨在提高一致性和效率。它通过 `~/.bake.toml` 文件使用可配置的规则集来强制执行样式指南,包括缩进、空格和 `.PHONY` 声明管理。它具有 CI/CD 集成和检查模式。 其主要功能包括智能 `.PHONY` 检测,该功能会动态分析配方以识别和管理虚目标。该格式化工具还支持自动插入缺失的 `.PHONY` 声明。它具有可扩展的插件架构。 `mbake` 提供用于格式化、验证、配置和更新的子命令。它优先考虑对文件的最小改动以保持文件结构,并具有快速执行和可靠验证的特点。 对于开发,插件架构允许自定义格式化规则。为开发者提供了贡献指南,以便他们可以 fork、分支、添加测试、提交更改、推送和打开拉取请求。

Hacker News 最新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 终于,一个 Makefile 格式化工具(晚了 50 年)(github.com/ebodshojaei) rainmans 5小时前 15 分 | 隐藏 | 过去 | 收藏 | 讨论 考虑申请 YC 2025 秋季批次!申请截止日期为 8 月 4 日 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系我们 搜索:

Claude Code 现在支持远程 MCP 服务器,通过直接连接您喜爱的工具和数据源,无需本地服务器管理即可实现个性化的编码体验。这允许 Claude Code 访问来自第三方服务的上下文,例如开发工具、项目管理系统和知识库,从而促进在这些服务中执行操作。 无需管理本地服务器,只需将 Claude Code 与供应商托管的 MCP 服务器集成即可实现无缝访问。与 Sentry 和 Linear 等服务的集成,可以直接在编码环境中立即访问错误报告或项目详细信息。Linear 的 Tom Moor 强调了他们的 MCP 集成如何通过提供实时项目上下文来简化工作流程,从而最大限度地减少上下文切换。 远程 MCP 服务器消除了维护负担;供应商负责更新和扩展。Claude Code 的原生 OAuth 支持确保与现有帐户安全连接,无需管理 API 密钥。远程 MCP 服务器支持现已推出,并提供文档和 MCP 目录来指导用户。

Hacker News 最新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Claude 代码中的远程 MCP 支持 (anthropic.com) surprisetalk 3小时前 12 分 | 隐藏 | 过去 | 收藏 | 讨论 考虑申请 Y Combinator 2025 年秋季批次!申请截止日期为 8 月 4 日 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系我们 搜索:

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

Hacker News 最新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Behringer X32 上的 Linux [视频] (youtube.com) 8 分 birdman3131 58 分钟前 | 隐藏 | 过去 | 收藏 | 1 评论 birdman3131 56 分钟前 [–] 已贴出 YouTube 链接,其中详细介绍了使其运行所需的大量工作。https://github.com/xn--nding-jua/OpenX32 是 GitHub 链接,方便不想看视频的人。 回复 考虑申请 YC 2025 年秋季批次!申请截止日期为 8 月 4 日 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系我们 搜索:

这是一个非常交互式的应用程序,它真的需要 JavaScript 才能运行。

Hacker News 最新 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 P2piano:一个面向音乐爱好者的P2P协作空间 (p2piano.com) 8 分 作者:giulianopz 3 小时前 | 隐藏 | 往期 | 收藏 | 讨论 考虑申请YC 2025秋季批次!申请截止日期为8月4日 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系我们 搜索:

TPU是谷歌定制的ASIC,专为高矩阵乘法吞吐量和能效而设计,以满足不断增长的AI应用需求。与拥有众多核心和大型HBM的GPU不同,TPU优先考虑片上内存,并严重依赖 systolic array( systolic array)和提前编译 (AoT) 来提高效率。 Systolic array,一个处理单元网格,擅长密集矩阵运算,避免频繁访问内存。XLA编译器预先优化程序,最大限度地减少能耗高的缓存使用。TPU架构可从单个芯片扩展到托盘、机架(3D环形结构中包含64个芯片)和集群(TPUv4中最多包含4096个芯片)。光路交换 (OCS) 能够在集群内灵活使用非连续的TPU切片,从而提高资源利用率和容错能力。 对于大型模型,多个集群通过较低带宽的数据中心网络 (DCN) 相互连接。谷歌利用XLA编译器协调芯片间的通信,从而隐藏硬件的复杂性。

Hacker News 最新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 TPU 深度剖析 (henryhmko.github.io) 20 分,来自 transpute,1 小时前 | 隐藏 | 过去 | 收藏 | 1 评论 jan_Sate 8 分钟前 [–] 我以为会是关于 3D 打印机的耗材。 回复 考虑申请 YC 2025 秋季批次!申请截止日期为 8 月 4 日 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系我们 搜索:

假设以色列发起“雄狮崛起”行动,重创伊朗核设施,但深埋地下的福尔多设施幸免于难。这引发华盛顿关于是否动用美军GBU57巨型钻地炸弹的争论。尽管伊朗随后进行导弹反击,但消耗了其大部分武器储备。 特朗普总统在向伊朗下达限制核计划最后期限后,考虑对伊朗采取军事打击,但也在权衡潜在后果。摧毁福尔多设施的后果令人担忧,可能出现亲西方的礼萨·巴列维政府,也可能出现类似萨达姆倒台后伊拉克的混乱局面,导致出现流氓民兵组织和核威胁。 行动的成功取决于缜密的情報收集,包括摩萨德在伊朗境内的秘密行动。中国在伊朗的巨额投资增加了事情的复杂性,北京可能会利用这一局势。作者总结说,任何美国的行动都必须伴随明确的战后治理和稳定政治路线图,以防止中国利用事态发展。

sapf(发音同“sound as pure form”)是一种特定领域的语言,用于创建和操作音频,它采用类似于FORTH、APL和Joy的函数式、基于堆栈的范式。它通过对延迟的、潜在无限的音频和控制事件序列进行自动映射、扫描和归约操作,强调简洁的表达。这种受APL启发的途径避免了显式循环,使得可以用最少的代码实现复杂的音频处理。 受结合式语言的启发,sapf采用后缀表示法,简化了语法并促进了函数组合。虽然受到了这些语言的影响,但sapf包含了词法变量。关键数据类型包括实数、字符串、列表(流/信号)、表单(字典)、函数和可变的引用。多通道扩展和特殊的映射运算符提供了对音频处理的细粒度控制。数学运算符扩展了归约和扫描变体,以实现高效的序列处理。sapf旨在提供一个强大而富有表现力的环境,用于探索声音作为基本元素。

Hacker News 最新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 纯音形式:受 Supercollider、APL 和 Forth 启发的音乐语言 (github.com/lfnoise) mindcrime 26 分钟前 10 分 | 隐藏 | 过去 | 收藏 | 讨论 https://www.youtube.com/watch?v=FY2WYXOdXoM 考虑申请 Y Combinator 2025 年秋季批次!申请截止日期为 8 月 4 日 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系我们 搜索:

陆军上校内森·麦科马克因其批评以色列的社交媒体帖子被曝光后,被免去了参谋长联席会议黎凡特和埃及部门的职务。这些帖子发布在一个半匿名的X账号上,指责以色列“犹太至上主义”,不成比例地袭击巴勒斯坦平民,并且是对美国的损害性盟友。 五角大楼正在对此事进行调查,并声明麦科马克的观点并不代表国防部。虽然陆军政策鼓励士兵在网上表达政治观点,但建议不要暗示国防部的认可。尽管其中一篇帖子包含免责声明,但它可能将某个立场归因于国防部。 麦科马克的免职是在《犹太新闻联合会》(JNS)的一篇报道强调了他的言论之后发生的。《犹太新闻联合会》此前曾获得亲以色列亿万富翁谢尔登·阿德尔森的资助。麦科马克的履历包括在伊拉克战争后赴伊拉克服役,而那场战争是基于关于伊拉克核武器计划的虚假说法发动的,这些说法是由本雅明·内塔尼亚胡推动的。他的经验本来可能为五角大楼提供宝贵的视角。

这篇cr.yp.to博客文章批评了NIST将Kyber-512选为后量子密码标准化的决定。作者声称NIST在其安全分析中犯了一个关键错误,即错误地将攻击成本相乘而不是相加,导致Kyber-512的安全估计值被夸大。这个夸大的估计值被用来为Kyber-512的入选辩护,尽管它与NTRU相比灵活性有限。作者指出了Kyber参数大小的僵化性,并指出NTRU提供了更广泛的安全级别范围,并且在大小-安全权衡方面通常优于Kyber。 此外,作者认为NIST操纵了评估标准,优先考虑密钥生成速度(Kyber的优势)而不是通信成本和数据大小(NTRU的优势),并且歪曲了数据呈现以偏向Kyber。NIST使用了一种无记忆的安全指标来拒绝NTRU的最低比特大小,但没有对Kyber采用相同的标准,忽略了将NIST使用的最低安全比特大小标准化的风险。作者建议放弃Kyber-512,并敦促NIST对其安全评估提高透明度。

一个Hacker News帖子讨论了一篇论文,该论文驳斥了后量子密码算法Kyber-512的安全计算。一位评论者wahern质疑了论文中关于2022年比特币挖矿仅执行了2^111位运算的说法。他们根据比特币的哈希率计算,实际数字可能要高得多,突出了全球用于比特币计算的巨大规模。 其他评论者担心安全评估中可能出现这种错误,这表明缺乏严格的数学证明。有人猜测,在选择Kyber而不是NTRU等替代方案的过程中,背后可能有政治或经济动机,暗示了选择过程中可能存在的腐败或影响。讨论强调了在密码学中进行精确计算和公正评估的重要性,尤其考虑到漏洞的潜在后果。

第九巡回上诉法院由三位法官组成的全体一致的法官小组推翻了加州的“30天限购一支枪支”法,认为该法违反了第二修正案。该法律限制个人每30天只能购买一支枪支。法官丹妮尔·乔·福雷斯特(Danielle Jo Forrest)代表法院撰写判决书,驳斥了加州的论点,即第二修正案只保证拥有单支枪支的权利,并强调该修正案保护的是拥有“武器”(复数)的权利。法院认为该州的理由毫无根据。此外,该小组认为该法律缺乏历史依据,正如最高法院的布鲁恩(Bruen)判决所要求的那样,指出历史记录甚至没有确立加州这项“每月限购一支枪”法律的历史先例。

本文强烈反对跨性别激进主义,尤其反对未成年人的性别确认治疗。文章认为跨性别意识形态建立在有缺陷的科学基础上,并受企业贪婪和意识形态狂热驱动。作者断言,进步主义者错误地将一种精神疾病正常化,危及弱势儿童。最高法院维持田纳西州禁止性别确认治疗的裁决被视为对跨性别运动的胜利。作者声称,民主党在遭受政治后果后正试图与该问题保持距离,而左派则谴责这是背叛。文章批评儿童跨性别诊所的激增,并对不可逆的医疗干预以及社交媒体和自恋型父母的影响表示担忧。作者认为儿童无法同意如此改变人生的决定,并且“跨性别儿童”没有科学依据。他们驳斥了拒绝治疗会导致自杀的论点,并将性别确认治疗谴责为危险的政治实验。

威廉·普莱费尔(1759-1823)的一生充满丑闻,正值法国大革命和美国崛起等重大历史事件发生之际。早期他曾与詹姆斯·瓦特共事,但在伦敦和巴黎的商业冒险屡屡失败,常常伴随着不当行为的指控。他卷入了俄亥俄公司丑闻,欺骗法国精英购买俄亥俄河谷未开发的土地。 回到伦敦后,他因债务入狱,但成为英国政府的自由职业秘密特工。他参与揭露了法国信号系统,并策划了一项伪造货币的计划以破坏法国经济。后来,他又试图勒索一位富有的苏格兰勋爵,但未成功。 尽管行为不端,普莱费尔却彻底革新了数据可视化,发明了条形图和饼图,并在其《商业与政治地图集》和《统计摘要》等著作中率先使用了线形图。布鲁斯·伯科维茨的著作《普莱费尔》详细记述了他的生平和各种阴谋。

Hacker News 最新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 条形图的坏小子:威廉·普莱费尔 (engora.com) 8 分,来自 bryanrasmussen,1 小时前 | 隐藏 | 过去 | 收藏 | 讨论 考虑申请 YC 2025 秋季批次!申请截止日期为 8 月 4 日 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系我们 搜索:

洛杉矶道奇队正在向近期洛杉矶联邦移民行动中受影响的非法移民家庭提供100万美元的援助。道奇队首席执行官斯坦·卡斯滕虽然没有直接提及移民与海关执法局(ICE),但他表示,该组织正在响应城市的需要,并将与当地团体合作,提供进一步的支持。洛杉矶市长卡伦·巴斯感谢道奇队,并指出近期事件造成的恐惧和经济影响。此前,道奇队拒绝了ICE官员进入其停车场的请求,但国土安全部(DHS)对此说法提出异议,称边境巡逻局(CBP)车辆因无关原因短暂在场。在数十名非法移民被捕后,该市发生了抗议活动,导致财产损失、人员受伤和数百人被捕。前总统特朗普授权国民警卫队和海军陆战队维持秩序,保护联邦财产,并敦促ICE开展大规模驱逐行动,目标是洛杉矶等庇护城市。

北半球的夏至和南半球的冬至在全球范围内以古代和现代传统相结合的方式庆祝。在斯堪的纳维亚和波罗的海国家,仲夏节包括花环、装饰的柱子和篝火,反映了人们在漫长冬季之后对阳光的喜悦。篝火,有时被称为约翰尼斯火 (Johannisfeuer),在欧洲其他地区也很常见,它与异教和基督教传统都有联系。 在英国,人们会在巨石阵聚集,观察太阳与巨石的排列;在南美洲,节日则会祭祀印加太阳神因蒂。甚至在阿拉斯加,一个大型节日还包括午夜棒球赛来庆祝夏至。在亚洲,一些华人社群仍然保留着祭拜太阳的习俗。日本则以点蜡烛放松等新的传统方式来庆祝夏至。夏至和冬至提醒着人类与太阳和四季变化之间永恒的联系。

跳至内容 首页游乐场参考研究类型推断动物园游乐场研究Github🕹️交互式游乐场直接在浏览器中尝试类型推断示例并探索各种算法。简化了实践经验。🧩统一的语法和实现多种类型推断算法中一致的语法——无需浪费时间构建新的解析器或漂亮打印机。👩‍💻对语言实现者友好代码可能比论文中使用的符号更清晰易懂。在MIT许可证下发布。版权所有 © 2025 陈翠

Hacker News 最新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 类型推断动物园 (cuichen.cc) 5 分,来自 mpweiher,2 小时前 | 隐藏 | 过去 | 收藏 | 讨论 考虑申请 Y Combinator 2025 秋季批次!申请截止日期为 8 月 4 日 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系我们 搜索:

随着以色列警告可能与伊朗爆发持久战,紧张局势进一步升级。以色列声称暗杀了三名伊朗高级军事官员,其中包括据称参与策划10月7日哈马斯袭击的赛义德·伊扎迪。另一名指挥官本汉·沙里亚里据报道因协助向地区代理人转移武器而被杀害。以色列军方再次袭击了伊斯法罕核设施,并发布了显示重大损毁的视频,同时保证没有发生放射性泄漏。 作为报复,伊朗向以色列发射了弹道导弹,一架伊朗无人机袭击了以色列北部的一所房屋,但未造成人员伤亡。尽管国际社会通过外交努力试图缓和局势,但以色列军方表示必须为长期冲突做好准备,预示着两国之间可能爆发长期对抗。

Hacker News 上的一篇帖子讨论了特朗普据称轰炸伊朗福尔多核设施的事件。最初的反应表达了对美国此举益处的困惑,一些人将其归咎于以色列的影响和军工复合体。另一些人则认为不能允许伊朗发展核武器,并以朝鲜为例证其危害。一些评论员认为核威慑是防止入侵的唯一保护手段,并指出美国退出伊朗核协议一事。讨论还涉及伊朗可能的报复、钻地炸弹的使用以及“以色列游说团体”在推动冲突中的作用。普遍存在对紧张局势升级和可能爆发更广泛冲突的担忧,一些人质疑特朗普的反战形象。

美国政府在斯诺登泄密事件后实施的禁止雇员和承包商查看公开泄露的机密文件的政策适得其反。虽然这项政策旨在防止进一步泄密并维持对解密的控制,但它却阻碍了对情报技巧和网络安全实践的理解。“维基解密”、“斯诺登事件”和“Discord泄密”等重大泄密事件为美国及其对手的方法提供了宝贵的见解,但该政策却因担心职业影响而阻止专家们研究这些事件。这种情况也延伸到网络安全专业人员,他们被限制分析泄露的黑客工具以进行防御。这项政策甚至影响到学生和学者,限制他们获取重要信息。虽然该政策的某些方面是合理的,但政府拒绝允许分析已经公开的信息是荒谬的,这阻碍了美国学习和适应数字时代现实的能力。理解和吸取这些泄密事件的教训,而不是压制它们,对国家安全至关重要。

Hacker News 最新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 不要阅读此文如果您持有安全许可 (2023) (theatlantic.com) greyface- 22分钟前 10 分 | 隐藏 | 过去 | 收藏 | 1 评论 misswaterfairy 10分钟前 [–] https://archive.md/26QQ5 回复 考虑申请YC 2025秋季批次!申请截止日期为8月4日 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系我们 搜索:

德国国家电视台MDR在其“Einfach Genial”(妙不可言)栏目中制作了一部关于我们的理念、技术发展和测试的纪录片,该栏目主要展示发明家和初创企业的新技术。可以使用自动翻译字幕功能观看纪录片,并配有英文字幕。

Luna Rail的创始人Anton正在攻克夜火车旅行的难题,目标是提升私密性、舒适度和乘客容量,使其成为短途航班更可行、更可持续的替代方案。他将优化车厢布局视为一个空间优化问题,类似于“夜火车俄罗斯方块”。他采取了亲力亲为的方法,在柏林建立了一个工作室来制作全尺寸模型,从基本的材料开始,逐步发展到使用3D打印和数控铣削的复杂原型。 数百人测试了各种迭代版本,以确保人体工学设计和舒适度,而这些仅仅通过渲染图是无法评估的。Luna Rail的网站展示了他们的方法和设计理念。Anton欢迎反馈,并希望这个项目能引起其他人的共鸣。

我想要在我的苹果硅Mac上运行微软新的Edit终端文本编辑器,尽管没有官方的版本。我使用了Docker在一个容器中运行aarch64-linux-gnu版本。最初,我使用Ubuntu和Alpine基础镜像的单行shell命令,但由于每次运行都要安装软件包,所以速度很慢。 为了改进这一点,我创建了一个使用Alpine和`gcompat`(用于glibc兼容性)的多阶段Docker构建。构建阶段下载并解压Edit,而最终阶段只安装运行时依赖项并复制Edit二进制文件。这使得镜像更小更快。 最后,我将镜像发布到了GitHub容器注册表。在生成一个具有write:packages和read:packages访问权限的PAT(个人访问令牌)后,我登录,标记镜像并推送。然后将软件包可见性设置为公开。我还创建了一个包含Dockerfile和使用说明的仓库。现在,任何在苹果硅Mac上安装了Docker的人都可以使用以下命令在本地文件上运行Edit:`docker run --platform linux/arm64 -it --rm -v $(pwd):/workspace ghcr.io/simonw/alpine-edit`

Hacker News 最新 | 过去 | 评论 | 提问 | 展示 | 工作 | 提交 登录 将 MS Edit 的 Docker 容器发布到 GitHub 容器注册表 (simonwillison.net) chmaynard 1小时前 7 分 | 隐藏 | 过去 | 收藏 | 3 条评论 esafak 2分钟前 | 下一条 [–] 如果你不拥有源代码,是否可以克隆一个 GitHub 仓库并保持克隆的同步?如果是这样,你可以创建一个 GitHub Action 来发布这些镜像。 回复 bluedino 3分钟前 | 上一条 | 下一条 [–] 我以为这会让你运行某个版本的 edit.com 回复 piskov 12分钟前 | 上一条 [–] 人们为了不用 Vim 而付出的努力 :-) 回复 考虑申请 YC 2025 年秋季批次!申请截止日期为 8 月 4 日 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系我们 搜索:

请启用JavaScript和Cookie以继续

Hacker News用户正在评论一篇关于美国袭击伊朗核设施的新闻报道。普遍观点认为无核伊朗是可取的,但用户们就袭击的后果和当前局势的历史背景展开了辩论。 一些人责怪特朗普退出伊朗核协议,认为该协议有效地阻止了伊朗的铀生产,并批评这一举动导致了当前的升级。另一些人质疑为什么没有对以色列的核武库进行类似的审查。 一位用户讽刺地描述了袭击中使用的“钻地炸弹”。另一位用户对支持此次袭击的情报表示怀疑,提醒用户最近的情报评估显示伊朗距离研制核武器还有相当距离。该讨论串突显了人们对局势及其对中东地区潜在影响的不同意见。

一笔加密货币意外之财催生了Invictus太阳能项目,该项目旨在通过德克萨斯州的一座太阳能发电厂将数字收益转化为清洁能源,并利用投资税收抵免和合格机会区计划等税收优惠。然而,该项目面临着不可预见的挑战,包括矿产权利分散,需要获得27位所有者的豁免,以及配电线路存在问题,需要进行代价高昂的升级。尽管初步评估显示该项目可行,但详细的互联研究却揭示了局限性:需要花费100万美元升级,但发电量却从计划中的4.54兆瓦降低到3兆瓦。本来就微薄的财务状况因此崩溃。监管不确定性加剧了这种情况,太阳能电池板的潜在关税以及合格机会区计划的到期都带来了影响。最终,在经过一年的工作、大量的资金投入以及复杂的技术和法律障碍后,该项目被叫停。

Hacker News上的一篇文章链接到7goldfish.com的一篇文章“太阳能电站的安魂曲”。讨论主要集中于美国体制性缺陷如何阻碍可再生能源发展。用户akkartik指出了这篇文章,nick238开玩笑地问德克萨斯州的矿产权利法是否允许有人通过获取和利用太阳能电站下面的矿产权利来破坏它。stego-tech进一步阐述,认为能源自给自足经常被牺牲掉以换取假设中的矿产权利利润,公用事业公司未能实现现代化,政府政策前后不一,官僚主义阻碍了创新。这导致了对可再生能源的良好意愿被浪费,因为根深蒂固的利益集团优先考虑假设的经济利益而非集体利益。最后,一个Y Combinator的广告提醒用户申请2025年秋季的批次。

本文探讨了Jane软件套件,该套件最初由Arktronics公司为Apple II开发,后来移植到Commodore 128和Thomson MO5。Jane旨在提高生产力,包含文字处理(Janewrite)、电子表格(Janecalc)和数据库(Janelist)应用程序,并具有用户友好的图标界面。尽管它最初很有前景,并拥有在线帮助等独特功能,但Jane却收到了褒贬不一的评价,人们批评其运行缓慢且功能有限,尤其是在Commodore 128版本上。Arktronics公司由霍华德·马克斯和鲍比·科迪克(后来的动视公司著名人物)创立,该公司财务状况不佳,导致诉讼不断,最终走向衰败。该软件的遗产包括其罕见的法国Thomson MO5版本,该版本展示了光笔界面。虽然Jane从未获得广泛成功,但它突显了Commodore公司在商业软件市场竞争的努力,并为早期软件开发和界面设计提供了宝贵的见解。

Hacker News 最新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 观看 Arktronics 运行的 See Jane 128(附:Magic Desk、3-Plus-1 和 Thomson MO5)(oldvcr.blogspot.com) classichasclass 发表,3 分,46 分钟前 | 隐藏 | 过去 | 收藏 | 讨论 考虑申请 Y Combinator 2025 年秋季批次!申请截止日期为 8 月 4 日 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系我们 搜索:

纽约州州长凯茜·霍楚尔宣布,该州将拨款5000万美元的纳税人资金,用于支付面临驱逐出境的非法移民的法律费用,此举遭到共和党人的批评。 此次宣布是在纽约市主计长布拉德·兰德被指控在一次移民和海关执法局(ICE)行动中袭击联邦官员后做出的,尽管后来指控被撤销。 霍楚尔为这笔资金进行了辩护,她表示担心移民在没有充分的法律代理的情况下与家人分离。 共和党人,包括众议员伊丽莎·斯特凡尼克,谴责了这笔支出,称其滥用了纳税人的钱,优先考虑非法移民而不是纽约人。 兰德的事件,以及其他民主党政治家与执法部门类似的冲突,被一些人解读为试图将自己描绘成压迫性政府的受害者。 当局为这些逮捕辩护,指出针对ICE官员的袭击事件大幅增加,并强调没有人凌驾于法律之上。 此次争议突显了在移民执法政策上持续存在的政治分歧。

Strawberry 🍓 编译器提供了一个用 Rust 编写的 B 编程语言实现,使用 fasm 作为后端。虽然 WarningCompiler 功能尚不完整,但该项目包含一个编译器 `b`,可以执行 B 程序(例如,`./build/b -run ./examples/hello_world.b`)。更多示例请参见 `./examples/` 目录。 `btest` 实用程序简化了测试过程。它从 `./tests/` 编译并运行针对支持目标的测试,生成一个测试状态矩阵报告。运行 `make` 命令可以构建编译器和 `btest`。 可以使用标志自定义测试:`-t` 指定目标平台(例如,`./build/btest -t fasm-x86_64-linux`),`-c` 选择特定的测试用例(例如,`./build/btest -c upper`)。可以组合使用 `-c` 和 `-t` 来进行更细粒度的控制(例如,`./build/btest -c upper -c vector -t fasm-x86_64-linux -t uxn`)。`btest` 可以优雅地处理错误,并为每个测试编译状态报告。

Hacker News上的一篇文章讨论了用户tsoding在GitHub上创建的一个B语言编译器。该编译器使用Crust编写,Crust是Rust的一个自定义子集,旨在通过拥抱`unsafe`代码成为一个“更好的C”。 评论者发现Crust的使用非常有趣。有人认为它产生了一种类似C但具有泛型的语言,这可能比标准C更令人愉快。他们也对避免使用引用和标准Rust库(`libstd`)的决定表示好奇。另一位评论者简洁地指出,这个项目符合tsoding独特的风格。 该帖子还包含标准的Hacker News页脚,其中包含网站导航、指南、搜索功能以及Y Combinator 2025年秋季申请截止日期的推广。

在初创公司,速度的压力往往会导致“p值篡改”,团队操纵数据以寻找统计上显著的结果,这些结果可能是假阳性。一个常见的错误是在没有调整p值阈值的情况下运行多个A/B测试,增加了偶然获胜的几率。Bonferroni校正方法通过将标准p值(0.05)除以测试次数来解决这个问题。 另一个问题是“指标转移”,即在实验失败后,团队寻找其他指标来宣布胜利,从而夸大了假阳性率。预先注册,提前声明成功指标,可以防止这种情况发生。 最后,“偷看”结果(在A/B测试结束前)会扭曲p值。顺序检验根据测试停止的时间调整p值阈值。 遵循统计最佳实践——预先注册假设,避免事后挖掘指标,校正多个变量,并应用正确的阈值——可以得出可靠的结果并真正理解用户。

Hacker News 的一个帖子讨论了在创业公司 A/B 测试中应用统计严谨性,特别是避免 p 值作弊的问题。虽然原文主张其严谨程度应与医学研究相当,但评论者们对其在不太关键的应用中的必要性展开了辩论。 Jemaclus 认为过度的严谨性会阻碍进步,他举了一个例子,一家公司尽管早期信号积极,但仍然等待统计显著性。几位用户同意,产品市场匹配应该先于严格的 A/B 测试。Kylecazar 建议在早期用户较少的情况下,依靠直觉和核心产品开发。Ryan-duve 指出,如果某些行为的成本相似,则不需要假设检验来验证选择。 讨论强调了等待强信号的机会成本,最终达成的共识是:将严谨性调整到符合创业公司的目标,并承认如果初始结果具有误导性则可能需要转向。PollardsRho 和 noodletheworld 解释了为什么预注册(提前声明你打算使用哪个指标来确定显著性)对于避免在数据中搜索太多不同指标而导致假阳性结果非常重要。
联系我们 contact @ memedata.com