高效团队的秘密:跨记忆系统

2024-12-15

本文探讨了高效团队运作的基石——跨记忆系统。它并非指团队成员个体记忆力的强大,而是指团队如何有效地共享和利用成员间的知识和技能。文章介绍了三种团队记忆类型:工作记忆、长期记忆和跨记忆系统,并重点阐述了跨记忆系统如何提升团队绩效。文章指出,跨记忆系统包含两个要素:成员间的协作模式和每个成员的专业知识。通过构建跨记忆系统,团队能够充分发挥集体智慧,克服成员变动带来的影响。文章还推荐了例如能力梳理、团队手册和刻意练习等方法,帮助团队快速建立和完善跨记忆系统。

阅读更多

分析Go构建时间

2024-11-01

本文深入分析了Go构建时间的各个方面,探讨了影响Go构建速度的因素。作者以Istio为例,在一个大型机器上进行测试,并研究了CPU核心数、缓存、构建标签、并发构建、链接与编译、测试等对构建时间的影响。文中还介绍了一些分析构建时间的工具,如自定义toolexec包装器、行动图、跟踪和分析,并提供了一些优化构建时间的建议。此外,还将Go的构建时间与Rust进行了比较。

阅读更多
未分类 构建时间

所有英伟达GeForce GPU均存在安全漏洞,请尽快更新驱动程序!

2024-11-03

英伟达警告所有GeForce GPU用户,其显示驱动程序和其他软件中存在多个高危安全漏洞,攻击者可能利用这些漏洞访问系统、执行恶意代码和窃取个人数据。受影响的软件包括GeForce、Nvidia RTX、Quadro、NVS和Tesla,Windows和Linux系统均受影响。英伟达敦促用户尽快更新到最新版本的驱动程序以修复漏洞。

阅读更多

新发现揭示硅藻高效捕获二氧化碳的机制

2024-10-22

巴塞尔大学的研究团队发现,硅藻能够高效捕获二氧化碳的关键在于一种名为PyShell的蛋白质外壳。PyShell包裹着硅藻中的一个名为pyrenoids的隔室,并在其中创造了高浓度的二氧化碳环境,从而使得Rubisco酶能够更有效地固定二氧化碳并将其转化为营养物质。这一发现为通过生物工程技术减少大气中的二氧化碳提供了新的思路。

阅读更多
未分类 生物工程

GitHub - pyro-ppl/numpyro:基于NumPy的概率编程,由JAX支持自动微分和JIT编译到GPU/TPU/CPU

2024-11-16

NumPyro是一个轻量级的概率编程库,它为Pyro提供NumPy后端,并依赖JAX进行自动微分和JIT编译到GPU/CPU/TPU。它支持多种推理算法,特别是MCMC算法,如NUTS、HMC、MixedHMC和HMCECS,以及变分推理。NumPyro提供了类似于PyTorch的distributions模块,并支持使用TFP的分布。它还提供了类似Pyro的效果处理器,用户可以轻松扩展它以实现自定义推理算法和实用程序。文章用一个8所学校的例子演示了NumPyro的使用,包括模型定义、MCMC推理、非中心参数化以及使用Predictive类进行预测。

阅读更多
11
未分类 概率编程 MCMC

图解范畴论——逻辑

2024-10-25

本文介绍了逻辑学的基本概念,包括命题、逻辑运算符、重言式、公理模式/推理规则以及逻辑系统。文章还探讨了经典逻辑和直觉主义逻辑两种不同的逻辑学派,并阐述了它们在真值函数解释和BHK解释下的区别。最后,文章将逻辑与范畴论联系起来,讨论了逻辑命题与蕴涵关系如何构成范畴,并介绍了笛卡尔闭范畴、逻辑与序的关系,以及如何用序理论和范畴论来表示逻辑运算和证明逻辑定理。

阅读更多

BM𝒳:基于 BM25 的全新词法搜索算法

2024-08-18

BM𝒳是一种新的词法搜索算法,它在 BM25 的基础上进行了改进,并通过 Mixedbread 的开源 Baguetter 库易于使用。BM𝒳 结合了相似性和语义,引入了熵加权相似性和加权查询增强 (WQA) 等关键创新。在 BEIR、BRIGHT 和多语言基准测试中,BM𝒳 的表现均优于 BM25,显著提高了检索质量。

阅读更多
未分类 BM25

丹麦研究:Ozempic药物增加严重眼疾风险

2024-12-17

两项来自南丹麦大学(SDU)的独立研究表明,使用Ozempic治疗2型糖尿病的患者,其患非动脉炎性前缺血性视神经病变(NAION)的风险增加,NAION会导致严重和永久性视力丧失。这两项基于丹麦注册数据的全球最大规模研究发现,Ozempic使NAION风险增加一倍以上。研究人员呼吁医生和患者讨论Ozempic的利弊,并建议如果发现一只眼睛患有NAION,应停止使用Ozempic。

阅读更多

《科学美国人》离任主编劳拉·赫尔姆斯如何导致杂志水平下降

2024-11-19

本文批评了《科学美国人》离任主编劳拉·赫尔姆斯,认为她将政治议程带入杂志,导致其从一个备受尊敬的科学杂志变成了社会正义的宣传工具。文章列举了赫尔姆斯任期内该杂志发表的一些有争议的文章,例如将进化论的否定与白人至上主义联系起来、质疑正态分布的有效性,以及一篇批评“JEDI”(公正、公平、多样性和包容性)一词的文章。作者特别关注了该杂志对青年性别医学的报道,认为其报道不准确、具有误导性,甚至可能对公众理解该问题造成损害。文章认为,赫尔姆斯的领导以及其他类似事件损害了科学的权威性,导致公众对专家失去信任,为反智主义和民粹主义的兴起创造了条件。

阅读更多
10

DHL 如何成为共享经济的先驱

2024-10-18

20世纪60年代,集装箱运输的出现极大提高了国际航运效率,但也带来了一个问题:货物运输所需文件“提单”的送达速度远低于货物本身。为解决这一问题,DHL公司应运而生。他们利用旅客的行李空间运输文件,并向旅客提供免费机票作为回报。这种模式帮助DHL迅速发展成为全球最大的快递公司之一,也使其成为共享经济的先驱。

阅读更多
未分类 DHL 共享经济

利用全新 OpenCost 插件简化 Kubernetes 成本管理

2024-08-14

本文介绍了如何使用 Headlamp 的 OpenCost 插件来监控 Kubernetes 环境的成本。OpenCost 是 CNCF 的一个开源项目,可以实时监控 Kubernetes 环境的成本,为开发者和公司提供云原生应用成本的可见性。文章详细介绍了如何在集群中安装 OpenCost,以及如何在 Headlamp 中使用 OpenCost 插件来查看成本信息。

阅读更多

WordPress.org 禁止 WP Engine 访问其资源

2024-09-26

开源博客软件WordPress.org禁止主机提供商WP Engine访问其资源,包括主题和插件。WordPress联合创始人Matt Mullenweg批评WP Engine利用WordPress牟取暴利,并指责其对WordPress社区贡献不足。WP Engine则发布声明,称其客户网站的性能、可靠性和安全性目前未受影响,并表示正在努力解决问题。

阅读更多
未分类 WP Engine

慢慢脱离 Heroku

2024-11-03

作者讲述了其公司 Podia 逐渐脱离 Heroku 平台的过程。Podia 早期受益于 Heroku 的便捷性,但随着 Salesforce 收购 Heroku 后平台停滞不前,以及 Heroku 的各种问题(如 CI 中断、强制维护期、附加组件的高额抽成等),Podia 开始逐步迁移。他们首先将 CI 转移到 GitHub Actions,数据库迁移到 CrunchyData 和 redis.com,以此避免 Heroku 的强制维护期和高额附加组件费用。目前,Podia 只保留了 Heroku 的核心网络和后台进程,并根据成本和收益权衡是否完全迁移。作者建议 Heroku 用户将附加组件转为直接计费、将数据库迁移到托管数据库提供商、将 CI 迁移到其他平台,并根据成本和收益考虑是否迁移计算资源。

阅读更多
未分类

GitHub - notrab/dumbo: 轻量友好的HTTP PHP框架

2024-11-19

Dumbo是一个轻量、友好的PHP HTTP框架,灵感来自Hono。它具有轻量快速、中间件支持、灵活路由、内置安全特性(CSRF、JWT)、Cookie管理、日期辅助工具、请求ID追踪、静态文件服务、基本和Bearer身份验证、日志支持、HTTP缓存以及CORS支持等功能。可以通过Composer安装,并提供了快速入门示例和详细文档,涵盖路由、参数、嵌套、上下文、响应、中间件和自定义上下文等方面。

阅读更多
10
未分类 HTTP框架 Dumbo

Vimium:程序员的浏览器

2024-10-22

Vimium 是一款浏览器扩展程序,允许用户像使用 Vim 编辑器一样,通过键盘快捷键浏览和控制网页。它提供了丰富的命令,用于页面导航、标签页管理、历史记录操作、查找、链接打开、滚动等。用户还可以自定义快捷键映射,以满足个人偏好。

阅读更多
26
未分类

Plastic:用 Rust 编写的 NES 模拟器

2024-10-20

Plastic 是一个使用 Rust 从头开始构建的 NES 模拟器,它包含 6502 CPU、PPU、音频处理单元、卡带和 INES 文件处理等组件,并支持键盘和游戏手柄控制。Plastic 提供 EGui 和 TUI 两种界面,其中 TUI 界面在支持按钮释放检测的终端上体验更佳。

阅读更多
27
未分类 emulator

GitHub上的混沌:James Gleick的混沌软件

2024-11-17

该项目发布于GitHub,是1991年Autodesk DOS程序“James Gleick的混沌:软件”的免费开源版本。该软件由Josh Gordon、Rudy Rucker和John Walker编写,包含六个模块:Mandelbrot集、磁铁摆、奇异吸引子、巴恩斯利分形、分形锻造和玩具宇宙。用户可以在DOSBox中运行该程序,并可以自由修改和上传新版本。

阅读更多
11
未分类

弗朗西斯·克里克被误解了

2024-12-02

本文阐述了弗朗西斯·克里克的中心法则及其被广泛误解的历史。克里克的中心法则并非教条,其核心是“信息一旦进入蛋白质就无法再出来”,即蛋白质不能将其信息逆向传递回核酸。文章解释了沃森对中心法则的简化版如何导致误解,以及逆转录酶和朊病毒等现象并未违背克里克的原意。此外,文章还探讨了表观遗传学与中心法则的关系,并指出基因调控的灵活性是生物体应对环境变化的关键,而非修改DNA。最后,文章提出了一个通过基因工程打破中心法则的思想实验,并解释了为什么这种打破在自然界中并未发生。

阅读更多

cURL 与 libcurl:十八年 ABI 稳定性

2024-10-30

本文回顾了libcurl 18年来保持ABI稳定性的历程。2006年,curl 7.16.0版本因移除FTP第三方传输功能导致SONAME变更,引发用户强烈反响。作者Daniel Stenberg因此决定将ABI兼容性置于首位,确保用户可以无风险升级到最新版本。文章还探讨了维护ABI稳定性带来的挑战,例如需要持续支持旧功能和代码,以及处理用户对早期版本变更的反馈。即便如此,作者仍坚持认为ABI稳定性对libcurl至关重要,并计划继续保持下去。

阅读更多
未分类 ABI稳定性 libcurl

如何迁移复杂的基础设施系统

2024-12-10

本文介绍了如何迁移复杂的基础设施系统,推荐使用“扼杀者无花果模式”。该模式强调逐步迁移,将新系统(system2)像无花果一样逐渐包裹旧系统(system),最终取代它。文章列举了六种迁移的错误做法,例如硬分叉、拆分团队、单人作战、依赖其他变更、让客户执行迁移工作以及最后迁移最大客户。作者强调,成功的迁移关键在于最小化同时维护新旧系统的时间,控制迁移过程中的所有潜在阻碍因素,并且不要让客户承担任何迁移工作。

阅读更多

图表 · 基于代码的图表绘制

2024-11-05

Diagrams是一个允许用户使用Python代码绘制云系统架构图的工具,主要用于在没有设计工具的情况下对新系统架构进行原型设计,也可用于描述或可视化现有系统架构。Diagrams支持主要的云服务提供商,如AWS、Azure、GCP、Kubernetes、阿里云和甲骨文云等,也支持本地节点、SaaS以及主要的编程框架和语言。需要注意的是,Diagrams不控制任何实际的云资源,也不生成云配置或Terraform代码,它仅仅用于绘制云系统架构图。

阅读更多

在值的中间插入0位

2024-10-25

本文探讨了如何在值的中间插入一个0位。作者首先介绍了在BC7解码器中遇到的问题,即需要在颜色索引中插入0位。作者提出了两种方法:第一种方法是将值分成高位和低位,然后将高位左移一位再合并;第二种方法是利用位掩码和加法操作,将值与自身的高位部分相加,实现插入0位的效果。作者还介绍了如何移除已知为0的位,并对两种方法的效率进行了比较。

阅读更多
未分类 BC7解码器

Carta取消订阅流程引争议:创业者称其过于困难

2024-12-12

融资管理软件Carta因其复杂的取消订阅流程引发争议。多位创业者在社交媒体上抱怨,称Carta要求他们预约会议才能取消订阅,且预约时间往往在其续费日期之后,导致他们不得不支付额外的费用。虽然Carta回应称这是由于一次性的员工短缺问题,但其竞争对手表示,他们只需点击几个按钮或发送电子邮件即可取消订阅。这一事件引发了人们对Carta客户服务和取消流程的担忧,也突显了在选择服务提供商时需要注意的问题。

阅读更多
创业 Carta

博睿eDRAM:VCache技术的先驱

2024-11-01

本文回顾了英特尔博睿处理器上使用的eDRAM L4缓存技术。博睿的eDRAM作为独立的77mm²晶片,通过OPIO接口与CPU连接,旨在提升iGPU性能。eDRAM拥有高带宽、低延迟等特性,但受限于OPIO接口带宽无法随核心数扩展。与没有eDRAM的Haswell相比,博睿在某些情况下延迟更低。然而,由于eDRAM的成本和有限的性能优势,博睿的桌面版发行受限,很快被Skylake取代。Skylake修改了eDRAM架构,降低了CPU性能。随着DDR4和DDR5的发展,eDRAM的带宽优势逐渐消失。

阅读更多
未分类 eDRAM 博睿

考古学家在比利时发现由不同时期至少八人骨骼拼凑而成的骨架

2024-11-10

比利时一个火葬墓地出土了一具由至少八具不同时期人类骨骼拼凑而成的骨架,最早的骨骼可追溯到新石器时代晚期,距今约4445年,而头骨则属于公元三、四世纪的罗马女性。研究人员通过放射性碳测年和古代DNA测序技术确定了骨骼的来源,并推测这可能是罗马人在安葬自己死者时扰乱了旧墓葬,并用自己的头骨“补全”或替换了新石器时代骨架的头骨,也可能是他们特意拼凑了这具骨架。这种做法的目的可能是为了宣示土地所有权。

阅读更多
未分类

PY4WEB:独特而可爱,值得纪念的进化

2024-10-30

py4web是一个用于快速开发安全的数据库驱动Web应用程序的框架,它是web2py的继承者,但得到了很大的改进。它支持多个应用程序同时运行,并提供URL映射、请求处理、会话管理、模板渲染等功能。py4web内置了身份验证、数据库抽象层和Web UI等组件,简化了用户管理、数据库操作和API创建等任务。它还支持国际化、RESTful API生成、SSO、异步任务调度等高级特性。

阅读更多
20
未分类 py4web

数值例程的单元测试

2024-11-17

本文讨论了如何对数值例程进行单元测试,特别以ECEF到LLA坐标转换为例。作者提出了四种测试级别:使用固定值、测试特殊点、基于属性的测试和根据规范测试。使用固定值方便但难以维护;测试特殊点有助于理解函数行为;基于属性的测试自动检查各种输入;根据规范测试则依赖于权威标准。文章强调了理解函数和选择合适的测试方法的重要性,并鼓励将验证和确认计划集成到CI/CD流程中。

阅读更多
未分类 坐标转换
1 2 84 85 86 88 90 91 92 536 537