谷歌正在秘密研发一款类似三星DeX的Android桌面模式，该模式已在Pixel手机上被发现。它允许用户在连接外接显示器后，以可调整大小的窗口运行多个应用程序，并配备了任务栏。虽然该功能目前尚不完善，预计不会随Android 16一起发布，但它标志着谷歌在改进Android大屏体验方面迈出了重要一步，未来可能在Android 17中正式推出。
阅读更多
本文深入探讨了Python依赖管理的复杂性，将其比作在干旱森林中生火。作者指出，Python依赖并非简单的pip install，而是涵盖项目包、系统包、操作系统、硬件和环境等多个层面。良好的依赖管理至关重要，它确保代码的可重复性，即在不同环境下都能获得相同结果。文章详细介绍了版本控制、环境隔离以及定义文件、锁定文件等关键概念，并对pip、venv、virtualenv、pip-tools、Pipenv、Poetry、PDM、pyenv、pipx、uv、Conda、Mamba、conda-lock和Pixi等多种工具进行了全面比较，分析了它们的优缺点和适用场景。最终，作者根据不同场景（管理员权限、依赖类型、操作系统等）提供了相应的工具推荐，并展望了未来Python依赖管理工具的发展趋势。
阅读更多
本文批判了僅僅為了完成任務而工作的「票據驅動開發」模式。這種模式下，開發人員被任務淹沒，缺乏思考和創新，最終導致代碼質量下降，技術債務積累，團隊士氣低落。作者建議開發人員應主動承擔責任，積極思考，並在工作中追求卓越，而非僅僅追求速度。
阅读更多
本文探讨了编程语言大小与表达能力之间的权衡。作者认为，像汇编语言这样的小型语言表达能力有限，而Forth、Lisp和Tcl等语言则以其简洁的语法实现了强大的表达能力。Lua因其精简的核心语言（仅27页！）而被推荐为一种小巧且易于学习的语言。作者还讨论了标准库对语言大小的影响，并以Ramda库为例说明了大型库带来的学习成本。最终，作者赞扬了小型语言的简洁性和愉悦感，认为简洁性有时胜过表达能力。
阅读更多
本文讲述了Railway公司如何从零开始构建自己的云计算基础设施。他们面临的第一个挑战是如何将物理硬件与操作系统看到的设备名称映射起来。为此，他们利用Redfish API收集硬件信息，并通过MetalCP和Temporal工作流实现自动化配置。在操作系统安装方面，他们巧妙地结合了Pixiecore、Debian Installer和Claude AI，实现一键式安装。最后，他们采用BGP unnumbered和FRR构建了高可靠性的L3网络，实现了规模化和自动化管理。
阅读更多
谷歌为广告目的重新启用数字指纹追踪技术，引发隐私担忧。此技术通过收集用户在线信号（IP地址、浏览器信息等）识别用户设备，绕过了用户对cookie的控制。尽管谷歌声称使用了隐私增强技术，但英国信息专员办公室已将其标记为“不负责任”，认为此举减少了用户对个人信息的控制，并可能导致广告商行为风险增加。此举与谷歌之前承诺的尊重用户隐私相悖，并引发了关于数据收集和用户选择权的讨论。
阅读更多
Cryptome网站的联合创始人John Young于89岁辞世。Cryptome是互联网上一个传奇的开放档案馆，在维基解密等网站出现之前就已存在，它致力于公开政府不愿公开的信息，保护公众知情权。Young曾参与反越战和反种族隔离的抗议活动，他的经历深刻影响了他对信息自由的追求。Cryptome曾与微软发生冲突，也与维基解密创始人阿桑奇产生分歧，原因在于对信息公开和资金使用的不同理念。Young的离世标志着一个时代的结束，但他对信息自由的贡献将永垂不朽。
阅读更多
本文深入探讨了 SIMD 函数在编译器自动向量化中的作用。SIMD 函数可以一次处理多个数据，从而提升性能。然而，编译器对 SIMD 函数的支持参差不齐，且生成的向量化代码效率有时并不理想。文章详细介绍了声明和定义 SIMD 函数的方法，包括使用 OpenMP pragma 和自定义编译器属性，并分析了不同参数类型（variable、uniform、linear）对向量化效率的影响。此外，文章还讲解了如何使用 intrinsics 提供自定义的向量化实现，以及处理函数内联和编译器 quirks 的方法。总而言之，虽然 SIMD 函数具有提升性能的潜力，但在实际应用中仍面临诸多挑战。
阅读更多
Marimo是一个开源项目，它重新定义了Jupyter Notebook，将其转换为可作为普通Python程序使用的纯文本Python文件。传统Jupyter Notebook的JSON格式.ipynb文件导致版本控制困难、代码复用性差等问题。Marimo解决了这些问题，通过将Notebook表示为数据流图，使其易于版本控制（使用Git）、导入为模块、使用pytest进行测试以及作为脚本执行。它还支持SQL和Markdown嵌入，并提供缓存机制以提高效率。Marimo已得到广泛采用，被OpenAI、BlackRock等公司以及众多研究机构使用，正逐渐成为交互式计算的新标准。
阅读更多
作者在2025年赴美期间，因停用加拿大SIM卡而无法登录TD银行账户，凸显了银行认证系统的严重问题。TD银行依赖易受攻击的短信验证码，其自有认证App也存在登录需要短信验证码的循环依赖，设计缺陷导致用户被安全系统锁拒。文章批判了银行普遍采用过时的短信双因素认证（2FA）方式，指出其存在安全漏洞，并建议采用更安全可靠的认证方式，如通行证密钥（Passkeys）、TOTP支持、硬件安全密钥等，以提升安全性及用户体验。作者以自身经历为例，呼吁银行改进认证系统，将安全性和易用性兼顾。
阅读更多
传统的数学课上，常以复利为例介绍自然常数e：一个年利率100%的账户，如果按年计息，本金翻倍；半年计息，则变为2.25倍；日计息，约为2.714倍；连续计息，则恰好为e倍。但这解释有误导性：复利增长是指数级的，而例子中却用线性方式划分计息周期，不符合实际。银行必须分别公布利率、计息周期和年化收益率。其实，e的引入有很多更优雅的方式，例如它是自身导数的唯一函数，或者在欧拉公式中扮演关键角色。这些方法不需要预先了解e，也更符合数学的严谨性。
阅读更多
arXivLabs是一个框架，允许协作者直接在arXiv网站上开发和共享新的arXiv功能。参与arXivLabs的个人和组织都秉承着开放、社区、卓越和用户数据隐私的价值观。arXiv致力于这些价值观，并且只与坚持这些价值观的合作伙伴合作。如果您有想法可以为arXiv社区增值，请了解更多关于arXivLabs的信息。
阅读更多
Windows 11剪取工具迎来重大更新！最新版本(11.2505.21.0)增加了GIF导出功能，让用户可以轻松将屏幕录制视频转换成GIF动图，并快速分享。用户可以通过Win + Shift + R快捷键或在应用内切换到屏幕录制模式进行录制。录制完成后，点击顶部工具栏的“导出GIF”按钮，选择GIF质量（低或高），然后保存到文件或复制到剪贴板。需要注意的是，GIF导出功能仅限于30秒以内的视频。
阅读更多
缅甸发生7.7级强烈地震，造成数百人死亡，数千人受伤，基础设施严重受损。地震波及泰国曼谷，导致在建摩天大楼倒塌。此次地震发生在活跃的阿尔卑德地震带上，该地区地质构造复杂，印度板块与巽他板块碰撞，形成走滑断层。专家指出，此次地震与1839年发生在同一地区的8.0级地震相似，属预期事件，未来几周内可能发生大规模余震。
阅读更多
最新数据显示，MacBook系列在苹果电脑市场占据统治地位，销量占比高达86%。其中，MacBook Pro以53%的市场份额领先，MacBook Air紧随其后，占据33%。相比之下，iMac等台式机销量仅占14%，反映出消费者对便携式电脑的强烈偏好。苹果公司或许正因为此，将更多资源投入到MacBook系列的研发和更新迭代中，而台式机的更新速度相对缓慢。
阅读更多
一位年轻开发者加入一家初创公司担任顾问，却意外卷入一场充满欺骗和压榨的经历。这家名为Fixr的汽车维修平台，在三年内毫无进展，却耗尽了资金，最终以失败告终。作者在付出大量时间和精力后，才发现公司内部管理混乱，创始人能力不足，并且自己的股权被随意操控。最终，他离开了Fixr，并从中吸取了宝贵的经验教训，并分享了在加入初创公司时需要注意的红旗警告。
阅读更多
伊朗国家电视台指控WhatsApp收集用户信息并发送给以色列，呼吁民众卸载该应用。WhatsApp否认了这些指控，强调其端到端加密技术保障用户隐私，不会追踪用户位置、信息内容或向政府提供用户信息。尽管伊朗此前曾封禁WhatsApp，但许多民众仍通过代理服务器和VPN访问。此次事件引发对信息安全和政府审查的担忧，也凸显了WhatsApp在伊朗的广泛使用和其重要性。
阅读更多
谷歌DeepMind发布了全新AI模型Gemini 2.0，称其为“智能代理时代”的模型。Gemini 2.0比之前的版本功能更强大，原生支持图像和音频输出以及工具使用。Gemini 2.0 Flash版本现已向开发者和受信任的测试者开放，并计划于明年初更广泛地推出。谷歌正在探索Gemini 2.0的智能代理体验，包括Project Astra、Project Mariner和Jules项目。谷歌致力于负责任地构建AI，并将安全和保障作为关键优先事项。
阅读更多
谷歌为四大主流浏览器（Chrome、Edge、Firefox、Safari）提供了超过80%的开发资金。美国司法部正试图迫使谷歌停止资助竞争对手，并剥离Chrome。这将导致所有主流浏览器的开发资金骤减，对互联网生态造成严重冲击。谷歌通过与Mozilla和Apple的搜索引擎协议，每年支付巨额资金，这些资金占Mozilla收入的83%，并构成Apple研发预算的很大一部分。而Edge实际上是基于谷歌的Chromium开源项目，谷歌贡献了其大部分代码。司法部的行动意在打击谷歌的反竞争行为，但其后果可能是摧毁浏览器市场，导致互联网基础设施不稳定。
阅读更多
HelixDB是一个用Rust编写的开源图向量数据库，专为检索增强生成（RAG）和AI应用而设计。它基于LMDB存储引擎，速度极快，号称比Neo4j快1000倍，比TigerGraph快100倍，与Qdrant性能相当。HelixDB支持图和向量数据类型，提供ACID一致性，并具有易于使用的CLI工具和SDK（TypeScript和Python）。目前，团队正致力于扩展向量数据类型功能、增强查询语言以及构建测试套件等。长期目标包括开发内部图向量存储引擎和网络协议库。
阅读更多
文章探讨了如何将数字数据保存100年这一难题。从IBM第一台带有硬盘的电脑RAMAC的诞生到如今云存储的盛行，作者分析了硬盘、云存储、可移动介质以及刻录在石材或打印成册等多种存储方式的优劣及面临的挑战。无论是硬件的物理损坏、软件的更新迭代，还是机构的变迁、市场的波动，都威胁着数据的长期保存。最终，作者认为，百年数字存储的关键在于建立一种重视维护和传承的文化，并需要社会各界共同努力，才能对抗时间的侵蚀，守护人类的数字遗产。
阅读更多
Nxtscape是一款基于Chromium的开源浏览器，旨在成为隐私优先的替代方案。它允许用户本地运行Manus之类的代理，通过AI助手提升生产力。不同于Chrome等封闭源浏览器，Nxtscape将AI功能置于本地，保护用户隐私。其目标是重新构想浏览器，解决现有浏览器中存在的痛点，例如多标签管理混乱、繁琐的表单填写等。Nxtscape计划集成MCP商店，并内置AI广告拦截器。该项目开源且社区驱动，用户可以参与开发和改进。
阅读更多
博主改进了一年前制作的“神父泰德”胶带盒，新版本更小巧、声音更好、外观更专业。它使用3D打印外壳、红外传感器和ESP8266微控制器，成本低于10欧元，制作过程也更容易。博主分享了3D打印模型和说明，鼓励大家自行制作，并建议捐助支持变性人的慈善机构，以对抗“神父泰德”创作者的负面言论。
阅读更多
Mintlify团队在使用Node流API和AI SDK进行HTTP流式传输时遇到问题：cURL和Postman正常工作，但node-fetch和浏览器fetch失败。排查过程中，他们发现Cloudflare Worker可以作为临时解决方案，但最终发现问题根源在于Cloudflare自动启用了压缩，而浏览器默认发送Accept-Encoding头导致压缩后的响应无法被正确解析。禁用Cloudflare压缩后问题解决。这突显了Cloudflare“智能”默认设置的潜在风险，强调了基础设施即代码和可追溯性的重要性。
阅读更多
本文探讨了属性测试（PBT）与传统单元测试的优劣。作者认为，对于单一输入的函数，单元测试足以覆盖大部分情况，但随着输入参数的增加，边界条件的组合呈指数级增长，PBT通过随机生成输入，更有效地发现隐藏的边界错误。然而，PBT也存在门槛，需要掌握复杂的输入策略生成技巧，而大多数PBT示例过于简单，无法体现其在处理复杂输入空间时的优势。
阅读更多
为对抗日益猖獗的SIM卡换卡攻击，AT&T推出了新的“账户锁定”功能。该功能可通过myAT&T应用启用，防止未经授权的账户更改，例如电话号码转移、SIM卡更换和账单信息更新。SIM卡换卡攻击通常利用社会工程学等手段获取受害者电话号码，从而拦截短信和电话，窃取验证码，入侵敏感账户。AT&T的账户锁定功能也阻止设备升级以及授权用户和电话号码的更改，其他运营商如T-Mobile、Verizon和Google Fi也已推出类似功能。
阅读更多
20年前，开放文档格式ODF成为标准，旨在打破微软Office的垄断。虽然ODF获得了部分政府和机构的支持，例如英国政府和欧盟委员会，甚至北约也将其指定为强制标准，但它未能撼动微软Office的市场地位。ODF的倡导者认为，它不仅是技术规范，更是用户选择自由和互操作性的象征，但在实际应用中，大多数用户仍然选择微软的默认文件格式。这20年，ODF与微软的竞争，反映了开放标准与商业策略的博弈。
阅读更多
Glyn 是一个为 Gleam actor 提供类型安全 PubSub 和注册表的库，支持分布式集群。它基于 Erlang syn 库构建，提供 PubSub（广播事件）和注册表（直接命令路由）两种互补的 actor 通信系统。Glyn 使用 Gleam 的 actor 模型和选择器组合模式，并需要显式解码器以确保集群中节点之间发送的消息类型安全。代码示例展示了如何定义消息类型、创建解码器以及如何使用 PubSub 和注册表进行 actor 通信，并支持多通道 Actor 集成，实现更复杂的 actor 通信场景。
阅读更多
WinRAR 7.10版本正式发布，带来诸多改进，包括性能提升的更大内存页、期待已久的暗黑模式以及重新设计的设置界面。最引人注目的是其新增的隐私保护功能：可以精细控制从Mark-of-the-Web（MoTW）中传播的信息，默认情况下只保留安全区域值，移除可能泄露下载源信息的URL和IP地址等数据，增强用户隐私保护。虽然这可能会影响取证分析，但对于注重隐私的用户来说无疑是一个福音。
阅读更多
一项关于电子产品中的有毒阻燃剂会出现在黑色塑料厨具等家用产品中的研究报告出现了重大的数学错误。该研究最初声称厨具中的阻燃剂BDE-209含量接近安全限值，引发公众恐慌。但经更正后发现，实际暴露量远低于安全限值。尽管如此，研究仍指出阻燃剂会显著污染塑料产品，且具有高暴露风险。研究还发现，只有少数黑色塑料产品受到污染。
阅读更多