Rust并发陷阱:原子计数器引发的性能瓶颈

2025-06-10
Rust并发陷阱:原子计数器引发的性能瓶颈

Conviva的流分析平台因一个看似简单的原子计数器而导致性能瓶颈。该计数器位于一个全局共享的类型注册表中,使用了并发哈希映射Flashmap。高并发下,原子计数器的更新导致缓存行抖动和上下文切换频繁,最终引发P99延迟飙升。替换为Dashmap未能解决问题,最终采用ArcSwap,基于RCU的机制避免了缓存竞争,解决了问题。此案例强调了在高并发场景下选择合适数据结构的重要性,尤其是在读多写少的场景下,ArcSwap的性能优势明显。

阅读更多
开发

IBM和格芯巨额诉讼案尘埃落定

2025-01-03
IBM和格芯巨额诉讼案尘埃落定

IBM和芯片制造商格芯(GlobalFoundries)结束了旷日持久的法律纠纷,包括合同违约、专利和商业秘密诉讼等。双方达成的和解协议细节保密,但表示将探索新的合作机会。这场诉讼始于2021年,涉及双方此前达成的15亿美元芯片生产协议,以及格芯指控IBM非法泄露其商业秘密。和解为双方未来的合作扫清了障碍,特别是IBM与Rapidus合作开发2nm芯片技术的进程。

阅读更多
科技 格芯

AI:数学而非魔法

2025-06-14
AI:数学而非魔法

本文揭秘了人工智能的本质:并非魔法,而是数学。AI系统通过学习大量数据中的模式,进行预测和决策,如同手机的自动补全功能,但更为复杂。文章解释了AI如何工作,例如ChatGPT预测下一个最可能的词,Midjourney通过数学方法将随机噪声细化为匹配提示的图像。文章也指出了AI的局限性,包括产生虚假信息、缺乏常识和存在偏见等问题,并探讨了AI不断改进的原因:更多更好的数据、更强大的计算能力、更好的算法和模型以及更强的集成性和专业化。尽管AI系统日益强大,但其本质仍然是基于数学的模式识别,而非具有意识的智能体。

阅读更多
AI

定向泛种论:播撒生命还是毁灭未来?

2025-03-25

本文探讨了定向泛种论——人类有意识地将生命播撒到宇宙中的伦理和技术挑战。科学家们提出,即使是简单的细菌孢子,经过基因改造后,也能在星际旅行中存活并最终改造宜居星球。然而,这种行为也引发了深刻的伦理问题:我们是否有权创造可能遭受痛苦的智慧生命?文章还指出,宇宙膨胀导致潜在宜居星球数量不断减少,这为定向泛种论增加了紧迫性,但同时也增加了风险,需要在技术成熟和伦理共识达成前暂停相关研究。

阅读更多

LLVM代码行为准则委员会的失败:一个开源贡献者的故事

2025-05-12

一位开源贡献者在LLVM项目中提交了一个bug报告,却遭遇了不公正的待遇。尽管提供了详尽的证据,但代码行为准则委员会却认定他违反了行为准则,而忽略了其他贡献者明显的违规行为。这引发了对开源社区中代码行为准则执行的质疑,以及对公平性和问责制的担忧。该事件甚至蔓延到Mesa项目,进一步凸显了开源社区中需要改进冲突解决机制的问题。

阅读更多

波音星际线载人飞船:安全隐患与未来前景

2025-02-09
波音星际线载人飞船:安全隐患与未来前景

NASA年度安全审查报告对波音星际线飞船的首次载人飞行进行了评估。尽管肯定了NASA优先考虑宇航员安全的做法,报告仍指出了星际线飞船在发射和返回过程中出现的多个推进器故障和氦泄漏问题,甚至在返回地球途中又发现了新的推进器故障。报告批评了NASA与波音之间角色和责任不明确,导致风险管理决策可能无意中下放给承包商。此外,报告质疑了在ISS退役后(2030年后)星际线飞船的需求,因为其认证计划面临诸多挑战,包括电池重新设计、着陆气囊装置加固以及进度和预算问题。相比之下,SpaceX的Crew Dragon飞船已经成功执行多次任务。目前,因星际线飞船问题滞留空间站的两位宇航员,将搭乘SpaceX的Crew Dragon飞船返回地球。

阅读更多

Shein和Temu引发的美国“de minimis”税收规则争议

2025-02-02
Shein和Temu引发的美国“de minimis”税收规则争议

快速崛起的跨境电商Shein和Temu,因利用美国“de minimis”税收规则(免征800美元以下小额进口商品关税)而引发争议。批评者认为此规则导致不公平竞争,甚至可能允许违禁商品进口。Shein和Temu表示支持改革,但前提是公平公正。目前国会已提出相关议案,但前景不明朗。一些专家认为,此规则不太可能很快消失,而更多零售商则选择“曲线救国”,寻求利用该规则降低成本。

阅读更多
创业 税收政策

程序员如何高效利用大型语言模型

2025-02-04

一位资深软件工程师分享了他如何将大型语言模型(LLM)融入日常开发工作,提高效率。他主要使用LLM进行代码补全、编写一次性代码、学习新领域、最后手段的bug修复以及润色文档。他强调LLM并非万能,尤其不适合编写核心业务逻辑或撰写正式文档,但作为辅助工具,能显著提升效率,尤其是在处理不熟悉的代码或学习新技术时。

阅读更多
开发

为什么民航客机速度几十年没变快?

2025-02-10
为什么民航客机速度几十年没变快?

尽管其他技术飞速发展,民航客机的速度自上世纪60年代以来却几乎没有提高。这并非技术瓶颈,而是出于燃油经济性的考虑。现代高涵道比涡扇发动机效率更高,但其最佳效率点在较低速度下,因此飞机制造商选择设计速度稍慢的飞机,这也有助于降低成本。超音速飞行曾是例外,但音爆问题限制了其发展。未来超音速公务机有望改变现状,但其政治可行性仍存疑。

阅读更多
科技 航空技术

轻量级持久化执行:DBOS Transact 开源库

2025-02-03
轻量级持久化执行:DBOS Transact 开源库

传统的持久化执行依赖外部协调器,例如AWS Step Functions,这增加了开发和部署的复杂性。DBOS Transact是一个轻量级的开源库,它将持久化执行集成到程序本身,无需外部协调器。它通过在Postgres数据库中持久化程序的执行状态来实现持久化执行,即使程序崩溃或重启,也能自动恢复到中断的地方。DBOS Transact还提供了其他功能,例如持久化休眠、持久化消息传递和持久化队列,进一步简化了可靠状态程序的开发。

阅读更多
开发 DBOS Transact

GitHub代码建议应用限制

2025-03-26
GitHub代码建议应用限制

本文列举了GitHub代码审查中应用建议时遇到的各种限制,例如:建议应用需单次提交、不能应用于无代码修改、已关闭或待合并的pull request,以及已解决或删除的建议等。这些限制旨在维护代码库的完整性和审查流程的效率。

阅读更多
开发 Pull Request

Firefox 扩展程序:阻止 YouTube 自动翻译

2025-07-19
Firefox 扩展程序:阻止 YouTube 自动翻译

这款开源的 Firefox 桌面扩展程序可以阻止 YouTube 的自动翻译功能。它可以保留视频标题、音频轨道和描述的原始语言,并只显示所选语言的真实字幕(忽略自动生成的字幕)。该扩展程序完全免费,但用户可以选择通过 Ko-fi 进行捐赠以支持开发。Chrome 浏览器用户也可以在 Chrome 网上应用店找到它。

阅读更多

HP FreeDOS 笔记本电脑的奇怪秘密:三层嵌套操作系统

2025-03-03

最近,一位用户购买了一台预装FreeDOS的惠普ZBook笔记本电脑,却意外发现了一个奇怪的现象:系统启动过程异常漫长,并且在FreeDOS启动之前,短暂地出现了类似Linux内核启动信息的画面。经过一番调查,他发现这台电脑实际上包含三个操作系统:一个基于Debian 9的Linux系统作为底层,运行着一个虚拟机,虚拟机中运行着两个相同的FreeDOS系统。更令人惊讶的是,其中一个FreeDOS系统实际上是一个旧版本的Debian 6.0.3,被配置成一个简单的网络信息亭模式。这台笔记本电脑的FreeDOS预装系统设计复杂且过时,反映了惠普在更新硬件和软件兼容性方面的一些问题。

阅读更多
硬件

付费同行评审:加速审核,质量不变?

2025-03-31
付费同行评审:加速审核,质量不变?

近期两份研究表明,向同行评审人员支付约250美元的费用,可以加快审核速度,且不会影响审核质量。一项由《Critical Care Medicine》杂志进行的实验显示,支付报酬可以提高邀请接受率和审核速度;另一项由《Biology Open》杂志进行的实验也得到了类似的结果,但支付金额更高。虽然实验规模较小,但为付费同行评审提供了初步数据,引发了关于同行评审付费模式的讨论,该模式可能对科研出版产生深远影响。

阅读更多

洋基队的“鱼雷棒”:改变棒球游戏规则的革命性球棒?

2025-03-31
洋基队的“鱼雷棒”:改变棒球游戏规则的革命性球棒?

洋基队在比赛中使用了由MIT物理学家设计的“鱼雷棒”,这种球棒的设计使得击球的“最佳击球点”更大,从而显著提高了击球命中率和本垒打数量。比赛中,洋基队创下了单场9支本垒打的队史纪录。虽然这种球棒符合MLB规则,但其革命性的设计引发了关于棒球运动未来走向的热议,甚至有人呼吁联盟修改规则。

阅读更多
游戏

Safe C++提案夭折:C++标准委员会选择更务实的Profiles方案

2025-09-14

一年前提出的Safe C++提案旨在为C++添加一个安全的子集,以提供类似Rust的内存安全、类型安全和线程安全保证,但不会破坏现有C++代码。该提案最终被C++标准委员会否决,转而优先考虑Profiles方案。Profiles方案通过定义C++的约束模式来保证安全属性,它比Safe C++更务实,更易于采用,虽然提供的安全保证可能不如Safe C++全面,但却是更现实的途径。

阅读更多
开发 Profiles

谷歌地球水体命名策略:兼顾中立与准确

2025-01-29
谷歌地球水体命名策略:兼顾中立与准确

面对全球用户对地名和边界的不同看法,谷歌地球制定了一套水体命名策略。该策略优先考虑沿岸国家常用的名称,如存在争议,则显示所有主要名称并提供解释。此举旨在保持中立客观,同时兼顾信息完整性,避免简单地依赖国际组织或学术观点,最终目标是提升用户体验并展现对地缘政治问题的敏感性。

阅读更多
科技 地名争议

奶酪上的白色结晶:美味的秘密

2025-03-31
奶酪上的白色结晶:美味的秘密

你是否在奶酪上看到过白色的物质而感到困惑?别急着扔掉!这篇文章揭秘了奶酪上白色结晶的秘密。这些结晶并非霉菌,而是钙乳酸盐、酪氨酸或亮氨酸等物质,是奶酪成熟的标志,赋予奶酪独特的口感和风味。文章详细解释了不同类型结晶的形成过程、外观和口感,教你如何区分它们,以及如何鉴别优质陈年奶酪。下次再看到奶酪上的白色结晶,你就能自信地品尝这来自时间和工艺的美味馈赠了。

阅读更多
杂项 结晶

Meta发布全新视频编辑应用Edits,挑战CapCut缺位

2025-01-20
Meta发布全新视频编辑应用Edits,挑战CapCut缺位

在抖音母公司字节跳动旗下视频编辑应用CapCut被下架后,Meta于周日宣布推出新的视频编辑应用Edits。Instagram负责人Adam Mosseri表示,该应用将于下月在iOS平台上线,Android版本随后推出。Edits将提供一系列创意工具,包括灵感标签、创意追踪标签和高质量相机,并支持与朋友或合作者分享草稿。Meta此举被认为是填补CapCut缺位造成的市场空白,类似于此前Instagram Reels的推出以及Threads的发布。

阅读更多
开发 Edits CapCut

XFCE 4.20发布:Wayland实验性支持及诸多改进

2024-12-15

历经近两年开发,XFCE 4.20正式发布!该版本着重于Wayland支持的准备工作,目前已为大多数组件提供实验性Wayland支持,但仍处于早期阶段,建议高级用户使用。此外,XFCE 4.20还包含大量新功能、错误修复和改进,例如改进的图标缩放、性能提升的图标视图、增强的Thunar文件管理器等。值得注意的是,Wayland支持尚不完整,部分组件和功能尚未移植。

阅读更多
开发 XFCE

RISC OS 3.11 图形界面:一场与众不同的桌面体验

2025-05-18

本文深入探讨了1992年发布的英国Acorn电脑公司RISC OS 3.11操作系统图形界面。与同时代的苹果System 7相比,RISC OS 3.11拥有独特的Pinboard和Icon Bar桌面布局,以及基于三键鼠标的创新交互方式。其菜单系统直接整合对话框,并巧妙地利用鼠标按键实现多种操作,极大地减少了对键盘修饰键的依赖。窗口管理方面,RISC OS 3.11独特地处理窗口焦点和堆叠顺序,并支持原地最小化。文件操作方面,它摒弃了标准的打开和保存对话框,而是采用拖放和菜单输入的方式,并允许用户自定义文件类型。总而言之,RISC OS 3.11 的图形界面设计大胆独特,至今仍值得我们学习和借鉴。

阅读更多
开发

Octocode:AI赋能的代码索引和知识图谱构建工具

2025-06-07
Octocode:AI赋能的代码索引和知识图谱构建工具

Octocode是一款强大的代码索引和语义搜索引擎,它能够构建代码库的智能知识图谱。它结合了先进的AI能力和本地优先设计,为开发者提供深度代码理解、关系映射和智能辅助。Octocode支持多种编程语言,并提供自然语言查询、多模式搜索、智能排名、符号扩展等功能。此外,它还集成了内存系统,用于存储见解、决策和上下文,并支持与AI助手无缝集成。

阅读更多
开发

Medicare将与药厂谈判15种热门药物价格

2025-01-17
Medicare将与药厂谈判15种热门药物价格

拜登政府宣布,包括Ozempic和Wegovy在内的15种常用药物将纳入Medicare的价格谈判计划。这标志着美国政府首次直接与制药商谈判药物价格,预计将为纳税人节省数十亿美元。虽然Ozempic和Wegovy因其高昂的费用而备受关注,但Medicare目前仅将其用于治疗糖尿病,而非减肥。这项新规将由即将上任的特朗普政府决定是否执行。此举将使Medicare参与价格谈判的药物总数达到25种,涵盖了三分之一的处方药支出。制药行业已对该计划提起诉讼,但AARP等组织表示将坚决维护这项法律。

阅读更多

美国气象局预算削减致龙卷风预警延误,造成人员伤亡

2025-05-18
美国气象局预算削减致龙卷风预警延误,造成人员伤亡

今年早些时候,美国国家气象局的预算削减导致一些办公室被迫停止24小时运营,其中包括肯塔基州杰克逊的气象站,该站的全职夜间预报员职位被裁撤。这直接导致了最近一场龙卷风灾害中预警延误,造成至少27人死亡,多人失踪。事件发生前,《纽约时报》已报道了这些裁员将损害天气预报改进,而现在,特朗普忠实的公关团队正在试图否认和淡化这一事件。这一悲剧凸显了削减气象服务经费的严重后果,也引发了人们对未来极端天气事件中公共安全的担忧。

阅读更多
科技 气象预警

用LLM解释线性规划:从个人项目到微软研究

2025-02-10

2020年,作者在谷歌供应链部门工作期间,开发了一个辅助理解线性规划(LP)的项目。LP模型复杂时,理解其结果对专家来说都具有挑战性。作者通过交互式修改模型并对比结果来解释模型行为,并认为添加语义元数据可以简化这一过程。最近,微软的研究人员发表了一篇论文,使用大型语言模型(LLM)将自然语言查询转换为结构化查询,从而实现了类似的功能。作者认为,LLM非常适合将人类的模糊疑问转化为结构化查询,再由传统的优化系统处理并生成结果,最后再由LLM总结成易于理解的语言。虽然作者的早期工作未发表,但他认为理解简单系统的解释对于解释更复杂的AI系统至关重要。

阅读更多

西蒙-埃利希赌局:资源稀缺的百年真相

2025-01-12
西蒙-埃利希赌局:资源稀缺的百年真相

1980年,经济学家朱利安·西蒙与生物学家保罗·埃利希就五种金属价格的未来走势打赌。埃利希认为人口增长将导致资源枯竭,价格上涨;西蒙则认为人类创新将克服资源短缺,价格下跌。十年后,西蒙获胜。但本文作者利用1900年至今的数据,分析了不同十年间的价格波动,发现西蒙和埃利希在不同年代都有胜负,但长期来看,资源价格并未大幅上涨,这与西蒙的观点更接近:人类创新抵消了资源稀缺的影响,即使产量大幅增加,价格也相对稳定。

阅读更多

RAK5010开发板:解锁BG95-M3模块的USB接口

2025-02-22
RAK5010开发板:解锁BG95-M3模块的USB接口

作者使用RAK5010开发板,尝试访问板载Quectel BG95-M3模块的USB接口,该接口提供了三个串口。通过查阅原理图,作者找到了需要改动的四个电阻。经过一番细致的焊接操作(过程中还发生了一个小插曲:一个电阻不慎丢失),作者成功地将USB数据线连接到BG95-M3模块。最终,作者成功地通过USB直接与调制解调器通信,解锁了三个串口。

阅读更多
硬件 RAK5010 BG95-M3

DeepSeek的smallpond和3FS:为超大规模数据集设计的DuckDB扩展

2025-03-02
DeepSeek的smallpond和3FS:为超大规模数据集设计的DuckDB扩展

DeepSeek AI发布了smallpond和3FS,旨在扩展DuckDB数据库以处理PB级数据集。smallpond是一个轻量级的分布式数据处理框架,允许DuckDB在多节点上并行处理数据;而3FS则是一个高性能并行文件系统,利用SSD和RDMA网络技术提供极高的吞吐量。然而,这两个工具的部署和使用较为复杂,需要专业的硬件和DevOps技能,对于10TB以下的数据集,使用单节点DuckDB或其他更简单的方案更有效率。只有在处理超大规模数据集时,smallpond和3FS才展现出其优势。

阅读更多

Meta胜诉阻止前高管爆料书籍发布

2025-03-13
Meta胜诉阻止前高管爆料书籍发布

Meta成功阻止了一名前政策主管兼举报人萨拉·温恩-威廉姆斯出版的爆料回忆录《粗心大意的人》的销售和宣传。该书披露了扎克伯格试图将Facebook引入中国以及Meta政策主管的不当行为等细节。仲裁员裁定温恩-威廉姆斯违反了保密协议,Meta称该书为“旧闻新书”,并得到了多名前员工的证实。

阅读更多
科技 爆料
1 2 960 961 962 964 966 967 968 1084 1085