租车公司赫兹在疫情期间购买了大量特斯拉汽车,但由于电动汽车需求下降,公司正试图出售这些车辆。然而,买家发现这些二手特斯拉存在各种问题,包括电池损坏和高昂的维修费用。赫兹的困境反映了电动汽车市场正在发生变化,新车销量停滞不前,消费者对电动汽车的兴趣下降。
Gemini API上下文缓存功能旨在降低包含重复内容且输入token数较高的请求的成本。该功能适用于聊天机器人、大型文件分析、代码库分析等场景,通过缓存大量初始上下文并重复引用,提高效率并降低成本。计费基于缓存token数、存储时长等因素。
Raycast 是一款旨在提高工作效率的 Mac 软件,它通过快捷键的方式,让你无需打开各种应用,即可完成查看通知、更新 Slack 状态、查看待办事项、搜索答案等操作,从而避免分心,保持专注。Raycast 的设计灵感来源于早期的命令行界面,让你以一种全新的方式体验计算机。
内华达州里诺市的一对夫妇因其年幼的儿子被误诊为婴儿摇晃综合症而被儿童保护服务机构带走,这对夫妇被错误地指控虐待儿童,他们的孩子被寄养了五个月。后来,医疗文件显示,他们的儿子实际上是出生时受了伤,并患有良性外脑积水。这对夫妇被免除了所有不法行为的指控,德克萨斯州法院下令将孩子们送回家。然而,为了支付法律代理费用,这对夫妇不得不卖掉房子,丈夫也丢了工作。这对夫妇后来搬到了里诺,与他们的律师一起处理此案,并对这家德克萨斯州的医院提起了民事诉讼。
美国众议院以 338 票对 24 票通过了《关键活动票务收费透明度法案》(TICKET Act),旨在改革票务行业,提高票价透明度。该法案要求票务销售商实施全额票价,禁止投机性票务销售、欺骗性网站和网站营销,并为取消的活动提供全额退款。
英国科技公司树莓派正准备在伦敦进行首次公开募股,该公司以其低成本电脑而闻名,这些电脑被爱好者和教育机构广泛使用。此次上市标志着这家公司的重大里程碑,并有可能为其未来的发展提供大量资金。
作者抱怨谷歌浏览器新推出的AI搜索功能给他的工作带来了困扰。AI搜索的结果并非作者所需,并且需要等待三秒钟才能加载,这让他感到厌烦。作者尝试了各种方法来绕过AI搜索,但都以失败告终。他认为人生苦短,不想把时间浪费在这种无意义的事情上。
Orpheus 是一只恐龙,她收到了一封神秘的邮件,里面包含一台电脑和一个画架。邮件里解释说,画架需要用一种特殊的绘画方式来作画,那就是写一种编程语言。Orpheus 决定接受挑战,并邀请读者一起参与她的旅程,学习如何编写名为 Easel 的编程语言,并最终揭开神秘发件人的身份。
2024年3月26日,悬挂新加坡国旗的货船“Dali”号在巴尔的摩的弗朗西斯·斯科特·基桥附近发生事故,导致大桥部分坍塌,巴尔的摩港口一度关闭。美国国家运输安全委员会(NTSB)发布了事故初步报告,报告显示,“Dali”号在接近大桥时发生断电和失去推进力,最终撞上大桥。在事故发生前一天,“Dali”号还经历了两次断电。事故造成6名桥梁维修人员死亡,1人生还但身受重伤。NTSB正在调查事故原因,包括电力配置问题以及事故发生前一天的两次断电事件。
本文介绍了作者对 OpenAI 的多模态模型 ChatGPT-4o 进行数学能力测试的实验。作者设计了五种实验,分别测试了单一模态(仅文本)、多模态(文本+图像)和提示工程(思维链)对模型求解数学问题的影响。实验结果表明,单一模态的文本+零样本思维链提示工程的组合取得了最佳效果,能够三次全部正确解答数学问题。作者认为,虽然多模态提供了更多上下文信息,但在某些情况下可能会导致模型误解,影响求解结果的准确性。
这篇文章介绍了 llamafile 如何用于本地检索增强生成(RAG)应用程序中的嵌入。作者推荐了三个最佳嵌入模型:Salesforce/SFR-Embedding-Mistral、intfloat/e5-mistral-7b-instruct 和 mixedbread-ai/mxbai-embed-large-v1,并解释了选择这些模型的原因以及如何根据应用需求选择合适的模型。文章还提供了使用 llamafile 构建本地 RAG 应用的简要指南和示例,并详细介绍了如何使用 MTEB 基准测试来评估和选择最佳嵌入模型。
Reflex 是一家由Y Combinator 孵化的创业公司,致力于构建一个用纯 Python 编写网络应用程序的开源框架。目前,该公司正在招聘一名驻旧金山的高级软件工程师,负责优化和改进其开源项目、设计和实现新功能,以及与设计、产品管理和工程师团队合作构建和规划新功能。
PlayCanvas 编辑器现已正式支持 WebGPU。随着 WebGPU 在 Chrome 113 中默认启用,其采用率迅速增长,Web3D 调查显示目前 62.19% 的终端用户可以使用 WebGPU。PlayCanvas 投入大量精力确保 WebGL 项目在 WebGPU 下看起来一致,未来将利用 WebGPU 减少驱动程序开销以提高性能。WebGPU 还支持计算着色器,允许在 GPU 上进行通用计算,PlayCanvas 引擎 v1.70.0 版本已支持计算着色器。PlayCanvas 认为 WebGPU 代表着未来,并将在未来几个月内实现性能和功能方面的巨大进步。
文章解释了CPU为何有多级缓存,而不是一个大的缓存。作者用了一个办公室的类比,将L1、L2、L3缓存比作办公桌、文件柜和地下室档案室,生动地解释了不同级别缓存的特点和作用。文章指出,多级缓存的设计是为了在速度、容量、功耗和数据共享等方面取得平衡,以提高CPU的整体性能。
一项关于社交媒体停用的研究表明,停用脸书几周可以降低用户对虚假新闻的信任度,但同时也会降低他们的政治参与度。这项研究由来自美国大学和Meta的研究人员进行,是迄今为止关于社交媒体停用规模最大的研究。研究发现,停用脸书的用户在新闻测试中表现较差,但他们也不太可能相信广泛传播的错误信息。研究人员承认,这项研究的局限性在于无法衡量像脸书这样的网络对民主国家的真正影响。
文章讨论了城市分区政策对住房供应的影响,并提出了一种新的衡量方法。作者认为,分区政策限制了住房供应,并导致了土地价格的扭曲。文章建议,规划者应该定期量化限制性分区带来的成本,并将其作为制定住房目标的重要依据。此外,作者还批判了“分区容量”作为衡量分区政策影响的指标,认为它存在诸多缺陷,并主张广泛的“上区划”政策,以增加住房供应和居民选择。
英特尔推出Thunderbolt Share技术,允许两台安装该应用程序的电脑通过Thunderbolt 4或5数据线连接,共享鼠标、键盘、屏幕、存储和其他USB外设,并以Thunderbolt速度拖放文件,同步数据。该应用还支持以1080p分辨率和60帧每秒的低延迟和零压缩方式将一台PC的屏幕镜像到另一台PC。该技术由英特尔授权给笔记本电脑、台式机和配件制造商,与新硬件捆绑销售。
“用数据创造”是 Peter Cook 编写的一个关于 D3.js 的深度教程网站,涵盖了 D3 版本 6 和 7。网站提供了 D3.js 的详细内容,包括入门、选择、数据联接、进入/退出/更新、缩放函数、形状、轴、层次结构、弦图、力布局、地图、数据请求、过渡、拾取、拖放、缩放和平移等。网站还提供了一些书籍和课程,例如《使用 JavaScript 可视化数据》,以及 D3.js 自定义数据可视化的教程。
微软首席执行官萨蒂亚·纳德拉带领公司从衰落走向了世界顶级投资公司。然而,为实现这一目标而做出的牺牲正变得越来越成问题。微软正在削减成本,将短期利润置于长期产品健康和客户满意度之上。作者认为微软正在犯下严重的错误,包括放弃 Windows Phone,对 Xbox 投资不足,以及宣布推出外观精美的 Surface 产品却最终取消。文章还批评了 Windows 11 中的广告、微软对安全的低投资以及将 Xbox 游戏移植到 PlayStation 的计划。作者认为微软需要从过去的错误中吸取教训,更加关注长期目标,而不是只追求短期利润。
llama3.np 是 Llama 3 模型的纯 NumPy 实现。为了实现精确的实现,作者运行了由 Andrej Karpathy 训练的 stories15M 模型。该项目提供了英文和韩文版本的详细说明,并包含了使用方法、引用方式、参考文献以及许可证信息。
本文来自Dirt媒体公司,提供了关于数字文化和娱乐的见解,探讨了音乐和歌词之间的关系。文章标题暗示了对音乐和歌词之间的比较或对比的分析,可能深入探讨了它们各自在数字娱乐领域中的作用和重要性。
文章探讨了OpenStreetMap (OSM) 数据使用的坐标系问题。作者指出,并非所有OSM数据都使用WGS84基准,很多国家采用的是与当地板块绑定的基准,例如澳大利亚的GDA94、欧洲的ETRS89等。由于板块运动,不同基准下的坐标会随时间推移产生偏差,这给OSM数据精度和一致性带来挑战。文章还讨论了如何解决这一问题,例如选择单一板块基准或将所有数据转换为ITRF基准,以及如何记录坐标采集时间等。
Promoted.ai,一家由Y Combinator孵化的初创公司,正在招聘一位Apache Flink专家,负责开发和维护实时数据处理管道。应聘者需精通Apache Flink,并具备大数据系统、云平台和DevOps的经验。熟悉数据分析工具和机器学习/推荐系统者优先。
Neovim 0.10 历经漫长的开发周期,带来了大量新功能和一些重大变化。文章重点介绍了默认颜色方案、LSP和诊断映射、内置注释、终端UI增强、LSP嵌入提示以及Tree-sitter查询编辑器等方面的改进。新版本默认启用了同步输出、系统剪贴板同步、超链接、自动真彩色检测等功能,提升了用户体验。此外,文章还展望了未来发展方向,包括改进LSP和Tree-sitter体验、内置代码片段和自动补全支持,以及Tree-sitter解析器分发等方面的改进。
F* 是一种通用的面向证明的编程语言,支持纯函数式和效果式编程。它结合了依赖类型的表达能力和基于 SMT 求解和基于策略的交互式定理证明的证明自动化。F* 程序默认编译为 OCaml。F* 的各种片段也可以通过名为 KaRaMeL 的工具提取到 F#、C 或 Wasm,或使用 Vale 工具链提取到汇编。F* 是在 F* 中实现的,并使用 OCaml 引导。F* 在 GitHub 上开源,由微软研究院、Inria 和社区积极开发。
这篇文章探讨了神秘网络游戏 Cicada 3301 的起源,认为其可能与墨尔本大学数学与统计协会(MUMS)的年度解谜游戏 Puzzle Hunt 存在关联。文章详细介绍了 Puzzle Hunt 的游戏规则、谜题类型和参与者,并重点介绍了维基解密创始人 Julian Assange 在 MUMS 期间设计的多项谜题。作者通过对比 Cicada 3301 和 Assange 设计的谜题,暗示两者之间存在相似之处,并推测 Cicada 3301 的组织者可能在 Puzzle Hunt 中积累了经验。
这篇综述研究评估了无动物性和无动物产品饮食对心血管疾病、癌症及其相关死亡率风险因素的影响。研究结果表明,素食与更好的血脂状况、血糖控制、体重/身体质量指数、炎症以及较低的缺血性心脏病和癌症风险显著相关。素食还与心血管疾病死亡率降低相关。然而,在遵循素食的孕妇中,没有发现妊娠期糖尿病和高血压风险的差异。该研究的局限性在于研究人群在样本量、人口统计、地理来源、饮食模式和其他生活方式混杂因素方面的高度异质性。
牛津大学互联网研究所的一项新的国际研究表明,尽管人们普遍担心互联网对幸福感有负面影响,但互联网的使用与更高的幸福感之间可能存在正相关。这项研究分析了 2006 年至 2021 年间 168 个国家 200 多万参与者的数据,涵盖了 33,792 种不同的统计模型和数据子集,结果显示 84.9% 的互联网连接与幸福感之间存在正相关,并且具有统计学意义。研究发现,互联网的普及和使用与积极的幸福感始终相关,特别是对于 15 至 99 岁的年轻人来说,这种相关性更为明显。