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

关于编译器的常见误解

2024-12-10

本文探讨了关于编译器的常见误解，例如：优化能生成最优程序、分支权重与CPU分支预测器相关、-O3比-O2生成更快的代码、JavaScript解释器JIT是因为预先不知道热点路径、拥有编译器就不需要解释器、中间端与目标平台无关、编译器会优化数据局部性、-O0编译速度快、模板编译慢、单独编译总是值得、链接时优化发生在链接时原因、内联主要为了消除调用指令、inline关键字的作用、LLVM是最佳学习用生产编译器、未定义行为只启用优化、编译器可以简单定义未定义行为以及99%的正确率可以接受等。作者逐一解释了这些误解，并用实际案例和研究结果佐证。

阅读更多
(sbaziotis.com)
5
未分类

ALICE实验首次发现超氦-4的反物质对应物

2024-12-10

欧洲核子研究中心的大型强子对撞机(LHC)的ALICE实验首次发现了超氦-4的反物质对应物——反超氦-4。这一发现是LHC上迄今为止发现的最重的反物质超核，其显著性为3.5个标准差。ALICE合作组利用2018年铅-铅碰撞的数据，通过机器学习技术识别出了反超氦-4和反超氢-4的信号。测量结果表明，统计强子化模型可以很好地描述超核的产生。此外，研究人员还确定了两种超核的反粒子与粒子产额比，发现它们在实验误差范围内与1一致，这与ALICE在LHC能量下观察到的物质和反物质的等量产生一致。

阅读更多
(home.cern)
4
未分类 反物质 超核

二维语法

2024-12-10

本文介绍了Racket编程语言中的一种二维语法扩展#2d。它允许开发者使用ASCII艺术风格的网格来编写表达式，例如条件表达式和模式匹配。#2d语法在读取阶段将网格转换为带括号的表达式，然后在解析阶段进行求值。它支持单元格合并以简化某些表达式。文章还介绍了DrRacket编辑器中用于编辑#2d表达式的快捷键以及相关的库函数，例如2dcond、2dmatch、2dtabular等，并解释了如何使用这些函数构建和操作二维表达式。

阅读更多
(docs.racket-lang.org)
4
未分类 二维语法

大型语言模型：思维工具

2024-12-10

文章将大型语言模型 (LLM) 比作“思维工具”，并用鱼眼镜头进行类比，强调了在提供信息时，同时展现细节和全局上下文的重要性。文章以地图、文本、照片等为例，说明如何在不同层级抽象信息，并提出将这种多层级视图结合起来，像鱼眼镜头一样同时呈现细节和上下文。文章还探讨了这种方法在学习、教育、代码编辑等领域的应用，认为这种方式更贴近人类的认知方式，并能促进更清晰、更人性化的思考。

阅读更多
(wattenberger.com)
4
未分类

皮埃尔·舍费尔访谈录

2024-12-10

本文是对法国音乐家皮埃尔·舍费尔的访谈。舍费尔是具体音乐的创始人，他认为音乐的本质在于人耳的听觉体验，而非科技带来的精确控制。他批评了电子音乐对科技的过度依赖，认为真正的音乐应该根植于传统，而非追求新奇的乐器或理论。他将巴赫的音乐视为典范，认为当代音乐家应该放弃对新技术的迷恋，回归传统，创造21世纪的“巴洛克”音乐。他还讨论了摇滚乐的暴力和麻醉作用，以及不同文化音乐的价值和未来。

阅读更多
(paul.mycpanel.princeton.edu)
4
未分类 具体音乐 皮埃尔·舍费尔

拯救音乐，拯救档案馆！

2024-12-10

超过350名音乐人公开反对大型唱片公司起诉互联网档案馆，该诉讼旨在摧毁这个非营利性文化机构。音乐人们认为，音乐行业应该支持艺术家的遗产和未来，而不是股东利润。他们呼吁唱片公司、流媒体平台、票务机构和场馆立即调整目标，保护音乐遗产，投资在世的音乐人，并使流媒体服务支付公平的报酬。他们认为，音乐产业收入巨大，但音乐家们却难以生存，这源于LiveNation的垄断、Spotify不公平的流媒体收入模式以及大型唱片公司的诉讼。他们希望建立一个可持续的未来，让音乐人的福祉和尊严放在首位。

阅读更多
(www.savethearchive.com)
4
未分类 音乐人权益

ytp

2024-12-10

本文介绍了如何使用CycL表达知识，并给出了两个例子。第一个例子表达了“所有人类都是哺乳动物”这个事实，使用`(isa Human Mammal)` 表示。第二个例子定义了一条规则：“如果某物是人类，那么它是有生命的生物”，使用`(implies (isa ?X Human) (isa ?X LivingOrganism))` 表示。CycL是一种用于人工智能应用的结构化知识和规则表示语言。

阅读更多
(2ro.co)
4
未分类 CycL 知识表示

树形演算

2024-12-10

树形演算是一种图灵完备的计算模型，其核心概念是通过操作无标签二叉树来实现计算。它具有简洁的抽象语法和精简的规约规则，能够进行程序分析、类型检查、编译和优化等操作，并且支持任意类型系统和渐进式类型化。树形演算可以轻松序列化任何值，包括程序本身，并且程序与其编码之间没有区别。它还可以用于建模和形式化规范，以及教育用途。由于其可移植性，可以轻松在任何平台或编程语言中编写解释器。

阅读更多
(treecalcul.us)
4
未分类 树形演算

木杆菌：欧洲橄榄树面临数十亿欧元危机

2024-12-10

一种名为木杆菌的致命细菌正在欧洲南部，特别是意大利的橄榄种植区肆虐，对当地经济和全球橄榄油市场造成严重破坏。自2013年在意大利首次发现以来，这种细菌已导致数百万棵橄榄树死亡，引发了橄榄快速衰退综合症（OQDS）。文章追溯了疫情的起源，指出该细菌来自2008年从中美洲进口的一株咖啡植物，随后适应了橄榄树。目前尚无有效治愈方法，主要措施是移除受感染树木和控制传播媒介昆虫。文章强调了疫情造成的经济损失，并呼吁全球合作，寻找抗病品种和更好的虫害控制方法，以保护橄榄产业的未来。

阅读更多
(www.everymansci.com)
7
未分类 木杆菌 橄榄树

为儿童制造机器人的AI公司倒闭，机器人“死亡”

2024-12-09

人工智能公司Embodied因财务困难和资金突然撤回而倒闭。该公司主要产品是一款名为Moxie的AI社交机器人，专为自闭症儿童设计，售价799美元。由于Embodied的倒闭，Moxie将停止运行。Moxie所有者对此反应强烈，家长们不得不向孩子们解释Moxie即将“死亡”。这引发了人们对依赖大型语言模型进行儿童社交的担忧，以及AI泡沫破灭后，用户该如何处理与AI设备建立的关系等问题。

阅读更多
(aftermath.site)
7
未分类

TRELLIS：用于可扩展和多功能3D生成的结构化3D潜变量

2024-12-09

TRELLIS是一种基于结构化潜变量（SLAT）和整流流Transformer的新型3D生成模型，能够创建高质量、多功能的3D资产。SLAT将稀疏的3D网格与从强大的视觉基础模型中提取的密集多视图视觉特征相结合，从而捕获结构和纹理信息。TRELLIS使用文本或图像作为条件进行训练，并在包含500K个不同对象的3D资产数据集上训练了多达20亿个参数的模型。该模型可以生成高质量的3D资产，并支持不同的输出格式，如辐射场、3D高斯模型和网格，显著超越了现有方法，并具备局部3D编辑能力。

阅读更多
(trellis3d.github.io)
8
未分类 结构化潜变量 TRELLIS

Bazel 构建工具 8.0.0 版本发布

2024-12-09

Bazel 8.0.0 是一个重要的长期支持版本，包含新功能和一些向后不兼容的变更。主要更新包括：许多捆绑规则被拆分到独立仓库，例如 Android、C++、Java、Protobuf、Python 和 Shell 规则；默认禁用 WORKSPACE 机制，启用 Bzlmod 进行外部依赖管理；引入符号宏改进构建宏编写体验；多个不兼容标志被默认启用或将在未来版本启用；以及在常规、Android、构建事件协议、C++/Objective-C、配置/cquery、覆盖率、外部依赖、Java、本地执行、性能、远程执行、Starlark/构建语言和 Windows 等方面的改进和变更。

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

Willow：谷歌发布最新量子芯片

2024-12-09

谷歌发布了最新的量子芯片Willow，该芯片在纠错和性能方面取得了重大突破。Willow能够在扩展量子比特数量的同时，降低错误率，实现了量子纠错领域的重大进展。此外，Willow在不到五分钟内完成了一项标准基准测试计算，而同样的计算在当今最快的超级计算机上需要10^25年。这项成就标志着谷歌在构建可实际应用的大规模量子计算机的道路上迈出了重要一步，有望在医学、能源和人工智能等领域带来变革。

阅读更多
(blog.google)
8
未分类 量子芯片

143部二战电影剪辑成12小时系列片

2024-12-09

作者耗时一年多，将143部二战电影剪辑成一部12小时的系列片，按时间顺序排列，旨在通过电影展现二战时间线，提供学习工具。作者分享了创作过程，包括电影搜集、视频剪辑、历史研究、发布视频等方面遇到的挑战和解决方案，并强调了该项目的教育意义和对现代世界的启示。

阅读更多
(ww2supercut.substack.com)
7
未分类 电影剪辑

帕兰提尔与安都瑞尔结成伙伴关系，索伦获资

2024-12-09

两家以《指环王》中的事物命名的科技公司帕兰提尔（Palantir）和安都瑞尔（Anduril）宣布建立合作伙伴关系，旨在确保美国政府在人工智能领域保持领先地位，并将人工智能进步转化为下一代军事和国家安全能力。帕兰提尔是一家数据分析公司，而安都瑞尔则是一家自主系统供应商。两家公司将合作解决美国军方未能保留传感器数据和缺乏安全企业数据管道这两个限制人工智能在国家安全领域应用的问题。

阅读更多
(www.theregister.com)
6
未分类

像素艺术游戏缩放的简单方法

2024-12-09

本文探讨了如何缩放像素艺术游戏以获得最佳的复古外观。作者分析了CRT显示器和VGA连接的特性，指出水平方向的轻微模糊可以模拟这些旧式显示技术的效果。文章建议采用垂直方向最近邻整数缩放，然后水平方向线性缩放的方法，并通过对比不同缩放方法的效果图以及实际的VGA连接实验，证明了该方法的有效性。该方法尤其适用于将低分辨率游戏放大到较高分辨率的场景，例如将320x200分辨率的游戏画面放大到现代显示器上。

阅读更多
(30fps.net)
5
未分类 游戏缩放

联合健康集团CEO遇袭：枪手深谙监控时代生存之道

2024-12-09

文章讲述了联合健康集团CEO Brian Thompson在纽约街头遭枪杀事件。凶手在监控密布的环境下成功逃脱，凸显了现代监控技术的局限性。凶手似乎对监控系统非常了解，利用了电子设备、交通工具以及公众的反应来掩盖踪迹。文章探讨了凶手的作案手法，以及他对监控技术的理解和利用，并指出公众对线索的过度关注也可能干扰警方的调查。

阅读更多
(www.theatlantic.com)
5
未分类

Acton 编程语言

2024-12-09

Acton 是一种容错的分布式编程平台，旨在简化关键任务系统的构建。它内置分布式计算能力，使程序能够无缝地作为分布式系统运行，无需编写 RPC 代码。Acton 自动将应用程序状态持久化到内置的分布式后端，无需使用数据库或消息代理。它具有容错性，内置冗余机制，可在硬件故障后无缝恢复应用程序状态。此外，Acton 支持不停机升级，并适用于各种规模的应用，从单机脚本到大型分布式系统。Acton 是一种静态强类型语言，安全且易于使用，具有强大的类型推断功能，并由高性能分布式运行时系统支持，运行速度快。

阅读更多
(www.acton-lang.org)
17
未分类 Acton

利用Git分支名称入侵PyPI软件包

2024-12-09

一个名为ultralytics的Python包在PyPI上发布了一个被入侵的版本。攻击者利用了该项目自动化处理拉取请求的机制，在分支名称中注入了恶意脚本。ultralytics使用了pull_request_target GitHub Action触发器，该触发器运行的脚本可以访问存储库的secrets，但容易受到来自拉取请求分支名称的shell注入攻击。注入的脚本利用获取的凭证在后续上传到PyPI的版本中包含了加密货币挖矿程序。虽然GitHub已删除恶意脚本，但此次事件提醒开发者谨慎处理自动化访问重要secrets的机制。

阅读更多
(lwn.net)
109
未分类 PyPI安全

特定任务大语言模型评估的有效方法与无效方法

2024-12-09

本文探讨了针对分类/提取、摘要和翻译等常见任务的大语言模型评估方法。作者指出，现成的评估方法通常与特定应用的性能关联性较弱，缺乏区分度。文章详细介绍了分类任务中的召回率、精确率、ROC-AUC、PR-AUC以及分布分离等指标，并阐述了如何通过自然语言推理（NLI）模型、奖励模型和长度检查来评估摘要任务。此外，文章还讨论了使用chrF、BLEURT、COMET和COMETKiwi等指标评估翻译质量，以及如何衡量版权抄袭和毒性。最后，作者强调了人工评估的重要性，并建议根据风险级别调整评估标准。

阅读更多
(eugeneyan.com)
147
未分类

Starlark 编程语言

2024-12-09

Starlark是一种简单、线程安全的Python方言，旨在嵌入到其他应用程序中，提供配置或脚本功能。它具有动态类型、高层数据类型、具有词法作用域的一级函数以及垃圾回收等特性。Starlark的优势在于确定性求值、隔离执行、并行求值、简单易用且类似Python，方便用户快速学习和使用。

阅读更多
(starlark-lang.org)
102
未分类

Marc W. / MagiskSSH 项目

2024-12-09

这是一个名为MagiskSSH的开源项目，托管在GitLab平台上。该项目由Marc W.创建于2018年6月4日，采用GNU GPLv3许可证。项目信息显示共有104次提交，1个分支，18个标签和6个版本。提供HTTPS和SSH两种克隆方式。

阅读更多
(gitlab.com)
8
未分类 Magisk

1660年的今天，一位女性首次出现在英国舞台上，永远改变了戏剧世界

2024-12-09

1660年12月8日，在国王剧团的《奥赛罗》演出中，一位女性首次在英国专业舞台上扮演角色，标志着英国戏剧史上的一个里程碑。虽然这一事件意义重大，但这位首位登上英国舞台的女演员的身份至今仍是一个谜。有说法认为是玛格丽特·休斯或安妮·马歇尔，但都缺乏确凿证据。无论如何，这位女演员的成功演出为女性在戏剧界开辟了道路，两年后查理二世颁布的专利更是确保了女性可以继续在舞台上扮演女性角色。

阅读更多
(www.smithsonianmag.com)
50
未分类 英国戏剧 女性演员 历史事件

真探三十年：艾伦·平克顿的侦探生涯

2024-12-09

本文介绍了艾伦·平克顿的著作《真探三十年》，该书记录了平克顿三十年的侦探生涯，汇集了各种犯罪案例和技巧。平克顿从苏格兰逃到美国后，成为一名私家侦探，并为林肯总统做过间谍工作，后来成立了平克顿侦探社。本书详细描述了扒窃、入室盗窃、伪造等各种犯罪手法，以及罪犯使用的特殊工具。平克顿对罪犯的“精明”表示钦佩，认为权力才是定义罪犯的关键。

阅读更多
(publicdomainreview.org)
90
未分类

Himalaya：一款用于管理电子邮件的命令行工具

2024-12-09

Himalaya是一款基于Rust开发的命令行电子邮件客户端，支持多账户配置、邮件撰写、IMAP、Maildir、Notmuch、SMTP、Sendmail后端以及OAuth 2.0授权流程。它还提供了PGP加密功能以及JSON输出。可通过预构建二进制文件、Cargo、Arch Linux、Homebrew、Scoop、Fedora/CentOS/RHEL和Nix等多种方式安装。该工具提供配置向导，方便用户设置账户，并支持Gmail、Outlook、iCloud Mail等主流邮箱。

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

Inkscape 1.4即将发布

2024-12-09

开源矢量图形编辑器Inkscape 1.4版本预计将于10月发布。此版本带来了新功能、用户界面改进、新的和改进的文件格式支持以及代码库的重要更改。新版本改进了对话框，包括扩展和滤镜库，并改进了Swatch对话框和渐变编辑器。核心功能方面，形状构建器工具现在支持光栅图形，文本编辑工作流程也得到了改进。界面和内部变化包括可自定义的画布控件和新的图标主题“Dash”。此外，命令行界面也新增了一些功能和选项。Inkscape 1.4为过渡到GTK+ 4奠定了基础，GTK+ 4预计将在1.5版本中实现，同时带来新的颜色管理系统。

阅读更多
(lwn.net)
141
未分类

使用 1 欧元滤波器进行噪声过滤

2024-12-09

本文介绍了一种简单但强大的实时噪声信号过滤算法——1 欧元滤波器。该算法通过自适应平滑因子在抖动和滞后之间取得平衡，平滑因子根据信号变化率动态调整。文章详细解释了算法的数学基础，提供了伪代码和 Python 实现，并讨论了如何调整滤波器的两个参数：最小截止频率和速度系数。

阅读更多
(jaantollander.com)
5
未分类 噪声过滤 1欧元滤波器

Soundcore Motion+ 通过Aux-in和蓝牙连接的音质对比及家用频响测量

2024-12-09

本文作者探究了Soundcore Motion+蓝牙音箱通过Aux-in和蓝牙连接的音质差异。作者通过手机App调整EQ设置，并对比了笔记本电脑通过Aux-in连接和手机蓝牙连接的音质。起初感觉蓝牙连接音质略好，但作者怀疑是心理作用，于是使用Spectroid app和正弦扫频音频文件测量了两种连接方式下的频响曲线。结果显示，两种连接方式的频响曲线几乎相同，证实了音质并无明显差异。

阅读更多
(crabman.me)
51
未分类 音箱 频响

GitHub - singlr-ai/nocaptcha：用一次性密钥验证取代验证码

2024-12-09

NoCAPTCHA项目旨在用一次性密钥取代传统的验证码，提供更友好的用户体验，防止机器人滥用。该项目API使用Java和Helidon 4.x构建，UI则采用纯JavaScript和Vite构建工具。项目支持JDK21+版本，并遵循Google的代码规范。欢迎开发者贡献代码，改进后端密钥实现、前端组件或解决代码中的待办事项。

阅读更多
(github.com)
20
未分类 一次性密钥 人机验证
1 2 … 24 25 26 28 30 31 32 … 512 513