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

动物和科技 (naya.lol)

本页面提供导航链接,分别指向关于猫、狗、猎豹的动物页面,以及关于平板电脑和电脑的科技页面。

NVIDIA发布用于训练大型语言模型的开源合成数据生成管道 (blogs.nvidia.com)

NVIDIA发布了Nemotron-4 340B,这是一系列开源模型,开发者可以使用这些模型生成合成数据,用于训练针对医疗保健、金融、制造、零售等各个行业的商业应用的大型语言模型(LLM)。Nemotron-4 340B系列包括基础模型、指令模型和奖励模型,它们构成了生成用于训练和优化LLM的合成数据的管道。

在编码中应用5S原则 (santhoshsundar.medium.com)

这篇文章讲解了如何在编码过程中应用源自精益生产的5S原则,并以JavaScript为例,详细介绍了每个原则的实际应用、相关工具以及如何将这些原则融入到开发流程中,从而提高代码质量和效率。

罗西·格里尔:从NFL球星到编织达人 (www.crochetconcupiscence.com)

本文介绍了美国橄榄球联盟球星罗西·格里尔,他以其在球场上的成就和对编织的热爱而闻名。格里尔在20世纪70年代出版了一本名为《男人针织》的书,打破了人们对性别的刻板印象,并鼓励了许多男性参与到编织等手工艺术中来。除了编织,格里尔还积极参与慈善事业,并曾担任过保镖。

Dravid:一款人工智能驱动的命令行编码框架 (github.com)

Dravid (DRD) 是一款基于人工智能的命令行编码框架,旨在简化和增强开发流程。它利用人工智能帮助开发者完成从项目设置到代码生成和文件管理的各种任务。Dravid 提供了高效的编码和项目管理功能、图像查询处理、强大的文件操作和元数据管理、与外部 API 的集成、内置开发服务器以及全面的错误处理和报告功能。

CrowdStrike安全软件更新故障导致全球系统崩溃 (arstechnica.com)

CrowdStrike安全软件Falcon近期发布的更新存在严重漏洞,导致基于Windows的系统崩溃,出现蓝屏死机(BSOD)错误信息。受影响的包括航空公司、支付处理商、911呼叫中心、电视网络等众多企业。微软和CrowdStrike已紧急撤回更新,并提供了解决方案,包括多次重启系统、使用备份还原系统、手动删除故障驱动程序等。

气动传输管道的回归 (www.technologyreview.com)

气动传输管道曾被寄予厚望,但在20世纪中叶被大多数行业抛弃,如今却在医院中得到广泛应用。医院建筑结构的变化以及对效率的需求使得气动传输管道成为运输医疗记录、处方、标本、药品和血液制品的理想选择。

适用于 Linux 的 Nvidia 显卡风扇控制 Python 脚本 (github.com)

这篇技术文章介绍了一个名为 nvidia_fan_control_linux 的 Python 脚本,该脚本可以在 Linux 系统下控制 Nvidia GPU 的风扇速度。文章详细介绍了脚本的设置步骤、使用方法、示例代码以及输出结果,还提供了风扇曲线参数设置和绘制风扇速度曲线的代码示例。

Libadwaita:分离 GTK 和设计语言 (tesk.page)

本文解释了为什么要将 GTK 和设计语言分离,并介绍了 Libadwaita 的由来、功能和优势。GTK 作为一个跨平台工具包,应该专注于提供通用的部件,而 Libadwaita 则作为 GNOME 桌面的平台库,提供符合 GNOME 人机界面指南的自定义部件和样式。文章还介绍了其他平台库,如 Granite 和 Libhelium,它们分别针对 elementary OS 和 tauOS 进行了优化。

如何在 C(和 Linux)中使用新的 counted_by 属性 (people.kernel.org)

Clang-18 和 GCC-15 引入了 counted_by 属性,用于将结构体的柔性数组成员与其元素数量关联起来,增强了运行时边界检查。文章详细介绍了 counted_by 属性的使用方法,特别是在 Linux 内核中的应用,并提供了一些代码示例和常见错误案例,例如计数器初始化顺序和循环更新等问题,帮助开发者正确使用该属性提高代码安全性。

抽水蓄能水力发电 (en.wikipedia.org)

抽水蓄能水力发电(PSH)是一种电力系统用于负载平衡的水力发电储能方式。该方法将能量以水的重力势能的形式存储,在电力需求低的时候,利用低成本的剩余电力将水从低海拔水库抽到高海拔水库。在电力需求高的时期,将储存的水通过涡轮机释放,发电。抽水蓄能水电站允许将来自间歇性能源(如太阳能、风能)和其他可再生能源,或来自连续基荷能源(如煤炭或核能)的多余电力储存起来,用于需求较高的时期。

美国初创公司将提供 320 兆瓦地热能,可为 35 万户家庭供电 (interestingengineering.com)

美国初创公司 Fervo Energy 宣布与美国最大的电力公司之一南加州爱迪生公司 (SCE) 签署了两项总计 320 兆瓦的电力购买协议 (PPA)。这两份为期 15 年的协议将为南加州 35 万户家庭提供相当于其用电量的清洁、价格合理的地热能源。这些能源将来自 Fervo Energy 位于犹他州西南部、目前正在建设中的 400 兆瓦 Cape Station 项目。

NASA 选择 SpaceX 开发和交付国际空间站退役飞行器 (www.nasa.gov)

NASA 选择 SpaceX 开发和交付用于安全地将国际空间站撤离轨道的退役飞行器,确保在 2030 年任务结束后不会对人口稠密地区构成风险。此举是 NASA 向近地轨道商业目的地过渡的一部分,并将支持未来在近地空间的持续利用。

Pippy:增强您的 GitHub Actions (pippy.dev)

Pippy 是一款利用 GitHub Actions 工作流程创建可配置管道的工具。它提供自动回滚、Datadog 监控、审批、锁定、暂停/恢复、自动触发器等功能,以及对管道运行、审计和历史记录的全面管理。Pippy 提供免费、团队和企业版以满足不同的需求。

斯坦福互联网观察站被解散 (www.platformer.news)

由于共和党人持续攻击其关于虚假信息和选举诚信的报告,斯坦福互联网观察站(SIO)正在被解散。SIO 的创始主任已于去年离职,研究主任也于上周离职。该实验室将不会对 2024 年或未来的选举进行研究。斯坦福大学似乎认为,SIO带来的麻烦已经超过了其价值。

GitHub - ElliotKillick/rss2newsletter:将 RSS/Atom 源转换为电子邮件简报 (github.com)

rss2newsletter是一个可以将任何RSS/Atom源转换为全自动电子邮件简报的工具,它与listmonk整合发送邮件,并支持抓取网站OpenGraph元数据中的内容图像等功能。与Mailchimp相比,rss2newsletter更加经济实惠,可以节省大量成本。

联邦监管机构首次禁止匿名信息应用 NGL 向未成年人提供服务 (www.washingtonpost.com)

美国联邦贸易委员会(FTC)首次禁止数字平台向18岁以下用户提供服务,指控应用程序NGL夸大其使用人工智能遏制网络欺凌的能力。NGL是一款在儿童和青少年中很受欢迎的应用程序,尽管匿名信息网站存在欺凌风险,但它却积极向年轻用户推销。NGL将被要求阻止18岁以下的用户访问该应用程序,并删除从幼儿那里获得的任何数据,除非父母同意。

谷歌新AI训练技术JEST:速度提升13倍,效率提升10倍 (decrypt.co)

谷歌DeepMind研究人员公布了一种新的AI训练方法JEST,可以显著减少训练所需的时间和计算资源。该方法通过共同选择互补的数据批次来最大化AI模型的学习能力,从而提高训练速度和效率,并降低能耗。研究表明,JEST在各种基准测试中均表现出显著的性能提升,例如,在使用JEST对常见WebLI数据集进行训练时,学习速度和资源效率均得到显著提高。

澳大利亚是否需要进口天然气? (www.smh.com.au)

澳大利亚是全球主要天然气出口国,但由于长期出口合同和基础设施限制,东部各州面临天然气短缺。专家认为,进口液化天然气是避免严重短缺的可行方案,但环境组织反对,当地生产商呼吁开发新气田并增加储存设施。

理论计算机科学中的“僵尸”错误观念 (scottaaronson.blog)

本文探讨了理论计算机科学中一种常见的错误观念,即混淆了适用于无限序列和函数的概念与适用于单个整数和开放问题的概念。作者以计算理论中的可计算性概念为例,指出像 Busy Beaver 函数的值虽然是不可计算的,但这并不意味着像 BB(6) 这样的单个整数是不可计算的,因为总存在一个程序可以输出特定的整数。作者强调,这种错误观念源于对可计算性概念的误用,它忽略了可计算性是关于程序是否存在,而不是关于找到或编写程序的难度。

查尔斯·摩尔的 Forth 方法论 (www.ultratechnology.com)

本文介绍了查尔斯·摩尔的Forth方法论,该方法论可用于编程、硬件设计以及任何类型问题的解决。该方法论强调首先识别和拒绝无用的想法和非问题,然后考虑最容易被忽视的选项,并精心构建和优化解决方案。通过反复迭代和优化,最终得到一个“设计正确”的解决方案。作者强调了该方法论中迭代和优化的重要性,并以查尔斯·摩尔在软件和硬件领域应用该方法论的经历为例进行了说明。

NanaBox: 基于 XAML 的轻量级第三方 Hyper-V 虚拟化软件 (github.com)

NanaBox 是一款基于 XAML 的轻量级第三方 Hyper-V 虚拟化软件,它利用了主机计算系统 API、远程桌面 ActiveX 控件和 XAML Islands 等技术。NanaBox 并非 Hyper-V 客户端,因为它使用的是 Hyper-V WMI 提供程序的低级 API,并且是无状态的,无法管理 Hyper-V 管理器中列出的虚拟机。NanaBox 选择主机计算系统 API 而不是 Hyper-V WMI 提供程序,是因为作者希望拥有可移植的虚拟机配置,并且不喜欢将虚拟机配置注册到系统中。NanaBox 选择定义自己的基于 JSON 的虚拟机配置格式,是因为 Hyper-V 的 VMCX 是一种二进制格式,Microsoft 没有提供文档化的格式定义。

金鱼的记忆:中国互联网内容正在迅速消失 (chinamediaproject.org)

一篇微信文章揭露,2000年代初期的中文互联网内容几乎完全消失,包括百度、网易、搜狐等门户网站以及大量个人网站的内容。作者何加盐认为,除了技术更迭和商业利益等因素外,中国官方对历史和舆论的政治控制也是重要原因。文章引发热议后很快被删除。

使用 HTML 和 CSS 创建响应式条形图 (9elements.com)

这篇文章介绍了如何使用 HTML 和 CSS 创建响应式条形图,以克服 SVG 在动态数据可视化方面的局限性。文章详细介绍了使用 CSS Grid 和 Flexbox 布局技术、逻辑属性以及语义化 HTML 来实现条形图的响应式设计、双向文本支持和可访问性。文章还提供了一个示例代码,演示了如何创建一个简单的条形图。

将UTC时间存储并非万能方案 (codeblog.jonskeet.uk)

文章针对“将所有本地日期/时间数据转换为UTC并存储”这一建议提出了质疑,指出对于未来和不久的过去的事件,这种做法忽略了时区规则的变化,可能导致初始转换不准确。作者建议在存储日期/时间数据时,应保留所有必要信息,包括本地时间、时区ID以及用于计算的时区规则版本,以便在时区规则发生变化时能够重新计算UTC时间。

SquirrelFS:利用Rust编译器检查文件系统崩溃一致性 (arxiv.org)

SquirrelFS是一种新的持久内存崩溃安全文件系统,它利用Rust的类型状态模式在编译时强制执行特定的操作顺序。它引入了一种新的崩溃一致性机制,即同步软更新,将崩溃安全性简化为强制执行文件系统元数据更新之间的顺序。SquirrelFS不需要单独的证明,而是将正确性保证纳入类型状态本身,编译仅需几秒钟,成功编译表示崩溃一致性,而错误则提供修复错误的起点。

奈菲尔塔莉陵墓 (mused.com)

奈菲尔塔莉陵墓 (QV66) 位于埃及卢克索附近的王后谷,是古埃及新王国时期第十九王朝法老拉美西斯二世(拉美西斯大帝)的正妻奈菲尔塔莉的陵墓。奈菲尔塔莉以其美貌和智慧而闻名,拥有“伟大的王室妻子”和“两地情妇”的尊贵头衔。她的陵墓于 1904 年被意大利考古学家埃内斯托·斯基亚帕雷利发现,其精美且保存完好的壁画备受赞赏。

IBM 磁带 Selectric 排版机 - 第一部分 (blog.bruchez.name)

本文介绍了作者意外发现的一套完整的 IBM MT/SC(磁带 Selectric 排版机)系统,并对其进行了详细的介绍。该系统由输入站和输出站两部分组成,输入站使用 MT/SR(磁带 Selectric 记录器)将文本录入磁带,输出站则使用 MT/SC(磁带 Selectric 排版机)读取磁带并排版输出。作者详细介绍了输入站的各个组成部分,包括打字机、磁带控制台和桌子,并对其功能和特点进行了说明。

死亡后恢复循环可保存器官以供移植 (www.npr.org)

文章探讨了一种名为“常温区域灌注”(NRP)的新型器官获取技术。该技术在患者被宣布心脏和循环停止死亡后,通过外部泵恢复血液流动,从而保持器官供氧,提高移植成功率。支持者认为NRP可以缓解器官短缺,并改善移植效果。然而,批评者担心该技术模糊了死亡的定义,引发了伦理争议。

Instagram与青少年之争的新进展 (www.theatlantic.com)

Meta公司宣布将启动一项试点项目,允许少数研究人员访问Instagram数据,以研究该应用对青少年和年轻人身心健康的影响。该项目为深入了解社交媒体的影响打开了大门,但一些研究人员对此表示担忧,因为Meta公司之前曾被指控限制研究人员对其平台进行研究。该项目被认为是在数据透明度方面迈出的重要一步,但仍有待观察其能否真正解决人们对社交媒体影响的担忧。

1 2 111 112 113 115 117 118 119 362 363