心理安全感与高标准:一个被误解的动态关系
心理安全感并非意味着舒适和放松标准,而是鼓励在高标准的环境下勇于冒险、坦诚沟通和从错误中学习。领导者应该致力于营造一种既能挑战员工又能提供支持的环境,将心理安全感与高标准相结合,以促进团队的学习和成长,最终实现卓越绩效。
阅读更多
心理安全感并非意味着舒适和放松标准,而是鼓励在高标准的环境下勇于冒险、坦诚沟通和从错误中学习。领导者应该致力于营造一种既能挑战员工又能提供支持的环境,将心理安全感与高标准相结合,以促进团队的学习和成长,最终实现卓越绩效。
阅读更多
RISC-V 国际组织宣布 RVA23 配置标准正式获批。RVA23 是 RISC-V 软件生态系统的一个重要版本,将有助于加速工具链和操作系统之间的广泛实施。RVA23 的关键组件包括向量扩展和管理程序扩展,以满足 AI/ML、加密和企业级工作负载的需求。
阅读更多
本文介绍了作者如何利用Go的Plan9汇编语言和SIMD指令来加速计算。作者首先介绍了Go Plan9汇编语言的基础知识,然后详细讲解了如何使用Plan9编写SIMD函数。最后,作者展示了使用SIMD指令带来的性能提升,并鼓励其他开发者在项目中使用Plan9和SIMD。
阅读更多
一项新的研究表明,与传统的抗抑郁药依他普仑相比,迷幻蘑菇中的活性成分赛洛西宾在治疗中度至重度抑郁症方面效果更好。这项为期6个月的后续研究发现,赛洛西宾在改善患者整体健康状况、生活意义、工作和社会功能方面优于依他普仑,尽管两种治疗在减少抑郁症状方面表现相似。
阅读更多
作者为了给llamafile构建新的语法高亮器,学习了42种编程语言,并分享了其中一些最奇特、最令人惊讶的语法。文章详细介绍了C语言中的三元符、通用字符、多行注释;Haskell的多行注释嵌套;Tcl的带引号标识符;JavaScript的正则表达式和不可见Unicode字符;Shell的heredoc语法;Kotlin、Swift、Scala和C#的字符串插值;FORTH的基于空格的标记化;FORTRAN和COBOL的固定列规则;Zig的双反斜杠多行字符串;Lua的方括号多行字符串;汇编的各种方言和注释语法;Ada的单引号用法;BASIC的字符串、变量和关键字;Perl的正则表达式、特殊前缀和man页面语法;以及Ruby的难以理解的语法。作者还比较了这些语言的语法高亮实现的复杂性,并感谢了Mozilla、GitHub赞助商和Patreon订阅者的支持。
阅读更多
本文讲述了作者如何破解Xinfrared Xtherm II T2S+热像仪,以获取原始温度数据并改进成像质量。作者分析了官方App的代码,发现其存在安全隐患和性能问题,并转向使用Python脚本处理原始数据。通过平场校正和无效像素修复,作者显著提升了图像质量。此外,他还拆解了相机,详细记录了内部结构和芯片信息,并探讨了利用FPGA和USB控制芯片进行硬件级修改的可能性。最后,作者实现了锁相热成像技术,通过调制电路电源并进行图像处理,大幅提高了热成像的灵敏度和分辨率,成功识别出低功耗元件的热信号。
阅读更多
Voyage AI 发布了新的多模态嵌入模型 voyage-multimodal-3,能够处理交错的文本、图像和屏幕截图,无需复杂的文档解析。该模型在三个多模态检索任务(共20个数据集)中的检索准确度平均比表现次佳的模型高19.63%。voyage-multimodal-3 的架构类似于现代视觉语言转换器,支持文本和富含内容的图像(如文本、图形、表格、PDF、幻灯片等的屏幕截图),并能捕获关键的文本和视觉特征。与现有的多模态嵌入模型不同,voyage-multimodal-3 允许交错文本和图像,并在混合模态搜索方面表现更佳,有效解决了模态差距问题。
阅读更多
Fast GraphRAG是一个简化的、可提示的快速图RAG框架,专为可解释的、高精度的、代理驱动的检索工作流而设计。它具有快速、低成本、高效的特点,支持动态数据和增量更新,并利用基于PageRank的图探索来提高准确性和可靠性。该框架易于安装和使用,提供异步和类型支持,并可与不同的OpenAI API兼容语言模型和嵌入器配合使用。Fast GraphRAG旨在无缝集成到检索管道中,提供高级RAG的功能,而无需构建和设计代理工作流的开销。
阅读更多
火狐浏览器发布了127.0版本,带来了多项新功能和改进,包括自动启动选项、HTTPS DNS预取优化、关闭重复标签页命令、混合内容元素自动升级以及截图功能增强等。此外,新版本还修复了多个安全漏洞,并对用户界面和开发者工具进行了一些调整。
阅读更多
本文比较了1912年和2024年美国八年级考试的内容和侧重点。1912年的考试注重事实性知识、记忆和实用技能,如地理位置、算术和语法。而2024年的考试则更注重批判性思维、解决问题和概念应用,如分析气候变化、解读数据和写作。文章认为,这种转变反映了社会的变化,即从农业社会转向技术和信息时代。作者虽然不赞成死记硬背,但也质疑当今的教育方式是否教授了正确的内容。
阅读更多
Foursquare公司宣布免费开放其包含1.04亿个兴趣点(POI)的数据集。这篇文章详细介绍了该数据集,并使用DuckDB、QGIS等工具对其进行了分析和可视化。分析涵盖了POI的全球分布密度、不同国家的POI数量、POI的类别分布等方面,并以星巴克为例,展示了如何利用该数据集进行特定品牌的POI分析。作者还介绍了自己的工作站配置和使用到的软件工具。
阅读更多
SVDQuant 是一种新的后训练量化范式,可将 FLUX 的权重和激活量化到 1 至 4 位,在 16GB 4090 笔记本电脑上实现 3.5 倍内存减少和 8.7 倍延迟降低。与传统的仅量化权重的方法不同,SVDQuant 通过引入低秩分支来吸收量化带来的异常值,从而保持视觉保真度。配合优化的推理引擎 Nunchaku,SVDQuant 在 12B FLUX.1-dev 模型上实现了 3.6 倍的内存减少和 3 倍的推理加速,同时质量超越其他 4 位量化方法。
阅读更多
Anthropic提出的模型上下文协议(MCP)旨在连接大型语言模型(LLM)与外部工具和数据,例如Claude Desktop连接到数据库、搜索引擎等。虽然MCP为AI应用扩展功能提供了可能性,但其目前的实现仍存在一些不足:Claude Desktop仅支持本地服务器、缺乏对复杂输入的支持、存在客户端超时问题等。此外,MCP的文档和配置也需改进,例如建立官方注册表,支持异步任务调度和多客户端协作等,才能更好地服务用户。
阅读更多
Media Popup Player 是一款允许用户在音乐控制栏的专辑插图上观看视频的开源 JavaScript 库。它支持 Windows 和 iOS 系统,并提供绑定视频、设置尺寸、设置帧率和卸载等 API。
阅读更多
牛津大学衍生公司Oxford PV近日宣布,其串联太阳能电池板在美国首次实现商业销售,该电池板与标准硅电池板相比,发电量提高了20%。这款72片电池板采用了Oxford PV专有的钙钛矿硅太阳能电池技术,将被一家未透露姓名的美国客户用于公用事业规模的装置。这些电池板的模块效率高达24.5%,降低了度电成本(LCOE),并且由于它们在相同面积上产生的电力更多,因此土地利用效率更高。
阅读更多
Linux man-pages 项目维护者 Alejandro Colomar 近日宣布,由于个人经济原因,将暂时无限期停止对该项目的维护工作。他表示,过去四年一直以志愿者身份利用业余时间维护该项目,从未得到任何公司的赞助。如果未来有公司有意向赞助该项目的维护工作,请与其联系。
阅读更多
Devzat 是一款自定义 SSH 服务器,可将用户带到聊天室而不是 shell 提示符。由于所有平台(甚至手机)上都有 SSH 应用程序,因此您可以在任何设备上连接到 Devzat!它具有房间、Markdown 支持、代码语法高亮、直接消息、时区支持、内置游戏、表情符号替换等功能。
阅读更多
A群链球菌是地球上最具破坏性的病原体之一,每年造成超过50万人死亡。文章讲述了这种细菌引发的疾病,尤其是风湿性心脏病,在低收入国家造成的严重负担。文章还介绍了科学家们为开发A群链球菌疫苗所做的努力,以及疫苗研发的挑战和希望。
阅读更多
作者讲述了其在谷歌工作四年后离职的原因。最初两年,作者对谷歌的工作环境和发展前景非常满意。然而,谷歌的晋升制度依赖于难以量化的指标和不透明的委员会评估,这使得作者即使做了很多对团队有益的工作,也难以得到晋升。在经历了多次项目被取消、团队被解散后,作者意识到谷歌的晋升机制并不利于个人发展,而且自身的工作也逐渐失去了成就感。最终,作者受到Indie Hackers社区的启发,决定放弃谷歌的高薪工作,选择自主创业,追求更大的控制权和自由度。
阅读更多
作者在面试中要求候选人实现一个井字棋游戏,以此考察代码质量、速度和简洁性等。一位使用Python的候选人用`cell[0][0] == cell[1][1] == cell[2][2]`来判断对角线是否相同,作者认为逻辑上正确但技术上不严谨,因为在某些语言中,这等价于`True == cell[2][2]`,会返回错误结果。候选人也对此感到困惑,并表示在现有代码库中多次见过这种用法。面试后,作者发现Python支持链式表达式,上述代码会被转换为`(cell[0][0] == cell[1][1]) and (cell[1][1] == cell[2][2])`,因此代码实际上是正确的。
阅读更多
本文介绍了Entropix项目如何通过在不确定性情况下进行更智能的采样来改进大型语言模型的推理能力。Entropix使用熵和变异熵来度量模型预测的不确定性,并根据不同的不确定性状态采取不同的采样策略,例如分支预测或插入“思考”标记。文章还讨论了注意力熵和注意力一致性作为衡量不确定性的其他指标。
阅读更多
新加坡能源市场管理局(EMA)有条件批准Sun Cable公司建设连接澳大利亚和新加坡的4300公里海底电缆项目,用于向新加坡输送电力。该项目预计将于2035年后投入运营,输电量将占新加坡电力需求的9%左右。该项目旨在帮助新加坡实现能源供应脱碳的目标,预计将利用太阳能发电。
阅读更多
本文回顾了LucasArts公司开发冒险游戏《冥界狂想曲》的历程。游戏融合了墨西哥亡灵节民俗、黑色电影和3D技术,打造出独特的艺术风格和引人入胜的故事情节。主角曼尼·卡拉维拉是一位在冥界工作的旅行代理人,他卷入了一场阴谋,并经历了个人成长。文章赞扬了游戏的视觉效果、剧本和音乐,但批评了其繁琐的操作和令人费解的谜题设计,认为这些缺陷损害了游戏的可玩性,使其未能成为真正的经典之作。文章还探讨了GrimE引擎的开发以及游戏开发过程中遇到的挑战,例如3D技术与传统冒险游戏机制的融合,以及长时间加班对游戏质量的影响。
阅读更多
本文讲述了作者如何利用Zscaler VPN客户端中17年前版本的SpiderMonkey漏洞进行攻击。该漏洞源于大型switch语句导致的跳转错误,使攻击者能够执行任意字节码。作者通过操纵堆栈指针和利用POP/POP2指令,实现了内存破坏。接着,利用double类型的特性构建了addrof原语,泄露了二进制文件和libc的基址。最后,通过覆盖JS对象的函数指针并写入shell命令,成功获取了shell权限。
阅读更多
Libera.Chat 发布了关于大型语言模型(LLM)的使用规范,允许LLM在平台上输入和输出信息,但强调用户需知情与其互动。规范要求用户公开LLM的使用,并遵守平台的公共日志政策,特别是关于使用频道内容训练LLM的规定。运行LLM脚本或机器人的用户对其输出内容负责,同时其他用户也可能因其提示词而对输出内容负责。虽然这些准则并非最终版本,但平台鼓励用户考虑其LLM应用的社交性,并禁止反社会行为。
阅读更多
Mozilla 工程师通过一系列优化措施,大幅提升了 Firefox 浏览器中 Ion 编译器后端的性能。文章重点介绍了优化虚拟寄存器活动范围、采用 Semi-NCA 算法、使用稀疏位集以及加速移动指令解析等关键改进,最终将 Ion 编译大型 WebAssembly 模块(如 ONNX Runtime 和 Adobe Photoshop)的速度提升了 75 倍以上。此外,文章还展望了未来改进 WebAssembly 性能的计划,包括按需编译和内联等。
阅读更多
本文作者Sophie Alpert认为,流传甚广的Slack消息通知流程图过于复杂,难以理解。她将其简化,并对比了两个版本,认为简化后的版本更容易理解和发现问题。虽然Slack的通知逻辑本身很复杂,但作者强调,思考和表达系统的方式对理解系统至关重要,并建议通过更清晰的视角来简化复杂问题。
阅读更多
本文简要介绍了如何修改CPython解释器以添加新的Python语法。文章以Ruby语言中三元表达式默认返回None为例,展示了如何修改Python语法使其支持类似行为。作者详细讲解了克隆、构建和修改Python解释器的步骤,包括修改语法文件、重新生成C代码以及编译解释器。最终,修改后的Python解释器可以像Ruby一样,在三元表达式缺少else条件时默认返回None。
阅读更多
本文讲述了19世纪70年代发生在伦敦的一场奇特案件:著名灵媒斯莱德因诈骗被科学家兰克斯特告上法庭。此案吸引了达尔文和华莱士两位自然选择学说的发现者,达尔文支持起诉,而华莱士则作为辩方证人。文章详细描述了庭审过程、双方观点及最终判决,并探讨了科学与超自然现象之间的关系,以及科学家如何看待证据和信仰。
阅读更多