GrapheneOS:抵御数字取证攻击的Android系统

2025-09-11
GrapheneOS:抵御数字取证攻击的Android系统

GrapheneOS是一款注重隐私和安全的开源Android系统,近期成为社交媒体攻击的目标。攻击者歪曲了基于同意的数字取证数据提取,声称GrapheneOS被攻破。文章详细解释了数字取证、Cellebrite等工具的工作原理,以及基于同意的数据提取方式。GrapheneOS凭借其强大的安全特性,例如在AFU模式下禁用USB连接、Titan M2安全芯片限制暴力破解尝试次数以及自动重启功能,有效抵御了此类攻击。文章指出,Cellebrite承认无法破解已安装最新更新的GrapheneOS设备,除非用户主动解锁。这场风波凸显了GrapheneOS在保护用户隐私和数据安全方面的突出优势。

阅读更多
科技

欧盟的“聊天控制”法案:隐私与打击儿童性虐待的博弈

2025-09-11
欧盟的“聊天控制”法案:隐私与打击儿童性虐待的博弈

欧盟即将就一项备受争议的“聊天控制”法案进行表决,该法案旨在通过强制扫描用户内容或绕过加密来打击儿童性虐待。然而,该法案引发了安全专家的强烈反对,他们认为该法案不可行且极具侵入性,可能导致大量误报,甚至引发国家安全灾难。一些加密应用公司也表示强烈反对,并扬言将诉诸法律或迁出欧盟。德国代表团可能要求推迟表决,法案的最终命运仍悬而未决。

阅读更多
科技

C++20模块:编译速度提升与实践经验分享

2025-09-11

本文作者分享了在实际项目中使用C++20模块的经验,包括构建系统选择(Bazel、XMake、Build2等)、编译速度提升(25%-45%),以及与PCH的区别。作者还探讨了C++20模块的适用场景、成本(代码重构、编译器稳定性、代码补全支持等)、模块包装器(export-using和extern "C++"两种风格)以及混合使用import和#include的技巧。文章最后列举了C++20模块的未来改进方向,例如改进构建系统、提升代码智能感知、解决跨平台问题等,并指出AI在模块转换工具开发中的潜力。

阅读更多
开发

Piramidal招募后端工程师,助力神经数据平台

2025-09-11
Piramidal招募后端工程师,助力神经数据平台

Piramidal公司招聘一名软件工程师,负责其神经数据旗舰平台的基础设施和后端系统建设及维护。理想候选人应具备3年以上产品驱动型公司工作经验,精通Python和其他后端语言、容器化和编排技术(如Kubernetes)、关系型数据库(如Postgres/MySQL)以及Web技术(如JavaScript、React)。该职位需要与机器学习工程师紧密合作,迭代应用最新的模型,并与产品团队和内部客户合作,理解他们的需求并提供有效的解决方案。Piramidal致力于利用技术最大限度地发挥人类潜能,其使命核心是支持认知自由。

阅读更多
开发

pgEdge 将核心组件开源,拥抱 PostgreSQL 生态

2025-09-11

pgEdge,一家专注于分布式 PostgreSQL 的公司,宣布将其核心组件,包括 Spock 复制引擎、Snowflake 序列生成器和 Lolor 大对象逻辑复制扩展,全部重新授权为 PostgreSQL 许可证,正式开源!此举标志着 pgEdge 对开源的承诺,并期待为 PostgreSQL 生态系统贡献更多力量。开发者现在可以在 GitHub 上访问这些组件的源代码,并参与其开发。同时,pgEdge 也提供云端、容器和虚拟机等多种部署方式,方便用户使用。

阅读更多
开发

五年磨一剑:组件库Reshaped开源

2025-09-11
五年磨一剑:组件库Reshaped开源

开发者历经五年打造的组件库Reshaped正式开源!起初,它作为个人项目,旨在解决React和Figma组件库的痛点。如今,Reshaped涵盖了80%的Web核心设计实践,并兼顾设计与工程的一致性。作者先将React包免费,如今开源全部代码,希望促进设计和工程领域的最佳实践交流,并计划未来推出更高级的付费组件。

阅读更多
开发

纯工程与不纯工程:两种工程师的冲突与AI的介入

2025-09-11

本文探讨了软件工程中的“纯工程”与“不纯工程”两种不同类型的工作。纯工程追求技术完美,类似艺术或研究;不纯工程注重效率,更像实际应用。大型科技公司需要两者,但如今更注重不纯工程,这导致一些专注于纯工程的工程师难以适应,与不纯工程工程师发生冲突。AI辅助开发对不纯工程更有帮助,因为它能处理不那么新颖、时间紧迫的问题,而纯工程则更依赖工程师自身的专业知识。文章强调,两种工程类型都需要高超的技能,只是侧重点不同。

阅读更多

代码库问答基准数据集:Deep Code Bench

2025-09-11
代码库问答基准数据集:Deep Code Bench

Qodo团队发布了Deep Code Bench,一个基于大型复杂代码库中真实问题的全新基准数据集。该数据集包含从代码拉取请求中提取的真实问题和答案,旨在更好地评估代码检索系统的性能。与现有基准不同,Deep Code Bench 的问题需要跨多个文件进行检索,更贴近真实的开发场景。研究人员使用了大型语言模型生成问题和答案,并采用了事实召回机制进行评估,最终结果表明Qodo的深度研究代理在事实召回率上表现最佳。

阅读更多

亚马逊秘密研发AR眼镜:为送货员打造“Amelia”项目

2025-09-11
亚马逊秘密研发AR眼镜:为送货员打造“Amelia”项目

亚马逊正秘密研发一款代号为“Jayhawk”的增强现实(AR)眼镜,据称配备单眼全彩显示屏、麦克风、扬声器和摄像头,预计将于2026年末或2027年初发布。在此之前,亚马逊还计划率先为送货员推出名为“Amelia”的AR眼镜,首批生产10万副,其设计更粗犷,显示屏主要用于提供送货路线指引。此举与Meta、谷歌等科技巨头争相布局AR眼镜市场形成鲜明对比,预示着AR技术在物流领域的应用将迎来新的发展机遇。

阅读更多
科技

深入浅出tz数据库:定制你的专属时区

2025-09-11
深入浅出tz数据库:定制你的专属时区

作者在使用Ruby时遇到了时区问题,由此发现了tz数据库。这篇文章深入浅出地讲解了tz数据库的工作原理,包括其核心组件:zic编译器、zdump工具以及时区源文件。作者通过在Alpine Docker镜像中创建一个名为Hi_No_Kuni/Konoha的虚拟时区,生动地演示了如何自定义时区规则,并用实际案例验证了结果。这篇文章不仅适合开发者学习,也让读者了解了时区背后的复杂性和规范性。

阅读更多
开发 tz数据库

openSUSE 6.17+内核禁用BCacheFS文件系统

2025-09-11

openSUSE团队宣布将在6.17及更高版本的内核中禁用BCacheFS文件系统。这是因为BCacheFS从6.17版本开始由外部维护,openSUSE团队将不再维护和移植下游补丁。目前6.16及之前的版本不受影响。用户需要按照BCacheFS上游的建议安装和使用该文件系统,也可以自行准备KMP。一旦BCacheFS维护者恢复上游维护,openSUSE将重新启用该功能。

阅读更多
开发 BCacheFS

大型项目中使用LLM的编码工作流程

2025-09-11
大型项目中使用LLM的编码工作流程

本文介绍了作者在超过10000行代码的大型项目中成功使用大型语言模型(LLM)的经验。作者发现,直接让LLM生成整个系统不可行,容易导致混乱和错误。作者提出了一种结构化的工作流程:首先手动编写设计文档和架构文件,然后将LLM用作代码生成和转换工具,每次迭代只处理一个小任务,并进行系统性的代码审查和更正,不断更新文档并记录编码规范。通过这种方式,作者成功地避免了LLM在大型项目中失效的问题,并保持了项目的可维护性和一致性。

阅读更多
开发

Dotter:Rust编写的强大点文件管理器和模板引擎

2025-09-11
Dotter:Rust编写的强大点文件管理器和模板引擎

Dotter是一个用Rust编写的点文件管理器和模板引擎,旨在简化点文件的管理和部署。它解决了手动管理点文件带来的诸多不便,例如难以追踪文件来源、在新机器上繁琐的设置以及不同机器间配置差异的处理。Dotter通过灵活的配置和自动模板化或符号链接功能,实现点文件的自动化管理。它支持Homebrew、AUR和Scoop安装,也提供二进制文件和Cargo安装方式。Dotter还提供丰富的命令行选项和钩子函数,方便用户自定义工作流程。

阅读更多
开发

基数排序战胜哈希表:大型唯一值计数的性能之战

2025-09-11
基数排序战胜哈希表:大型唯一值计数的性能之战

在计数大型数组中大部分唯一的uint64值这一问题上,基数排序在经过调优后,速度通常快于哈希表。基数排序通过高效利用内存带宽,以及巧妙地将哈希操作与排序过程融合,在处理超过1MB的数据时,速度提升可达1.5倍,甚至比Rust标准库中的Swiss Table哈希表快4倍。然而,基数排序在数据分布不均匀时性能会下降,这时可以采用可逆哈希函数预处理数据,从而保持其高效性。文章还比较了两种方法在不同数据大小和访问频率下的性能差异,并探讨了其在实际应用中的选择策略。

阅读更多
开发

蓝光去渍:告别顽固黄渍的环保新方法

2025-09-11
蓝光去渍:告别顽固黄渍的环保新方法

科学家们发现了一种环保的去渍新方法:利用高强度蓝光去除衣物上的黄色污渍。该方法通过蓝光与环境氧气反应,无需强力化学氧化剂,就能有效去除由汗渍、橙汁、番茄汁等引起的黄渍,对丝绸等娇贵面料也适用。实验表明,蓝光比过氧化氢和紫外线更有效地去除污渍,且不会损伤衣物。这项技术有望成为一种环保且高效的衣物去渍解决方案,但研究人员仍需进行更多测试以确保其安全性及耐色牢度。

阅读更多
科技 去渍

特朗普政府加强处方药广告监管

2025-09-11
特朗普政府加强处方药广告监管

这份备忘录显示,特朗普政府计划加强对直接面向消费者的处方药广告的监管。由于近年来药企广告激增,且广告中往往夸大疗效、淡化风险,政府将采取行动,要求广告中必须包含更全面的风险信息,以确保信息公平、平衡且完整,维护消费者权益。此举旨在纠正药企广告中存在的误导性信息,并促进更明智的用药决策。

阅读更多

Clojure优雅解决表达式问题

2025-09-11
Clojure优雅解决表达式问题

Chris Houser在Strange Loop大会上分享了Clojure解决表达式问题的两种方法:多方法和协议。演讲深入探讨了每种方法的优缺点,并展示了如何在Clojure中实现。Houser是《The Joy of Clojure》的合著者,也是Clojure的核心贡献者,他的演讲为Clojure的灵活性和表达能力提供了有力证明。

阅读更多
开发 多方法

AI的四个基本谬误:通往AGI的曲折之路

2025-09-11
AI的四个基本谬误:通往AGI的曲折之路

本文探讨了Melanie Mitchell提出的关于人工智能的四个基本谬误:将狭义AI的进步等同于通用人工智能(AGI);低估了常识推理的难度;使用拟人化的语言误导公众;以及忽略了具身认知的重要性。作者认为,这些谬误导致了AI领域的炒作周期和危险的权衡,例如优先考虑短期利益而非长期进展,牺牲公众信任换取市场兴奋,以及为了快速上市而放弃负责任的验证。最终,作者主张需要融合“认知范式”和“计算主义范式”,将科学原理融入当前的AI实践中,从而更安全、更负责任地发展AI。

阅读更多
AI

苹果iPhone 17 Air全球取消实体SIM卡,eSIM时代全面到来

2025-09-11
苹果iPhone 17 Air全球取消实体SIM卡,eSIM时代全面到来

苹果宣布新款iPhone 17 Air将全球取消实体SIM卡,标志着eSIM技术全面普及。eSIM作为一种数字SIM卡,具有更便捷、更安全、更环保的优势,简化了换卡、换号流程,并减少了塑料垃圾。虽然初期需要网络连接才能激活,但eSIM的远程下载和灵活切换功能将极大方便用户,特别是在境外旅游时。苹果此举或将推动其他厂商跟进,eSIM有望在未来十年内成为主流,为用户和产业带来巨大变革。

阅读更多
科技

AI编码助手大规模宕机:依赖风险与未来反思

2025-09-11
AI编码助手大规模宕机:依赖风险与未来反思

Anthropic的Claude Code等AI编码助手近期大规模宕机,暴露了软件开发对AI工具的高度依赖。一些开发者转向其他AI工具或甚至Stack Overflow,突显了过度依赖AI带来的风险。所谓的“氛围编码”(vibe coding)——使用自然语言生成代码而不理解底层操作——导致了严重的错误,例如Google Gemini CLI破坏用户文件和Replit AI服务删除生产数据库等事故。此次宕机事件提醒开发者,过度依赖AI工具可能导致严重后果,也引发了人们对工作生活平衡的反思。

阅读更多
开发

DNA磁带:比传统磁带容量大百万倍的未来存储介质

2025-09-11
DNA磁带:比传统磁带容量大百万倍的未来存储介质

中国科学家发明了一种新型DNA磁带,它利用合成DNA分子存储数据,容量惊人。与传统磁带相比,100米长的DNA磁带可以存储超过36PB的数据,相当于36000个TB硬盘。该团队通过在磁带上印制条形码来简化数据检索,并使用沸石咪唑酯涂层保护DNA分子,使其能够保存数百年。虽然它看起来像老式磁带,但它无法在传统的磁带播放机上播放,因为它是基于DNA分子的信息存储方式,而非磁性信号。

阅读更多
科技

宝马质疑欧盟2035年禁售燃油车计划

2025-09-11
宝马质疑欧盟2035年禁售燃油车计划

宝马公司首席技术官Joachim Post对欧盟计划于2035年禁止销售燃油车表示强烈质疑。他认为,这一禁令忽视了消费者需求以及充电基础设施建设和能源价格等现实问题,可能导致欧洲汽车行业崩溃。尽管电动汽车销量在欧洲增长,但仍占比较小。宝马坚持为消费者提供燃油车和电动车选择,并认为最终决定权应在消费者手中,而非欧盟。此举凸显了传统车企与欧盟政策之间的冲突,以及对未来汽车行业发展模式的担忧。

阅读更多

TailGuard:将WireGuard连接到Tailscale的Docker容器应用

2025-09-11
TailGuard:将WireGuard连接到Tailscale的Docker容器应用

TailGuard是一个简单的Docker容器应用,它允许将现有的WireGuard服务器连接到Tailscale网络,即使运行WireGuard的设备被锁定或不支持Tailscale二进制文件。它通过在VPS上运行一个容器,将WireGuard连接桥接到Tailscale网络,简化了密钥管理,并方便在设备之间切换。用户只需下载WireGuard配置,运行Docker命令即可连接。该应用支持自定义配置参数,并提供IPv6网络支持,方便用户连接到Tailscale网络和WireGuard网络。

阅读更多
开发

C++中的多重分发:挑战与解决方案

2025-09-11

本文探讨了在C++中实现多重分发的挑战。多重分发允许根据多个对象的运行时类型动态选择函数,这在处理不同类型对象间的交互时非常有用,例如计算不同形状的相交。文章比较了多种方法,包括访问者模式和暴力if-else检查,分析了它们的优缺点,最终指出访问者模式虽然高效,但侵入性强,难以维护;而暴力方法虽然易于维护,但代码冗余且效率低。文章还简述了C++标准化尝试中关于多重分发的提案,并预告后续文章将探讨其他编程语言中如何实现多重分发。

阅读更多
开发

arXivLabs:与社区协作者一起进行实验性项目

2025-09-11
arXivLabs:与社区协作者一起进行实验性项目

arXivLabs是一个允许协作者直接在arXiv网站上开发和分享新功能的框架。参与arXivLabs的个人和组织都认同并接受了arXiv关于开放性、社区、卓越和用户数据隐私的价值观。arXiv致力于这些价值观,并且只与遵守这些价值观的合作伙伴合作。如果您有想法可以为arXiv社区增值,请进一步了解arXivLabs。

阅读更多
开发

特朗普的“美好法案”意外改变了创作者经济

2025-09-11
特朗普的“美好法案”意外改变了创作者经济

特朗普政府的一项法案意外地改变了创作者经济的格局。美国财政部新规允许数字内容创作者(包括播客、社交媒体影响者和主播)将小费收入在一定限额内免税。这意味着创作者们可能会重新考虑如何获取收入,平台也可能更突出地展示小费功能。这项政策既反映了创作者经济的兴起,也可能鼓励更多人加入内容创作领域。

阅读更多

Hot Chips 2025 CPU 专题:Condor、PEZY、IBM 和 Intel 的最新处理器

2025-09-11
Hot Chips 2025 CPU 专题:Condor、PEZY、IBM 和 Intel 的最新处理器

Hot Chips 2025 大会上,CPU 专题吸引了众多目光。Condor Computing 展示了其新型 Cuzco 内核;PEZY 公布了即将推出的 SC4s 芯片;IBM 则介绍了已交付客户的 Power11 芯片;Intel 预告了基于 E-Core 的代号为 Clearwater Forest 的下一代至强服务器 CPU。文章提供了各个芯片和演示的详细链接,方便读者进一步了解。

阅读更多

告别图形界面!命令行桌面环境Desktop-TUI来袭

2025-09-11
告别图形界面!命令行桌面环境Desktop-TUI来袭

Desktop-TUI是一个无需图形界面的桌面环境,类似tmux,通过解析快捷键文件启动应用程序和命令。它支持窗口移动、大小调整、平铺选项更改,并能处理应用程序错误和GNU应用崩溃。用户可选择文件或文件夹作为应用程序或命令参数。目前使用ncurses作为后端,颜色显示存在问题,未来计划使用Crossterm。安装方式:`cargo install desktop-tui`,运行方式:`cargo run -- `。快捷键文件使用TOML格式,例如helix.toml,定义了应用程序名称、执行命令、参数等信息。

阅读更多
开发

JiraTUI:命令行下的Jira任务管理神器

2025-09-11

JiraTUI是一个强大的命令行工具,让Jira任务管理更便捷高效。它允许你直接在终端创建Jira任务,轻松设置标题、描述和优先级等细节,节省了在图形界面中跳转的时间。此外,JiraTUI还支持在终端中管理任务评论,方便团队沟通协作,确保任务进展信息清晰透明。

阅读更多
开发

在MicroHs上实现一个轻量级DataFrame库

2025-09-11

作者在2015年尝试使用Frege(一种运行在JVM上的Haskell方言)进行Android开发,由此开始了他的函数式编程之旅。如今,他致力于将自己的DataFrame库与GHC解耦,使其可在MicroHs上运行。文章详细介绍了如何在没有GADTs、类型族或反射的情况下,用Haskell 2010标准实现DataFrame的核心功能,包括构造、简单的表达式、filterWhere、derive和Markdown渲染。实验表明,虽然代码冗长,但功能完全可用,并且这种可移植性允许在MicroHs(用于小型CLI或嵌入式环境)和GHC(用于速度和生态系统访问)之间进行选择。MicroHs的二进制文件大小约为GHC的100倍,但速度约慢5-10倍,对于许多数据整理任务来说,这是一个不错的权衡。

阅读更多
1 2 21 22 23 25 27 28 29 1084 1085