QB64 搜索技巧 核手提箱 文字记录 海洋云增白 开源地图 Bliss AI 搜索答案 深海沉船 自由职业 policy 小团队 颈挂空调 Chumby 个人电脑 极端主义 团队 世界 PostgreSQL AI工具 证券 DirectX 防溢 DrawingPics Zulip 儿童读物 化学 连续滚动 代码审查 三菱电机 更多

GitHub - ccbikai/Sink:一款简单、快速、安全的链接缩短工具 (github.com)

Sink 是一款简单、快速、安全的链接缩短工具,具有分析功能,完全运行在 Cloudflare 上。它提供 URL 缩短、链接分析、自定义 Slug、AI Slug 生成、链接过期设置等功能。该项目使用 Nuxt.js 框架、Cloudflare Workers KV 数据库和 Cloudflare Workers 分析引擎,并使用 Tailwind CSS 进行样式设计。

Ubuntu Linux 24.04 现已针对 Milk-V Mars RISC-V 单板计算机进行优化 (betanews.com)

Canonical 正式发布了针对 Milk-V Mars 的 Ubuntu 24.04 优化版本,这是一款由深圳市嘉立创科技有限公司开发的信用卡大小的 RISC-V 单板计算机 (SBC)。Milk-V Mars 是全球首款高性能 RISC-V SBC,采用 StarFive JH7110 四核处理器,配备高达 8GB 的 LPDDR4 内存,支持 USB 3.0、HDMI 2.0 等多种现代接口。Canonical 和 Milk-V 的合作标志着开源技术领域的一个重大发展,将 Ubuntu 24.04 引入基于 RISC-V 的 Milk-V Mars,此举不仅扩展了开发人员可用的功能,也突出了 RISC-V 技术在计算行业日益增长的影响力。

PublicDev:面向开发者的 AI 驱动型社交分享工具 (marketplace.visualstudio.com)

PublicDev 是一款 VS Code 插件,借助 AI 的力量,开发者可以轻松地在社交媒体上分享代码提交和项目更新。它可以根据提交信息生成创意帖子,并为 Twitter、LinkedIn、Mastodon 等平台定制内容。

从大型语言模型中获取结构化输出的所有方法 (www.boundaryml.com)

这篇文章介绍了如何从大型语言模型中获取结构化输出(例如JSON格式)。文章比较了不同框架的优缺点,包括BAML、Instructor、TypeChat、Marvin、Outlines、Guidance、LMQL、JSONformer、Firebase Genkit、SGLang和elm-format-enforcer。文章重点讨论了如何处理格式错误的JSON以及如何控制和查看发送给语言模型的提示。

《俄罗斯方块:通往10万分的解法(天之卷)》 (blog.gingerbeardman.com)

本文介绍了一本1989年出版的关于俄罗斯方块游戏的日文书籍《俄罗斯方块:通往10万分的解法(天之卷)》。这本书由石原恒和编辑,内容涵盖了游戏策略、历史以及对游戏的热爱。书中主要以Spectrum Holobyte的Macintosh版本为基础,但也提到了Amiga和其他家用电脑上的版本。此外,书中还收录了俄罗斯方块开发者瓦迪姆·格拉西莫夫和阿列克谢·帕基特诺夫的采访。

为什么你的大脑效率比GPT-4高300万倍? (grski.pl)

本文首先以通俗易懂的方式介绍了计算机如何理解人类语言,从二进制到嵌入和向量空间。然后,作者解释了HNSW算法如何高效地在高维空间中搜索相似向量,并将其与人脑的效率进行了比较。最后,作者分享了他在实际项目中使用不同向量数据库的经验和比较,包括chromaDB、Pinecone、FAISS、Milvus、pgvector、Redis、Qdrant和Weaviate,最终推荐使用Qdrant。

提供不集成ChatGPT的iTerm2版本 (gitlab.com)

该文章是用户对iTerm2软件3.5.0版本中集成ChatGPT功能提出的质疑和反对意见。用户担心隐私泄露和安全风险,希望软件提供不含ChatGPT功能的版本,并认为终端程序的首要任务是接收用户输入并将其提交给系统,而非进行远程通信或运行大型语言模型。

麻省理工学院教授、计算机科学家阿温德逝世,享年77岁 (news.mit.edu)

麻省理工学院教授、计算机科学家阿温德于6月17日逝世,享年77岁。阿温德在计算机体系结构、并行计算和数字设计领域做出了重要贡献,致力于开发更快速、更高效的计算方法。他领导开发了并行计算语言Id和pH,并与摩托罗拉合作建造了16台数据流计算机。他还创立了半导体芯片制造公司Sandburst,并与人共同创办了Bluespec公司,致力于开发简化设备设计的工具。

ES 模块:NPM 和 NodeJS 应该做得更多 (borischerny.com)

这篇文章探讨了 JavaScript 和 TypeScript 中 ES 模块的采用缓慢问题。作者指出,尽管 ES 模块在性能和代码组织方面具有优势,但 CommonJS 的遗留问题导致了互操作性难题和开发者体验不佳。作者通过分析 GitHub 和 NPM 的数据,发现 ES 模块的采用率仍然很低,并提出了一些改进建议,例如放弃 .mjs、.cjs 等文件扩展名,默认使用 `type=module`,以及升级常用库以支持 ES 模块等。

埃隆·马斯克确认将数千个英伟达AI芯片从特斯拉转移 (www.morningstar.com)

埃隆·马斯克证实,他将数千个英伟达AI芯片从特斯拉转移到了他的其他公司X和xAI。 尽管特斯拉正在开发自动驾驶技术,需要大量芯片,但马斯克表示,特斯拉的超级计算机设施尚未完成,芯片只能闲置在仓库。预计特斯拉今年将购买30亿至40亿美元的英伟达芯片。

SUSE进军人工智能领域 (techcrunch.com)

老牌开源公司SUSE宣布进军人工智能领域,并推出了新的生成式人工智能平台SUSE AI解决方案。该公司希望通过这一举措,以及最近为挑战竞争对手而采取的行动,能够进入美国市场。SUSE AI解决方案是一个与供应商和LLM无关的平台,旨在帮助企业以安全和隐私至上的方式将人工智能工作负载投入生产。

AMD MI300X 在大语言模型推理方面超越 NVIDIA H100 (www.blog.tensorwave.com)

TensorWave 基准测试表明,AMD 的 MI300X 加速器在离线和在线推理任务中均优于 NVIDIA 的 H100,尤其是在使用 Mixtral 8x7B 等混合专家 (MoE) 架构时。MI300X 不仅吞吐量更高,而且在需要快速响应时间的实际场景中表现出色。结合其具有竞争力的成本和硬件可用性,MI300X 成为寻求扩展 AI 推理能力的企业的绝佳选择。

麦当劳暂停测试AI点餐 (www.theverge.com)

麦当劳宣布将暂停与IBM合作的AI点餐测试项目,该项目原计划利用AI聊天机器人在得来速车道为顾客点餐。尽管测试结果表明语音点餐将成为未来趋势,但麦当劳并未透露停止与IBM合作的原因。该公司可能考虑与谷歌合作开发类似技术,谷歌此前已与温蒂汉堡合作进行过AI点餐测试。

我们塑造社交圈,社交圈塑造我们 (www.henrikkarlsson.xyz)

本文探讨了社交圈对个人成长的影响。作者认为,我们不仅塑造着自己的社交圈,反过来,社交圈也在塑造着我们。文章以文化学习为切入点,指出人类通过观察和模仿周围的人来学习和适应文化,并强调了精心构建社交圈的重要性。作者将社交圈比作一个有向图,图中的节点代表着人、事物和思想,并指出通过改变这个图谱,我们可以改变自己。文章最后提出了“分布式学徒制”的概念,鼓励读者积极寻找合适的导师和榜样,有意识地构建自己的社交圈,从而实现个人成长。

布巴-奇奇效应 (en.wikipedia.org)

布巴-奇奇效应是一种非任意的认知现象,指人们倾向于将特定的语音和特定的视觉形状联系起来。例如,当人们看到“布巴”和“奇奇”这两个无意义的词语时,往往会将“布巴”与圆形联系起来,将“奇奇”与尖形联系起来。这种效应在不同文化和语言中都存在,并已被证实与大脑的感知和语言处理区域有关。

NVIDIA Warp:用于高性能GPU模拟和图形的Python框架 (github.com)

Warp是一个Python框架,用于编写高性能模拟和图形代码。Warp采用常规的Python函数,并将它们JIT编译成可以在CPU或GPU上运行的高效内核代码。Warp专为空间计算而设计,并配有一组丰富的原语,可以轻松编写用于物理模拟、感知、机器人和几何处理的程序。此外,Warp内核是可微分的,可以用作PyTorch和JAX等框架的机器学习管道的一部分。

PDFEquips | 免费在线PDF工具 (www.pdfequips.com)

PDFEquips是一个免费的在线PDF工具网站,提供全面的PDF处理功能,包括合并、分割、压缩、转换、旋转、加水印等,用户可以通过简单的操作轻松管理PDF文件。该网站还提供OCR识别、PDF翻译、PDF加密等功能,方便用户对PDF文件进行编辑和处理。

微软 1998 = 苹果 2024 (ianbetteridge.com)

本文回顾了微软在1998年面临的反垄断诉讼,并将其与苹果公司在2024年的处境进行了比较。作者指出,微软当时声称反垄断会扼杀创新,但最终的结果是微软的浏览器市场份额下降,而创新并未停止。作者暗示,苹果公司可能也会面临类似的命运。

NumPy 2.0.0 发布说明 (numpy.org)

NumPy 2.0.0是自2006年以来的第一个主要版本,带来了大量新功能和改进,同时也包含一些重大改变。其中包括新的可变长度字符串数据类型StringDType、对float32和longdouble的支持、性能提升、API改进以及文档更新等。需要注意的是, NumPy 2.0包含一些向后不兼容的更改,升级前请仔细阅读发布说明和迁移指南。

深入解析 URI、URL 和 URN (blog.logto.io)

文章解释了 URI、URL 和 URN 的区别和应用场景。URL 是用来定位互联网上资源的地址,而 URI 则是一个更通用的标识符,用于唯一地标识资源。URN 是一种特殊的 URI,它使用 urn 方案来持久地标识资源,即使资源不再存在。文章还详细介绍了 URL 的结构和 URN 的组成部分,并通过示例说明了它们的使用方法。

SQLite数据库浏览器 (github.com)

SQLite Studio是一款基于Rust语言开发的SQLite数据库浏览器,提供预编译的Linux、Windows和MacOS版本。用户可以通过Nix构建源代码或下载预编译版本使用。该项目采用MIT许可证,欢迎开发者贡献代码。

苹果或成首家面临欧盟数字市场法指控的科技巨头 (arstechnica.com)

欧盟准备指控苹果涉嫌在移动应用商店中压制竞争,这将是欧盟监管机构首次动用新数字法规来约束大型科技公司。欧盟委员会认定,苹果没有履行义务,允许应用程序开发者引导用户在不收取费用的情况下在其应用程序商店之外进行消费。如果罪名成立,苹果将面临每天高达其全球平均日营业额5%的罚款。

命令行上的语言模型 (simonwillison.net)

本文介绍了如何使用名为LLM的命令行工具来调用大型语言模型。LLM支持OpenAI、Anthropic Claude等多种模型,可以通过插件扩展功能,也支持本地运行模型。文章详细介绍了LLM的安装、基本用法、插件系统、模型日志记录、嵌入和向量搜索等功能,并结合实际案例展示了如何使用LLM完成文本摘要、代码生成、网页抓取等任务。

电池价格还能有多低? (aukehoekstra.substack.com)

本文探讨了电池成本下降的趋势及其对未来电网的影响。作者通过分析学习曲线和材料成本,预测到2030年电池成本将降至每千瓦时8美元,并认为钠电池的出现将进一步降低成本。作者认为,廉价的电池将彻底改变电网,使其从自上而下的管理模式转变为以分布式、自下而上的模式,并促进太阳能和风能的大规模应用。

减肥药来袭,糖业巨头还能否高枕无忧? (finance.yahoo.com)

GLP-1 减肥药的流行可能会对糖类食品行业造成冲击。分析师预测,到 2035 年,美国人在卡路里消费上将减少 1.5% 至 2.5%,糖果、烘焙食品和汽水的消费量将减少 5%。尽管糖业代表们尚未对此表示担忧,但一些分析师认为,随着 GLP-1 药物的普及和仿制药的出现,糖类食品的消费量可能会进一步下降,尤其是在欧美等发达国家。

Let's Encrypt 部署 ntpd-rs,提升内存安全性 (letsencrypt.org)

为了提高网络安全,Let's Encrypt 启动了 Prossimo 项目,旨在用内存安全的语言重写关键软件基础设施。最近,Let's Encrypt 部署了 Prossimo 项目的首个内存安全软件 ntpd-rs,这是一个用 Rust 语言编写的 NTP 实现,替代了之前使用 C/C++ 编写的版本。未来几年,Let's Encrypt 计划继续用 Rustls、Hickory、River 和 sudo-rs 等内存安全替代方案替换 OpenSSL、DNS 软件、Nginx 和 sudo 等软件。

权衡伽利略的证据 (www.historytoday.com)

这篇文章回顾了伽利略提出的日心说,以及该学说如何最终被科学界接受的过程。文章指出,虽然伽利略的理论最终被证明是正确的,但在当时,他的观点并没有得到确凿证据的支持,并且受到了来自宗教和科学界的阻力。文章还探讨了其他一些与伽利略同时代的科学家的观点,例如第谷·布拉赫和乔瓦尼·巴蒂斯塔·里乔利,他们也提出了自己的宇宙模型。文章最后总结道,新的科学理论的胜利往往不是通过说服反对者,而是因为反对者最终去世,而熟悉新理论的新一代成长起来。

FCC主席提议规范人工智能在政治广告中的使用 (qz.com)

美国联邦通信委员会(FCC)主席Jessica Rosenworcel提议,对在政治广告中使用人工智能生成内容进行规范,要求广告商披露AI生成内容的使用情况。该提案旨在提高政治广告的透明度,防止误导选民,尤其是在“深度伪造”技术日益普及的背景下。FCC将就提案细节公开征求意见,包括是否要求广播和电视广告进行广播和书面披露,以及对AI生成内容的具体定义。

如何恢复内存中丢失的 Python 源代码 (gist.github.com)

文章介绍了如何使用 pyrasite 和 uncompyle6 恢复内存中丢失的 Python 源代码。首先需要安装 GDB、pyrasite 和 uncompyle6,然后找到运行中 Python 进程的 PID,使用 pyrasite 附加到该进程,最后使用 uncompyle6 反编译代码对象以获取源代码。

GitHub - dorjeduck/llm.mojo:将 Andrjey Karpathy 的 llm.c 移植到 Mojo (github.com)

该项目将 Andrjey Karpathy 的 llm.c 移植到 Mojo,目前处于测试阶段,用户可能会遇到错误和未完成的功能。该项目提供了两种实现:train_gpt2_basic.mojo 是 train_gpt2.c 的基本移植版本,没有充分利用 Mojo 的功能;train_gpt2.mojo 是增强版本,利用了 Mojo 的向量化和并行化等性能优势。

1 2 184 185 186 188 190 191 192 361 362