Rust 10周年:一个关于社区和基础设施的故事

2025-05-17
Rust 10周年:一个关于社区和基础设施的故事

Rust 编程语言十周年之际,其最初作者 Graydon Hoare 回顾了 Rust 的发展历程。这不仅仅是一个编程语言的故事,更是一个庞大社区共同构建和维护共享技术基础设施的故事。Rust 的成功源于对可靠基础设施的需求,以及 Mozilla 等机构的长期投资和数千志愿者的贡献。Rust 从一个简单的原型发展成为一个功能强大的语言,拥有庞大的生态系统和广泛的应用。未来,Rust 需要持续吸引人才、维护稳定性和兼容性,并进一步提升质量。

阅读更多
开发

用Neovim打造个性化日记系统

2025-08-13

作者利用Neovim、coreutils和dateutils构建了一个基于Ryder Carroll子弹日记法的个性化日记系统。系统以年份为目录,月份为文件,使用`cal`命令生成日历,并用`todo`、`done`等前缀标记任务,结合vim的缩写和排序功能,实现了高效的任务管理和可视化。此外,作者还添加了语法高亮和习惯追踪功能,并利用`awk`脚本计算每月支出。最后,作者还提供了脚本,方便快速打开当前月份或前后两个月的日记文件,提升了日记书写的效率。

阅读更多
开发 日记系统

农业光伏:应对气候变化的双赢策略

2025-03-03
农业光伏:应对气候变化的双赢策略

一项新的研究表明,将太阳能发电与农业相结合,可以显著提高作物产量,节约用水,并为特别容易受到气候变化影响的地区提供低碳电力。这种被称为“农业光伏”的方法,通过在作物上方安装太阳能电池板,创造一个微气候,帮助某些作物(如豆类和玉米)在需水量更少的情况下茁壮成长。此外,农业光伏还能为农村社区提供可靠的清洁能源,从而解决粮食安全、水资源短缺和能源贫困等紧迫问题。研究发现,部分遮荫可以减少水分蒸发,提高用水效率,并能收集雨水用于补充灌溉。

阅读更多
科技

揭秘捕食者-猎物循环的数学模型:Lotka-Volterra方程

2025-04-13

Lotka-Volterra方程,也称为Lotka-Volterra捕食者-猎物模型,是一对一阶非线性微分方程,常用于描述两种物种相互作用(一种为捕食者,另一种为猎物)的生物系统动态。该模型假设猎物食物充足,呈指数增长,除非受到捕食;捕食率与捕食者和猎物相遇率成正比。捕食者种群增长取决于捕食率,并受自然死亡率影响。该模型的解是确定性和连续的,这意味着捕食者和猎物的世代不断重叠。Lotka-Volterra模型预测捕食者和猎物种群数量会发生波动,并揭示了种群平衡的特性,即猎物平衡密度取决于捕食者的参数,而捕食者平衡密度取决于猎物的参数。该模型已被应用于经济学和市场营销领域,用于描述市场中多个竞争者、互补平台和产品的动态。

阅读更多

Stack Overflow争议:用户账号被抹去,引发版权和审查之问

2025-01-09
Stack Overflow争议:用户账号被抹去,引发版权和审查之问

程序员问答网站Stack Overflow因删除Luigi Mangione的账号并保留其贡献内容引发争议。文章指出,此举违反了Creative Commons许可协议的署名条款,且与其他科技平台对Mangione账号的处理方式形成鲜明对比。作者质疑Stack Overflow此举是出于报复,因其曾就此事发问,并被禁言一年。事件涉及版权、审查、平台权力等问题,引发对科技公司与用户权利关系的反思。

阅读更多
开发

Windows 10 即将停服:数百万用户面临安全灾难

2025-01-06
Windows 10 即将停服:数百万用户面临安全灾难

微软将于2025年10月停止对Windows 10的支持,这将使数百万用户面临严重的网络安全风险。尤其在德国,仍有超过3200万台电脑运行着Windows 10,一旦停止更新,这些设备将成为网络攻击的重点目标。安全专家警告称,用户应立即升级到Windows 11或选择其他操作系统,否则将面临数据泄露、勒索软件攻击等风险。企业用户更应迅速采取行动,避免因合规问题和生产力损失而遭受重大损失。

阅读更多

强化学习的GPT-3时刻:复制训练的崛起

2025-07-13
强化学习的GPT-3时刻:复制训练的崛起

文章预测强化学习领域即将迎来其“GPT-3时刻”,通过大规模训练跨越数千个不同环境的模型,实现强大的少样本、任务无关能力。这需要前所未有的规模和多样性的训练环境,可能需要相当于数万年的“模型面对任务时间”。文章提出“复制训练”的新范式,即让AI复制现有软件产品或其特定功能,以此创建大规模、可自动评分的训练任务。这种方法虽然存在挑战,但为强化学习规模化发展提供了清晰路径,有望推动AI完成完整的软件项目。

阅读更多

NASA的生死存亡:1637天后,中国将登月

2025-06-12
NASA的生死存亡:1637天后,中国将登月

本文作者认为,目前的NASA已远不如从前,面临着严重的生存挑战。中国将在1637天内登月,这给美国带来了巨大的压力。作者批评了NASA的SLS计划,认为其耗资巨大却无法实现登月目标,并指出SpaceX的成功与NASA的落后形成鲜明对比。作者建议NASA进行改革,包括精简机构、提升效率、重视人才、重新规划发展方向等,以应对来自中国的挑战,确保美国在太空领域的领导地位。

阅读更多
科技

Google Gemini编码代理“幻觉”导致代码删除

2025-07-27
Google Gemini编码代理“幻觉”导致代码删除

一位产品经理Anuraag Gupta在使用Google Gemini CLI编码代理时遭遇了令人不安的故障:Gemini在执行移动文件任务时出现“幻觉”,错误地删除了大量代码。Gupta原本想将Claude编码实验文件移动到新文件夹,但Gemini却声称未能创建文件夹,并最终导致文件丢失。尽管Gupta的代码只是实验性质的,但这突显了AI编码代理潜在的风险,特别是对于非开发人员而言。此事件也引发了对AI工具可靠性和安全性问题的关注,提醒用户在使用此类工具时应采取必要的预防措施,例如在隔离环境中进行测试并定期备份代码。

阅读更多
科技

微软加码欧洲:应对地缘政治风险,承诺数据主权

2025-05-01
微软加码欧洲:应对地缘政治风险,承诺数据主权

面对美欧地缘政治和贸易摩擦加剧,微软宣布了一项五点计划,以增强其在欧洲的竞争力并打消客户的顾虑。该计划包括未来两年内将欧洲数据中心容量增加40%,成立由欧洲公民组成的欧洲董事会,并承诺在必要时与美国政府对簿公堂以保护欧洲客户数据。此外,微软还将加强其在欧洲的网络安全措施,并支持欧洲的开源发展。此举被认为是微软应对美国数据安全立法风险,维护其在欧洲市场份额的策略。

阅读更多

聚焦欧洲:隐私与可持续发展的科技项目精选

2025-02-08
聚焦欧洲:隐私与可持续发展的科技项目精选

这份由社区精心整理的清单,收录了众多致力于隐私和可持续发展的欧洲科技项目,旨在支持和加强欧洲科技生态系统。这些项目不仅遵守GDPR等严格的数据隐私法规,还注重环保实践,例如使用可再生能源和减少碳排放。清单涵盖了AI、云计算、数据存储、软件开发等多个领域,并按国家进行了分类,为用户提供了一个了解欧洲科技创新和实践的窗口。

阅读更多
科技 欧洲科技

arXivLabs:与社区协作者的实验项目

2025-05-05
arXivLabs:与社区协作者的实验项目

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

阅读更多
科技

美国入境旅客骤减:数据分析揭示令人不安的趋势

2025-04-07
美国入境旅客骤减:数据分析揭示令人不安的趋势

作者通过分析美国海关和边境保护局(CBP)的平均等待时间网站数据,发现今年3月以来,前往美国的外国旅客数量骤减超过10%。为验证数据的可靠性,作者还对比了美国旅客的数据,发现仅外国旅客数量下降,从而排除了数据录入延迟等因素的影响。尽管存在数据收集的局限性和季节性因素的影响,但该趋势依然值得关注,并提示了潜在的政策或其他因素的影响。作者还以圣安东尼奥的盗窃案数据为例,阐述了在分析早期数据时需谨慎对待数据完整性和潜在偏差的问题。

阅读更多
科技 旅游趋势

VAC反作弊模块转储:深入Steam反作弊机制

2025-06-18

本文深入探讨了Valve的反作弊系统VAC的工作机制。作者通过逆向工程分析了Steam服务进程(steamservice.dll),发现了VAC模块加载和运行的细节,并演示了如何通过修改特定指令来强制VAC使用LoadLibrary函数加载模块,从而实现VAC模块的转储。作者详细解释了逆向分析过程中的关键步骤,包括查找LoadLibraryW调用、跟踪函数调用链、识别临时文件等。最终,作者成功地转储了VAC模块,并展示了其中包含的关键函数,为进一步分析VAC反作弊机制奠定了基础。

阅读更多
开发 VAC

78%的硬件公司未采用安全TXT规范

2025-03-03

一位维护使用libexpat库硬件公司公开列表的开发者发现,在2025年,他测试的50家公司中,有78%(39家)未启用RFC 9116规范的/.well-known/security.txt文件,用于公开安全联系信息。这表明许多公司对安全问题的响应不够积极,难以联系到其安全团队。作者呼吁相关公司尽快修复此问题,并分享安全TXT资源链接。

阅读更多
硬件 安全TXT

游戏开发者对老板的AI计划感到厌倦

2025-01-21
游戏开发者对老板的AI计划感到厌倦

一份针对游戏开发者的调查显示,越来越多的开发者担心人工智能会对游戏行业产生负面影响。在接受调查的3000名开发者中,近一半的人对AI技术表示担忧,更有30%的人对AI持负面态度。虽然AI可以辅助编码、概念设计和3D建模,但许多开发者认为AI在游戏行业中的实际应用有限,甚至加剧了工作负担和裁员问题。许多开发者长时间加班,甚至面临失业的困境,他们将行业问题归咎于疫情后的过度扩张、不切实际的预期和管理不善。

阅读更多
游戏

清洁能源首次突破40%:太阳能增速惊人

2025-04-08
清洁能源首次突破40%:太阳能增速惊人

最新数据显示,清洁能源(包括核能、风能和太阳能)首次贡献了全球40%的电力,这是自20世纪40年代以来的首次突破。太阳能增速尤为惊人,三年内翻倍,成为增长最快的电力来源,目前贡献全球7%的电力。尽管如此,化石燃料发电量也因需求激增而增长1.4%,导致排放量达到历史新高。但清洁能源的快速发展,特别是太阳能和风能的强劲增长,预示着未来清洁能源将超越需求增长,逐步取代化石燃料,成为全球能源体系的主导力量。

阅读更多
科技

超越现实:从约旦代数到奇异时空中的李奇格

2025-03-17
超越现实:从约旦代数到奇异时空中的李奇格

本文探讨了约旦代数、八元数和李奇格之间的深层联系。文章从20世纪30年代帕斯卡·乔丹对厄米特矩阵代数性质的探索开始,引出形式上实的约旦代数及其分类,其中包含一个特殊的27维例外约旦代数。基于此,文章介绍了由约旦代数构造射影空间的方法,并重点讲解了由例外约旦代数生成的八元数射影平面。最后,文章深入探讨了一个由八元数厄米特矩阵构成的奇异时空,以及其中一个独特的积分单模格——李奇格,并指出该格在E6群作用下具有两个不同的轨道,这与通常的理解有所不同。

阅读更多

Tetris的疯狂变奏:超越经典的益智游戏

2025-01-30
Tetris的疯狂变奏:超越经典的益智游戏

从经典的俄罗斯方块到令人抓狂的变种,游戏开发者们不断挑战着这款看似简单的益智游戏的极限。文章介绍了《Tetris 99》的吃鸡模式,《Schwerkraftprojektiongerät》的多角度重力扭曲,《Terrible Tetris Tuesday》的每周疯狂挑战以及《Reaktor》的中心旋转立方体玩法。这些创新设计,不仅保留了Tetris的核心乐趣,更带来了全新的挑战和策略深度,让玩家在熟悉的方块世界里体验到意想不到的惊喜。

阅读更多
游戏

胱硫醚酶缺失如何影响代谢:一项多组学研究

2025-06-05
胱硫醚酶缺失如何影响代谢:一项多组学研究

这项研究利用小鼠模型和人体样本,深入探究了胱硫醚酶(CTH)缺失对代谢的影响。研究人员通过基因编辑技术构建了CTH敲除小鼠模型,并对这些小鼠进行了多种代谢组学分析,包括RNA测序、代谢物分析和脂质组学分析。结果表明,CTH缺失会导致小鼠出现葡萄糖耐量异常、脂肪组织变化和能量代谢紊乱等代谢问题。同时,研究还对人类样本进行了分析,验证了CTH缺失与人类代谢疾病之间的关联。这项研究为理解CTH在代谢调控中的作用,以及开发治疗相关代谢疾病的新策略提供了重要的科学依据。

阅读更多
生物医学 胱硫醚酶 代谢组学

AllTracker: 高分辨率高效密集点跟踪

2025-06-21

AllTracker是一个新型点跟踪模型,通过估计查询帧与视频中其他每一帧之间的光流场来估计长程点轨迹。它能够生成高分辨率密集(全像素)对应场,并支持768x1024像素的高分辨率跟踪。与现有方法不同,AllTracker一次处理一个窗口内的多个光流问题,而不是逐帧处理,从而实现跨越较长时间间隔的光流计算。该模型参数高效(1600万参数),并在多个数据集上进行了训练,取得了最先进的精度。

阅读更多

苹果G3隐藏彩蛋:一段鲜为人知的团队故事

2025-06-29
苹果G3隐藏彩蛋:一段鲜为人知的团队故事

一位博主发现了一个隐藏在苹果G3一体机中的彩蛋:一张预装系统ROM中的团队照片。这张照片只有通过特定步骤才能显示,是苹果乔布斯回归前时代最后一个未被记录的彩蛋之一。该彩蛋在Mac OS 9.0.4版本有效,但在9.1版本中被禁用,这与乔布斯1997年回归后禁止彩蛋的传闻相符。G3团队负责人Bill Saperstein现身说法,讲述了这支“乌合之众”工程师团队如何在秘密项目中开发G3,以及这段经历如何为后来的iMac奠定基础的故事。

阅读更多

觉醒的起源:一场由高校蔓延的道德表演

2025-01-13

本文探讨了“觉醒”(wokeness)的起源和演变。作者认为,“觉醒”并非新现象,而是源于1980年代,当时60年代的学生运动参与者成为高校教授,将政治观点融入教学和研究,催生了第一波政治正确。社交媒体和媒体极化加剧了第二波“觉醒”,形成了“取消文化”,并借助算法放大愤怒情绪。作者认为,“觉醒”本质上是一种表演性的道德主义,其危害在于用复杂的规则取代真正的美德。目前,“觉醒”已开始衰退,作者建议借鉴处理宗教的方式,避免未来类似现象的出现,维护思想多元化。

阅读更多

湖仓一体架构下的分层存储策略:共享分层还是物化?

2025-08-21
湖仓一体架构下的分层存储策略:共享分层还是物化?

本文探讨了湖仓一体架构下数据分层存储的策略选择。直接访问共享层存在可靠性问题,API访问更可取。数据生命周期管理需要一个规范的元数据服务,协调主存储和二级存储的数据位置和布局。Schema管理需要主系统控制,确保与二级存储兼容。共享分层与物化策略的选择取决于拼接/转换逻辑的位置(客户端或服务器端),以及各自的优缺点。客户端拼接时,两种策略差异不大;服务器端拼接则需考虑元数据维护和实时数据处理的衔接。

阅读更多

斯坦福研究园:硅谷的摇篮

2025-04-27
斯坦福研究园:硅谷的摇篮

斯坦福大学在20世纪50年代初,巧妙地利用其闲置土地,创建了美国首批郊区办公园区之一——斯坦福研究园。这一举动不仅解决了学校的财务困境,更意外地催生了硅谷的繁荣。通过吸引像惠普、洛克希德马丁等科技公司入驻,并与大学建立紧密的合作关系,研究园促进了科技创新和人才培养,最终塑造了当今世界科技产业格局。然而,其成功也带来了负面影响,例如加剧了帕洛阿尔托地区住房与就业岗位的严重失衡。

阅读更多
科技

Go语言错误处理的最佳实践:避免哨兵错误和错误类型

2025-06-03

本文探讨了Go语言中三种错误处理策略:哨兵错误、错误类型和不透明错误。作者认为,哨兵错误和错误类型会造成代码耦合,不推荐使用。最佳实践是不透明错误处理,仅在需要时通过接口断言检查错误行为,并使用`github.com/pkg/errors`包优雅地处理和记录错误,避免重复处理和信息丢失。

阅读更多
开发

410GB的TeleMessage堆转储数据泄露:揭秘政商名流的秘密通讯

2025-05-26
410GB的TeleMessage堆转储数据泄露:揭秘政商名流的秘密通讯

DDoSecrets泄露了410GB的以色列公司TeleMessage的服务器堆转储数据,其中包含来自灾难响应人员、海关官员、美国外交人员、白宫工作人员和特勤局成员的通讯记录。数据泄露源于一个简单的漏洞,允许任何人下载服务器上的Java堆转储文件。分析显示,数据包含来自WhatsApp、Telegram、Signal等多种通讯平台的聊天记录,其中一部分已被加密,但仍包含大量未加密的文本信息、附件和元数据。研究人员已经识别出数千名TeleMessage客户,包括来自金融、能源等行业的知名公司,例如摩根大通、苏格兰皇家银行等。虽然目前尚未发现极其敏感的信息,但该数据集提供了大量线索,可能引发进一步调查和新闻报道。

阅读更多
科技 通讯隐私

网络安全简报:恶意广告、漏洞利用和数据泄露

2025-03-10
网络安全简报:恶意广告、漏洞利用和数据泄露

微软发现了一个通过GitHub传播恶意软件的恶意广告活动,影响了近百万台设备。该活动利用盗版视频网站嵌入恶意广告重定向器,最终将用户引导至GitHub上托管的恶意软件,窃取系统信息和浏览器凭据。此外,Red Hat成为CVE编号的最终授权机构,多个严重漏洞被积极利用,包括Progress Software WhatsUp Gold中的RCE漏洞和Hitachi Vantara Pentaho Business Analytics Server中的安全漏洞。Cisco警告CVE-2023-20118被利用,并建议用户更换设备。调查显示,热门手机清理应用程序共享用户数据,而美国众议院通过了一项法案,要求联邦承包商实施漏洞披露政策。最后,诈骗犯利用AI生成的视频冒充YouTube CEO Neal Mohan进行网络钓鱼,新加坡则考虑对网络诈骗犯施以鞭刑。

阅读更多
科技

纠正鸟式埃拉托斯特尼筛法的证明:一个关于无限列表的证明

2025-02-08

本文纠正了Richard Bird在其著作《Thinking Functionally with Haskell》中关于埃拉托斯特尼筛法的一个错误证明。Bird给出了一个基于列表的循环实现,但其证明提示存在缺陷。本文作者通过引入新的引理和基于Bertrand’s Postulate(伯特兰-切比雪夫定理的弱化版本),提供了一个完整的正确性证明,并探讨了该算法与David Turner提出的“完全函数式编程”理念之间的联系。

阅读更多
1 2 804 805 806 808 810 811 812 1084 1085