每日HackerNews RSS

## 美国法律现在在Git中:一种新的法律透明度方法 受西班牙将法律法规版本控制在Git中的倡议启发,开发者v1d0b0t和nickvido迅速创建了一个Git仓库,其中包含整个美国法典——所有54个标题——以结构化的Markdown格式呈现。该项目仅用48小时完成,旨在提供美国法律变更的透明且易于追踪的历史记录。 传统上,理解法律修正案需要破译诸如“删除‘损害’并插入‘伤害’”之类的指令。使用Git可以提供清晰的“差异”(diffs),显示具体的变化内容和时间,使用户能够浏览法典在任何时间点的状态。这建立在之前的失败尝试之上,提供了结构化的元数据和对持续维护的承诺。 至关重要的是,该项目并非手动编写代码。它是通过“Dark Factory”(一个由人工智能驱动的自主开发流程)构建的,所有阶段——规范、安全审查、测试和实施——均在GitHub issue中公开记录。这个过程甚至识别并修复了安全漏洞。 该团队计划导入法典的历史快照,并最终将法案表示为pull request,模拟软件开发流程。这种创新方法将法律视为代码,为追踪法律演变提供了前所未有的清晰度和问责制。

对不起。

## 队列的幻象:延迟陷阱 本文探讨了在系统中利用队列来应对流量高峰的陷阱,尽管队列最初看起来很有吸引力。虽然队列*似乎*可以避免容量问题,但它们只是*延迟*了问题,通常会导致用户体验到大幅增加的延迟。 核心问题在于:即使是短期的过载也可能产生巨大的队列。流量激增两倍可能导致请求等待时间长达一小时,即使激增已经消退。不同的队列选择方法(FIFO、随机、加权)仅仅是*重新分配*了痛苦——它们并不能消除痛苦。 作者认为队列提供了一种虚假的安全性。最终,唯一的真正解决方案是增加容量。虽然成本高昂,但它比让用户遭受不可预测的、可能很长的延迟要好。可见的队列(例如得来速)会设定期望;隐藏的软件队列会创造一种令人沮丧的“神秘盒子”体验。 结论?停止依赖队列作为权宜之计,并优先构建具有足够容量以处理需求的系统,确保一致的性能并避免未来的麻烦。

对不起。

最近的阿耳忒弥斯2号发射吸引了数千人前往佛罗里达州的航天海岸,唤起了人们对阿波罗时代的怀旧之情,但也夹杂着现代的怀疑。尽管此前公众的认知度出乎意料地低,人群还是聚集在一起,忍受着天气和期待,见证了太空发射系统的强大升空——这是一枚耗资巨大但视觉效果 впечатляющая ракетa,采用较旧的技术制造。 该任务旨在让宇航员在50多年后首次进入月球轨道,这一壮举受到与中国地缘政治竞争以及对长期承诺的质疑的影响。虽然美国国家航空航天局希望阿耳忒弥斯计划能够建立可持续的月球存在,但人们仍然存在疑虑,让人回想起最初阿波罗计划未能兑现的承诺。 发射本身就是一场壮观的景象,震撼大地,令人敬畏。包括第一位黑人男性和第一位非美国人进入地球轨道在内的多样化乘组体现了包容性的美好愿景。然而,事件的展开背景是全球冲突和政治分裂,促使人们反思这次“重演”的太空探索是否能够带来与前一次一样的统一文化时刻。最终,发射提供了一种短暂的共同惊奇感,随着火箭消失在天空中,留下围观者思考接下来会发生什么。

[]memo 是一种意识流编程环境。你只有一个程序,它总是在变成新的东西。每次返回,它都会从你离开的地方继续。随着代码行从屏幕上滚落,它们会被遗忘。 []memo 是函数式的,并使用自然语言语法: 记住 函数名,参数 作为 表达式。列表元素用逗号和/或两者分隔。[]memo 忽略数字,例如 4,并期望 four:记住 p 为 one, two, 和 three。使用 Tell me 命令打印:Tell me about name。 有些值是近似的。 Cookies 仅用于存储程序状态。 更多信息请在 GitHub 上查看... 这种语言是 Daniel Temkin 的 Forty-Four Esolangs 书中的一部分。

对不起。

## 代理开发环境 (ADE) 的兴起 作者认为,传统的 IDE 正在因 Claude Code 等 AI 编码助手快速发展而变得过时。最初的个人经验表明,生产力得到了显著提升——原本需要几天才能完成的功能现在只需数小时。这促使公司范围内进行了一项实验,将工程师从 IDE 迁移到基于终端的代理工作流。 尽管最初在代码控制和概览方面遇到了一些阻力,但核心思想是将重点从逐行代码审查转移到强大的测试、CI 和清晰的需求上。AI 通过强大的安全措施变得可靠,而不是持续的监督。 然而,同时管理多个 AI 代理很快成为一个新的瓶颈——人类的上下文切换。这种认识促使开发了“Lanes”,一个旨在管理代理驱动开发的复杂性并将所有必要的工具集成到单个工作空间中的系统。作者认为,未来是“代理开发环境”(ADE),工程师专注于 *构建什么*,而将 *如何构建* 交给 AI 代理。

对不起。

## Haskell 记录组装优先使用 `do` 记号 在 Haskell 中构造记录时,**`do` 记号通常优于使用 Applicative 运算符 (`<&$>`, `<*>`)**,即使对于实现 `Monad` (如 `IO`) 或仅 `Applicative` (如来自 `optparse-applicative` 的解析器) 的类型也是如此。对于非 Monadic Applicative,需要启用 `ApplicativeDo` 扩展。 `do` 记号具有几个优点:**更好的易用性**,使代码更简洁易读,尤其是在添加提示或复杂逻辑时;**顺序无关性**——记录字段顺序的更改不会破坏代码;以及在缺少字段时**更好的错误消息**,直接指示需要初始化的字段。 使用 Applicative 运算符可能会导致笨拙的多行表达式和关于函数类型的晦涩错误消息。`do` 记号更清晰的结构简化了调试,并且对初学者来说更容易理解。 此建议专门适用于使用记录语法定义的记录;它不适用于位置参数。然而,这是一种以可维护和可理解的方式构建记录的宝贵实践。

对不起。

必须启用 JavaScript 才能使用 Notion。请启用 JavaScript 以继续。

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 ParadeDB (YC S23) 正在招聘数据库内部工程师 (Rust) (paradedb.notion.site) 1天前 | 隐藏 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系方式 搜索:

请启用Cookie。 错误 1005 Ray ID:9e632079ebd3fdfb • 2026-04-02 22:04:00 UTC 拒绝访问 发生了什么? 该网站(gizmodo.com)的所有者禁止您的IP地址所在的自治系统编号(ASN 45102)访问此网站。 请参阅 https://developers.cloudflare.com/support/troubleshooting/http-status-codes/cloudflare-1xxx-errors/error-1005/ 了解更多详情。 此页面是否有帮助? 是 否 感谢您的反馈! Cloudflare Ray ID:9e632079ebd3fdfb • 您的IP: 点击显示 47.245.80.60 • 由Cloudflare提供性能和安全保障。

对不起。

澳大利亚正在实施新的赌博广告限制,此前多年来一直因其人均赌博损失高居世界首位而受到批评。虽然没有全面禁止,但自1月1日起生效的改革将把电视广告限制在每小时3则(上午6点至晚上8点30分之间),并在现场体育直播期间禁止广告。 广播广告将在学生上下学时间受到限制,名人/运动员将被禁止出现在赌博宣传中。在线广告需要成年人登录账户并提供退出选项。广告也被禁止在体育场馆和制服上。政府还将打击非法离岸赌博网站和某些在线游戏类型。 这些变化受到了赌博行业和倡导团体的批评。赌博行业担心收入损失和“危险先例”,而倡导团体则认为这些措施不够,需要全面禁止以保护儿童。尽管一些行业人士承认公众情绪正在变化,但他们担心限制可能会促使赌徒转向不受监管的离岸平台。

对不起。

## Kiyeovo:去中心化消息 Beta 总结 Kiyeovo 是一款目前处于 Beta 阶段的对等消息传递应用,优先考虑隐私和去中心化。它提供端到端加密的直接消息,并具有离线投递功能。用户可以选择**快速模式**(低延迟,中继,1:1 音频/视频通话)或**匿名模式**(Tor 路由,速度较慢但更私密)。 主要功能包括群聊、加密文件传输以及个人资料导入/导出。Kiyeovo 没有中央服务器运行;用户可以使用默认设置或自行托管。其核心使用 Electron、React 和 libp2p 构建。 本次 Beta 测试重点收集核心功能反馈。完整版本将增加群组音频/视频通话、屏幕共享、性能改进、安全增强、本地 API 以及表情符号。 Kiyeovo 目前在 Linux 和 macOS 上测试,它通过双网络方法和对 DHT 的依赖来处理离线消息,从而与 Briar、Session、Tox 和 Ricochet 等类似应用区分开来。预配置节点可用于测试,设置说明在文档中提供。

对不起。

更多

联系我们 contact @ memedata.com