Mistral AI发布了首个代码模型Codestral,该模型支持80多种编程语言,包括Python、Java、C等,并能够高效完成代码生成、测试编写等任务。Codestral在代码生成性能方面表现出色,并提供多种集成方式,包括HuggingFace下载、API调用、IDE插件等。
美国国务院情报研究局 (INR) 规模虽小,但其情报分析能力却不容小觑。与中央情报局 (CIA) 和国防情报局 (DIA) 等机构不同,INR 注重专家培养,分析师在其专业领域平均拥有14年的经验。这种专业性使其在越南战争、伊拉克战争以及乌克兰战争等重大事件中做出了准确预测。此外,INR 与决策者联系紧密,能够及时获取反馈并调整分析方向。尽管资源有限,但 INR 通过其独特的运作方式,在情报分析领域取得了令人瞩目的成就。
TSL(Three.js Shading Language)是一种新的着色语言,旨在简化 Three.js 中着色器的创建过程。它提供了一种基于节点的图形化编程方法,使开发者无需编写复杂的 GLSL 代码即可创建自定义材质和视觉效果。TSL 还支持自动代码优化和跨平台兼容性,并提供了丰富的功能和工具,方便开发者创建高度复杂的着色效果。
大型语言模型如 ChatGPT 不会像人类那样,记住在对话中你说过的所有内容并用以更新自身的知识。它们更像是无状态函数,根据输入的文本预测接下来的内容,每次新对话都是独立的,不会记住所谓的“训练”内容。虽然一些模型提供记忆功能,但这只是将部分信息记录在当前对话上下文中,并非真正记住。过度担心模型会记住所有输入并泄露隐私,实际上是基于对技术原理的误解。
OpenAI宣布成立新的“安全与安保委员会”,以监督其项目和运营的风险管理,并表示已“最近开始”训练其下一代前沿模型,该模型预计将使公司更接近实现通用人工智能(AGI)的目标。新委员会将负责就AI安全向公司董事会提出建议,并评估和进一步制定安全保障措施。OpenAI此举是对近期一系列负面新闻的回应,包括超级对齐团队成员辞职以及外界对其缺乏安全承诺的批评。
文章介绍了作者开发的一个名为Seb的简单事件代理系统。Seb旨在以低成本、易管理和易于使用的方式提供事件队列功能。作者详细介绍了Seb的设计目标、架构、数据格式、持久性和延迟权衡,并提供了一些基准测试结果。文章还列出了一些待办事项和未来改进方向,例如身份验证、状态跟踪、记录键、压缩和历史值等。
前FTX高管Ryan Salame因非法竞选捐款和无照经营汇款业务被判处7.5年监禁,外加3年监督释放。Salame曾担任FTX Digital Markets联席首席执行官,他承认利用加密货币进行非法政治捐款,并帮助前FTX首席执行官Sam Bankman-Fried掩盖了FTX的资产负债表漏洞。
三星电子工会宣布将于6月7日举行一日罢工,这将是这家韩国科技巨头历史上首次出现工人罢工。此次罢工的导火索是持续数月的薪资谈判破裂,工会要求提高工资、增加假期和建立更透明的绩效奖金制度。分析人士指出,罢工可能会对三星电子的全球半导体供应链造成影响。
ProjectPro是一家获得红杉资本和Y Combinator支持的公司,致力于帮助分析团队更快地完成工作。公司正在招聘一名客户主管,负责向数据科学/数据工程团队销售分析产品,需要具备3年以上相关经验,并能够与技术买家建立关系。
AMD公司,总部位于加州圣克拉拉,是全球第二大x86处理器制造商。截至2024年5月,AMD市值为2773.7亿美元,位列全球第35位。AMD的市值在过去几年中经历了显著增长,尤其是在2020年之后。
本文是关于在 Go 语言中进行运行时代码生成和执行的系列文章的第一篇。作者首先阐述了在 Go 中进行运行时代码生成的背景和必要性,并介绍了 wazero 这个 Go 语言编写的 WebAssembly 运行时,它可以在运行时从 WebAssembly 字节码生成机器码。作者概述了在 Go 中进行运行时代码生成和执行的基本步骤,包括生成机器码、将其标记为可执行文件、获取机器码地址以及使用 trampoline 函数执行机器码。作者还提供了一个简单的示例,演示了如何在 Go 中生成并执行一个简单的机器码函数,并强调了在进行运行时代码生成时需要特别注意 Go 运行时行为和实现细节,以避免出现错误。
科罗拉多州的一家直升机公司正在测试一种名为Lifeseeker的新技术,该技术可以帮助搜救队在几分钟内找到偏远地区的失踪人员。该技术类似于微型手机信号塔,可以安装在直升机上,搜救人员通过平板电脑上的地图,可以精确定位3英里半径内的任何手机位置。即使失踪者没有手机服务,搜救队也可以使用该工具向他们发送短信,例如建议他们在受伤时留在原地或移动到空旷的地方以便直升机接他们。
Slipshow 是一款为技术演示而设计的工具,它克服了传统幻灯片的局限性。在 Slipshow 中,幻灯片的等效物被称为“slip”。每个 slip 就像一张幻灯片,但没有底部限制,内容长度可以任意长。演示过程中,相机将根据演示者给出的脚本向下“滚动”以显示隐藏的内容。Slipshow 使用易于编写和阅读的语法(markdown 的扩展),并将文件编译成可在任何网络浏览器中离线查看的独立 html 文件。
文章探讨了在使用AES-GCM加密方式时,采用随机数作为nonce的可行性。NIST建议nonce长度为96位,以保证在2^32条消息内不发生碰撞。但文章指出,可以利用GCM允许nonce长度可变的特性,将nonce长度扩展至128位,并随机化整个计数器空间,从而在保证安全性的前提下,将可加密消息数量提升至2^48条。文章分析了该方法在不同消息长度下的安全性,并提供了一些实际应用建议。
普林斯顿大学的天体物理学家J. Richard Gott、Robert Vanderbei和德雷塞尔大学的David Goldberg合作,创造了一种全新的世界地图。这幅地图是双面的圆形地图,类似于黑胶唱片,可以准确地显示地球两侧,并最大限度地减少了视觉失真。与其他试图在平面上传递球体信息的地图不同,这种新地图在距离误差方面有一个上限,最多不超过22.2%。此外,地图边缘的区域仅比中心区域大1.57倍。
文章阐述了软件复杂性不断增加的三个定律:优秀设计也会随时间推移劣化;复杂性像护城河,吸引开发者但难以替代;软件复杂性没有上限,受限于人类创造力。作者认为大多数工程师面对糟糕设计,因为系统随时间推移劣化,流行系统设计糟糕,复杂性无上限。作者建议从零开始构建新系统以应对,但承认这很困难。
2023年11月,OpenAI 董事会突然解雇了联合创始人兼首席执行官 Sam Altman,震惊了所有人。前董事会成员 Helen Toner 在播客采访中透露了更多细节,称董事会之所以不再信任 Altman,是因为他未能告知董事会自己拥有 OpenAI Startup Fund,并且多次提供有关公司安全流程的不准确信息。此外,Toner 还表示,在自己发表了一篇激怒 Altman 的研究论文后,自己成为了 Altman 的个人攻击目标。最终,在两名高管向董事会反映 Altman 的问题后,董事会采取了行动。
Ghidra是由美国国家安全局研究理事会开发的一套软件逆向工程(SRE)工具,旨在支持网络安全任务。它提供了丰富的功能,包括上下文相关的帮助、安装指南和快速参考。用户可以通过GitHub获取源代码、构建说明以及参与社区。
新冠疫情改变了人们的工作方式,远程办公展现出更高的效率和员工满意度。 然而,许多公司强制员工回到办公室,导致优秀员工流失。 作者认为,强制员工回办公室的理由站不住脚,只会留住唯命是从的职业人士和走投无路的人。 公司应该适应新的工作模式,为员工提供更多激励措施,而不是强制他们回到办公室。
这篇文章是关于红帽 Shenandoah 垃圾收集器的介绍,涵盖了其基本功能、用例、垃圾收集 (GC) 日志记录和基本故障排除。Shenandoah 是一个高性能、低停顿时间的垃圾收集器,采用并发、基于位置的 GC 算法,不基于分代。它以 3 个或 2 个并发阶段运行,目标是将停顿时间控制在 10 毫秒以内。文章还讨论了 Shenandoah 与 G1GC 的比较、何时使用 Shenandoah 以及何时不使用 Shenandoah。
webview 是一个轻量级的跨平台 webview 库,使用 C/C++ 构建,用于构建现代跨平台 GUI。该项目旨在为使用最广泛的平台创建通用的 HTML5 UI 抽象层。它支持双向 JavaScript 绑定(从 C/C++ 调用 JavaScript 以及从 JavaScript 调用 C/C++)。
澳大利亚西澳北部金矿地区的原住民社区开发了一款名为“Mamutjitji Story”的应用程序,旨在利用当地民间故事和西方科学知识,以寓教于乐的方式教授儿童关于动物生命周期、侵蚀和地壳运动等知识。该应用程序以英语和濒临灭绝的恩加利亚语两种语言版本呈现,旨在保护和传承原住民语言和文化,并帮助孩子们更好地理解和适应两种不同的文化。
这篇博文总结了作者在构建大型语言模型(LLM)应用程序方面积累的经验教训。文章重点介绍了提示工程、检索增强生成、评估和监控等主题。作者主张采用结构化方法进行提示,利用检索增强生成来增强LLM的能力,并强调全面评估和监控的重要性。
SignWave是一款易于使用的程序,可以将文本或音频文件转录成美式手语动画。它使用OpenAI的Whisper API将语音转换为文本,并使用MediaPipe Hand Landmarker跟踪手部关节运动,创建手语动画。该程序旨在为聋哑社区提供更便捷的沟通方式,并可用作学习手语的教育工具。
本文介绍了如何在 Apache NuttX 操作系统中添加对 I2C 设备的支持,以 Raspberry Pi Pico 上的 BMP280 传感器为例,详细讲解了如何修改代码、配置系统以及编译运行程序,并提供了连接传感器的电路图,最后还介绍了如何提交代码到 NuttX 主线。
华盛顿大学的研究团队开发了一款人工智能耳机,名为“目标语音聆听”(TSH)。该耳机允许用户通过注视说话者三到五秒来“锁定”目标对象,然后系统会消除环境中的所有其他声音,实时播放目标说话者的声音,即使在嘈杂的环境中移动或不再面向说话者。研究人员表示,该系统可以显著提高目标说话者声音的清晰度。
文章探讨了曼德拉草在医学、神秘主义和神话中的文化历史。曼德拉草因其人形外观而受到关注,被认为具有药用和魔法功效,常被描绘成留着胡须的小人或长着浓密头发的妇女。文章还介绍了人们认为曼德拉草在被挖出时会发出致命尖叫,以及为安全收获曼德拉草而采取的各种方法,例如使用狗。
ChatTTS 是一款专为对话场景设计的文本转语音模型,支持英语和中文。该模型经过超过 100,000 小时的中英文组合训练,能够生成自然且富有表现力的语音,并支持多说话者和精细的韵律控制。
微软和北航的研究人员联合发布了一种名为MoRA的新技术,用于高效地微调大型语言模型 (LLM)。MoRA是一种参数高效的微调(PEFT)技术,解决了其他流行技术(如低秩适应(LoRA))的一些局限性,特别适用于需要模型获取新知识的任务。与LoRA使用低秩矩阵不同,MoRA使用方形矩阵来更新参数,从而提高了模型学习和记忆新知识的能力。实验证明,MoRA在知识记忆、指令调整和数学推理等任务上均优于LoRA,为企业LLM应用提供了一种高效的微调方案。
本文分析了拼多多跨境电商平台Temu的现状、发展趋势以及面临的挑战。文章指出,Temu通过低价策略和积极的市场营销吸引了大量用户,但同时也面临着客户留存率低、物流成本高、政策不确定性等问题。文章还详细介绍了Temu的半托管模式,该模式下商家承担部分运营责任,Temu则提供平台和物流支持,这种模式旨在平衡平台利润和商家利益,但其长期效果还有待观察。