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

新的狄利克雷多项式大值估计 (arxiv.org)

这篇论文证明了狄利克雷多项式取大值的频率的新界限。这为长度为$N$的狄利克雷多项式取接近$N^{3/4}$的值提供了改进的估计,这对于与素数和黎曼zeta函数相关的解析数论中的若干估计至关重要。因此,我们推导出零密度估计$N(σ,T)≤T^{30(1-σ)/13+o(1)}$和长度为$x^{17/30+o(1)}$的短区间的素数渐近线。

独家:Pixel 9 Pro“添加我”功能、Pixel截图等新功能抢先看 (www.androidheadlines.com)

这篇文章独家揭秘了谷歌Pixel 9系列手机的新功能,包括“添加我”功能,可以将两张合影无缝合并,方便所有人同时出现在一张照片里。此外,Pixel 9系列还将支持类似微软Recall的截图搜索功能,以及长达7年的功能更新。文章还透露,Pixel 9 Pro将推出两种尺寸,并标配Gemini人工智能助手。

谷歌搜索“笔记”功能实验结束 (9to5google.com)

谷歌搜索在去年 11 月推出的“笔记”实验功能即将结束,该功能最终不会正式发布。该功能允许用户在搜索结果或“发现”页面中留下“关于文章的有用提示”,类似于论坛、Reddit、X 社区笔记和评论区的混合体。谷歌表示,尽管并非所有搜索实验室的实验功能都会最终发布,但“笔记”功能在当时备受关注,谷歌也大力鼓励用户使用。谷歌将在 7 月底停止“笔记”功能,但会将从中吸取的经验教训应用到未来的产品体验中。

C# (几乎) 拥有了隐式接口 (clipperhouse.com)

本文探讨了C#和Go语言在接口实现上的差异。Go语言采用隐式接口,而C#则采用显式接口。作者认为隐式接口更为自然,并以C#中Stream和StreamReader为例,指出它们拥有相同的Read方法却没有共享接口。为了实现类似隐式接口的效果,作者建议使用泛型委托,并以Read委托为例进行了说明。

GitHub - zherczeg/sljit: 平台无关的低级 JIT 编译器 (github.com)

SLJIT是一个低级、机器无关的JIT编译器,适用于将解释型字节码转换为机器码。它支持多种目标架构,包括x86、ARM、RiscV、s390x、PowerPC、LoongArch和MIPS。SLJIT提供了丰富的功能,包括支持自修改代码、尾调用、快速调用、字节序反转、非对齐内存访问、SIMD/原子操作等。

趣味数独生成:探索与分析 (tn1ck.com)

本文探讨了如何生成不同难度的数独谜题。作者首先介绍了多种数独求解算法,包括暴力破解、最小剩余值和弧一致性算法,并比较了它们的效率。然后,作者分析了如何利用这些算法的迭代次数来衡量数独难度,并参考了相关研究论文。最后,作者详细描述了自己设计的数独生成算法,该算法先生成一个可解的唯一数独,然后通过增删数字来调整难度,并与论文中描述的算法进行了比较。

WordPress 的未来:打破技术壁垒,走向理想未来 (thomas.diluccio.fr)

本文讲述了作者从使用 WordPress 博客平台到转向静态博客生成器的历程,并反思了技术选择对个人创作的影响。作者认为,WordPress 笨重的升级和备份流程以及对大型主机平台的依赖,消耗了创作者大量的精力和时间,而这些本应该投入到内容创作中。最终,作者选择使用轻量级的静态博客生成器和基于 Git 的 PaaS 平台,以追求更高的效率和创作自由。

孟加拉国学生抗议活动中几乎完全断网 (www.engadget.com)

由于孟加拉国发生大规模学生抗议活动,造成至少32人死亡,该国政府试图压制抗议活动,全国范围内实施了互联网封锁。抗议的导火索是该国的配额制度,该制度要求将三分之一的政府工作岗位留给1971年为孟加拉国从巴基斯坦独立而战的退伍军人亲属。为了控制局势,孟加拉国当局切断了全国的互联网和电话接入。互联网监管机构NetBlocks分析了实时网络数据,结果显示,孟加拉国正处于“近乎全国范围的互联网中断”之中。

Transformer层级如画家 (arxiv.org)

这篇论文研究了预训练Transformer模型中各层级的作用。研究发现,Transformer模型的底层和顶层与中间层级不同,但中间层级具有惊人的一致性。文章还发现,某些问题对于跳过层级、以不同于训练顺序运行层级或并行运行层级具有鲁棒性。这些观察表明,即使是冻结的预训练模型,也可以通过跳过层级或并行运行层级来优雅地权衡准确性和延迟。

Gym Class招聘VR动画工程师 (www.ycombinator.com)

Gym Class VR是Meta Quest平台上排名第一的体育游戏,现招聘经验丰富的Unity动画工程师。应聘者需具备6年以上Unity游戏角色动画和状态机制作经验,熟悉Maya、Unity动画工具和C#编程,并对VR游戏充满热情。工作职责包括开发高质量的角色动画、设计VR动画控制器、解决Unity动画问题等。公司提供16-21.5万美元年薪及股权激励。

公开学习 (www.swyx.io)

文章强调“公开学习”的重要性,鼓励学习者通过博客、教程、演讲等方式分享学习过程,并积极参与技术社区互动。作者认为,公开学习不仅能帮助他人,更能促进自身成长,并有机会获得来自行业专家的指导和帮助,最终实现个人价值的提升。

红树林在移动,将热带带向更远的地方 (www.scientificamerican.com)

红树林正在向两极迁移,改变着海岸线。由于气候变化导致气温上升、天气模式转变和海平面上升,红树林的活动范围正在扩大。研究人员发现,红树林的迁移并非简单的 northward 方向,而是受天气影响的南北方向的“状态转换”。虽然红树林对海岸线保护和碳 sequestration 有益,但它们的扩张也可能威胁到盐沼生态系统。

使用 Gleam 增强您的 Elixir 代码库 (blog.appsignal.com)

本文介绍了如何使用 Gleam 增强 Elixir 代码库。Gleam 是一种运行在 BEAM 平台上的静态类型语言,可以作为增强功能添加到 Elixir 代码库中,而无需重写所有内容。本文通过一个学生管理应用程序的示例,展示了如何在 Elixir 项目中集成 Gleam,并解释了 Gleam 的类型系统、函数定义以及如何从 Elixir 中调用 Gleam 代码。此外,文章还讨论了如何使用 Gleam 实现等待列表功能,以及如何在 Gleam 和 Elixir 之间维护数据一致性。

Blitzping: 用户空间下极速发送IP数据包 (github.com)

Blitzping是一款在用户空间内尽可能快地发送IP数据包的工具,专为嵌入式设备设计,仅依赖于标准POSIX头文件和C11的libc。它通过预先生成数据包静态部分、异步配置、多线程发送和编译器优化等方式,实现了比hping3和nping更高的数据包发送速度,尤其是在发送最小TCP SYN数据包时,性能提升显著。

莱德艾德称数据泄露,220万客户敏感信息遭曝光 (arstechnica.com)

美国第三大连锁药店莱德艾德(Rite Aid)承认发生数据泄露事件,超过220万客户的个人信息被盗,包括驾照号码、地址和出生日期。泄露事件发生在 2017 年 6 月至 2018 年 7 月期间,黑客冒充公司员工入侵了系统。勒索软件组织 RansomHub 宣称对此次攻击事件负责。

我们还需要工作吗? (www.noahpinion.blog)

本文探讨了基本收入保障(UBI)是否会令人们放弃工作以及工作在当今社会中的意义。作者Noah Smith认为,尽管部分左翼人士认为工作无意义且应该被淘汰,但现实是大多数工作仍然具有价值,且自动化尚未达到取代人类劳动力的程度。作者指出,虽然UBI有一定的优势,但过度依赖UBI会导致社会价值观扭曲,认为应关注如何提高劳动价值和待遇,而非寄希望于不工作也能获得保障。

Blender 4.2 LTS 版本发布 (www.blender.org)

Blender 4.2 LTS 版本带来了全新的EEVEE渲染引擎、更强大的Cycles渲染器以及更易用的扩展功能。EEVEE Next Level 全面升级,支持全局照明、位移、改进的SSS、视窗运动模糊等。Cycles渲染器在渲染速度和质量上都有显著提升,新增了Ray Portal BSDF、薄膜干涉等功能。扩展功能方面,新增了扩展平台,用户可以直接在Blender中安装和更新扩展。此外,Blender 4.2 LTS还对建模、雕刻、动画、物理模拟等方面进行了改进和优化,并提供了更完善的行业标准支持。

1976年Emacs的起源 (onlisp.co.uk)

本文回顾了Emacs编辑器在1976年的起源,通过引用多封来自Guy Steele的邮件,澄清了Emacs开发的早期历史。文章指出,尽管Richard Stallman在Emacs的长期发展中做出了巨大贡献,但早期开发过程中,包括Guy Steele, David Moon, John Kulp等人在内的多位开发者也参与了设计、实现和测试等工作,为Emacs的诞生贡献了力量。

微软全球系统崩溃引发监管机构担忧 (www.washingtonpost.com)

微软近日发生的全球系统崩溃事件,导致全球范围内的飞机停飞、医院服务中断以及其他关键公共服务瘫痪,凸显了全球经济对微软产品的依赖程度。监管机构和立法者对此表示担忧,认为此次事件暴露了权力过度集中于一家公司的风险。此次故障源于网络安全公司CrowdStrike发布的有缺陷更新,该更新被发送到全球的Windows系统,最终导致大规模系统崩溃。

超越整洁代码:优化层级 (tobeva.com)

这篇文章探讨了代码优化问题,特别是在追求“整洁代码”时可能遇到的性能问题。作者对比了两种代码实现方式:一种是面向对象编程(OOP)风格的“整洁代码”,另一种是使用底层优化技巧的版本。作者指出,虽然OOP代码在某些情况下可读性更佳,但在处理大量数据时,其性能可能远不如优化版本。文章进一步探讨了不同优化级别代码混合使用的情况,以及在不同应用场景下如何选择合适的优化策略。

达尔文机器:一种基于进化的智能理论 (vedgie.net)

本文介绍了威廉·卡尔文提出的“达尔文机器”理论,该理论认为大脑的工作原理类似于进化。该理论认为,大脑中的微柱是进化的场所,它们通过竞争来控制最大的表面积,从而产生最适合当前环境的思维模式。文章还探讨了皮质柱的作用,它们由多个微柱组成,能够编码更复杂的信息,并通过类似于基因重组的方式产生新的想法。

NoteTech | SIMPLtech (www.simpltech.ai)

NoteTech 是一款允许用户通过编写笔记构建个人自动化和工具的应用程序,类似于用文字编程。用户只需描述程序的功能,NoteTech 就能将其转换为可执行的程序。该应用目前处于测试阶段,提供了自动化、按需运行的程序以及即将推出的交互式迷你应用程序等功能。

存储分离型数据库性能影响分析 (muratbuffalo.blogspot.com)

本文探讨了存储与计算分离的数据库架构,分析了其在云环境中的应用和优势,例如亚马逊Aurora、微软Socrates等。作者详细介绍了三种存储分离设计,包括软件级分离、日志即数据库和共享存储设计,并解释了每种设计的原理和优化策略,例如日志重放、多版本页面等。文章通过实验评估了不同设计和优化对数据库性能的影响,结果表明,存储分离架构虽然存在网络延迟等问题,但通过合理的优化策略,可以显著提高数据库性能,尤其是在写入性能方面。

C++ constexpr 分配机制的难点 (brevzin.github.io)

这篇文章探讨了 C++ 中 constexpr 分配机制的难点,包括如何确保常量分配的内存能够安全地持久化到运行时(常量销毁问题),以及如何确定何时可以将分配的内存内容用作常量表达式(常量访问问题)。文章分析了两种解决方案:一是引入 propconst 限定符或说明符,在类型系统层面区分深浅 const,从而实现更严格的约束;二是提供 std::mark_immutable_if_constexpr() 函数,让开发者手动标记不可变的分配,但需要信任开发者正确使用。文章最后比较了两种方案的优劣,并倾向于更简单易懂的 std::mark_immutable_if_constexpr() 方案。

gpu.cpp:使用 WebGPU 实现 C++ 的便携式 GPU 计算 (www.answer.ai)

gpu.cpp 是一个轻量级的开源库,使用 C++ 简化了可移植的 GPU 计算。它利用 WebGPU 规范作为便携式底层 GPU 接口,允许在 Nvidia、Intel、AMD 和其他 GPU 上运行 GPU 代码。相同的 C++ 代码可以在各种笔记本电脑、工作站、移动设备或几乎任何支持 Vulkan、Metal 或 DirectX 的硬件上运行。它的设计目标是轻量级、快速迭代和低样板代码,使用户能够专注于直接实现算法,而不是围绕 GPU 的脚手架和技术堆栈。

Contacts:用于管理联系人的微型语言 (scroll.pub)

Contacts 是一种微型语言,可以通过单个纯文本文件管理联系人信息。它可以将联系人信息编译成美观的 PDF 或 HTML 页面,并支持搜索和排序功能。此外,它还可以编译成 CSV 和 JSON 格式,方便导入到手机、Gmail、Outlook 等应用程序中。

Ar: 一种图灵完备的编程语言 (github.com)

Ar 是一种受限算术和 Z3 启发的图灵完备编程语言,它仅使用 inc、sub、mul 和 div 四个基本函数进行编程,不依赖循环或递归。Ar 使用整数代替 inc,实际上只需要三个函数。文章提供了使用 Ar 函数定义的示例,并探讨了其图灵完备性和通用函数的可能性。

OpenAI扩大游说团队以影响监管 (www.ft.com)

人工智能公司OpenAI正在扩大其游说团队,旨在对人工智能技术的监管产生更大影响力。 该公司此举正值全球立法者 grappling 如何监管人工智能技术之际。

美国交通的例外论 (benjaminschneider.substack.com)

本文分析了美国交通系统与世界其他国家相比的滞后现象。作者以伊斯坦布尔等城市为例,展示了全球范围内快速发展的轨道交通网络和先进技术,如高速铁路、自动化地铁和开放式车厢。与之形成鲜明对比的是,美国在轨道交通建设方面停滞不前,投资不足,技术落后,导致交通拥堵和碳排放问题日益严重。作者认为,美国需要改变观念,加大投资,学习其他国家的成功经验,才能构建面向未来的高效、便捷、环保的交通体系。

SofleKeyboard:一款基于Lily58、Crbkd和Helix键盘的分体式键盘 (josefadamcik.github.io)

SofleKeyboard是一款基于Lily58、Crbkd和Helix键盘的6×4+5键列交错式分体式键盘,支持编码器。它由Josef Adamcik创建,并有多个版本,包括v1、v2、RGB和Choc版本。每个版本都进行了不同的改进和修改,例如列交错、底行位置、微控制器安装方式、RGB LED灯等。SofleKeyboard采用QMK固件,并提供了详细的构建指南。

1 2 88 89 90 92 94 95 96 363 364