软件复杂性的三大定律(或:为什么软件工程师总是脾气暴躁)
文章阐述了软件复杂性不断增加的三个定律:优秀设计也会随时间推移劣化;复杂性像护城河,吸引开发者但难以替代;软件复杂性没有上限,受限于人类创造力。作者认为大多数工程师面对糟糕设计,因为系统随时间推移劣化,流行系统设计糟糕,复杂性无上限。作者建议从零开始构建新系统以应对,但承认这很困难。
阅读更多
文章阐述了软件复杂性不断增加的三个定律:优秀设计也会随时间推移劣化;复杂性像护城河,吸引开发者但难以替代;软件复杂性没有上限,受限于人类创造力。作者认为大多数工程师面对糟糕设计,因为系统随时间推移劣化,流行系统设计糟糕,复杂性无上限。作者建议从零开始构建新系统以应对,但承认这很困难。
阅读更多
马来西亚通讯及多媒体委员会(MCMC)被要求暂缓实施要求所有互联网服务提供商(ISP)执行域名系统(DNS)重定向的指令。通讯部长法米表示,MCMC应继续与所有利益相关者举行交流会议,以收集意见、建议和建议,以确保共同实现更安全的网络环境的目标。他强调,网络犯罪问题,包括访问赌博、卖淫和色情网站,非常令人担忧,需要全面的解决方案。
阅读更多
该项目旨在使用苹果的 Swift Charts 复制 D3 图表库的功能,实现了包括直方图、面积图、条形图等多种常见图表类型。作者认为 Swift Charts 能够满足大部分 D3 图表的复制需求,并对此项目取得的成果感到满意。
阅读更多
本文分析了Softguard Systems开发的软盘加密保护技术Superlok,特别是其在Sierra游戏中的应用。文章详细介绍了Superlok的工作原理,包括其特殊的磁道结构、加密密钥的读取方式以及解密过程。同时,文章也指出了Sierra在应用Superlok时存在的安全漏洞,例如密钥偏移量的暴露以及加密磁道的重复使用,导致破解者可以轻松绕过保护。最后,文章还提到了与Superlok相关的恶意软件、破解软件以及最终Softguard Systems的衰落。
阅读更多
本文介绍了一种全新的知识存储方法,使用纯文本文件,仅用空格和换行符来存储表格化知识。这种方法相较于传统的二进制存储格式具有许多优势,可以将所有表格化的科学知识以可计算的形式存储在一个超长的文本卷轴中。该方法的核心是四个概念:度量、概念、测量和注释。文章详细解释了这四个概念的定义和使用方法,并通过实例演示了如何将知识存储在这种格式中。文章还介绍了ScrollSets,它是该系统的第一个实现,并讨论了该系统的增强功能和潜在应用。
阅读更多
日本研究人员利用飞秒激光技术,创造了一种可以在空中生成3D图像的等离子显示器。与传统的激光诱导等离子显示器不同,这种新技术产生的等离子体可以安全触摸,用户甚至可以通过触摸感受到等离子体产生的冲击波。虽然目前的显示器尺寸还很小,但研究人员相信,通过使用不同的光学设备,可以将其扩大到足以应用于消费电子产品。
阅读更多
为保障游客安全,纽约市在海滩部署无人机巡逻,以搜寻鲨鱼和遇险游泳者。然而,此举引发了当地鸟类的强烈不满。据报道,自5月无人机投入使用以来,经常有鸟群对其进行俯冲攻击,迫使警方和其他机构调整飞行计划。野生动物专家对此表示担忧,认为无人机可能会对海岸线筑巢的濒危鸟类造成负面影响。
阅读更多
本文探索了一种极简主义的网页设计风格,完全使用等宽字体构建网页。文章展示了使用等宽字体和网格布局,实现列表、表格、表单、ASCII绘图甚至媒体元素等常见网页元素的方法,并提供了相应的代码示例。
阅读更多
openpilot是一个开源的机器人操作系统,目前支持超过275种车型的驾驶辅助系统升级。它由comma.ai开发,并接受社区贡献。openpilot需要配合comma 3/3X设备和相应的车辆线束使用,并提供驾驶数据收集功能以改进模型。需要注意的是,openpilot目前处于alpha测试阶段,仅用于研究目的,用户需自行承担使用风险。
阅读更多
CO2.js是一个开源 JavaScript 库,它汇集了优秀的碳排放估算模型,帮助开发者快速估算数据传输、网站运营等产生的碳排放。它提供了简单易用的API,可以获取不同国家和地区的电网碳强度数据,并支持开发者自定义模型和方法。CO2.js 还提供网站绿色托管检查功能,帮助用户识别环保的网站服务提供商。
阅读更多
本文讲述了开源屏幕录制软件 Captura 的开发者 Mathew Sachin 停止更新软件的原因。Mathew 从高中时期开始开发 Captura,但随着软件规模的扩大,维护和开发压力也越来越大,同时他还面临着软件被盗卖、收到威胁邮件等问题,最终导致他选择停止更新。Mathew 在文中也分享了他从 Captura 项目中吸取的经验教训,以及他对未来开源项目和软件开发的一些想法。
阅读更多
这篇文章介绍了如何在 Firefox 浏览器中使用标签页来管理多个网站。文章详细讲解了如何打开新标签页、复制标签页、关闭标签页、恢复关闭的标签页、管理标签页顺序、将标签页移动到新窗口、固定标签页以及为标签页添加书签等操作。
阅读更多
Batfish是一款开源网络验证工具,通过分析网络设备配置,确保网络安全、可靠和合规。它可以识别配置错误、验证网络策略以及分析变更影响。Batfish支持多种网络设备和操作系统,并提供详细的分析结果。它可以集成到自动化流程中,帮助网络工程师在部署前验证配置更改,防止故障和安全漏洞。
阅读更多
Zerox 是一款简单易用的 OCR 工具,利用 GPT-4o-mini 模型对 PDF 文档进行高质量识别。该工具将 PDF 转换为图像序列,并利用 GPT 模型将其转换为 Markdown 格式,具有高准确率和价格竞争力。与 AWS Textract、Google Document AI 等现有产品相比,Zerox 在处理包含表格、图表等复杂布局的文档时表现出色。
阅读更多
比邻星是距离太阳系最近的恒星系统——半人马座阿尔法星系统中的一员。然而,比邻星的高速轨道速度无法用可见物质的引力来解释,这引发了关于其是否受暗物质或其他未知因素影响的争论。文章介绍了一种名为“量子惯性”的新理论,该理论认为,星系边缘低加速度恒星的惯性会减小,从而在不需要暗物质的情况下解释星系旋转问题。作者将量子惯性应用于比邻星,发现该理论可以准确预测比邻星的轨道速度,并解释其与半人马座阿尔法星系统的引力束缚关系。
阅读更多
罗杰·科曼,被称为“B级片之王”的传奇制片人和导演,于周四在他位于圣莫尼卡的家中去世,享年98岁。科曼以其低成本的类型片和对年轻人才的扶持而闻名,他帮助过杰克·尼科尔森、朗·霍华德、彼得·博格丹诺维奇、马丁·斯科塞斯、弗朗西斯·福特·科波拉、乔纳森·戴米、盖尔·安妮·赫德和詹姆斯·卡梅隆等人的职业生涯。他以惊人的速度制作电影,并以其对性、裸露、暴力和社会主题的融合而闻名,这在许多方面,尤其是在欧洲和电影学院教授中受到重视。
阅读更多
文章报道了狗狗币迷因原型狗狗 Kabosu 去世的消息。Kabosu 是一只来自日本的柴犬,2010 年一张照片让她在互联网上走红,并催生了狗狗币迷因和加密货币狗狗币。Kabosu 于 2024 年 5 月 24 日去世,享年 18 岁。她的主人表示,Kabosu 在睡梦中安详离世。
阅读更多
这篇文章讨论了系统可用性问题中的帕累托法则(80/20法则)的局限性。作者认为,将事故归因于单一“根本原因”的RCA模型存在缺陷,因为事故往往是多个因素相互作用的结果。作者指出,系统可用性更像是由各种组件和防御机制共同作用产生的,而事故则是这些机制无法完全阻止的“误差项”。因此,简单地将事故归因于少数几个主要原因并不能有效解决问题,我们需要关注系统中各个组件之间的交互和潜在冲突。
阅读更多
本文讲述了美国著名爵士歌手艾拉·费兹杰拉的音乐生涯。文章详细介绍了费兹杰拉早年的生活经历、音乐风格的形成,以及她如何在种族歧视和性别偏见的社会环境下,凭借对音乐的独特理解和精湛技艺,最终成为一代爵士乐传奇。
阅读更多
Automerge 是一款用于构建协作应用程序的数据结构库。作为一个无冲突复制数据类型 (CRDT),它允许不同设备上的并发更改自动合并,无需中央服务器。Automerge 支持各种网络协议,可以在客户端-服务器、点对点或本地环境中使用,也支持单向消息传递,例如通过电子邮件附件发送或存储在文件服务器上。该库以 JavaScript 和 Rust 实现,并提供跨平台的 FFI 绑定,包括 iOS、Electron、Chrome、Safari、Edge、Firefox 等。
阅读更多
印度巴蒂企业收购了阿尔蒂斯持有的英国电信集团24.5%的股份,成为这家英国电信巨头的最大股东。此次交易价值约40亿英镑,巴蒂企业由亿万富翁苏尼尔·巴蒂·米塔尔所有,旗下拥有电信集团巴蒂 Airtel。分析人士认为,这对巴蒂来说是出人意料的举动,但也表明了其对英国电信长期增长战略的信心,也是对英国电信首席执行官柯比领导能力的有力证明。
阅读更多
RADIUS(远程身份验证拨入用户服务)是一种广泛使用的身份验证协议,常用于网络设备的远程访问。然而,RADIUS/UDP协议中使用过时的MD5加密算法,容易受到改进的MD5碰撞攻击。研究人员开发了一种名为“Blast-RADIUS”的攻击,可以利用MD5的弱点,将拒绝访问的数据包更改为接受访问的数据包,从而获得对网络设备的未授权访问权限。该攻击利用了RADIUS响应验证器中的缺陷,并通过将恶意数据插入可选的Proxy-State属性来实现攻击。为了应对这种攻击,建议网络运营商升级到支持RADIUS over TLS(RADSEC)的设备,或使用HMAC-MD5消息验证器来保护RADIUS/UDP通信。
阅读更多
本文介绍了 CrateDB 中的混合搜索概念,它结合了语义搜索(向量搜索)和词汇搜索(关键字搜索)的结果。文章详细解释了 BM25(全文搜索)和 kNN(向量搜索)算法,并介绍了两种混合搜索结果的排序方法:凸组合和倒数秩融合。文章最后提供了一个实际示例,演示了如何在 CrateDB 中使用 SQL 查询实现混合搜索。
阅读更多
文章讨论了实验形而上学,一个将科学与哲学融合的领域。它介绍了物理学家Eric Cavalcanti的工作,他试图通过实验来检验通常不被质疑的形而上学假设,例如局部性、实在性和观察者独立性。Cavalcanti利用贝尔不等式和维格纳朋友思想实验的变体,证明了这些假设不能同时成立。文章还探讨了将人工智能作为观察者的可能性,以及实验形而上学对理解量子力学和意识的意义。
阅读更多
本文介绍了作者如何用代码模拟手写草书字体。作者先通过代码定义每个字母的关键点,然后使用Chaikin曲线算法平滑路径,并将路径转换为可变厚度的形状,最后使用p5js绘制形状路径。作者还详细介绍了如何根据字母前后关系调整字母路径,以及如何将字母组合成单词。最终,作者成功地用代码模拟了手写草书字体,并将其应用于图表标题、标签和注释等。
阅读更多
本文总结了系统评估中出现的六个怪象:指标名称重复、指标实现重复、重复计数导致结果过高、打破平局导致结果过高、错误预测导致分数更高、对“平衡”概念的误解。作者建议深入了解评估指标的实际测量内容、评估问题,并确保正确实现指标。
阅读更多
谷歌 Pixel 9 系列手机将成为首批支持卫星 SOS 功能的安卓手机,该功能允许用户在没有蜂窝网络信号的情况下通过卫星联系紧急救援人员并分享位置信息。该服务最初在美国推出,为期两年免费,但不适用于夏威夷和阿拉斯加州。
阅读更多
Emacs Easy Draw 是一款在 Emacs 中运行的绘图工具,它支持在 Org 模式下插入和编辑 SVG 图像,并可以导出为 HTML 或 LaTeX 格式。用户可以使用快捷键创建各种形状、添加文本,并对图形进行颜色填充等操作。该工具还提供了一个颜色选择器,方便用户快速选择颜色。
阅读更多