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

ROS工具 | 传递机器人 (transitiverobotics.com)

ROS工具是一个通用的ROS工具,提供了一个React API,用于从Web订阅、发布和进行服务调用。它基于Transitive的MQTTSync协议,该协议比rosbridge具有多种优势:重复数据删除、增量、基于字段的更新(而不是每次一个字段更改时都发送整个消息)、云缓存、React API。

“人工智能”、学生与认知危机 (miniver.blogspot.com)

一位老师讲述了自己与学生在“人工智能”问题上的分歧。学生使用ChatGPT获取信息,并将ChatGPT生成的虚假信息视为事实。作者表达了对学生过度依赖“人工智能”、缺乏辨别信息真伪能力的担忧,以及对这种现象可能导致的认知危机的忧虑。

Igneous Linearizer (domain-j.com)

Igneous Linearizer是一个将代码存储为超文本的工具,它利用Obsidian的链接、反向链接、重命名、属性和嵌入功能,将代码文件连接在一起,并最终转换为可执行的代码。与将抽象语法树存储在数据库中不同,它不保证语法正确,但提供了更传统的开发体验,可以使用任何文本编辑器和Git。它支持多种编程语言,并特别适用于发布、文化编程和原型设计。

苹果 Vision Pro 首次在美国以外的国家推出 (www.theverge.com)

苹果 Vision Pro 头显现已在中国大陆、日本和新加坡上市,并将于 7 月 12 日在德国、法国、澳大利亚、英国和加拿大推出,这些地区的预购于今天美国太平洋时间凌晨 5 点开始。

亚马逊调查Perplexity是否存在爬虫滥用行为 (www.wired.com)

亚马逊云计算部门已对人工智能搜索初创公司Perplexity AI展开调查,原因是该公司涉嫌违反亚马逊网络服务规则,抓取了试图阻止其访问的网站内容。Perplexity被指控使用位于亚马逊网络服务上的服务器,绕过 robots.txt 协议,抓取包括 Condé Nast、卫报、福布斯和纽约时报在内的多家新闻网站的内容。Perplexity承认使用第三方公司进行网络爬取,但拒绝透露公司名称,并表示只有在用户提供特定URL时才会绕过 robots.txt 协议。

使用弦图的范畴论 (arxiv.org)

这篇文章探讨了使用弦图来表示范畴论的概念和证明。作者认为,传统的基于等式的范畴论计算方法虽然有很多优点,但在转换为等式推理风格时会牺牲掉有用的类型信息,而传统的图表粘贴证明方法虽然保留了类型信息,但在表达推理过程方面却比较笨拙。弦图作为一种图形化表示方法,能够同时保留类型信息和清晰的推理过程,它能够以拓扑学的视角来解释范畴论的证明,并简洁地处理函子性和自然性条件。作者在文章中使用了大量的示例,系统地应用弦图技术来解释范畴论的各个方面,包括伴随函子、单子、Kan扩展、极限和余极限等。

Lix 2.90 “香草冰淇淋”版本发布 (lix.systems)

Lix团队发布了首个版本Lix 2.90 “香草冰淇淋”。该版本基于CppNix 2.18,着重于基础和可靠性,提升了速度和用户体验,并修复了大量错误。新版本包括:评估速度提升、REPL改进、错误报告更准确、缓存机制优化、用户体验提升等。Lix团队还完善了开发流程,采用了Meson构建系统、Gerrit代码审查等,并计划持续改进Nix,使其更可靠、安全、易用。

内联显示 Edebug 上一次的结果以及为什么你应该使用 Edebug (xenodium.com)

本文介绍了作者如何利用 Emacs Lisp 的调试器 Edebug 的“内联结果”功能,使调试过程更加高效。作者通过修改 `edebug-compute-previous-result` 和 `edebug-previous-result` 这两个函数,将调试结果直接显示在代码的当前行,避免了视线在代码和迷你缓冲区之间来回跳转的问题。

Notion - 一站式笔记、任务、知识库和数据库工作区 (buildtrayd.notion.site)

Notion 是一款集笔记、任务、知识库和数据库功能于一体的协作平台,旨在帮助个人和团队更好地组织和管理信息。

我没有构造函数,但我必须初始化 (consteval.ca)

这篇博客文章深入探讨了 C++ 中的初始化规则,特别是针对没有显式定义构造函数的类。文章详细解释了默认初始化、值初始化、列表初始化和聚合初始化之间的区别,以及编译器如何隐式生成默认构造函数。作者强调,为了避免未定义行为和潜在错误,程序员应该始终为其类显式定义构造函数,而不是依赖编译器生成的默认构造函数。

Chromium for Lambda (chromium-on-vercel.vercel.app)

该项目提供了一个截图服务,每 5 分钟刷新一次,使用 Chromium 在 AWS Lambda 上运行。项目的源代码托管在 github.com/chromium-for-lambda/chromium-on-vercel 上。

荷兰未来十年内预计将关闭一半加油站 (www.dutchnews.nl)

根据荷兰国际集团(ING)研究报告,随着电动汽车开始占据市场主导地位,预计未来五到十年内,荷兰一半的加油站将关闭。该行经济学家表示,未来加油站的收入将不足,目前4131家加油站中只有约2000家能够继续经营。报告指出,主要是小型无人加油站将消失。预计大型品牌如壳牌、BP和道达尔等将不会受到影响,而受冲击的将是小型的独立加油站,包括家族企业。

美国情报界拥抱生成式人工智能 (www.nextgov.com)

美国情报界正积极 embracing embrace 生成式人工智能 (AI) 技术,用于内容分类、协助分析师、搜索和发现信息、头脑风暴以及生成反驳论点等方面。AI帮助分析师从海量数据中提取洞察,但同时也存在风险,例如“幻觉”或不准确的答案。情报机构意识到AI的潜力,同时也强调安全和隐私的重要性,并与科技巨头合作,在安全的环境中使用AI工具。

我给访问的每个页面增加了 3-25 秒的延迟 (howonlee.github.io)

文章作者认为网络延迟可以降低用户对互联网的沉迷,并详细介绍了如何在不同设备和平台上人为增加网络延迟的方法,例如使用特定浏览器扩展程序、代理服务器和开发者模式等。此外,作者还分享了其他减少互联网诱惑的策略,包括屏蔽 YouTube 上的图片、使用无评论扩展程序、回归论坛等,以此降低互联网对自身的过度吸引。

Ladybird浏览器:一款全新的独立网络浏览器 (ladybird.org)

Ladybird是一款全新的独立网络浏览器,由非营利组织开发,致力于打造一个基于网络标准、性能优异、安全稳定的浏览器。该浏览器计划于2026年初发布首个Alpha版本,目前处于开发阶段,欢迎开发者加入贡献。Ladybird的特点包括:完全独立自主研发,不使用其他浏览器的代码;专注于网络浏览器本身,不涉及其他业务;不含任何盈利性质的功能,例如默认搜索引擎、加密货币等。

Glish:将所有英文单词映射为单音节版本的项目 (github.com)

Glish是一个开源项目,目标是创建一个英语版本,其中每个单词都只有一个音节。该项目使用CMU发音词典作为数据源,并利用音节结构和语音规律将多音节单词转换为单音节形式。

CROSS 海关裁定在线搜索系统 (rulings.cbp.gov)

本文介绍了 CROSS 海关裁定在线搜索系统的访问方式,包括 DHS 组件、FOIA 表格、监察长、无惧法案、隐私政策、白宫、USA.gov 插件、漏洞披露计划等。

英国官方调查医院网络攻击事件是否直接导致死亡 (www.bloomberg.com)

本月英国医院遭遇网络攻击,导致数百例计划手术被推迟。目前,英国官方正在调查此次事件是否直接导致了人员死亡。

Haskell 认证 (certification.haskell.foundation)

本文介绍了 Haskell 认证的相关内容。

索尼停止蓝光光盘生产,但物理介质尚未消亡 (www.kotaku.com.au)

索尼宣布将停止生产可刻录蓝光光盘,转向全数字未来。此举引发了人们对物理介质消亡的担忧。索尼澄清说,他们将继续为企业客户生产用于游戏和电影的光盘,直到不再盈利。对于喜欢购买实体游戏和电影的用户来说,暂时无需担心。尽管蓝光光盘的存储容量低于硬盘或固态硬盘,但其使用寿命更长。索尼停止生产可刻录蓝光光盘,标志着世界向无物理介质的未来迈出了一大步。

开放教科书倡议组织批准的教科书 (textbooks.aimath.org)

文章列出了开放教科书倡议组织批准的涵盖多个学科的教科书,包括数学、商业、计算机、统计学等。 这些教科书均经过AIM编辑委员会的评估,符合其设定的标准,可供学生和教师免费使用。

SpaceX 猎鹰 9 号火箭完美发射纪录终结 (arstechnica.com)

周四晚间,SpaceX 的一枚猎鹰 9 号火箭在从加利福尼亚州发射升空后遭遇二级发动机故障,将一批星链互联网卫星送入危险的低轨道,这是这款主力运载火箭自 2016 年以来 300 多次发射任务中的首次失误。初步调查表明,二级梅林真空发动机的氧化剂系统可能出现泄漏或隔热层出现问题,导致冰块积聚,最终引发发动机故障。这次事故导致 20 颗星链卫星无法进入预定轨道,SpaceX 正努力尝试挽救。此次事故调查可能会推迟 SpaceX 未来数周内的两项载人航天任务,包括亿万富翁贾里德·伊萨克曼的 Polaris Dawn 任务和 NASA 的下一次载人航天任务。

MacRumors 报道:Bartender 应用易主,缺乏透明度引发担忧 (www.macrumors.com)

广受欢迎的 Mac 应用 Bartender 已于约两个月前悄然出售,但前任和现任所有者均未向客户或潜在客户提供有关此次出售的信息。此次交易是 Reddit 用户在 MacUpdater 发出警告后才浮出水面,该警告称 Bartender 背后的公司已被悄然替换。MacUpdater 警告用户,由于缺乏透明度,5.0.52 版本之后的应用更新可能存在潜在安全风险。

PowerInfer-2: 在智能手机上快速推理大型语言模型 (arxiv.org)

PowerInfer-2是一个专为在智能手机上快速推理大型语言模型(LLM)而设计的框架,特别是针对模型大小超过设备内存容量的情况。该框架利用智能手机中的异构计算、内存和I/O资源,将传统的矩阵计算分解成细粒度的“神经元簇”计算,并通过分段神经元缓存和细粒度神经元-集群级流水线技术,最大限度地减少和掩盖I/O操作造成的开销。PowerInfer-2能够在两款智能手机上支持各种LLM模型,与最先进的框架相比,速度提高了29.2倍。

Glasskube: 下一代 Kubernetes 包管理器 (github.com)

Glasskube 是一款开源的 Kubernetes 包管理器,它使在 Kubernetes 上部署、更新和配置软件包比 Helm 或 Kustomize 等工具快 20 倍。它提供了一个简单易用的 GUI 和 CLI,并支持包配置、依赖管理、安全包更新和 GitOps 集成。Glasskube 还提供了一个公共包存储库,用户可以在其中找到并安装各种 Kubernetes 软件包。

从张量到稳定扩散:一个为期九周的课程大纲 (github.com)

这篇文章提供了一个为期九周的深度学习课程大纲,名为“从张量到稳定扩散”。该课程旨在帮助学员从零开始学习深度学习,内容涵盖了从基础的张量概念到构建CNN、RNN等模型,再到实现经典论文中的模型,如LeNet、AlexNet、ResNet、DCGAN、GRU、LSTM、CBOW、Skip-Gram、Transformer、BERT以及稳定扩散模型。课程注重实践,每个主题都包含代码实现和相关论文。

好球!坏球!出局!:棒球裁判驱逐史 (sabr.org)

这篇文章回顾了棒球历史上裁判驱逐球员的演变过程。从19世纪末开始,裁判主要依靠罚款来维持秩序,直到1889年才出现第一次驱逐。20世纪初,像威廉·克莱姆这样的裁判以其强硬作风和频繁的驱逐而闻名,以此确立了裁判的权威。随着裁判培训学校的出现和职业化的发展,裁判逐渐减少了驱逐次数,并依靠规则和风度来获得尊重。电视转播和科技进步对驱逐产生了进一步的影响,导致了更加标准化和“无色彩”的裁判风格,裁判只有在符合特定标准的情况下才会进行驱逐。

阿尔茨海默症科学家因涉嫌伪造数据骗取1600万美元资金被起诉 (arstechnica.com)

纽约城市大学医学教授王浩岩因涉嫌伪造数据,从美国国立卫生研究院 fraudulently 获得了 1600 万美元的联邦研究资金,用于开发一种阿尔茨海默症药物和诊断测试,日前被联邦大陪审团起诉。王浩岩是德克萨斯州奥斯汀制药公司 Cassava Sciences 的付费合作者,他的研究和出版物为 Cassava 的阿尔茨海默症治疗药物 Simufilam 提供了科学依据。然而,外部研究人员长期以来一直对这项研究表示怀疑和担忧。

GPU 部署 (www.gpudeploy.com)

GPUDeploy 是一個雲端運算平台,專為執行機器學習和深度學習工作負載而設計。它提供加速運算、儲存和網路,可協助開發人員和研究人員快速部署和擴展他們的模型。GPUDeploy 還提供一組工具和服務,例如自動擴展、效能監控和資料管理,以簡化開發流程。

塞尔达传说:睿智之回声 预告片发布,塞尔达公主终于成为主角 (www.theverge.com)

任天堂Switch游戏《塞尔达传说:睿智之回声》将于9月26日发布,塞尔达公主将成为该游戏的主角。在林克战败后,塞尔达公主将使用魔法杖和仙女的帮助,独自对抗怪物,拯救世界。游戏玩法将不同于以往,玩家可以创造物体的“回声”来克服障碍。

1 2 129 130 131 133 135 136 137 362 363