卡内基梅隆大学、微软和华盛顿大学的研究人员构建了可重复利用旧服务器组件的原型服务器GreenSKU，以提高可持续性并减少碳排放。这些服务器利用了向后兼容的技术，例如CXL控制器，可以兼容较老的内存和存储设备。研究人员开发了一个框架来识别可重复利用的组件，并通过内存池和RAID striping等技术来克服旧组件带来的性能问题。该研究表明，重复利用服务器组件可以在不影响性能的情况下，显著减少服务器的碳足迹。
阅读更多
该GitHub仓库提供成为优秀数据工程师所需的全面资源，包括针对数据工程入行者的2024学习路线图、为期六周的免费YouTube训练营、实践项目、面试技巧、书籍推荐、优质社群以及邮件订阅列表。涵盖数据湖、数据仓库、数据质量、数据集成、实时数据聚合、LLM应用库等主题，并列举了多个学习平台、播客、邮件订阅和术语表，力求一站式解决数据工程师的学习需求。
阅读更多
本文讨论了编程语言中名义类型和结构类型的区别。名义类型通过名称标识，即使实现相同，不同名称的类型也不相等，例如Java和OCaml。结构类型通过结构标识，相同结构的类型即使名称不同也相等，例如TypeScript。作者认为大多数语言在这方面做得不够好，并提出了Polaris语言的解决方案：使用名义类型包装结构类型，兼顾两者的优点。Polaris利用newtype包装器实现名义类型，内部使用结构化的记录和变体，允许在需要时解包并利用结构类型的灵活性。文章还比较了Polaris和Gleam的变体推断功能，指出Polaris的方法更强大、更简单且更一致。
阅读更多
Foursquare 发布了一个名为“FSQ OS Places”的开放位置数据集，包含超过1亿个全球兴趣点，并提供22个核心属性。该数据集以Parquet文件格式存储在Amazon S3上，每月更新，并可在Apache 2.0许可下商业使用。Simon Willison 通过DuckDB远程查询了S3上的Parquet文件，并使用ChatGPT Code Interpreter将数据转换为GeoJSON格式，以便在地图上进行可视化。
阅读更多
作者讲述了从青少年时期立志考入印度理工学院，到在旧金山、东京和斯德哥尔摩等地工作和生活的经历，以及最终选择回到印度的原因。虽然海外工作带来了职业发展和高薪，但他感到孤独和文化冲击，难以融入当地社会。此外，亲人离世也让他意识到家庭的重要性。最终，他选择回到印度，兼顾事业和家庭，并对印度科技行业的发展充满希望。
阅读更多
Open Riak项目致力于推广一个开放、现代的Riak分布式数据库。该项目在GitHub上托管，包含多个相关的库，例如riak、riak_core、riak_kv等，主要使用Erlang语言开发。
阅读更多
Sandi Metz的《99瓶面向对象编程（第二版）》是一本实用指南，旨在帮助编写经济高效、易维护且令人愉悦的面向对象代码。该书现已推出Python、JavaScript、PHP和Ruby版本。本书探讨了如何识别“足够好”的代码、从测试驱动开发中获得最大价值、进行正确的重构、找到隐藏在代码中的概念、找到表达更深层含义的名称、遵循“Flocking Rules”安全地更改代码、使用开闭原则简化新增内容、遵循里氏替换原则避免条件语句、通过减少代码异味来进行有针对性的改进、使用多态性提高可变性、使用工厂制造角色扮演对象、通过松散耦合来规避不确定性以及培养编程美学。第二版新增了3章，篇幅比第一版增加了约50%，并提供不同编程语言的版本，涵盖JavaScript、PHP、Python和Ruby，以及啤酒和牛奶饮料示例。
阅读更多
Leopards 是一个 Python 库，允许用户像查询数据库管理系统 (DBMS) 一样查询字典或对象的列表。它支持多种过滤条件，例如等于、大于、小于、包含、开头、结尾等，并支持 AND、OR、NOT 等逻辑运算符。Leopards 还提供了一些聚合函数，例如计数、最大值、最小值、求和和平均值。与 Pandas 相比，Leopards 的包大小更小，导入速度更快，并且在处理过滤和聚合操作时效率更高。
阅读更多
Blender 4.3版本带来了诸多改进，包括笔刷资源、更快的雕刻、革新的Grease Pencil等。EEVEE实时渲染器新增灯光和阴影链接功能，新增金属BSDF着色器节点，纹理方面增加了Gabor噪点。合成器现在支持EEVEE通道，用于交互式合成。几何节点方面，新增ForEach Element循环区域、控件、Grease Pencil支持、烘焙打包、自定义警告和几何命名等功能。Grease Pencil引擎重写，性能提升，新增图层组、填充渐变工具和改进的橡皮擦。此外，笔刷现在作为资源，更易于管理和共享。UI界面新增区域停靠功能，工具提示信息更丰富。视频序列编辑器性能提升，新增连接片段和吸附功能。该版本还支持Windows on Arm原生运行。
阅读更多
BM25算法是一种广泛使用的全文检索算法，它是Lucene/Elasticsearch和SQLite等搜索引擎的默认算法。文章详细解释了BM25算法的原理、公式组成部分以及其背后的概率排序原理。BM25通过考虑查询词项、逆文档频率、词项在文档中的频率以及文档长度等因素，计算文档与查询的相关性得分。文章还讨论了BM25的巧妙之处，即在不计算概率的情况下实现概率排序，以及其前身Robertson/Sparck Jones权重模型的局限性。最后，文章得出结论：在同一文档集合内，可以比较同一文档对不同查询的BM25得分，以确定哪个查询与文档最匹配。
阅读更多
本文介绍了一种名为"1-bit AI Infra"的软件栈，旨在充分发挥1比特大型语言模型（LLM）的潜力，例如BitNet和BitNet b1.58。该软件栈开发了一套内核，支持在CPU上对三元BitNet b1.58 LLM进行快速且无损的推理。实验结果表明，在x86 CPU和ARM CPU上，该软件栈分别实现了2.37倍至6.17倍和1.37倍至5.07倍的显著加速。
阅读更多
一艘名为“毅鹏3号”的中国籍货船在穿越C-Lion 1和BSC两条海底电缆的同一时间点，这两条电缆发生了断裂。丹麦海军在夜间对这艘货船进行了跟踪，目前该船正位于丹麦海峡，驶离波罗的海区域。虽然没有登船检查的迹象，但AIS数据存在一定局限性，事件仍在调查中。
阅读更多
本文介绍了如何使用uv工具管理PyTorch项目及其依赖项。PyTorch的不同版本针对不同的加速器（例如CPU、CUDA）有不同的构建，并且托管在不同的索引上。文章详细讲解了如何配置`pyproject.toml`文件，包括添加PyTorch索引、使用环境标记和可选依赖项来选择合适的PyTorch版本。同时，文章也提到了通过`uv pip`命令安装PyTorch的方法。
阅读更多
Meta公司在其工程博客上发表文章，介绍了如何利用大型语言模型 (LLM) 提升事件响应能力。通过结合启发式检索和LLM排序，Meta将代码变更范围缩小，然后利用经过微调的Llama 2 7B模型进行根本原因分析，准确率达到42%。该模型在Meta内部文档和历史事件调查数据上进行训练，能够在调查初期就向工程师提示可能的根本原因，从而显著缩短平均解决时间 (MTTR)。文章还探讨了LLM代理在事件响应中的未来应用潜力，以及Parity等公司如何将类似技术推广到其他团队。
阅读更多
本文作者分享了在Elixir项目中使用Erlang热代码更新的经验。Erlang生态系统的一大特色是热代码更新，Elixir构建于Erlang之上，也具备同样的能力。虽然标准的Elixir发布方式不支持热代码更新，但作者仍然在开发中频繁使用它，尤其是在Nerves嵌入式系统开发和远程设备调试中，通过IEx直接更新代码比上传固件和重启设备更加高效。作者希望未来能有更多工具支持在Elixir的mix release工具中实现完整的热代码更新流程。
阅读更多
WebVM是一个在浏览器中运行的Linux虚拟机，其源码托管于此仓库。它是一个完全在客户端运行的无服务器虚拟环境，基于HTML5/WebAssembly，兼容Linux ABI，运行未经修改的Debian发行版，并包含许多原生开发工具链。WebVM由CheerpX虚拟化引擎驱动，支持在任何浏览器上安全地沙盒执行x86二进制文件。用户可以通过Tailscale实现网络连接，并可自行fork仓库进行部署和自定义。
阅读更多
Let's Encrypt是一个免费的证书颁发机构，旨在简化服务器证书的获取流程。它通过一键式流程为任何域名提供免费的基础服务器证书，并自动进行证书注册和续期。该项目由互联网安全研究小组 (ISRG) 推动，并得到了Mozilla、思科、Akamai等组织的支持，致力于实现普遍的、开放的互联网安全。Let's Encrypt 的核心原则是免费、自动化、安全、透明、开放和合作。
阅读更多
本文分析了独立游戏《小小林地》在Steam平台一个月内销量突破60万份的原因。游戏主打轻松的建造玩法，无压力体验，吸引了大量休闲玩家和主播。开发者注重游戏画面和操作手感，并积极进行用户测试和迭代。此外，频繁的病毒式宣传和Steam的推荐也功不可没。文章还探讨了游戏平台分成比例等行业问题。
阅读更多
本文讲述了弗朗西斯·威廉姆斯的故事，一位18世纪出生于牙买加的非裔学者。文章围绕威廉姆斯的一幅肖像画展开，作者通过对画作细节的分析，推翻了以往对画作及威廉姆斯本人的一些错误解读。作者考证出该画作创作于1760年左右，画中威廉姆斯站在书房里，背景中可以看到哈雷彗星。这幅画不仅是威廉姆斯博学多才的象征，更是他对当时种族歧视言论的有力反击，也证明了他在科学领域的杰出成就。作者认为这幅画是威廉姆斯本人设计的，并由画家威廉·威廉姆斯绘制。
阅读更多
“黑洞视界”app利用iPhone摄像头，模拟黑洞对周围光线的扭曲，呈现出黑洞透镜效应，包括“光子环”。该应用旨在展示黑洞如何扭曲光线，其代码开源，可在GitHub上获取。该项目由范德比尔特大学的Trevor Gravely编写，并得到了美国国家科学基金会的支持。2.0版本新增了旋转黑洞，用户可以更改旋转值。
阅读更多
本文作者受到苹果Vision Pro手指输入的启发，使用MediaPipe库和摄像头实现了手部跟踪控制鼠标的功能。文章详细介绍了项目开发过程，包括使用OpenCV和Python的初步尝试、使用WebSocket实现Web前端与Python后端通信、鼠标点击和拖动逻辑的实现、抖动问题的解决以及屏幕边缘安全区的设置。作者还尝试了Tauri框架和Rust来提高性能和实现后台运行。此外，作者还实现了类似Meta Quest的指点模式，并讨论了该模式下抖动和漂移等问题。最终，朝下模式运行稳定，而指点模式仍需改进。
阅读更多
红帽和微软联合宣布，红帽企业版Linux（RHEL）将登陆Windows Subsystem for Linux（WSL）。此举旨在支持混合云战略，并允许开发者在Windows系统上以与裸机RHEL服务器相同的方式构建Linux应用程序。虽然去年以来，通过一些红帽文档，在WSL上使用RHEL Developer已成为可能，但此次官方声明意味着微软对在Windows环境下运行RHEL的正式认可和支持。WSL的11月更新也带来了对新的基于Tar的WSL发行版存档、新的零信任功能更新和其他增强功能的支持。RHEL正式登陆WSL的具体细节和时间表将在未来几个月内公布。
阅读更多
X公司正在开展一个名为“循环经济moonshot”的项目，旨在将全球废物转化为宝贵资源。该项目着重解决塑料垃圾问题，通过结合机器学习、人工智能和谷歌的计算能力，构建了行业首个塑料包装综合数据库。该数据库可以通过扫描识别塑料的分子组成，从而实现更有效的分类和回收。项目还致力于开发新的分拣工艺，并探索材料的再利用和重新设计，最终目标是实现分子级回收，并从废物中生产出原生品质的材料，减少对地球资源的依赖。
阅读更多
本文分析了谷歌搜索分页组件中一个仅影响中文版本网页的布局错误。该错误导致“下一页”链接意外换行，起因是图片使用了`float: left`属性，而文本``缺少`clear`属性。由于中日韩文本换行规则不同，且中文“下一页”比日韩版本多一个字符，导致该问题仅在中文版出现。文章还探讨了该错误的成因、不易被发现的原因以及从中吸取的教训，并建议使用Flexbox或Grid代替浮动布局，以及在测试中考虑CJK语言的特殊性。
阅读更多
本文作者分享了构建国际象棋引擎的经历和教训。作者尝试通过模仿Stockfish引擎的NNUE网络，创建一个简化的评估函数，用遗传算法训练模型。但由于模型过于简化，缺乏上下文信息，导致评估结果不佳。作者最终认识到，Stockfish的NNUE网络通过考虑每个棋子相对于国王位置的关系，提供了必要的上下文信息，而简化模型无法做到这一点。作者还介绍了调试引擎、置换表、静态搜索和搜索扩展等技术，并讨论了时间管理和提前退出的问题。
阅读更多
本文探讨了如何在不使用计算器的情况下，运用简单的加法和乘法运算来估算较小数字的无理数次幂。文章首先回顾了利用对数和指数函数以及泰勒级数展开式进行估算的方法，但这种方法需要计算多项式，较为繁琐。随后，作者引入了帕德逼近法，它是一种用有理函数来逼近给定函数的方法。文章详细解释了如何利用帕德逼近法分别逼近e^x、ln x 和 sqrt(x) 函数，并最终推导出一个用于估算a^sqrt(c)的公式。作者还用2^sqrt(2) 和 3^sqrt(3) 进行了实际测试，结果表明该公式的估算结果与真实值较为接近。
阅读更多
德国、法国、波兰、意大利、西班牙和英国六国外长在华沙举行会议，讨论欧洲安全挑战，并发表联合声明。声明谴责俄罗斯对乌克兰的侵略战争，指出俄罗斯的修正主义和持续侵略行为挑战了欧洲及跨大西洋地区的和平、自由与繁荣。六国决心加强团结，共同应对安全挑战，加强北约和欧盟的合作，增加安全防务支出，支持乌克兰，并对俄罗斯实施制裁。
阅读更多
29岁的栃木县那须町无业男子薄井信明因涉嫌持有具有杀伤力的电磁枪“线圈枪”而被警方逮捕。他曾在视频网站上发布了制作线圈枪的视频，被警方在网络巡逻中发现。经鉴定，该线圈枪能够发射实弹并具有杀伤力。嫌犯供述称线圈枪是其高中时期制作的。由于法律修订，线圈枪将于明年3月起被禁止持有，警方呼吁民众将持有的线圈枪上交至附近警署。
阅读更多