程序员恶意破坏公司系统被判十年监禁

2025-03-08
程序员恶意破坏公司系统被判十年监禁

一名55岁的资深软件开发工程师戴维斯·卢因在离职前恶意破坏其雇主伊顿公司的系统,被判有罪,面临十年监禁。卢在离职前编写了恶意软件,导致公司数千名员工被锁出网络,造成巨大经济损失。调查发现,卢编写了名为“Hakai”(日文:破坏)和“HunShui”(中文:睡眠)的恶意程序,并创建了一个“自杀式开关”,在他失去访问权限后锁定所有员工帐户。此外,他还试图删除公司数据和操作系统目录。尽管卢承认了自己的行为,但陪审团仍认定其犯有故意损坏受保护计算机的罪行。

阅读更多
开发

用音频线监听波罗的海国家电网切换

2025-07-12

2025年2月8日周末,波罗的海国家电网将从俄罗斯电网切换到欧洲大陆电网。作者突发奇想,尝试用电脑音频接口和一段音频线充当传感器,通过FFT算法分析音频信号中的50Hz频率变化来监测这一过程。尽管方法简陋,但结果令人惊喜:成功记录到了电网切换的瞬间频率变化,与专业监测数据高度吻合。

阅读更多
科技 电网同步

量子傅里叶变换算法加速

2025-01-27
量子傅里叶变换算法加速

Ronit Shah提出了一种改进的量子傅里叶变换(QFT)算法。传统算法中,近似QFT需要Θ(n log n)个门,精确QFT需要Θ(n²)个门。新算法通过递归划分量子比特,将近似QFT的成本降低到Θ(n(log log n)²)个门,精确QFT的成本降低到Θ(n(log n)²)个门。这项突破性进展有望显著提升量子计算的效率。

阅读更多

NESFab:一款高性能NES游戏编程语言

2025-02-13

NESFab 是一款为创建 NES 游戏而设计的新编程语言。它针对 8 位机的限制进行了优化,比 C 语言更易于使用,同时生成更快的汇编代码。NESFab 提供易用的库,方便开发者快速上手,无论是制作第一个还是第 N 个 NES 游戏都游刃有余。它还具有自动银行切换、简易资源加载和集成地图编辑器 MapFab 等特性,极大地提高了开发效率。尽管目前仍处于 Beta 阶段,但 NESFab 在性能方面已超越了 GCC 和 LLVM 等编译器,有望成为性能最佳的 6502 编译器。

阅读更多
开发

LLM Hacker News 插件:一键获取 Hacker News 内容摘要

2025-04-08
LLM Hacker News 插件:一键获取 Hacker News 内容摘要

一个名为 `llm-hacker-news` 的新 LLM 插件可以让你轻松获取 Hacker News 上的对话内容摘要。只需安装插件,然后使用 `llm -f hn:ID '你的指令'` 命令(例如 `llm -f hn:43615912 '总结并引用关键语句'`),即可获得指定对话 ID (ID可在对话链接中找到) 的摘要。插件安装和本地运行方法也已在README中详细说明。

阅读更多
开发

构建无障碍UI:不仅仅是道德,更是为了提升开发效率

2025-06-17
构建无障碍UI:不仅仅是道德,更是为了提升开发效率

本文作者并非从道德角度出发倡导无障碍UI设计,而是基于自身开发经验,列举了构建无障碍UI的诸多益处:提升代码可调试性,例如使用语义化标签使代码结构清晰易懂;改进命名规范,ARIA属性提供标准化的命名方案;增强测试能力,基于语义化的测试更健壮;提升用户体验,特别是键盘操作效率。作者认为,无障碍UI设计并非难事,且能带来诸多好处,呼吁开发者重视无障碍设计。

阅读更多
开发 无障碍UI

别嘲笑你不懂的东西:测试第三方依赖的更好方法

2025-06-18
别嘲笑你不懂的东西:测试第三方依赖的更好方法

本文探讨了单元测试中处理第三方依赖的常见问题。作者通过一个Docker仓库客户端的例子,阐述了直接模拟第三方依赖(例如HTTP客户端)的弊端:测试代码变得复杂、脆弱且难以理解。作者建议引入一层薄薄的抽象层,将业务逻辑与第三方依赖解耦,从而简化测试,提高代码可读性和可维护性。这种方法不仅使得测试更清晰简洁,也提升了业务逻辑代码的可读性和可维护性。作者最后总结说,虽然这个原则并非绝对,但在大多数情况下,它能帮助我们编写更优雅、更易于维护的测试代码。

阅读更多

罗马十二面体之谜:宇宙的象征还是神秘的权杖?

2025-07-16
罗马十二面体之谜:宇宙的象征还是神秘的权杖?

自1739年发现以来,罗马十二面体就一直困扰着考古学家。这种12面体青铜器物遍布罗马帝国西北部行省,其用途至今成谜。学者们提出了各种推测,包括武器、装饰品、测量工具等等,但都缺乏确凿证据。最新研究认为,它可能象征着宇宙,与古希腊哲学家柏拉图和毕达哥拉斯的思想有关,也可能与德鲁伊传统相关联。一个与骨制长杆一同出土的十二面体为这一理论提供了支持,暗示其可能被用作权杖上的装饰,象征着宇宙的奥秘。

阅读更多

微软邮件审查:关键词封锁引发员工抗议

2025-05-22
微软邮件审查:关键词封锁引发员工抗议

微软员工发现包含“巴勒斯坦”或“加沙”等关键词的邮件会被暂时阻止发送。No Azure for Apartheid (NOAA)抗议组织称,数十名微软员工无法发送包含这些词语的邮件。微软回应称此举是为了减少公司内部的“政治性邮件”,但此举引发了员工对言论自由受限的担忧。事件发生之际,微软正因其与以色列政府的合同而面临员工抗议,多名员工在Build开发者大会上公开抗议,其中一人更因此被解雇。

阅读更多
科技

Backblaze财务困境引发数据备份担忧

2025-04-29
Backblaze财务困境引发数据备份担忧

云备份服务商Backblaze自2021年上市以来持续亏损,股价暴跌71%。近期一份报告指出Backblaze可能面临破产风险,引发用户对其数据安全性的担忧。Backblaze否认该报告,称其财务数据准确无误,服务稳定可靠。但该公司持续的巨额亏损和负面报道,仍让用户对数据备份的安全性感到担忧,也提醒我们备份策略的重要性。

阅读更多
科技

唯一一张协和式飞机超音速飞行的照片

2025-01-26
唯一一张协和式飞机超音速飞行的照片

本文讲述了拍摄到唯一一张协和式飞机超音速飞行照片的传奇故事。1985年4月,一架英国皇家空军“狂风”战斗机与协和式飞机在爱尔兰海域上空会合,在燃料耗尽前短暂地以超音速飞行,并成功捕捉到协和式飞机以马赫2速度飞行的珍贵画面。这需要精密的协调和多次尝试,因为“狂风”战斗机只能维持几分钟的超音速飞行。协和式飞机作为历史上最快的商用飞机,其超音速飞行和最终退役的故事也令人回味无穷。

阅读更多

SSL.com域名验证漏洞:误判邮箱域名

2025-04-19

SSL.com 的域名验证系统存在安全漏洞。通过利用 BR 3.2.2.4.14 DCV 方法(邮件到 DNS TXT 联系),攻击者可以欺骗系统验证其邮箱域名,从而获得未授权的证书。例如,攻击者使用 `[email protected]` 作为验证邮箱,SSL.com 却错误地将 `aliyun.com` 添加到已验证域名列表中,允许其获取 `aliyun.com` 和 `www.aliyun.com` 的证书。这表明该系统未能准确区分验证邮箱和目标域名,存在严重的安全风险。

阅读更多
科技 SSL.com

15岁少年自制30欧元开源手机Paxo Phone:挑战智能手机行业

2025-01-26

15岁的Gabriel Rochet仅用30欧元和一些简单的工具,成功打造了一款名为Paxo Phone的开源手机。这款DIY手机基于开源硬件和软件,具有高度的模块化和可定制性,用户可以根据自身需求修改硬件和软件。Paxo Phone的出现,不仅挑战了传统智能手机行业的封闭性和不可修复性,也为学习电子和计算机技术提供了绝佳的实践平台,并对数字世界的自由和电子产品可修复性提出了反思。

阅读更多
科技 DIY手机

Reddit机器人引发的疯狂:一场关于真实性和算法操纵的噩梦

2025-04-13
Reddit机器人引发的疯狂:一场关于真实性和算法操纵的噩梦

作者在Reddit上发现一个看似真实的帖子,表达了对互联网虚假和算法操纵的担忧。然而,深入调查后发现,这竟然是一个AI机器人,通过伪装成人类,引发共鸣,最终引导用户购买AI插图书籍。这个事件揭示了算法操纵的可怕之处,让人质疑互联网上真实互动的真实性,引发了对“死互联网理论”的思考:大部分网络互动是否仅仅是机器人之间的自动化循环?作者的经历更像是一场精心设计的网络心理战,让人不寒而栗,最终以对未来科技发展方向的担忧收尾,体现了对科技伦理的反思。

阅读更多

R1-Zero训练的奥秘:高效LLM对齐新框架Oat

2025-03-22
R1-Zero训练的奥秘:高效LLM对齐新框架Oat

研究者们发布了一篇论文、模型和代码库,揭示了R1-Zero类训练的奥秘。他们开发了一个名为Oat的高效模块化LLM强化学习框架,并利用其对Qwen2.5等模型进行了R1-Zero训练。研究发现,合适的模型和改进的强化学习算法(Dr. GRPO)至关重要,避免了模板和问题集不匹配导致的偏差优化问题。最终,仅用27小时计算时间,在8个A100 GPU上,他们实现了最先进的性能。

阅读更多
AI R1-Zero

PHP 许可证更新:告别混乱,拥抱 BSD-3-Clause

2025-07-15

历经多年许可证混乱,PHP 终于迎来简化。此 RFC 建议将 PHP 许可证和 Zend 引擎许可证统一为 Modified BSD License (BSD-3-Clause)。此举不会改变贡献者和用户的权利,并使 PHP 与 GPL 兼容,消除了与 OSI 审批和 GPL 兼容性相关的问题,也解决了长期以来与 Debian 等发行版之间的许可证争议。PHP 9.0.0 将全面采用新许可证。

阅读更多
开发 BSD-3-Clause

Emacs神器:EXWM窗口管理器

2025-04-13
Emacs神器:EXWM窗口管理器

EXWM是一款基于XELB构建的,功能齐全的Emacs窗口管理器,完全通过键盘操作。它支持混合布局模式(平铺和堆叠)、动态工作区以及ICCCM/EWMH兼容性。此外,还可选配RandR(多显示器)、系统托盘、输入法、背景设置和XSETTINGS服务器支持。想了解更多?请查看截图和用户指南!

阅读更多
开发

Makefile效应:为何我们总是复制粘贴配置文件?

2025-01-11

本文探讨了软件工程中普遍存在的“Makefile效应”:工程师们倾向于复制粘贴并修改已有的配置文件(例如Makefile、CI/CD配置等),而非从零开始编写。作者认为,这并非完全是坏事,但在工具设计层面,这暗示着工具可能过于复杂,缺乏良好的诊断和调试支持,导致用户难以高效学习和安全地使用。文章最后提出了一些工具设计的建议,旨在减少这种效应的发生,从而提升开发效率和安全性。

阅读更多
开发 工具设计

Swift 6 中令人困惑的 @isolated(any) 属性:你需要了解的那些事

2025-09-01
Swift 6 中令人困惑的 @isolated(any) 属性:你需要了解的那些事

Swift 6 引入的 `@isolated(any)` 属性,用于描述异步函数的隔离性,初看令人困惑。它总是需要一个参数,但这个参数却不能变化。文章解释了其引入原因:为了解决异步函数在调度时隔离信息丢失的问题,`@isolated(any)` 属性允许访问函数的隔离属性,从而进行更智能的调度,特别是在处理 `Task` 和 `TaskGroup` 时,保证了 MainActor 上任务的执行顺序。虽然多数情况下可以忽略它,但在处理异步函数的隔离性和调度时,了解 `@isolated(any)` 对于编写高效、可靠的并发代码至关重要。

阅读更多
开发 异步函数

苹果高管换届:威廉姆斯退休,汗接任首席运营官

2025-07-09
苹果高管换届:威廉姆斯退休,汗接任首席运营官

苹果公司首席运营官杰夫·威廉姆斯将于本月晚些时候退休,由资深副总裁萨比赫·汗接任。威廉姆斯将继续参与Apple Watch和健康项目,以及领导工业设计团队至年底,之后设计团队将直接向库克汇报。汗在苹果工作30年,被誉为“杰出的战略家”,他将带领苹果继续在全球供应链中保持领先地位。此次人事变动标志着苹果领导层的世代交替,也预示着苹果在Vision Pro时代以及硬件和服务整合方面将发生新的变化。

阅读更多
科技 高管变动

牛津词典AI搜索助手Beta版上线

2025-07-09

牛津词典推出了一款AI搜索助手Beta版,它能够帮助用户使用牛津词典的高级搜索工具。该助手本身并不能直接回答问题或进行对话,但可以根据用户的需求构建复杂的搜索查询,并提供搜索结果链接。它还可以帮助用户查找关于牛津词典本身的信息。例如,用户可以询问“哪些英语单词借自法语?”、“哪些单词是查尔斯·狄更斯首次使用的?”或“单词是如何添加到词典中的?”等问题。目前,该助手尚不支持同义词搜索。

阅读更多

浏览器蜜蜂:用自然语言控制浏览器的AI助手

2025-05-18
浏览器蜜蜂:用自然语言控制浏览器的AI助手

BrowserBee是一款隐私优先的开源Chrome扩展程序,允许你使用自然语言控制浏览器。它结合了LLM强大的指令解析和规划能力,以及Playwright强大的浏览器自动化能力来完成任务。BrowserBee完全在浏览器内运行(LLM除外),可以安全地与已登录的网站(如你的社交媒体帐户或电子邮件)交互,而不会危及安全性或需要后端基础设施。它支持Anthropic、OpenAI、Gemini和Ollama等主要LLM提供商,并具有丰富的浏览器工具,包括导航、交互、观察和内存功能,可以记住常用的工具使用序列,提高效率。

阅读更多
开发

Formula E Gen4赛车:804马力,速度与效率的完美结合

2025-06-27
Formula E Gen4赛车:804马力,速度与效率的完美结合

Formula E Gen4赛车即将问世,其动力将得到大幅提升,马力从470飙升至804,逼近F1赛车的水平。尽管动力强劲,但Gen4赛车依然注重能源效率,制动能量回收能力提升至700kW。Williams Advanced Engineering将不再提供电池,取而代之的是意大利供应商Podium Advanced Technologies。轮胎供应商也换成了普利司通,并首次提供高低下压力配置的尾翼。Gen4赛车在性能上介于F1、F2和IndyCar之间,虽然不如F1的极致弯道性能,但在出弯加速方面将远超F1。测试中,Gen4赛车已达到338km/h的时速。

阅读更多

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

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

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

阅读更多
开发

拓扑排序算法变体:高效处理依赖关系

2025-04-03
拓扑排序算法变体:高效处理依赖关系

本文介绍了一种改进的拓扑排序算法,它基于 Kahn 算法,但将节点视为集合而非单个节点处理。该算法迭代地寻找图的根集,移除它们,然后重复此过程直到图为空。移除的根集顺序构成拓扑顺序,同一根集内的节点相互独立,可并行处理。算法还能检测循环,并返回部分拓扑排序结果,而非完全中止。

阅读更多
开发

印度电子垃圾:贫富差距与环境危机的碰撞

2025-09-01
印度电子垃圾:贫富差距与环境危机的碰撞

在印度,蓬勃发展的电子产业催生了价值15亿美元的电子垃圾回收产业。然而,95%的从业者是从事卸货、分类和拆卸等工作的非正式工人,他们收入微薄,工作环境危险且充满毒性。以德里Khatta垃圾场为例,那里是非正式回收网络的核心,Malik家族等掌握着大部分市场份额,而底层工人则面临着残酷的现实。虽然政府出台政策推动产业规范化,大型回收企业如Recyclekaro也展现了现代化回收的模式,但非正式经济的顽强生命力以及大型科技公司对法规的抵制,使得印度电子垃圾问题依然复杂而严峻,环境与社会公平之间的矛盾难以调和。

阅读更多
科技 环境问题

哥伦比亚大学遭黑客入侵,250万份学生申请数据泄露

2025-07-03
哥伦比亚大学遭黑客入侵,250万份学生申请数据泄露

近日,哥伦比亚大学遭遇黑客攻击,大量学生数据被盗。黑客声称出于政治目的,窃取了包含250万份申请信息在内的460GB数据,其中包括学生姓名、公民身份、学号、申请专业等敏感信息,以及180万个社会安全号码。虽然学校已采取措施并聘请了专业公司进行调查,但数据泄露的全部影响仍需数月才能评估。此事件凸显了高校网络安全面临的严峻挑战。

阅读更多
科技

Wave3社交俱乐部:建立真挚友谊的独特方式

2025-05-30
Wave3社交俱乐部:建立真挚友谊的独特方式

Wave3是一个男性社交俱乐部,旨在帮助成员建立有意义的友谊。加入方式是先参加免费或低价的公开聚会,与现有成员互动。如果现有成员认为你适合,你就会收到邀请,成为正式会员,参加独家活动。俱乐部鼓励成员带来朋友,并保持开放和尊重的氛围。费用因活动而异,但俱乐部致力于保持其可及性。

阅读更多

Stellantis叫停氢燃料电池汽车项目

2025-07-17
Stellantis叫停氢燃料电池汽车项目

Stellantis公司宣布停止在法国和波兰生产氢燃料电池货车的计划。由于氢燃料能量密度低、生产效率低、基础设施匮乏且成本高昂,加上目前市场需求有限,该项目缺乏长期经济可持续性。公司表示,此举不会导致员工失业,研发人员将被调配到其他项目。

阅读更多
科技

26000年前的猛犸象牙肖像:世界最古老的肖像画

2025-02-04
26000年前的猛犸象牙肖像:世界最古老的肖像画

在捷克共和国的Dolní Vĕstonice考古遗址,发现了距今约26000年的猛犸象牙雕刻的头像,被认为是世界上现存最古老的人像。这尊仅4.8厘米高的小雕像,刻画了一位女性的面容,其眼睛、下巴和鼻子都清晰可见,甚至可能戴着发髻或帽子。与该遗址的其他文物不同,这尊头像具有个性化特征,是已知最早描绘特定人物的肖像。2018年,研究人员通过颅骨重建技术,发现一位在该遗址发现的女性骸骨的面部特征与雕像非常相似,进一步证实了其作为肖像的可能性。这一发现为我们了解旧石器时代人类的艺术和文化提供了宝贵的资料。

阅读更多
考古 肖像艺术
1 2 796 797 798 800 802 803 804 1084 1085