热门标签：
Mac 多显示器 显示器扩展 requests patch 并发 Alpine Linux BSD Linux 电动汽车 全部标签

赛车游戏中的机器学习发展史

2024-07-04

这篇文章回顾了机器学习在 Trackmania 赛车游戏中的发展历程，详细介绍了八个团队或个人开发的自动驾驶程序，包括 Rottaca, TMRL, Laurens Neinders, AndrejGobeX, PedroAI, Bluemax666, Yosh 和 Linesight。文章分析了每个程序的特点，例如所使用的算法、训练方法、优缺点以及取得的成果，并指出了当前最先进的 Linesight 项目在专业赛道上取得接近人类专业水平成绩的成果。

阅读更多
(hallofdreams.org)
50
未分类 Trackmania

像第欧根尼一样穿越大西洋

2024-06-09
像第欧根尼一样穿越大西洋

本文讲述了法国人Jean-Jacques Savin计划在2018年圣诞节期间，乘坐自己建造的胶合板桶，从加那利群岛漂流到对岸的冒险故事。他将在长3米、宽2.1米、重450公斤的桶里度过三个月，通过安装的小舷窗观察周围环境。Savin的灵感来自Alain Bombard在1952年乘坐橡皮艇横渡大西洋的壮举。

阅读更多
(floatmagazin.de)
53
未分类

如何调试电池

2024-07-28
如何调试电池

这篇文章介绍了如何使用模拟来理解和提高电池性能。文章指出，电池设计面临着高能量密度和高功率难以兼得的挑战，而传统实验方法成本高、效率低。文章以硅基负极材料为例，说明了电池电压滞后和体积膨胀等问题，并展示了如何使用PyBaMM软件进行模拟分析，通过调整参数（如颗粒尺寸）来优化电池性能。

阅读更多
(github.com)
45
未分类 PyBaMM

GitHub - goksan/Statusnook: Effortlessly deploy a status page and start monitoring endpoints in minutes

2024-04-25
GitHub - goksan/Statusnook: Effortlessly deploy a status page and start monitoring endpoints in minutes

Statusnook 是一个用于监控互联网连接和服务状态的开源工具。它使用简单的命令行界面，可让用户轻松检查网站、API 和其他在线服务的可用性。该工具还提供有关响应时间、HTTP 状态代码和响应大小等指标的详细信息。Statusnook 可用于多种平台，包括 Windows、macOS 和 Linux。

阅读更多
(github.com)
55
未分类

谷歌反垄断案最精彩的部分

2024-08-07
谷歌反垄断案最精彩的部分

本文总结了谷歌反垄断案中最精彩的部分，包括苹果高管认为必应搜索引擎糟糕，谷歌与苹果签订巨额默认搜索引擎合同，以及社交媒体平台并非谷歌搜索的竞争对手等。法官裁定谷歌在搜索市场占据垄断地位，并指出即使谷歌降低搜索质量，其收入也不会受到影响，因为用户别无选择。

阅读更多
(www.theverge.com)
47
未分类

DeepSeek-Prover：通过大规模合成数据推进LLM中的定理证明

2024-10-14
DeepSeek-Prover：通过大规模合成数据推进LLM中的定理证明

为了解决大型语言模型（LLM）在形式定理证明方面训练数据缺乏的问题，DeepSeek-Prover方法利用高中和本科水平的数学竞赛问题生成大量的Lean 4证明数据。该方法将自然语言问题转化为形式语句，过滤掉低质量语句，并生成证明来创建合成数据。在包含800万个带有证明的形式语句的合成数据集上微调DeepSeekMath 7B模型后，该模型在Lean 4 miniF2F测试中实现了46.3%的完整证明生成准确率，优于基线GPT-4（23.0%）和树搜索强化学习方法（41.0%）。

阅读更多
(arxiv.org)
37
未分类

新的外国艺术家签证费用出炉，这简直是一场灾难！

2024-05-25
新的外国艺术家签证费用出炉，这简直是一场灾难！

美国大幅提高了外国艺术家签证费用，涨幅超过250%。这将导致赴美演出的外国艺术家大幅减少，小型和中型场馆将受到严重冲击，票价也将上涨。此外，这也将减少美国人接触非美国艺术家的机会，并导致各种规模和类型的艺术家被拒之于世界最大的音乐市场之外。

阅读更多
(www.ajournalofmusicalthings.com)
58
未分类 签证 音乐产业

以色列最高法院裁决极端正统派必须服兵役

2024-06-25
以色列最高法院裁决极端正统派必须服兵役

以色列最高法院裁定，军队必须开始征召极端正统派男子服兵役，结束了数十年来给予他们广泛豁免的制度。这一历史性裁决可能会导致总理内塔尼亚胡的执政联盟垮台，因为极端正统派政党强烈反对这一变化。该裁决正值以巴冲突持续之际，预计将引发关于征兵问题的进一步摩擦。

阅读更多
(abcnews.go.com)
54
未分类 极端正统派 兵役

如何吸引你的听众：抓住要点、运用故事结构、强调细节

2024-06-11
如何吸引你的听众：抓住要点、运用故事结构、强调细节

本文总结了Vicky Zhao关于如何清晰表达观点的建议，包括抓住要点、运用故事结构和强调细节。作者建议用“关于这个话题，你必须知道的一件事是……”来引导思路，并用三段式故事结构来组织内容。此外，作者还推荐使用“反向否定法”来明确表达，即通过描述事物“不是什么”来阐明其本质。

阅读更多
(iandanielstewart.com)
49
未分类 表达 故事结构

美国1.3亿成年人识字率低，各州教育经费差异巨大

2024-07-14
美国1.3亿成年人识字率低，各州教育经费差异巨大

本文分析了美国成年人识字率低的现状，指出超过一半的美国成年人阅读水平低于六年级水平，并揭示了低识字率对个人和社会造成的深远影响。文章还调查了各州为成人教育提供的经费差异，以明尼苏达州和新墨西哥州为例，说明了经费投入与识字率之间的关系，并呼吁加大对成人教育的投入，以打破低识字率的代际循环。

阅读更多
(www.apmresearchlab.org)
51
未分类 识字率 成人教育 教育经费

GitHub - thomasschafer/scooter: 终端交互式查找和替换

2024-11-15
GitHub - thomasschafer/scooter: 终端交互式查找和替换

Scooter是一款交互式终端查找和替换工具。它支持使用固定字符串或正则表达式进行搜索，输入替换内容，并交互式地切换要替换的实例。用户还可以指定文件路径的正则表达式模式进行搜索。Scooter 能够识别 .gitignore 和 .ignore 文件。如果尝试替换的实例自搜索执行后已更改（例如切换分支后该行不再存在），则不会进行替换，并在最后显示所有此类情况。

阅读更多
(github.com)
31
未分类 查找替换

我厌倦了为客户修复AI生成的代码

2024-08-22

作者开发了一款加密货币交易和数据收集工具，并通过API接口向付费用户提供服务。随着用户量的增长，作者发现很多用户使用ChatGPT等AI工具生成的代码存在各种问题，需要作者花费大量时间修复。作者认为，虽然AI编程工具可以帮助用户快速生成代码，但用户自身仍然需要具备一定的编程知识才能发现和解决问题。作者呼吁用户不要过度依赖AI工具，并建议在需要开发复杂应用程序时寻求专业开发人员的帮助。

阅读更多
(medium.com)
43
未分类 代码修复

IPMI：服务器的幕后管理者

2024-09-03

本文探讨了服务器中常用的IPMI（智能平台管理接口）技术。作者从服务器的发展历史入手，解释了IPMI的由来及其在现代服务器中的重要性。文章详细介绍了IPMI的功能，包括远程管理、传感器监控、电源控制等，并讨论了IPMI在网络安全方面的应用。此外，作者还对比了IPMI与客户端设备上的类似技术，例如Intel AMT和AMD ST，并分析了它们之间的差异和优缺点。

阅读更多
(computer.rip)
41
未分类 IPMI 远程管理

获取HATETRIS世界纪录

2024-07-02

本文讲述了两位作者如何花费11个月时间，利用机器学习和启发式算法，打破了HATETRIS（一种极难的俄罗斯方块变种）的世界纪录。他们详细介绍了使用的技术，包括模拟器优化、蒙特卡洛树搜索、神经网络训练和参数优化，以及遇到的挑战和吸取的教训。最终，他们成功获得了86分的成绩，并分享了对未来更高分数的展望。

阅读更多
(hallofdreams.org)
53
未分类 HATETRIS

PostgreSQL 作为检索系统的建立

2024-08-25
PostgreSQL 作为检索系统的建立

本文探讨了如何使用PostgreSQL构建强大的检索系统，特别是将其用作检索增强生成（RAG）管道中的支柱。文章详细介绍了如何在PostgreSQL中结合全文检索、语义检索和模糊匹配技术，并提供具体的代码示例和调优建议。文中还讨论了使用交叉编码器进行重排序和结果增强以提升用户体验的方法，并指出了PostgreSQL在处理文档长度变化和罕见词语方面的局限性，以及可以考虑的替代方案。

阅读更多
(anyblockers.com)
44
未分类 检索系统

YouTube嵌入视频体积过大，但这是可以解决的

2024-07-07
YouTube嵌入视频体积过大，但这是可以解决的

文章指出，直接嵌入YouTube视频会导致网页加载体积过大，速度变慢，并分析了其原因。作者推荐使用开源Web组件“lite-youtube-embed”来解决这个问题，该组件能够显著提高加载速度，同时保留原有的功能和外观。文章还介绍了该组件的使用方法，并提供了一些替代方案。

阅读更多
(frontendmasters.com)
50
未分类 YouTube嵌入 Web性能优化 Web组件

PhotoDNA

2024-10-19

PhotoDNA是一种图像识别技术，由微软研究院和达特茅斯学院教授Hany Farid于2009年开始开发。它通过为数据库中的已知图像和视频文件创建独特的哈希值来识别这些图像的其他实例。该技术已被微软捐赠给国际失踪与受虐儿童中心（ICMEC）管理的“拯救受害儿童项目”（Project VIC），并被在线服务提供商广泛用于内容审核。

阅读更多
(en.wikipedia.org)
36
未分类 PhotoDNA

全新酷睿 Ultra 处理器助力 AI PC 时代，性能效率双突破

2024-09-04
全新酷睿 Ultra 处理器助力 AI PC 时代，性能效率双突破

英特尔发布了全新酷睿 Ultra 200V 系列处理器，该系列处理器拥有卓越的 AI 性能、出色的兼容性和能效。该技术将为超过 80 款来自全球 20 多家顶级制造商的 AI PC 提供支持。新款处理器通过优化的电源管理和全新的性能核（P-core）设计，提供高效的核心性能。第四代 NPU 比上一代强大 4 倍，并且更加节能。Xe2 图形微架构带来了移动图形性能的飞跃，平均性能提升 30%。

阅读更多
(www.intel.com)
39
未分类

斯坦福哲学百科全书中376位被引用次数最多的当代作家

2024-08-12
斯坦福哲学百科全书中376位被引用次数最多的当代作家

本文分析了斯坦福哲学百科全书中被引用次数最多的当代作家，作者按引用次数排序列出了出生于1900年以后的376位学者。文章指出，这份榜单可以粗略衡量“主流英语哲学”的当前影响力，但同时也强调了一些需要注意的局限性，例如对某些哲学领域或哲学家的代表性不足等问题。

阅读更多
(schwitzsplinters.blogspot.com)
44
未分类 引用排名

Fine tune LLAMA3 on million scale dataset in consumer GPU using QLora, Deepspeed | by Suman | Apr, 2024 | Medium

2024-04-25
Fine tune LLAMA3 on million scale dataset in consumer GPU using QLora, Deepspeed | by Suman | Apr, 2024 | Medium

本文讨论了如何使用QLORA和DeepSpeed在消费级GPU上对LLaMA3进行微调。具体而言，它提供了详细的步骤和提示，帮助读者理解微调LLaMA3所需的任务和技术。本文还强调了在资源受限的系统上对大规模语言模型进行微调的重要性，并为在类似环境中进行微调的其他人提供了有价值的见解。

阅读更多
(medium.com)
56
未分类

Brisa：Web 平台框架

2024-10-06
Brisa：Web 平台框架

Brisa是一个开源Web平台框架，致力于简化和加速Web应用程序的开发。它主打快速构建应用，其页面默认采用服务器端渲染的JSX组件，无需向浏览器发送JavaScript代码。Brisa支持Web组件、服务器端浏览器事件处理、国际化等功能，并可与Tauri集成构建跨平台原生应用。Brisa的目标是成为现代Web开发的标准，为开发者提供一个统一的平台，简化从服务器到客户端的高性能应用的创建。

阅读更多
(brisa.build)
33
未分类 服务器端渲染

QuestDB招募核心数据库工程师

2024-05-20
QuestDB招募核心数据库工程师

QuestDB是一家专注于性能和简易性的开源时间序列数据库公司，目前正在招募核心数据库工程师。应聘者需要具备3年以上构建以数据为中心的软件、编写和性能调优数据处理算法的经验，熟练掌握Core Java、C或C++等编程语言，并对数据结构、算法、操作系统内部工作机制和硬件有深入了解。QuestDB为员工提供丰厚的股权激励、灵活的工作时间、100%远程办公等福利，以及透明、协作和包容的企业文化。

阅读更多
(questdb.io)
55
未分类

Philosophical theories are like good stories: Margaret Macdonald | Aeon Essays

2024-04-26
Philosophical theories are like good stories: Margaret Macdonald | Aeon Essays

该网站提供的文章探讨了哲学理论与故事之间的相似性。作者认为，哲学理论和故事都试图解释世界，并为我们提供意义和目的感，文章探讨了哲学理论和小说之间的异同，并考虑了哲学理论在多大程度上可以被认为是创造性的活动，文章持论严谨，论据充分，语言流畅，观点新颖, 值得一读。

阅读更多
(aeon.co)
65
未分类
1 2 … 234 235 236 238 240 241 242 … 1084 1085