CodiumAI Cover-Agent 是一款开源工具，旨在利用生成式 AI 自动化和增强测试（目前主要是单元测试）的生成，从而简化开发流程。它可以从终端运行，并计划集成到流行的 CI 平台中。Cover-Agent 通过分析代码库、生成测试提示并与大型语言模型（LLM）交互来自动创建单元测试，从而提高代码覆盖率。
阅读更多
Aider是一个终端AI编程助手，它与擅长编辑代码的LLMs配合使用效果最佳。GPT-4o在Aider的代码编辑排行榜上以72.9%的得分位居榜首，在重构排行榜上以62.9%的得分位居第二，优于GPT-4 Turbo模型。GPT-4o能够使用Aider既定的“diff”编辑格式，这种格式也被其他模型使用，如Opus和原始GPT-4模型。
阅读更多
这篇文章深入探讨了苹果 IIGS 电脑 CPU 速度背后的原因，反驳了苹果公司为了避免与 Macintosh 竞争而故意限制其速度的传言。作者通过分析 IIGS 开发历史、65C816 CPU 的技术细节以及业界相关人士的访谈和评论，指出芯片产量、技术缺陷以及市场策略等因素才是导致 IIGS 速度低于预期的主要原因。
阅读更多
htmd 是一款受 turndown.js 启发，使用 Rust 语言编写的 HTML 到 Markdown 转换器。它具有丰富的选项、可靠的转换能力（通过了 turndown.js 的所有测试用例）、最小的依赖性、快速的转换速度等特点。
阅读更多
这篇文章介绍了 Emacs101/howm-manual，这是一个关于如何在 Emacs 中使用 howm 包做笔记的教程。该教程提供英语和俄语两个版本。
阅读更多
文章详细介绍了如何从原始 GPS 数据计算位置。首先介绍了WGS 84 ECEF坐标系、参考椭球体、大地水准面等基本概念，以及如何利用卫星轨道参数计算卫星位置。接着，文章解释了如何通过伪距测量、卫星时钟偏差校正和用户时钟偏差估计来计算用户与卫星之间的距离。文章还介绍了如何使用最小二乘法求解用户位置和时钟偏差，并通过分析位置估计的误差协方差矩阵引入了DOP的概念。最后，文章通过实验验证了算法的有效性，并讨论了电离层和对流层延迟对GPS信号传播的影响。
阅读更多
pyNES是一个使用 Python 为 NES 开发游戏的项目，它包含一个汇编器和一个将 Python 代码转换为 6502 汇编代码的编译器。文章介绍了 pyNES 项目的起源、目标以及 0.1.x 和 0.2.x 版本的功能和改进。
阅读更多
本文探讨了领英平台对于外部链接的“抗拒”现象。作者指出，领英算法刻意降低了外部链接的权重，迫使用户将内容直接发布在平台上，以增加用户粘性和平台内容量。作者将这种做法比作电信领域的“零评级”，认为这是一种损害互联网开放性的行为，并呼吁监管机构关注。
阅读更多
WordGrinder 是一款基于控制台的文字处理器，支持 Unicode，旨在提供简洁高效的写作体验。它支持基本的段落和字符样式、屏幕标记、菜单界面、HTML 导入导出以及其他实用功能。WordGrinder 不依赖 GUI，可以在终端中运行，但也提供适用于 Unix、Windows 和 OSX 的 GUI 版本。
阅读更多
企鹅是一种不会飞但会游泳的鸟类，拥有鸟类的所有特征，包括骨骼结构。企鹅的膝盖隐藏在体内，而人们通常误认为是膝盖的部位其实是它们的脚踝。这种结构有利于企鹅在水中快速游泳，但也导致它们在陆地上行动缓慢笨拙。关于企鹅的进化起源，科学家们通过化石和DNA研究发现，企鹅可能与信天翁、军舰鸟和潜鸟等海鸟关系密切，其祖先可能是 Waimanu 属的古代企鹅。
阅读更多
美国和欧洲执法机构开展了“终局行动”，打击 IcedID、Smokeloader 和 Trickbot 等恶意软件投放平台。行动逮捕了四人，关闭了 100 多台服务器，并查封了 2000 多个域名。当局表示，这仅仅是持续打击行动的开始，旨在从根本上瓦解网络犯罪生态系统。
阅读更多
户外服装制造商Arc'teryx与科技初创公司Skip合作推出了售价5000美元的MO/GO外骨骼徒步裤。这款裤子配备碳纤维支架和电机，旨在为徒步旅行者提供助力，减轻腿部压力，帮助他们在爬山时更轻松。这款裤子续航时间为3小时，并配有两个电池。
阅读更多
gosax 是一个用于 XML SAX（XML 简单 API）解析的 Go 语言库，支持只读功能。该库的设计目标是高效且节省内存地解析 XML，从各种来源汲取灵感以提供高性能的解析器。它具有只读 SAX 解析、高效解析、SWAR（寄存器内 SIMD）等特点，并与 encoding/xml 兼容。
阅读更多
Jurigged 是一款 Python 热重载工具，它允许你在代码运行时对其进行更新。该工具使用简单，只需使用 jurigged 命令运行脚本即可。Jurigged 会监控代码文件的变化，并在你保存文件时将更新后的函数或方法热更新到正在运行的脚本中。Jurigged 还提供了一个名为 develoop 的终端界面，可以实现交互式开发环境，方便开发者实时调试代码。
阅读更多
这篇访谈中，Ben Titzer分享了他对WebAssembly的看法，以及V8 TurboFan优化编译器的设计和实现，还有Virgil编程语言。也谈到了将高级语言功能引入受限硬件、V8团队如何应对Spectre和Meltdown侧信道攻击，以及如何设计高性能虚拟机。
阅读更多
Glance是一个自托管的仪表盘，可以将所有订阅源集中在一处。它支持RSS订阅、Subreddit帖子、天气、书签、YouTube视频、日历、股票、iframe、Twitch频道和GitHub发布等多种小部件。Glance针对移动设备进行了优化，速度快，重量轻，JS代码极少，没有臃肿的框架，依赖项非常少。
阅读更多
欧盟理事会比利时主席国提出了一项危险的提案，可能导致对数十亿人的私人文件进行扫描。该提案遭到电子前线基金会（EFF）和欧洲数字版权组织（EDRi）等团体的强烈反对。他们认为该提案将侵犯欧盟居民的人权，并敦促欧盟理事会拒绝所有与端到端加密不一致的提案。EFF一直倡导保护在线私人对话的权利，并反对任何以保护儿童网络安全的名义在加密通信中开“后门”的行为。
阅读更多
《奇点临近》是雷·库兹韦尔的新作，是对其里程碑式著作《奇点临近》的继承，探讨了未来几十年科技将如何改变人类。库兹韦尔认为，人工智能将在2029年达到人类水平，并以指数级速度增长，最终将人类智能扩大百万倍，彻底改变人类生活。书中探讨了纳米技术、生命延长、人工智能的风险和机遇等议题，并认为科技进步将推动创新，改善人类福祉。
阅读更多
广受欢迎的 Mac 应用 Bartender 已于约两个月前悄然出售，但前任和现任所有者均未向客户或潜在客户提供有关此次出售的信息。此次交易是 Reddit 用户在 MacUpdater 发出警告后才浮出水面，该警告称 Bartender 背后的公司已被悄然替换。MacUpdater 警告用户，由于缺乏透明度，5.0.52 版本之后的应用更新可能存在潜在安全风险。
阅读更多
Anthropic的研究人员成功地从大型语言模型Claude Sonnet中提取了数百万个特征，这些特征对应于各种概念，如城市、人物、科学领域、编程语法等，甚至还有一些抽象概念，如代码错误、性别偏见和保密。研究人员可以通过放大或抑制这些特征来观察模型行为的变化，例如，放大“金门大桥”特征会导致模型在回答问题时过度关注金门大桥，即使问题与金门大桥无关。这项研究为理解和提高人工智能模型的安全性提供了新的视角。
阅读更多
本文探讨了如何使用Unsloth微调LLaMA-3 8B模型，以进行金融情感分析。文章详细介绍了构建自定义数据集、使用Unsloth笔记本微调模型以及评估模型性能的步骤。作者比较了不同微调模型的性能，包括推理速度、情感得分方差和平均置信度，并讨论了LLaMA 3 8B量化方面的争议。文章还提供了对结果的分析，并为希望使用Unsloth微调模型进行情感分析的读者提供了指导。
阅读更多
文章讨论了一款采用法式对开门设计的空气炸锅烤箱，作者质疑这种设计的实用性，认为双开门占用空间大，操作不便。评论区用户则提出不同观点，有人认为双开门在商业厨房很常见，方便双手操作，也有人认为对开门节省空间，方便特定人群使用。
阅读更多
日本材料设计师Monoli开发了一款名为“像素镜”的可穿戴水晶，可以将你看到的任何东西变成8位像素艺术。这款水晶有森林绿、灰色和无色三种颜色，佩戴在身上，透过它可以看到像素化的世界。设计师表示，这款产品可以帮助艺术家和画家获得更清晰的视觉体验。
阅读更多
一位Airbnb房东在房客租住三周后收到高达1500美元的电费账单，原因是房客利用房屋进行加密货币挖矿并赚取了10万美元的利润。房东通过监控发现房客搬走了至少十台电脑，并为他们的电动汽车设立了充电站。最终房客承认了挖矿行为并支付了电费。此事件也引发了关于Airbnb房客使用房屋进行挖矿以及电动车充电等问题的讨论。
阅读更多
LouveSystems 的 Assembly 是一款沙盒概念游戏，玩家可以使用自然语言设计称为“委托”的小程序。您的委托会在程序集中释放，可以自由漫游并与其他程序标记在一起。Assembly 的核心概念是相对寻址，这意味着每个指令都通过它与当前正在读取的指令的距离来引用。委托可以执行的操作包括写入数据、复制数据、跳转到程序集中的不同位置以及移动数据。
阅读更多
DeepComputing公司发布了搭载RISC-V架构处理器的平板电脑DC-ROMA RISC-V Pad II，售价149美元起。该平板电脑配备八核SpacemiT Key Stone K1 SoC处理器，最高支持16GB内存和128GB存储空间，运行Ubuntu Desktop 24.04操作系统，并支持触控输入和外接键盘。
阅读更多
CodiumAI发布了Cover-Agent，它是Meta的TestGen-LLM的第一个开源实现。TestGen-LLM是一个完全自动化的工具，用于增加测试覆盖率，它首先生成大量测试，然后过滤掉那些无法构建/运行的测试，删除任何未通过的测试，最后丢弃那些没有增加代码覆盖率的测试。Cover-Agent 在实现TestGen-LLM的过程中遇到了一些挑战，例如处理 Python 中重要的空格、为 LLM 提供额外的上下文、处理复杂的代码需要多次迭代，以及无法在扩展现有测试套件时添加库导入。
阅读更多
美国纽约Qunnect公司的科学家们在纽约市地下进行了一项量子互联网原型网络测试。他们使用了一种名为GothamQ回路的34公里长光纤电路，利用偏振纠缠光子实现了长达15天的连续运行，系统正常运行时间高达99.84%。这项研究解决了光纤环境中纠缠态的脆弱性和信号传输效率问题，为量子互联网的实际应用迈出了重要一步。
阅读更多
