作者在2022年制作了一个基于C64的电子琴后，又开发了Qweremin，这是一种结合了传统电子琴和qwerty键盘的创新乐器。Qweremin克服了传统电子琴难以演奏的问题，并利用外部DAC改善了音量控制的精度和响应速度。文章还讲述了作者与著名游戏音乐作曲家Rob Hubbard的偶遇，并得到了他的签名。
阅读更多
工程师们遭遇了一个难以重现的bug，它导致关键的交易数据系统Gord出现文件复制失败（-EACCES）。禁用Kerberos后，问题消失，指向身份验证问题。调查发现，内核通过rpc_gssd守护进程获取Kerberos凭据，但日志没有异常。经过长时间的测试，包括编写一个内存内伪文件系统和使用bpftrace进行内核跟踪，最终定位到问题：由于NFS服务器负载过高导致的请求重传，内核在处理带有相同XID但不同GSS序列号的请求和响应时，出现校验和不匹配，从而导致错误。工程师修复了内核，避免了因序列号不匹配导致的立即重传。
阅读更多
特朗普政府提出的预算案计划关闭位于夏威夷山顶的莫纳罗亚实验室，该实验室自20世纪50年代以来收集了最确凿的人为气候变化证据。该实验室的基林曲线数据是现代科学中最具标志性的图表之一，记录了大气中二氧化碳浓度的持续上升。关闭该实验室将中断这项宝贵的长期数据记录，对气候变化研究造成严重打击。此举也反映了特朗普政府削减气候相关研究的更广泛计划，将美国国家海洋和大气管理局（NOAA）的重点从气候科学转向天气预报。
阅读更多
近日，哥伦比亚大学遭遇黑客攻击，大量学生数据被盗。黑客声称出于政治目的，窃取了包含250万份申请信息在内的460GB数据，其中包括学生姓名、公民身份、学号、申请专业等敏感信息，以及180万个社会安全号码。虽然学校已采取措施并聘请了专业公司进行调查，但数据泄露的全部影响仍需数月才能评估。此事件凸显了高校网络安全面临的严峻挑战。
阅读更多
中国将于7月15日推出国家数字身份识别系统，将网络身份验证的责任从私营公司转移到政府手中。这一举措标志着中国政府对公民数字生活管理和监控方式的重大转变，可能改变中国在线经济的利润分配，甚至影响中国人工智能的发展。这项新系统与1984年开始发放的实体身份证相结合，将进一步加强政府对公民数据的控制。
阅读更多
Empty Enter Expander 是一款提升终端效率的 zsh 工具，通过简单的按键组合即可快速执行预设命令。它将命令存储在模块目录中，目录及文件名需以小写字母开头，作为快捷键使用。例如，按下 Enter 后，输入 'g, l, Enter' 即可执行预设的 git log 命令。用户可自定义命令及快捷键，只需将脚本文件放入模块目录的对应子目录即可。配置过程需要修改 .zprofile 文件，设置模块路径并加载 zsh 函数。
阅读更多
一篇经济学人文章称美国血液制品出口占总出口的2%，引发网络热议。作者通过深入挖掘美国贸易委员会数据，发现该数字存在偏差。通过细致分析海关编码（HTS）下的不同血液制品类别，作者发现直接使用人血的制品出口占比约为0.53%，而间接使用人血（如疫苗、细胞疗法）的制品出口占比约为0.16%，总计约为0.69%。这一过程充满了数据查找的挑战，也凸显了公开透明数据的必要性。
阅读更多
哈佛大学图书馆数字化的3000多张关于HIV/AIDS疫情的海报，展现了公共卫生宣传的演变。早期海报以简洁信息和视觉冲击为主，强调单一信息和情感共鸣，引导行动（如提供电话号码或网站）。随着时间的推移，宣传策略转向多渠道、针对不同受众，并从羞辱转向积极肯定的沟通方式。研究者强调，通过与受众共同创作信息，才能更好地传递信息，并最终利用现代预防和治疗手段，例如PrEP和抗逆转录病毒药物，来终结艾滋病毒的传播。
阅读更多
本文介绍了如何在PostgreSQL数据库中实现有限状态机(FSM)来管理订单状态。通过创建订单事件表、状态转移函数和自定义聚合函数，作者构建了一个系统，能够确保订单状态转换的有效性，并防止无效操作。更重要的是，这种方法还提供了高级分析能力，例如追踪订单状态历史和生成每日订单状态统计报告，这对于拥有大量数据的应用来说非常有价值。作者以订单管理系统为例，详细讲解了实现步骤，并展示了如何利用该系统进行数据分析。
阅读更多
网络诈骗正利用AI技术升级换代。诈骗犯使用AI生成虚假约会资料，并通过个性化脚本进行实时对话，甚至模拟受害者亲密关系以建立信任，最终实施诈骗。他们会营造弱势形象，先暗示经济困难再寻求帮助，巧妙地操纵受害者汇款。孤独感强的受害者更容易上当。专家警告，此类诈骗与家暴语言类似，需提高警惕。
阅读更多
本文探讨了利用大型语言模型（LLM）实现递归的新方法。作者通过设计一个不断更新自身状态的递归提示，让LLM生成一系列提示，最终逼近目标状态，类似于代码中的递归函数。文章以斐波那契数列为例，演示了如何通过递归提示实现计算，并讨论了LLM在处理递归过程中可能出现的错误，以及如何利用LLM已有的知识库来解决问题，例如，借鉴人类心算的方式，利用已知的代数规则和原子规则逐步化简问题。此外，文章还提到了ReAct和ACT-R等相关研究，以及如何处理LLM可能出现的错误结果。
阅读更多
Formance 致力于重新定义开发者与资金的交互方式，将其作为一等基本类型，并与金融系统进行组合。目前，资金隐藏在许可的、供应商锁定的基础设施中，Formance 平台旨在通过提供非特定类型的基本组件来赋能产品优先的公司，使他们能够创建创新的金融应用程序。这些组件以开源包的形式提供，并可连接到您选择的金融合作伙伴。Formance 具有全球原生特性，全天候为全球企业公司提供服务，帮助他们构建和扩展金融应用程序。
阅读更多
美国国家点火装置（NIF）的净正能量核聚变实验取得重大进展，能量输出已从去年的3.15兆焦提升至8.6兆焦，再次证明可控核聚变并非遥不可及的幻想。尽管目前该装置的能量消耗仍远大于能量输出，但这一突破为未来清洁能源的开发提供了新的希望。NIF采用惯性约束方法，利用192束强大的激光束压缩氘氚燃料球，使其发生核聚变反应。相比之下，磁约束方法虽然尚未实现净正能量输出，但也有多个项目正在进行中。
阅读更多
Meta近期发布的Llama 4大型语言模型家族，其中Maverick版本在基准测试中表现惊艳，一度超越GPT-4o和Gemini 2.0 Flash。然而，很快用户发现公开版本与基准测试版本表现差异巨大，引发了Meta作弊的指控。Meta承认在基准测试中使用了特殊调优版本，并已将未修改的Llama 4 Maverick模型添加到LMArena，排名大幅下降。此次事件暴露出大型模型基准测试的透明度问题，也引发了对模型评估方法的反思。
阅读更多
这是一款充满卡通风格的弹珠游戏，玩家需要操控弹珠在充满移动平台和危险障碍的场景中前进，收集隐藏的宝石并冲刺终点。游戏中有多种道具，例如加速、跳跃和飞行等，帮助玩家克服障碍。此外，还有各种机关，例如风扇、龙卷风、陷阱门、缓冲器、地雷和油污等，增加了游戏的挑战性。游戏还介绍了其引擎Torque的特性，以及对相关团队的感谢。
阅读更多
LWN.net报道，io_uring子系统正在开发一项新的进程创建功能。这项功能通过两个新的io_uring操作IORING_OP_CLONE和IORING_OP_EXEC实现，前者创建新进程，后者执行execveat()系统调用加载新程序。这将提高效率，并允许在内核中异步执行更复杂的逻辑，例如路径搜索。然而，该功能仍处于早期阶段，存在一些限制，例如新进程中io_uring操作必须同步执行。未来，开发者希望提升其灵活性，并最终将其合并到Linux主线内核中。
阅读更多
FFmpeg 开发团队宣布其最新补丁通过手工编写汇编代码，使 rangedetect8_avx512 函数的性能提升了 100 倍。虽然并非整个 FFmpeg 都获得了如此巨大的提升，但对于支持 AVX512 的处理器来说，这是一个显著的进步。即使不支持 AVX512，rangedetect8_avx2 代码路径也能获得 64% 的性能提升。这次优化充分展示了手工汇编代码在特定场景下优于编译器的能力，也反映了 FFmpeg 团队对性能优化的极致追求。
阅读更多
一篇时尚杂志文章描述了一位专栏作家从银行取走5万美元现金的经历，这引发了一位科技博主对银行程序的质疑。通过深入调查，包括实地考察和信息自由法案申请，博主发现文章中一些细节与现实不符，并最终证实了文章中关于取款地点的描述存在问题，揭露了文章中可能存在的虚构成分。这个故事展现了对细节的关注如何揭示真相，以及传统媒体报道中可能存在的偏差。
阅读更多
tcpulse是一款用Go语言编写的用于生成TCP/UDP连接负载和测量性能的高性能工具。它支持服务器模式和客户端模式，可以进行负载测试、连接建立性能测试、持续连接性能测试、协议比较和基础设施验证等。客户端模式下，tcpulse提供两种连接模式：持久连接和短暂连接，以模拟不同的应用场景。它可以输出实时指标，例如延迟百分位数、吞吐量和连接数，并支持速率限制、多目标支持、TCP和UDP协议以及平台优化等功能。其结果以JSON Lines格式输出，方便与监控和分析工具集成。
阅读更多
作者历时一年解决编译器程序图序列化问题，初始方案笨拙且难以维护。最终通过与他人合作，重新审视问题，将问题转化为寻找图中的最低单公共祖先（LSCA）问题。借助已有的LCA算法库和巧妙的lazy编程技巧，作者最终实现了线性时间复杂度的优雅解法，将代码长度缩减三分之一，并有效解决了性能瓶颈。
阅读更多
阿富汗北部巴尔赫省的塔利班领导人下令禁止光纤互联网，声称是为了“防止不道德行为”。此举导致政府部门、私营部门、公共机构和家庭都无法使用Wi-Fi。一位巴尔赫居民表示，此禁令不仅损害了他的生意，也影响了其他依赖互联网进行业务的人们。虽然移动互联网仍然可用，但速度慢且昂贵。此举是塔利班2021年8月掌权以来首次实施此类禁令，其原因和范围尚不明确，引发了当地居民的担忧和不满。
阅读更多
Autarkie是一个用Rust编写的原生语法模糊测试工具，它利用过程宏几乎可以自动创建语法模糊测试器。它支持AFL++和cargo-fuzz，能够模糊测试C/C++和Rust项目。Autarkie的独特之处在于其无需维护的语法、详尽的语法覆盖、可复用的语料库以及对其他模糊测试器的学习能力（正在开发中）。通过两个示例，它展示了如何模糊测试SQLite3和Solana的sbpf解释器，突显了其易用性和高效性。目前处于测试阶段，需要使用nightly版本的Rust编译器。
阅读更多
十年来一直使用 Python 的我，自从接触了 Claude Code 后，编程习惯发生了翻天覆地的变化。现在，我更倾向于使用 TypeScript、Rust 和 Go 等类型安全编译语言进行项目开发，并且进展顺利。以往用 Python “随心所欲”地进行快速原型设计，如今在大型项目中，反而 Claude Code + Rust 的组合效率更高，安全性也更好。这得益于 AI 工具提供的编译时类型检查和代码安全性保障，让我能快速完成数千行的代码修改，且不会引入错误，甚至提升了系统稳定性。尽管 LLM 并非完美，但它弥补了 Python 在安全性、速度和清晰度上的不足，我预计 Python 在生产环境中的应用将会减少。
阅读更多
EXWM是一款基于XELB构建的，功能齐全的Emacs窗口管理器，完全通过键盘操作。它支持混合布局模式（平铺和堆叠）、动态工作区以及ICCCM/EWMH兼容性。此外，还可选配RandR（多显示器）、系统托盘、输入法、背景设置和XSETTINGS服务器支持。想了解更多？请查看截图和用户指南！
阅读更多
随着支持PCIe 5.0的显卡上市，带宽对内容创作应用性能的影响成为焦点。测试显示，在DaVinci Resolve中，PCIe 5.0 x16、x8和4.0 x16性能相当，但降低带宽至4.0 x4或更低则会显著降低性能。After Effects受影响较小，而Blender和Octane渲染则几乎不受影响。LLM测试结果显示带宽影响有限，但需考虑多GPU和系统内存协同工作的情况。总而言之，对于内容创作，在PCIe 5.0主板中，将GPU降至x8通常影响不大，但需警惕低端主板中4.0 x4的带宽限制。
阅读更多
在微服务架构盛行的时代，级联故障和重试风暴是开发者挥之不去的噩梦。BreakerMachines，一个基于Ruby的库，就像一位守护神，通过巧妙的电路断路器机制，保护你的系统免受这些灾难的侵袭。它利用battle-tested的state_machines gem，提供经典模式和Fiber模式，支持异步操作，并提供多种配置选项，让你能够根据服务的关键程度和流量大小，灵活调整断路器的阈值和超时时间。BreakerMachines不仅能有效防止级联故障，还能通过可视化仪表盘和智能告警，帮助你快速定位问题，提升系统的稳定性和可靠性。
阅读更多
博主讲述了因YouTube下架其关于自托管的视频，以及购买新洗碗机后发现其功能被锁定在APP中，需要连接WiFi和Bosch账户的经历。这引发了他对数字产品所有权的思考，特别是游戏。他指出，越来越多的游戏依赖于DRM和联网，导致游戏寿命缩短，玩家丧失对游戏的长期所有权。文章呼吁关注“停止扼杀游戏”倡议，希望通过改变游戏设计和销售模式，保障玩家的权益，让“购买”真正拥有游戏的意义。
阅读更多
本文介绍了如何从Stripe API提取数据并计算月均经常性收入（MRR）。作者指出直接使用Stripe的`subscriptions`对象不可靠，因为其只包含订阅的最新状态。正确的做法是使用`invoice line items`，并处理折扣、不同计费周期（月度、季度、年度）等问题。文中详细讲解了SQL代码，包括数据清洗、周期归一化以及最终MRR指标的计算，例如新增MRR、流失MRR、扩张MRR和重新激活MRR。文章还强调了该方法的适用性和可定制性，并推荐了一个简化MRR计算的应用。
阅读更多
自2023年10月以来，生成式AI的许多夸大宣传便受到质疑，尤其对其大幅提高大多数职业劳动生产率的说法。作者认为，投资者对生成式AI的炒作即将达到顶峰，英伟达股价下跌便是例证。虽然LLM确实带来了一些流程创新，例如提高软件开发和客户支持效率，但其影响可能被夸大。在客户支持方面，聊天机器人处理了部分常规问题，但可能导致用户体验下降。在软件开发方面，LLM替代了部分经验较少的开发者，这可能限制未来经验丰富开发者的供应。此外，DeepSeek的发布也引发了对GPU需求的疑问。作者认为，政治影响和诈骗机器人可能是这项技术的可持续杀手级应用。
阅读更多
Web Bench是一个评估网页浏览代理的新数据集，包含来自452个不同网站的5750个任务，其中2454个任务已开源。该基准测试揭示了现有代理在处理写入密集型任务（如登录、填写表单和下载文件）方面的不足，并强调了浏览器基础设施的重要性。Anthropic Sonnet 3.7 CUA在测试中表现最佳。
阅读更多