Posit PBC发布了免费的下一代数据科学集成开发环境(IDE)Positron。它整合了数据探索和生产工作，支持Python和R语言，并具有交互式笔记本、绘图工具、数据应用工作流程等功能。Positron基于Code OSS构建，支持VSIX扩展，并提供Positron Assistant AI助手，简化数据科学工作流程。
阅读更多
厌倦了Sway/i3的配置限制？Guile-Swayer项目提供了一个强大的解决方案，它允许你使用Guile脚本语言来完全掌控Sway/i3窗口管理器。作者从StumpWM迁移到Wayland后，开发了这个项目，实现了类似StumpWM的灵活性和可定制性。Guile-Swayer允许你绑定按键执行Guile代码、订阅Sway事件并做出响应、获取Sway信息等等。它还包含一些模块，例如workspace-grid实现网格化工作空间，workspace-groups实现跨显示器的工作空间分组，以及which-key提供类似Emacs的按键提示功能。通过Guile-Swayer，你可以打造一个高度个性化且高效的窗口管理环境。
阅读更多
本文探讨了大型语言模型（LLM）的注意力机制，以及如何通过精心设计的提示词来更好地利用该机制。文章指出，LLM并非像人类一样从左到右顺序阅读，而是同时权衡所有词元之间的关系。因此，提示词的结构比具体的用词更重要。文章通过两个例子比较了结构化和非结构化提示词的效果，并解释了注意力机制的工作原理：计算每个词对其他词的影响程度，生成输出。文章还提出了几种提高提示词效果的启发式方法，例如：将最重要的信息放在最前面，使用结构化的提示词，使用角色扮演，避免含糊不清的描述等。最后，文章强调了高效提示词的重要性，因为它可以节省工程师的时间，提高工作效率，并降低成本。
阅读更多
本文列举了GitHub代码审查中应用建议时可能遇到的各种限制，例如代码未修改、拉取请求已关闭、只查看部分更改、每行只能应用一个建议、应用于已删除行、建议已应用或标记为已解决、来自待处理审查的建议、多行注释以及拉取请求已排队合并等情况，并提示部分操作当前不可用。
阅读更多
Geotoy是一个完全免费且开源的3D建模工具，由Casey Primozic开发。艺术家ameo利用Geotoy创作了一系列令人惊艳的3D模型，包括希尔伯特曲线、屋顶瓦片、寺庙、迷宫、弹簧、分形地形、环面结、蒲公英、电线、编织物、树根、球体、沙漏、鸟浴、四脚形混凝土构件、梯田浮岛、粘土碗、高级着色器道具、超椭圆多米诺骨牌和黑暗之魂风格的树木等。这些作品展现了Geotoy强大的建模能力和艺术家的无限创意。
阅读更多
英国儿童事务专员呼吁政府堵住新年龄限制机制中的漏洞：未成年人使用VPN绕过在线安全法案的限制。一份报告显示，许多年轻人早在18岁之前就接触过色情内容，而强制年龄验证制度上线后，VPN的使用量激增。政府虽然表示不会禁止VPN，但计划与VPN提供商合作，强制实施有效的年龄验证措施，以防止未成年人访问色情网站。然而，专家警告称，这种做法可能损害普通用户的安全和隐私，并影响学校等机构的正常运作。
阅读更多
MIT的一份新报告揭示了企业AI应用的巨大挑战：尽管生成式AI潜力巨大，但大多数旨在快速增收的项目都失败了。只有约5%的AI试点项目实现了快速收入增长，绝大部分项目进展缓慢，对利润表几乎没有影响。报告指出，问题不在于AI模型本身，而在于企业整合方面的“学习差距”。成功的关键在于选择合适的工具（从专业供应商购买并建立合作关系的成功率高达67%），赋能一线管理者推动应用，以及选择能够深度集成并随着时间推移不断适应的工具。报告还强调了“影子AI”（未经授权的工具）的广泛使用以及衡量AI对生产力和利润影响的持续挑战。
阅读更多
英国长期国债收益率飙升，首次超过美国，市场对英国财政状况的担忧加剧。30年期英国国债收益率达到5.61%，比美国同期限国债高出68个基点。这反映出投资者对英国财政状况日益担忧。英国面临长期结构性经济挑战，通胀居高不下，经济增长放缓，失业率上升。即将发布的通胀报告将至关重要，若数据高于预期，可能导致收益率进一步上升，甚至引发类似2022年养老金危机事件。
阅读更多
我曾是Arc浏览器的忠实用户，它强大的键盘快捷键和多用户配置文件让我爱不释手。然而，其开发商The Browser Company却转向了AI浏览器Dia，放弃了Arc的许多优秀特性。Dia虽然融入了AI功能，但牺牲了易用性和隐私，让我不得不寻找替代品。Firefox虽然功能强大，但用户体验欠佳。最终，我找到了Zen Browser，它基于Firefox，却拥有Arc般简洁流畅的用户界面和强大的自定义功能，并解决了Firefox的多用户配置文件管理问题，成为我的新宠。我甚至认为Mozilla应该将Zen Browser团队纳入麾下，改进Firefox的用户体验。
阅读更多
几千年来，人们致力于制造不会闪烁的蜡烛。然而，当三支蜡烛捆绑在一起时，它们会开始以约9.9Hz的频率自然振荡，这个频率主要取决于重力与烛焰直径。文章作者巧妙地利用悬挂在火焰中的导线感知火焰电离气体引起的电容变化来检测此频率，并将其降频至1Hz，最终用一个简单的微控制器和一个LED构建了一个基于烛焰振荡的1Hz时钟。
阅读更多
作者是一位Vim高手，为了处理纷繁复杂的个人财务数据，他放弃了笨拙的电子表格，选择使用Beancount——一个基于文本的记账工具。面对不同格式的银行对账单和大量未分类的内部转账记录，他巧妙地运用Vim宏，实现了自动化处理。文章详细描述了宏的编写过程，以及在处理过程中遇到的问题和解决方法，展现了作者精湛的Vim技巧和解决问题的创造性思维。最终，他将杂乱无章的财务数据整理成清晰易懂的Beancount账目，效率显著提升。
阅读更多
作者对一本广受好评的多处理器编程教材《多处理器编程艺术》进行了批判性评价。文章的核心观点是该书忽略了futex这一现代并发编程的关键技术，导致书中内容过时且缺乏实用性。futex作为一种高效的互斥锁实现机制，显著提升了并发性能，已广泛应用于Linux、Windows和macOS等操作系统中。作者详细解释了futex的工作原理，并通过代码示例演示了如何基于futex构建高性能的互斥锁，包括自旋锁、非递归互斥锁和递归互斥锁。作者认为，该书未能涵盖futex等关键技术，使其缺乏实用价值，难以满足现代并发编程的实际需求。
阅读更多
德国出版商Axel Springer长期以来一直与广告拦截器Adblock Plus对抗。起初，他们尝试通过竞争法诉讼，但败诉。随后，他们转向版权法，认为Adblock Plus修改其网站代码构成侵权。德国联邦法院推翻了之前的判决，支持Axel Springer的观点，认为网站代码属于受版权保护的软件，其修改可能构成侵权。此案引发广泛关注，其结果可能对软件行业和互联网生态产生深远影响，甚至关系到未来在线新闻的付费模式和信息自由获取。
阅读更多
清华大学和南开大学的研究人员发现Dnsmasq DNS软件存在严重缓存投毒漏洞（SHAR攻击）。攻击者只需使用单个特殊字符，即可绕过Dnsmasq的防御机制，向其注入恶意DNS记录。该漏洞利用了某些上游递归解析器对包含特殊字符的查询的沉默处理，从而在较长的时间窗口内允许攻击者暴力破解TxID和源端口，成功率高达100%。此漏洞影响所有版本的Dnsmasq，建议立即采取缓解措施，例如添加检测上游解析器静默的机制以及速率限制和欺骗检测技术。
阅读更多
越来越多的州考虑禁止电子点票机，强制人工计票。然而，研究表明人工计票错误率高达25%，且耗时长，成本高。例如，内华达州Nye县2022年人工计票的错误率就高达25%，亚利桑那州若非州长否决，类似法案将生效。这不仅威胁选举的准确性和安全性，还可能加剧选民对选举舞弊的担忧， 文章呼吁继续使用电子点票机，并通过事后审计等机制确保选举结果的及时性和准确性。
阅读更多
Pico-286项目令人惊叹地将80年代末90年代初的经典PC系统模拟到了树莓派Pico上。这个轻量级的项目不仅能让你体验复古计算的乐趣，还能学习底层系统模拟的知识。它支持多种Intel CPU（最高到286）、多种经典外设（如声卡、显示卡）、以及多种图形和文本模式。Pico-286甚至能模拟出老式显示器产生的色彩伪影效果！该项目开源且跨平台，可在树莓派Pico、Windows和Linux上运行。
阅读更多
EloqKV是一款兼容Redis/ValKey API的高性能分布式数据库，它提供ACID事务、完全弹性和可扩展性、分层存储和会话式事务语法等特性，同时保留了Redis的简洁易用性。针对AI时代对数据库的高需求，EloqKV为开发者提供了强大的解决方案，其多线程架构在c6g.8xlarge实例上实现了高达160万QPS的性能，并支持分布式ACID事务，彻底解决了Redis集群中的跨槽错误问题。此外，EloqKV还具备分层存储功能，可自动将冷数据卸载到磁盘，节省高达70%的内存成本。
阅读更多
为了防止域名复活攻击（一种供应链攻击，攻击者购买过期域名以接管 PyPI 帐户），PyPI 现在检查域名是否过期。此举通过取消验证与过期域名关联的电子邮件地址来增强帐户安全性，自 2025 年 6 月初以来，已取消验证超过 1800 个电子邮件地址。虽然并非完美解决方案，但这有效地堵塞了一个主要的攻击途径。建议用户添加第二个经过验证的邮箱地址以增强安全性。
阅读更多
许多人认为iPadOS的演变背离了乔布斯最初的设想，将其从简单的内容消费设备变成了类电脑设备。但作者认为，这并非背叛，而是对乔布斯愿景的更完整实现。乔布斯旨在创造一种介于手机和笔记本电脑之间的设备，满足日常需求。iPadOS的进化，例如添加Apple Pencil，提升了创造力，而无需牺牲易用性。这如同iPhone和Mac的演变，在保持核心易用性的同时，增加了更多功能，满足日益增长的用户需求。iPadOS的层次化设计，让新手也能体验到简单的乐趣，而专业用户则可以探索更强大的功能。最终，iPad变得更加强大和易用，实现了乔布斯“让计算触手可及”的愿景。
阅读更多
美国国家情报总监图尔西·加巴德宣布，英国将不再强制苹果提供对其iCloud加密服务的“后门”访问。此前，英国政府曾秘密要求苹果提供对全球用户加密文件的访问权限，此举引发了美国方面的强烈反对，认为其违反了《云法案》。在来自美国政府的压力下，英国最终放弃了这一要求。目前尚不清楚苹果是否会恢复英国用户使用其高级数据保护（ADP）加密iCloud存储服务。
阅读更多
本文揭露了谷歌多年来对XML的持续攻击，以及其对开放网络的潜在威胁。从取消Google Reader到试图移除XSLT，谷歌利用其在浏览器市场和WHATWG中的影响力，逐步蚕食开放网络的基石。作者认为，这并非技术原因，而是谷歌为巩固其中心化战略而采取的策略，最终目的是扼杀独立的、去中心化的网络生态。文章呼吁开发者使用XML和XSLT，积极反馈意见，并构建替代方案以对抗谷歌的垄断行为。
阅读更多
日立公司宣布研发出全球最小最薄的非接触式IC芯片，尺寸仅为0.15 x 0.15毫米，厚度7.5微米。该芯片基于SOI技术，将电路元件间距减小，在保持原有功能的同时，尺寸缩小至原先产品的四分之一，厚度减小至八分之一，生产效率提升十倍以上。这项突破为非接触式IC芯片的应用打开了新的篇章，例如安全、交通、娱乐、追踪和物流等领域。
阅读更多
作者从业余天文摄影起步，经历了购买简易跟踪器和研究昂贵赤道仪的阶段，最终决定自己动手，利用PCB设计和CNC加工制作了一台高精度赤道仪。文章详细记录了从学习PCB设计、选购谐波齿轮和电机，到编写OnStepX固件、以及克服WiFi稳定性问题的全过程。最终，这台成本约1700欧元的赤道仪实现了1-2角秒的跟踪精度，让作者得以拍摄到令人惊艳的星云和星系照片。作者也分享了项目中遇到的挑战和经验教训，例如PCB设计中的错误和调试过程。这是一个充满挑战和成就感的DIY项目，展现了创客精神和技术实力。
阅读更多
本文介绍了`snprintf`函数的一个鲜为人知的特性：它可以先探测格式化字符串所需的缓冲区大小，避免缓冲区溢出。通过两次调用`snprintf`，第一次传入`NULL`和0来获取所需大小，第二次再分配相应大小的缓冲区并进行格式化，有效地解决了手动计算缓冲区大小的繁琐和风险。作者还推荐了一个轻量级的头文件库，方便开发者使用。
阅读更多
本文讲述了水晶宫从1851年万国工业博览会到1936年最终焚毁的传奇故事，并通过大量珍贵的历史照片，展现了其从建造、搬迁、火灾到最终消失的全过程。照片记录了水晶宫的宏伟壮观，也见证了其辉煌后的衰落，以及人们对这处历史遗迹的缅怀。
阅读更多
本文深入探讨了科幻小说大师特德·姜的写作风格，他并非局限于传统的“硬科幻”或“软科幻”，而是创造出具有独特自洽科学体系的宇宙，以此探索哲学命题和人际关系。姜的作品中，科学并非单纯的背景设定，而是故事的核心驱动力，例如在《故事的结局》中，语言影响思维的萨丕尔-沃尔夫假说成为理解外星文明的关键。文章赞扬了姜在展现“相容论”（调和自由意志与决定论）方面的造诣，并指出其不足之处在于对社会与科技互动方面的刻画，以及在哲学探索上的相对单一性。
阅读更多
Netflix的粉丝网站Tudum最初采用CQRS架构，使用Kafka和Cassandra处理内容，但预览更新时存在延迟问题。为了解决这个问题，Netflix团队用内部开发的内存对象存储RAW Hollow替换了Kafka和Cassandra。RAW Hollow将整个数据集存储在内存中，显著提高了内容预览和页面渲染速度，实现了编辑和访问者的双赢。
阅读更多
一群硬件设计小白，怀揣着“挑战自我”的梦想，毅然决然地选择了构建一个TPU。他们摒弃了查阅资料的捷径，坚持“先尝试最笨的方法”，从理解神经网络的数学原理开始，一步步搭建起基于 systolic array 的矩阵乘法单元，并巧妙地运用双缓冲、流水线和矢量处理单元等技术，实现了对XOR问题的推理和训练。最终，他们成功构建了一个功能完整的TPU，展现了非凡的创造力和毅力。
阅读更多
克罗地亚自由潜水员Vitomir Maričić打破了使用氧气进行水下憋气的世界纪录，令人惊叹地憋气29分3秒，比之前的纪录多出4分钟以上。他在克罗地亚Opatija的酒店泳池中完成了这一壮举，在五位裁判和约100名观众面前，创造了新的吉尼斯世界纪录。这项成就不仅展现了卓越的肺活量和耐力，更体现了其非凡的心理素质和团队支持。
阅读更多
微软高管大胆预测，传统的商业应用将在2030年成为过去式，取而代之的是AI驱动的“商业代理”。这些AI代理将利用生成式AI和向量数据库，动态适应用户需求，并以目标为导向优化工作流程。这一预测引发业界热议，有人质疑其过于乐观，认为企业难以快速转型；也有人认为这是软件行业的一次重大变革，需要企业积极拥抱AI，才能避免被淘汰。微软则计划通过推出AI代理作为现有应用的增值服务，逐步引导客户适应新的模式。
阅读更多