SemiWiki论坛:芯片制造业的热门话题

2025-02-23
SemiWiki论坛:芯片制造业的热门话题

SemiWiki论坛近期讨论热烈,涵盖了芯片制造业的多个焦点议题。例如,英特尔前高管Raja Koduri关于芯片生产的经验分享,苹果公司自主研发生产调制解调器芯片的举动,以及中美两国在芯片制造领域的竞争态势等,都引发了广泛关注和深入讨论。这些讨论不仅反映了行业发展趋势,也凸显了技术创新和地缘政治对芯片产业的影响。

阅读更多
科技

InstantStyle:一键式风格迁移框架,轻松掌控AI图像生成

2025-03-07
InstantStyle:一键式风格迁移框架,轻松掌控AI图像生成

InstantStyle是一个简洁高效的图像风格迁移框架,通过巧妙地分离图像内容和风格信息,实现精准的风格控制。它利用CLIP的全局特征,并专注于特定注意力层(up_blocks.0.attentions.1和down_blocks.2.attentions.1)来操控风格和布局。InstantStyle已集成到diffusers等多个主流工具中,支持SDXL、SD1.5等模型,并提供在线演示和高分辨率生成功能,极大简化了使用流程,为用户带来便捷的风格化图像生成体验。

阅读更多

垂垂老矣的旅行者号:NASA 即将关闭部分科学仪器以延长其寿命

2025-03-06
垂垂老矣的旅行者号:NASA 即将关闭部分科学仪器以延长其寿命

服役近50年的旅行者号探测器能源告急。为了延长其寿命,NASA工程师正逐步关闭部分科学仪器。旅行者1号的宇宙射线子系统实验已于2月25日关闭,旅行者2号的低能带电粒子仪器也将于3月24日关闭。这些措施虽然能延长探测器的寿命至2030年代,但同时也意味着我们将会失去一些宝贵的科学数据。尽管如此,旅行者号探测器依然在不断探索未知的星际空间,为人类对宇宙的认知贡献着力量。

阅读更多
科技 星际空间

马斯克:直奔火星,月球是干扰

2025-01-05
马斯克:直奔火星,月球是干扰

马斯克近期公开批评NASA的阿耳忒弥斯计划,认为其效率低下,更偏向于就业而非成果。他明确表示,SpaceX将直奔火星,月球只是个干扰。此言论引发广泛关注,考虑到马斯克在特朗普政府中的顾问角色以及对NASA新任署长的影响力,他的观点或将对美国太空政策产生重大影响。虽然阿耳忒弥斯计划可能不会被取消,但NASA或将采取新的策略,兼顾月球和火星探索,形成双线并行发展模式,SpaceX和Blue Origin等公司将分别在其中扮演重要角色。

阅读更多
科技

DistroWatch周报:Adelie和Pop!_OS的进展,以及Facebook封禁Linux

2025-01-27

本周DistroWatch周报关注了Adelie Linux 1.0 Beta 6和Pop!_OS 24.04 Alpha 5的进展。Adelie在效率和多桌面环境支持方面有所改进,但仍存在网络连接和输入设备兼容性问题。Pop!_OS的COSMIC桌面在窗口切换和设置面板方面有所优化,但内存占用率较高,视频播放功能和VPN设置存在问题。此外,Facebook将Linux标记为恶意软件,禁止分享DistroWatch相关链接,引发关注。

阅读更多

隐藏的巨型缓存:为什么你的磁盘空间不翼而飞?

2025-02-08

许多Unix程序将缓存数据存储在隐藏的`.cache`和`.local`目录中,导致用户难以发现并清理这些占用大量磁盘空间的缓存文件。作者在共享文件服务器环境中,亲眼目睹研究生们因这些隐藏的缓存而困惑,甚至数百GB的磁盘空间被不知不觉地占用。文章呼吁程序开发者将缓存存储在可见的目录中,并建议磁盘空间使用工具应明确显示这些隐藏目录的内容,方便用户管理磁盘空间。

阅读更多

指针的复杂性:LLVM 优化器中的细微错误

2025-02-02

本文探讨了编译器中间表示 (IR) 的精确语义的重要性,特别是对于像 C、C++ 和 Rust 这样的允许不安全指针操作的语言。作者通过三个看似合理的 LLVM 编译器优化步骤,展示了如何导致最终程序行为与初始程序行为不一致的错误。问题的根源在于指针的“出处”(provenance),即指针不仅仅是内存地址,还包含其计算方式的信息。这需要更精确的 LLVM IR 规范,包括未定义行为 (UB) 的精确定义。作者认为,将编译器 IR 视为独立的编程语言,并对其进行严格规范,是解决此类问题的关键。

阅读更多
开发 指针语义

美国政府加强支出管控,打击欺诈行为

2025-02-20
美国政府加强支出管控,打击欺诈行为

美国政府收紧了对SmartPay公务卡(包括差旅卡和采购卡)的支出限制。差旅卡广泛用于政府部门,其费用通过Concur等软件工具追踪。采购卡用于低于1万美元的办公用品、IT设备等支出,需事先提交申请并获得批准。整个流程涉及多方审批和严格的账目核对,例如Pegasys系统对每一笔支出进行追踪,并要求逐笔核对支出和申请。一位GSA员工表示,要实施欺诈需要多方勾结,难度很高,驳斥了之前的欺诈指控。

阅读更多

Sparrow:轻量级Apache Arrow C++实现

2025-02-01
Sparrow:轻量级Apache Arrow C++实现

Sparrow是一个新的C++库,旨在简化Apache Arrow列式格式的集成。它针对ArcticDB等项目的需求而生,提供了一个轻量级、现代化的C++ API,专注于Arrow数据的读写操作。Sparrow利用C++标准库的迭代器、范围和概念,提供简洁易用的接口,方便与现有C++项目集成。它支持多种数据类型,包括空值处理,并提供构建器简化复杂数据结构的创建。

阅读更多
开发

Haskell:一个优秀的程序语言?

2025-01-19

本文挑战了Haskell的刻板印象,认为它是一个优秀的程序式语言。文章深入探讨了Haskell中副作用作为一等公民的特性,解释了`do`块的底层机制,并展示了如何使用`pure`、`fmap`、`liftA2`等函数操作副作用。文章还介绍了`sequenceA`、`traverse`等函数如何处理副作用的集合,以及如何利用这些特性进行高效的元编程。最终,文章通过一个复杂的例子展示了Haskell在处理状态管理和缓存等场景下的优势,并对比了其他语言的不足之处。

阅读更多
开发

山路车流:一个关于队列长度的数学难题

2025-08-07

作者在蜿蜒的山路上遭遇缓慢的车流,引发了他对车队长度的思考。他首先尝试用概率论方法计算平均车队长度,但结果(平均2辆车)与实际经验严重不符。随后,他通过模拟实验发现平均车队长度远大于2,并修正了之前的错误推导,最终得到车队长度分布的正确公式,但该公式的期望值却趋于无穷大,这意味着山路车队可能无限长。

阅读更多
杂项

Wi-Fi 下 SMB 传输速度慢:疑难排查

2025-03-26
Wi-Fi 下 SMB 传输速度慢:疑难排查

一位用户在使用 Wi-Fi 连接 NAS 时遇到 SMB 传输速度慢的问题,而以太网连接速度正常。经排查,其设备均已连接到 5GHz Wi-Fi,且网络速度测试结果良好。问题可能在于 SMB 设置、网络干扰或 NAS 的 Realtek 网卡。建议使用 iperf3 测试网络带宽,并检查 TrueNAS 设置及网络配置。

阅读更多
开发 SMB

CodeTracer:一款革命性的时间旅行调试器

2025-03-06
CodeTracer:一款革命性的时间旅行调试器

CodeTracer是一款用户友好的时间旅行调试器,支持多种编程语言。它将程序执行记录到可共享的自包含跟踪文件中,允许用户在GUI环境中向前和向后移动,检查所有内存位置的历史记录。与传统调试器相比,CodeTracer具有两大优势:轻松重现和调试难以重现的bug;通过追踪程序中任何值的来源,快速定位bug的根源。目前支持Noir语言,未来将支持更多Web3开发语言,并集成到VS Code等IDE中。

阅读更多

颠覆预测的基石模型:一家巴黎AI预测公司招募首席机器学习工程师

2025-02-20
颠覆预测的基石模型:一家巴黎AI预测公司招募首席机器学习工程师

一家位于巴黎的AI公司正在招聘首席机器学习工程师,致力于构建一个能够预测一切的基石模型。该模型将整合多种数据源(时间序列数据、文本、图像),用于企业预测,例如人员配置、供应链管理和财务预测。候选人需要精通神经网络、PyTorch或Jax,并有大型模型训练和部署经验。公司提供优厚薪酬和福利,以及在巴黎这个充满活力的城市工作的机会。

阅读更多

OpenBSD安全特性发展史:从IPsec到不可变内存

2025-02-22

本文详细介绍了OpenBSD项目开发和维护的软件和安全理念,时间跨度从1993年到2024年。OpenBSD在安全领域一直处于领先地位,这篇文章概述了其众多安全特性,包括IPsec、IPv6、特权分离、特权撤销、堆栈保护、W^X、ASLR、PIE、随机数据内存、SROP缓解、库顺序随机化,以及最新的不可变内存等技术。这些特性共同构筑了OpenBSD强大的安全体系,为用户提供了坚实的安全保障。

阅读更多
科技

特朗普政府冻结援助,全球结核病防治陷入危机

2025-02-13
特朗普政府冻结援助,全球结核病防治陷入危机

特朗普政府突然冻结美国国际开发署(USAID)的外国援助,并计划将其彻底关闭,给全球结核病防治工作带来巨大冲击。USAID是全球结核病防治的主要资金来源,其资金的冻结导致许多国家和地区的结核病诊断和治疗服务被迫停止,数百万患者生命受到威胁。此举不仅影响了疾病的治疗和预防,也严重打击了结核病研究,可能导致耐药菌株的传播。尽管已有诉讼和反对行动,但短期内结核病患者的生命安全仍面临严峻挑战,这凸显了国际合作在全球公共卫生中的重要性。

阅读更多
科技 美国援助

AI时代程序员的消亡与新生

2025-02-04
AI时代程序员的消亡与新生

文章探讨了AI对编程行业的影响,认为AI正在逐步取代程序员的一些基础技能,例如编写代码和调试错误。这类似于计算机的发明取代了人工计算员的工作。作者认为,这并非程序员技能的退化,而是效率的提升。未来程序员的角色将转变为更高级的架构师和AI的管理者,专注于系统设计、AI监督和结果评估,而非单纯的代码编写。

阅读更多
开发 未来职业

微软封堵Windows 11绕过微软账户登录的漏洞

2025-03-29
微软封堵Windows 11绕过微软账户登录的漏洞

微软最新Windows 11 Dev频道预览版移除了名为bypassnro.cmd的脚本,该脚本此前允许用户绕过强制微软账户登录的要求。微软表示此举是为了增强安全性,确保所有用户在联网状态下使用微软账户登录。此举将给那些希望在无网络连接或使用本地账户的用户带来不便,虽然微软账户有其益处,但本地账户能减少Windows 11的通知和升级提示。

阅读更多
开发

迷你机架项目:打造紧凑型便携式家庭实验室

2025-01-17

Jeff Geerling 推出了开源项目“迷你机架”,旨在帮助人们构建紧凑型便携式家庭实验室。该项目提供10英寸机架的硬件和软件资源,并展示了三个不同配置的迷你机架案例,包括一个具有电池备份和太阳能供电功能的机架,一个低成本的树莓派集群机架,以及一个高性能计算密集型机架。项目还包含一个构建展示区,方便用户分享自己的作品。

阅读更多
硬件 迷你机架

开源大模型DeepSeek:挑战ChatGPT的性价比之王

2025-02-08
开源大模型DeepSeek:挑战ChatGPT的性价比之王

DeepSeek,一款由中国AI研究公司开发的开源大型语言模型,凭借其独特的MoE架构,在性能和成本方面对标甚至超越ChatGPT。它采用多专家混合模型,仅激活必要参数,提升速度和效率;同时运用多头注意力机制和多词预测技术,使其在长对话和复杂推理中表现出色。虽然DeepSeek的数据来源存疑,但其性价比优势和直接的输出风格使其成为ChatGPT的有力竞争者。

阅读更多
AI

Ruby Ractors与YJIT:并发性能大揭秘

2025-03-26

本文作者探索了Ruby 3.4.2中Ractors的真实并发能力,并意外发现YJIT带来的惊人性能提升。通过对斐波那契数列和Tarai函数的基准测试,作者发现Ractors在macOS原生环境下能有效利用多核,但Docker环境下性能表现不佳。然而,启用YJIT后,无论是在macOS还是Docker环境下,性能都得到了显著提升,甚至超过了预期。作者总结Ractors尚不成熟,但YJIT已达到生产可用状态,并带来巨大的性能提升。

阅读更多
开发 Ractors

别试图和“巨婴”争论:理性对话的艺术

2025-04-15
别试图和“巨婴”争论:理性对话的艺术

与其说服固执己见的人,不如先辨别对方是否真的想进行理性讨论。文中指出,许多人表面上争论,实则为寻求关注、炫耀权力或玩闹。真正的论证应是思想的交流,促进理解并得出结论。作者建议,与其试图改变他人,不如学习从讨论中改变自身观点,并提出以开放心态开启对话的方式,例如询问对方改变看法的条件。文中最后指出,某些与身份认同相关的观点,往往难以通过争论改变。

阅读更多
杂项 理性思维

Apache Iceberg:大数据分析的可靠表格格式

2025-01-26

Apache Iceberg是一个高性能的分析型大数据表格格式,它为Spark、Trino、Flink等多种引擎提供对同一张表的同时安全访问。Iceberg支持灵活的SQL命令,例如数据合并、行更新和目标删除,并能通过数据文件重写或增量更新来优化读写性能。此外,它还支持隐藏分区、时间旅行和回滚功能,方便用户进行高效查询和数据管理。

阅读更多
开发 表格格式

UCLA突破性研究:唤醒休眠毛囊,告别秃顶?

2025-02-07
UCLA突破性研究:唤醒休眠毛囊,告别秃顶?

加州大学洛杉矶分校的科学家们研发出一种名为PP405的小分子化合物,能够唤醒休眠的毛囊,有望彻底解决脱发问题。历经近十年的实验室研究和2023年的首次人体试验,PP405局部外用疗法显示出显著效果,有望长出健康的“终末期”毛发,而非其他疗法产生的绒毛。这项突破性研究由三位科学家主导,并已成立公司进行进一步的临床试验和FDA审批,为数百万饱受脱发困扰的人们带来了新的希望。

阅读更多

从Python工具到网页应用:三天血泪史

2025-02-09
从Python工具到网页应用:三天血泪史

作者花了三天时间,尝试将一个简单的Python工具转换为网页应用,最初尝试使用Flask和Bottle框架,但最终因为CORS问题和异步请求的复杂性而放弃。作者尝试使用JavaScript的Fetch API和Node.js搭建REST API,但发现维护成本过高,最终回到最初的Bottle应用,虽然用户需要等待请求完成,但代码简洁易维护。这个故事说明了技术选型的重要性,有时简单的方案才是最佳方案。

阅读更多
开发

塞尔维亚政府利用零日漏洞监控异见学生

2025-03-01
塞尔维亚政府利用零日漏洞监控异见学生

国际特赦组织发现塞尔维亚政府利用Cellebrite公司出售的零日漏洞攻击了一名批评政府的学生的手机。该漏洞可以绕过最新Android系统的锁屏,利用了Linux内核中USB驱动程序的漏洞。此次事件表明,尽管Cellebrite声称已暂停向塞尔维亚相关客户销售产品,但塞尔维亚政府仍在继续对民间社会进行监控,进一步证实了其对异见的压制行为。

阅读更多
科技

Windows 11 2024 版本更新引发的BUG狂潮

2025-02-22
Windows 11 2024 版本更新引发的BUG狂潮

微软2024版Windows 11更新持续遭遇滑铁卢。2月补丁星期二更新(KB5051987)旨在修复漏洞,却引发了文件资源管理器故障、安装故障等新问题。虽然该更新修复了数字音频转换器、USB音频驱动程序、USB摄像头和密码密钥等方面的一些问题,并修补了多个安全漏洞,但文件资源管理器在打开文件夹、通过快捷方式或Windows搜索访问时出现无响应等问题,安装过程也可能卡在96%或0%。此外,还出现了鼠标卡顿、摄像头无法检测、.NET应用程序无法在Windows沙盒中安装等问题。虽然并非所有用户都遇到问题,但这些问题凸显了Windows 11 2024版本的不稳定性,微软需要尽快解决这些问题,确保系统稳定可靠。

阅读更多
科技 BUG

巴贝奇与他的破译密码艺术

2025-07-08

19世纪的数学家查尔斯·巴贝奇在其自传中讲述了他令人着迷的破译密码经历。他从小就展现出过人的天赋,轻松破解同龄人的密码,但也因此挨了不少打。巴贝奇坚信任何密码都能被破译,并与友人进行了一场有趣的对决,最终凭借其非凡的洞察力和耐心,成功破译了朋友设计的密码,揭示了其看似复杂的规律,展现了其在密码学领域的非凡才能。

阅读更多
杂项 巴贝奇 破译

两个Claude对话陷入无限佛系循环:AI的递归偏见

2025-06-13
两个Claude对话陷入无限佛系循环:AI的递归偏见

当两个Anthropic的Claude AI互相对话时,它们会陷入关于精神喜悦、佛教和意识本质的狂热讨论。这并非有意为之,研究人员也无法解释。本文作者提出了一种解释:AI存在微小的偏见,在递归过程中(例如,AI不断生成自身图像或进行自我对话)会被放大。就像AI生成图像时,轻微的“多样性”偏见会导致最终图像全是怪诞的黑色人物一样,Claude轻微的“精神”偏见在递归对话中导致了无限的佛系讨论。这种偏见可能源于训练数据或为了避免AI的种族偏见而人为添加的修正,在递归过程中被无限放大。作者还探讨了AI的性别和性格设定如何影响其行为,认为Claude的“嬉皮士”性格是其精神偏好产生的原因。最终,作者承认无法确定Claude是否真正体验到了精神喜悦,只是认为这种现象并非超自然现象,而是AI递归过程和偏见积累的结果。

阅读更多

阿尔茨海默症研究的欺诈与希望:Leqembi 的真相

2025-02-23
阿尔茨海默症研究的欺诈与希望:Leqembi 的真相

《被篡改的真相:治愈阿尔茨海默症的追求中的欺诈、傲慢与悲剧》一书揭露了阿尔茨海默症研究领域长达数十年的欺诈和夸大宣传。作者调查发现,长期占据主导地位的淀粉样蛋白假说可能基于伪造数据,而备受期待的新药Leqembi的效果也远低于预期。数十年来,巨额资金投入却收效甚微,究其原因是该领域对其他治疗途径的忽视和打压。作者呼吁重新审视阿尔茨海默症的研究方向,并为患者带来真正的希望。

阅读更多
科技 Leqembi
1 2 996 997 998 1000 1002 1003 1004 1084 1085