美国众议院通过了具有里程碑意义的GENIUS法案，为稳定币设立联邦监管规则，标志着加密货币正式告别灰色地带，步入主流金融领域。该法案要求稳定币发行者持有等值的现金或美国国库券储备，并进行每月披露，为消费者提供保障，也为银行和大型机构参与提供了法律基础。此举不仅规范了加密货币市场，也使美国在全球数字货币竞争中占据领先地位，为基于稳定币的即时全球支付和日常应用铺平了道路。
阅读更多
面对日益严峻的老年人口护理需求和护士短缺问题，新加坡积极探索人工智能解决方案。文章介绍了新加坡如何利用AI技术进行预防性医疗，例如开发利用语音生物标志物检测老年人抑郁症早期征兆的AI工具SoundKeepers，以及使用类人机器人Dexie陪伴老年人，减轻孤独感。尽管AI在老年护理中展现出巨大潜力，但文章也指出，过度依赖AI可能导致人际互动减少，需要谨慎权衡利弊，并注重保护患者隐私。
阅读更多
作者挑战用500行Python代码编写一个C编译器，目标是WebAssembly。为达到目标，作者采用了单遍编译策略，放弃了抽象语法树，直接在解析过程中生成代码。这使得编译器代码精简，但牺牲了部分功能，例如不支持浮点数、结构体等。最终编译器能成功编译和运行一些简单的C程序，展现了单遍编译的可能性。
阅读更多
EmbedPDF 是一款框架无关的 MIT 许可的开源 JavaScript PDF 阅读器，可轻松集成到任何 JavaScript 项目中，无论是 React、Vue、Svelte、Preact 还是原生 JS。它提供流畅的现代阅读体验和简洁的开发者 API，支持注释（高亮、粘性便签、自由文本、墨水）、真正的内容移除、搜索、文本选择、缩放、旋转以及虚拟滚动等功能。此外，它还具有可扩展的架构和可 tree-shaking 的插件。项目已开源，欢迎贡献！
阅读更多
亚马逊云科技（AWS）为了提供可靠的服务，采用了多种形式化方法，从早期的TLA+到如今的P语言和各种轻量级方法，例如基于属性的测试、模糊测试和故障注入。这些方法不仅帮助AWS在开发早期发现并消除难以察觉的bug，提高了开发速度和效率，也为性能优化提供了可靠的保障。文章还探讨了元稳定性等新兴系统行为的挑战，以及未来利用大型语言模型和AI辅助工具降低形式化方法使用门槛的可能性。
阅读更多
谷歌工程师面临着技术债务导致开发效率低下的问题。他们通过问卷调查、数据分析和跨职能团队合作，定义了十类技术债务，并开发了成熟度模型来评估团队管理技术债务的能力。最终，他们通过教育、工具和流程改进，显著降低了技术债务对工程师工作效率的影响，证明了系统性管理技术债务的重要性，而非追求零债务。
阅读更多
SpaceX的龙飞船在飞往国际空间站的途中，执行了一系列的变轨燃烧，逐步靠近空间站。之后，它进行了最终的对接操作，包括对接舱的加压、舱门的打开以及宇航员的进入。整个过程精密而高效，展现了航天技术的精湛之处。
阅读更多
一款应用获得了5星好评，并拥有两条用户评价。开发者Daniel Plata声明该应用的隐私政策包含数据收集，但这些数据与用户身份无关。应用支持家庭共享功能，部分应用内购买（例如订阅）可与家庭成员共享。
阅读更多
谷歌为广告目的重新启用数字指纹追踪技术，引发隐私担忧。此技术通过收集用户在线信号（IP地址、浏览器信息等）识别用户设备，绕过了用户对cookie的控制。尽管谷歌声称使用了隐私增强技术，但英国信息专员办公室已将其标记为“不负责任”，认为此举减少了用户对个人信息的控制，并可能导致广告商行为风险增加。此举与谷歌之前承诺的尊重用户隐私相悖，并引发了关于数据收集和用户选择权的讨论。
阅读更多
本文深入探讨了Go语言调度器的演进历程，从早期的单一全局运行队列的低效模型，到如今高效的GMP模型（Goroutine、Machine、Processor）。文章详细解释了GMP模型中各个组件的角色和运作机制，包括goroutine的创建、预取、系统调用处理以及netpoll在网络I/O和文件I/O中的作用，并阐述了协作式和非协作式抢占机制。通过对Go运行时源码的分析，读者可以更深入地理解Go并发模型的精妙之处，从而编写更高效的并发程序。
阅读更多
zygomorph在2024年秋季完成了一次史诗般的自行车骑行之旅，历时77天，行程3877英里（6239公里），沿途穿越美国东部分水岭步道。从缅因州到佛罗里达州，他记录下了这段旅程的点点滴滴，包括精彩的风景、挑战性的地形以及各种令人难忘的经历。这篇游记详细地描述了旅程中的每一天，充满了生动的细节和图片，是一部精彩的户外探险故事。
阅读更多
谷歌以安全为由，在新加坡试行限制Android应用侧载，阻止通过浏览器等途径安装请求敏感权限的应用。此举引发争议，被批评为巩固谷歌在应用分发领域的垄断地位，限制用户自由和创新。与之形成对比的是，追求隐私和安全的Purism公司推出了基于PureOS的Librem手机，为用户提供摆脱谷歌等科技巨头监控的替代方案，强调用户自主权和数据主权。这场博弈的核心在于：如何在安全和用户自由之间找到平衡点。
阅读更多
本文讲述了作者与科技思想家凯文·凯利（Kevin Kelly）的会面经历，并以此反思自身职业生涯。凯利以其多元化的职业路径著称，从《全球概览》编辑到《连线》杂志联合创始人，再到对未来趋势的洞察与思考，他从未追求单一目标，而是持续探索各种兴趣。作者与凯利的对话，引发了对“成功”定义的重新思考，质疑了科技行业对“极致专注”和“不惜一切代价”的追逐，并最终寻求一种兼具雄心壮志和快乐的工作方式。
阅读更多
Pony 是一种开源的、面向对象的、基于 Actor 模型的、能力安全的、高性能编程语言。它采用独特的 Actor 模型，提供并发编程的安全性和效率。想快速上手？直接在 Pony Playground 在线体验！了解更多关于 Pony 的设计理念和优势，请阅读其早期历史介绍。
阅读更多
Anthropic 宣布其 Claude API 现已集成网络搜索功能，允许 Claude 访问并处理来自网络的实时信息。开发者可以使用这项功能构建更强大的 AI 应用，例如分析实时股价、进行法律研究或访问最新的 API 文档。Claude 会智能地判断何时需要进行网络搜索，并提供带来源引用的完整答案。此外，还提供了管理员设置，例如域名白名单和黑名单，以增强安全性。这项功能适用于 Claude 3.7 Sonnet、升级版 Claude 3.5 Sonnet 和 Claude 3.5 Haiku，费用为每 1000 次搜索 10 美元，外加标准的 token 成本。
阅读更多
中国科学院计算技术研究所的“香山”项目，旨在利用开放许可的RISC-V指令集架构开发高性能芯片。其第三代芯片“昆明湖”预计将于2025年发布，性能目标直逼Arm的Neoverse 2。该项目采用Mulan PSL-2.0许可证，意味着设计将完全开源，这将对Arm等现有厂商构成巨大挑战，并有助于中国减少对国外技术的依赖。虽然项目进度曾延误，但其开源和高性能的潜力使其备受关注，未来发展值得期待。
阅读更多
我多年来一直使用一种名为“追加和回顾”的简单笔记法。它只有一个名为“笔记”的文本文件，所有想法、待办事项都直接追加到顶部。定期回顾笔记，重要的内容会通过复制粘贴提升到顶部，不重要的内容则自然下沉。这种方法简单高效，帮我整理思路，提升记忆力，并意外地发现了旧想法的新联系。
阅读更多
作者以10欧元淘到一台2015年生产的Navman Bike 1000自行车电脑，发现其地图更新已停止，属于典型的计划报废。但作者通过逆向工程发现设备运行Windows CE 6.0系统，并利用Total Commander和开源导航软件NaVeGIS，结合OpenStreetMap数据，成功为其安装了最新的地图，甚至还运行了DOOM游戏。这篇文章展现了开源软件和逆向工程的强大力量，让过时设备焕发新生，并引发了对电子产品计划报废和可持续性的思考。
阅读更多
本文探讨了Forth语言的核心可以缩小到何种程度。作者介绍了多种极简Forth实现，例如PlanckForth（小于1000字节）、SmithForth（约1000字节）、sectorforth（512字节）和milliForth（336字节），它们都通过极少的指令集实现了Forth语言的基本功能，甚至包括编译器。其中，Frank Sergeant的3指令Forth更是极致，仅需66字节就能在Motorola MC68HC11芯片上运行。这些极简Forth的出现，挑战了我们对编程语言规模的认知，也展现了编程语言设计的精妙之处。
阅读更多
BorrowChecker.jl是一个Julia包，通过宏系统模拟Rust的内存所有权和借用语义，在开发和测试阶段进行运行时检查以标记内存安全问题。它不保证绝对的内存安全，但有助于编写更安全的代码。该库通过`@own`、`@move`、`@clone`等宏管理对象所有权，并使用`@lifetime`块管理引用生命周期，同时提供`@managed`块自动执行借用检查。虽然它不完美，但能有效辅助开发者提升代码的内存安全。
阅读更多
Stack AI，一家由两位MIT博士创立，并获得Y Combinator和Gradient Ventures投资的AI公司，正在招聘10倍工程师！他们致力于通过一个用户友好的无代码平台，让每个人都能构建AI驱动的应用。该平台集成OpenAI、Anthropic等顶级AI模型和多种数据源，现已拥有超过8.5万用户和300多付费客户。此次招聘主要面向前端工程师，要求精通React、TypeScript等技术，并具备良好的用户体验设计能力。如果你对AI充满热情，并渴望在快速发展的初创公司工作，这将是一个绝佳机会。
阅读更多
梅赛德斯-奔驰与Factorial Energy合作，在其EQS电动轿车上路测试半固态电池。这种电池技术采用凝胶或液体浸渍的固体电解质，能量密度高达391 Wh/kg，续航里程超过1000公里，比同尺寸的传统锂电池提升约25%。该技术兼容现有锂电池生产线，转换成本低廉，有望在2030年前实现量产，并应用于高端汽车及其他领域。
阅读更多
cppyy是一个运行时Python-C++绑定生成器，允许在Python中调用C++代码，反之亦然。它无需任何语言扩展或中间语言，即可实现高性能、低内存占用、跨继承和回调等功能，支持运行时模板实例化、自动对象向下转换和异常映射。cppyy基于Cling C++解释器，能够动态、交互地混合使用C++和Python特性，甚至支持像Boost这样的现代C++库。它适用于CPython和PyPy，并针对大型项目进行了优化，在性能和内存管理上都有出色表现。
阅读更多
博主计划逐章学习并实践《Writing a C Compiler》一书，并撰写博客记录学习过程。本书以循序渐进的方式讲解C编译器的编写，第一章即可构建一个可运行的编译器，后续章节逐步添加更多功能。书中包含大量的测试用例，方便检验编译器的正确性。作者积极回复邮件，并提供了丰富的额外练习。博主对本书的逐步构建方式、完整的测试套件以及对实际C语言的支持赞赏有加，认为这是一本非常优秀的编译器学习书籍。
阅读更多
面对2022年霉霉演唱会门票风波和监管机构的压力，Ticketmaster 宣布推出“全价” (All In Prices) 计划，在结账前显示包含所有费用的最终票价。此举旨在遵守5月12日生效的联邦贸易委员会关于禁止“垃圾费”的规定。虽然本地税和递送费仍需到结账时才显示，但该计划增加了票面价格和服务费的透明度，并对排队系统进行了改进，提供实时更新和排队人数信息。这反映了监管机构对票务市场的日益关注，以及立法者推动票务价格透明化的努力，例如已通过众议院的TICKET法案。
阅读更多
Linux内核正在探索将Rust语言用于编写设备驱动程序，但进展受阻于DMA(直接内存访问)子系统。Rust驱动程序需要与内核的DMA映射子系统交互，为此需要一套抽象层。然而，核心维护者Christoph Hellwig反对在`kernel/dma`目录中添加Rust代码，认为这会增加维护难度。Rust开发者提出将抽象层代码独立维护，但Hellwig仍然拒绝。这导致Rust在Linux内核中的应用面临挑战，其未来走向取决于内核社区的最终决策，以及核心维护者能否适应多语言编程环境。
阅读更多
华纳兄弟探索公司（WBD）宣布将加大打击HBO Max密码共享的力度。该公司首席流媒体和游戏负责人表示，到2025年底将关闭漏洞，并在2026年开始对财务产生影响。此举效仿Netflix等公司，旨在通过限制密码共享来增加收入。目前，WBD已进行数月的测试以识别合法用户，并将在第四季度采取更强硬措施，要求用户采取行动而非自愿选择。尽管如此，HBO Max本季度新增了340万流媒体订阅用户，总数达到1.257亿。
阅读更多
Deno 2.4 版本带来了激动人心的更新！回归的 `deno bundle` 命令支持创建单个 JavaScript 包，并利用 esbuild 进行 tree-shaking 和压缩。新增的 `--unstable-raw-imports` 标记允许直接导入文本和字节数据，简化了非 JavaScript 文件的导入。内置的 OpenTelemetry 支持现已稳定，无需 `--unstable-otel` 标记。此外，新增加的 `--preload` 标记允许在主脚本之前执行代码，`deno update` 命令简化了依赖项管理，`deno run --coverage` 支持收集子进程的代码覆盖率。权限管理也得到了增强，支持子域名通配符和 CIDR 范围。对 `package.json` 的支持也得到了改进，包括对条件导出和本地 npm 包的更好支持。
阅读更多
一名举报人揭露了DOGE团队可能窃取了与工会组织和劳动投诉相关的敏感劳动数据的细节。据称，DOGE团队在获得美国国家劳资关系委员会（NLRB）内部系统访问权限后，获取了大量数据，包括工会信息、正在进行的法律案件和公司机密等。他们还试图掩盖其行为，关闭监控工具并手动删除访问记录。举报人提供的证据包括大量数据外泄、可疑的俄罗斯IP地址登录尝试以及名为“NxGenBdoorExtract”的项目，该项目可能用于从NLRB内部系统提取数据。此事件引发了对数据安全和隐私的严重担忧，专家们认为此行为可能对工会、员工以及企业造成重大损害。
阅读更多
QEMU 10.1 版本发布，带来了对多个架构（包括RISC-V、Arm、x86等）的增强支持，以及一系列性能改进。此版本新增了对SME2、SVE2等指令集的支持，并引入了新的主板模型和虚拟化功能。此外，还对现有功能进行了改进，例如改进浮点异常模拟、优化块设备操作和网络性能等。值得关注的是，对Rust的支持得到了提升，但仍处于实验阶段。
阅读更多