本文讲述了作者如何在一个具有垂直条纹背景的特殊字体中解决字距调整（Kerning）问题。传统方法GPOS无法适用，因为简单的调整会造成字母重叠。作者巧妙地利用GSUB替换功能，将字母拆分成左右两部分，并用自定义的连接符替换重叠部分，从而完美地解决了字距问题。这个过程依赖于Python脚本和fontTools及fontFeatures库的辅助。虽然目前字体尚未完善，但已成功解决了核心难题，为特殊字体设计提供了新的思路。
阅读更多
Haiku操作系统一月开发报告涵盖了众多改进，包括对Tracker文件管理器的大规模重构，增加了上下文菜单、剪切复制粘贴功能以及实时菜单更新；在应用方面，新增了图标编辑器、触控板设置以及文本样式编辑器的新功能；驱动程序方面，增加了对Alder Lake芯片组、AMD温度监控以及Wacom CTH-470的支持；内核层面，则对内存管理、页面映射和权限检查进行了大量优化，提升了系统稳定性和安全性。此外，还修复了多个bug，并对构建系统和文档进行了改进。
阅读更多
这篇文章深入探讨了浮点数比较的复杂性。作者指出，简单的浮点数相等比较往往不可靠，因为浮点数的精度有限，计算过程中的舍入误差会累积。文章详细解释了使用相对误差（epsilon）比较和基于 ULP（Units in the Last Place）比较这两种方法，并分析了它们的优缺点。文中还特别强调了在接近零的数值情况下，相对误差比较方法失效的问题，并提出了结合绝对误差进行比较的改进方案。最后，文章以`sin(π)`的计算为例，生动地说明了灾难性抵消现象，以及如何利用浮点数的表示误差来提高π的计算精度。
阅读更多
本文探讨了中心化授权系统的优势和挑战。传统上，授权分散在各个应用中，效率低下且难以管理。中心化授权系统能带来标准化、降低成本和加强合规性等好处，但需要解决表达能力、性能、隔离性和集成性等难题。文章介绍了如何使用像Topaz和Aserto这样的开源和商业平台来克服这些挑战，最终实现一个高效、安全且易于管理的企业级授权系统。
阅读更多
Coleco Adam电脑是玩具和游戏机制造商Coleco在1983年进军蓬勃发展的家用电脑市场的一次尝试，但最终以失败告终。尽管Coleco在1983年6月5日发布时备受期待，但Adam电脑却未能达到预期，并于1985年停产。其失败原因是多方面的：产品价格过高且不断上涨，发布日期一再推迟，产品缺陷率高，数据存储介质不可靠，打印机设计缺陷等。此外，Commodore 64的竞争也对其造成了巨大的压力。Coleco Adam的失败不仅导致Coleco损失了近5000万美元，最终也导致了公司在1988年的倒闭。然而，Coleco Adam的故事也为我们提供了一个警示：即使拥有良好的概念和技术，如果没有良好的执行力和市场策略，也会面临失败的风险。
阅读更多
Blackmagic正式发布了URSA Cine Immersive摄像机，售价3万美元，将于2025年第一季度末开始发货。这款摄像机是全球首款用于拍摄Vision Pro 3D内容的商用摄像机系统。它配备了定制的立体3D镜头系统和双8K传感器，能够以高达90帧每秒的速度捕捉180度视野的视频，并支持空间音频。每个眼睛的画面分辨率为8160 x 7200，拥有16档动态范围。
阅读更多
YouTube Playables推出的《Pac-Man Superfast》是一款极速版的吃豆人游戏，继承了《Pac-Man Championship Edition》系列的高速体验，但仅包含四个鬼魂和13个关卡。虽然高速游戏令人兴奋，但缺乏256关卡模式和排行榜，以及对额外生命和高分奖励的不足，限制了其可玩性和竞争性。尽管如此，其紧张刺激的操控和高分挑战依然值得一玩，尤其适合经典街机游戏爱好者。
阅读更多
作者从90年代末就开始拥有个人网站，历经手动编写HTML、使用可视化工具和动态CMS（如WordPress）的阶段，最终因安全更新和维护成本过高而转向静态网站生成器。他先后尝试了bashblog、Pelican和Nikola，并为Nikola创建了Docker容器。2015年，出于兴趣，他从零开始开发了自己的Bash静态网站生成器BSSG，并不断完善其功能，包括主题支持、归档、标签等。BSSG的优势在于其轻量、便携、高性能和高可访问性，并支持Markdown和多种主题。虽然代码并非完美，但作者决定开源发布，希望它能帮助那些厌倦动态CMS维护的人们。
阅读更多
一位开发者从病毒式传播的 AR 导航演示开始，到被世界顶级零售商寻求帮助解决室内导航难题，最终创立了 Hyper 公司。文章讲述了室内导航的三大挑战：室内地图、室内导航和室内定位。作者详细解释了他们如何克服蓝牙信标、WiFi、磁力计和计算机视觉等技术的局限性，最终通过结合 WiFi 和 SLAM 技术，并巧妙解决 SLAM 漂移和方向识别问题，实现了 1 米精度室内 GPS 定位的突破性进展。未来，他们计划将这项技术扩展到全球十亿用户。
阅读更多
斯坦福大学的研究人员利用AI算法，发现了一种名为BRP的天然分子，其在抑制食欲和降低体重方面与司美格鲁肽（Ozempic）效果相似，但避免了后者引起的恶心、便秘和肌肉流失等副作用。BRP通过不同的代谢途径作用于下丘脑，更具靶向性。目前，研究人员已成立公司准备开展人体临床试验。这项研究依赖于AI算法筛选数千种蛋白质，成功识别出BRP，为肥胖症治疗带来了新的希望。
阅读更多
由于日本屡屡发生性侵犯儿童的案件，且缺乏有效的全国性登记系统，一个名为Amyna的网站上线，提供性侵犯者的地图信息。该网站由一位前联合国工作人员创建，旨在弥补官方系统的不足，但其合法性受到质疑。日本个人信息保护法对信息披露有严格限制，Amyna网站可能面临侵犯隐私的指控。尽管网站辩称其行为是为了保护儿童，但缺乏严格的信息核实机制和处理敏感信息的流程，可能导致误报和对受害者的二次伤害。此举引发了关于个人信息保护、公民权利和政府责任的广泛讨论，也凸显了日本在保护儿童方面法律体系的不足。
阅读更多
一年多后，谷歌宣布其Gemini AI助手将于2025年晚些时候取代Android手机上的Google Assistant。此举标志着生成式AI在移动设备上的全面普及。虽然早期版本的Gemini功能有限，但谷歌已通过持续更新弥补了差距，并将其扩展到手表、汽车、平板电脑和耳机等设备。谷歌表示，数百万用户已迁移到Gemini，并强调了Gemini在个性化、世界感知和生产力方面的优势。此次替换也标志着自然语言处理技术的十年发展历程，从最初的语音助手到如今的生成式AI，展现了科技的飞速进步。
阅读更多
本文探讨了自1982年以来美国富豪榜的巨大变化。1982年，财富主要源于继承，而2020年，仅有约四分之一的富豪继承了财富，大部分财富来自于创办科技公司或投资。这种转变并非因为继承税的增加，而是因为更多人通过创业创造了财富。科技公司成为新财富的主要来源，它们凭借技术优势而非单纯的商业谈判能力获得成功。这与1982年石油和房地产主导财富创造的模式形成鲜明对比。文章认为，20世纪中期，经济寡头垄断和高税率抑制了创业，而20世纪70年代以来的技术进步和经济去监管化促进了创业的兴起，使得创业成为财富积累的主要途径。
阅读更多
Caravan是一个灵活的、基于传输的JavaScript/TypeScript日志系统，它支持多种传输方式（例如控制台、文件、Datadog和BetterStack），允许按日志级别进行过滤，并支持通过派生日志器绑定上下文和数据脱敏。开发者可以使用它轻松记录各种信息，包括基本日志、元数据日志以及上下文相关的日志，提高调试和监控效率。其TypeScript优先的设计也方便了开发者使用。
阅读更多
本文作者呼吁大家放弃使用 Git checkout 命令。作者认为 checkout 命令功能过于繁杂，容易混淆，尤其对 Git 新手而言更是如此。他建议使用更清晰易懂的 git switch 和 git restore 命令替代。虽然 Git 官方不会移除 checkout 命令，但作者希望大家在教学和分享经验时，能推广使用更现代化的替代方案，从而避免初学者陷入混乱，并最终提升 Git 使用体验。
阅读更多
本文利用Billboard榜单数据，探讨了1964年是否如人们所说，是流行音乐的分水岭。作者分析了1963年进入前40名的175组乐队，发现其中一半在1964年后再无佳作。但这并非1964年独有现象，其他年份也有类似情况。文章认为，虽然英国入侵对音乐格局造成冲击，但美国音乐本身也在发生变化。此外，文章还介绍了Frankie Valli跨越数十年持续成功的案例，以及Doechii和The Newbeats的新老歌曲推荐。
阅读更多
Curry 是一种声明式多范式编程语言，它无缝地结合了函数式编程（嵌套表达式、高阶函数、强类型、惰性求值）和逻辑式编程（非确定性、内置搜索、自由变量、部分数据结构）的特性。与单一编程范式相比，Curry 提供了额外的功能，例如针对逻辑导向计算的优化求值和具有用户自定义函数的灵活、非确定性模式匹配。
阅读更多
一个名为K-12学校枪击事件数据库追踪美国所有学校枪击事件，无论伤亡人数、时间或发生日。数据涵盖帮派枪击、家庭暴力、体育赛事和课外活动的枪击事件、自杀、升级为枪击事件的斗殴以及意外事故。该数据库旨在记录学校枪击事件数量和校园枪支暴力的全貌，使用数据需引用来源。
阅读更多
耶鲁大学一项最新研究揭示了新冠疫苗接种后综合征（PVS）的潜在免疫学模式。研究发现，PVS患者的效应CD4+ T细胞水平较低，TNF-alpha+ CD8 T细胞水平较高，且部分患者体内SARS-CoV-2刺突蛋白持续存在时间过长。 虽然研究尚处于早期阶段，但这些发现为PVS的诊断和治疗提供了希望。研究人员正在进一步研究其他潜在因素，如自身免疫、组织损伤和EB病毒再激活等，以期开发出副作用更少的疫苗及有效的PVS诊断和治疗方法。
阅读更多
arXivLabs是一个实验性项目，允许合作者直接在arXiv网站上开发和分享新功能。参与者都认同arXiv的开放、社区、卓越和用户数据隐私的价值观。你有提升arXiv社区价值的想法吗？了解更多关于arXivLabs的信息。
阅读更多
美国萤火虫航天公司的“蓝幽灵”月球着陆器即将尝试在月球着陆，这是私营公司参与月球探测的又一里程碑。此次任务面临巨大挑战，此前已有半数月球着陆尝试以失败告终。然而，萤火虫航天对自身研发的推进系统充满信心。如果成功，“蓝幽灵”将进行一系列科学实验，拍摄高清影像，甚至捕捉到50多年来无人目睹的月球地平线辉光现象，为人类探索月球提供宝贵数据，也为NASA的阿尔忒弥斯计划铺平道路。
阅读更多
2000年3月10日，互联网泡沫达到顶峰，纳斯达克指数触及5048.62点。这场狂潮中，投资者盲目追逐下一个微软，许多公司即使没有盈利也股价暴涨。亚马逊和谷歌最终脱颖而出，但当时的成功并非预料之中。泡沫破裂后，许多公司倒闭，科技行业遭受重创，市场直到2015年才恢复到之前的水平，这段经历成为科技史上的警示案例。
阅读更多
安全研究人员Binary Security发现Azure API连接中存在未公开的API接口，攻击者可利用这些接口提升权限并读取后端资源的密钥，例如Key Vaults、存储Blob、Defender ATP，甚至企业Jira和SalesForce服务器。攻击的核心在于，任何拥有API连接读取权限的用户都可以调用连接中定义的任何GET请求，从而绕过正常的安全机制，访问敏感数据。Microsoft已确认并修复了该漏洞。
阅读更多
ABjC是一个由四部分组成的组合数学视频教材，每部分对应于在IMSc教授的课程。该教材以视频形式呈现，并配有可交互浏览的网站，方便用户查找特定章节和时间点。内容涵盖枚举组合、代数组合和双射组合等多个方面，并包含一些新的研究成果和对经典理论的新颖呈现方式。该教材适合本科生、研究生和研究人员学习，并包含针对不同水平学生的章节。
阅读更多
一个名为“Unparalleled Misalignments”的网站收集了大量“错位词组”，这些词组由彼此同义的单词组成，但却表达截然不同的意思，例如“Butt dial”和“Booty call”。自2018年以来，该网站不断更新，并接受网友投稿。这些巧妙的词语组合，不仅展现了语言的趣味性，也引发了人们对词义和语境的思考，堪称语言学领域的奇观。
阅读更多
本文介绍了 `rtsan-standalone-rs`，一个用于 Rust 的实时安全分析器。它基于 LLVM 的 RealtimeSanitizer (RTSan)，能够检测实时编程中难以发现的违规行为，例如内存分配。作者克服了 RTSan 原本仅支持 C++ 的限制，创建了这个易于使用的 Rust 包装器，并详细解释了其实现原理和使用方法，包括 `nonblocking`、`blocking` 和 `no_sanitize_realtime` 宏的使用。该库有助于开发者编写更安全可靠的实时程序，避免因内存分配等操作导致的计时故障。
阅读更多
在 2025 年 CES 上，麒麟啤酒公司推出了一款电子盐勺，它利用微弱电流浓缩食物中的钠离子，增强低钠食物的咸味和鲜味。这款勺子基于 2013 年获得搞笑诺贝尔奖的研究，已在日本上市，麒麟公司希望将其推向全球市场，帮助人们减少钠摄入量，尤其是在高钠饮食普遍的日本。虽然 TechCrunch 没有亲自尝试，但现场的尝鲜者众多，反响热烈。
阅读更多
本文介绍了如何使用9eSIM SIM卡在仅支持物理SIM卡的Android和Linux设备上使用eSIM。作者购买了9eSIM套装，包括SIM卡、读卡器和适配器。初始设置略显复杂，需要将SIM卡与原包装一起使用才能与读卡器正确连接。通过Android应用或Linux命令行工具lpac（以及其GUI EasyLPAC），可以轻松添加、切换和删除eSIM配置文件。作者还测试了免费的测试eSIM配置文件和付费的LycaMobile eSIM，并成功在Linux笔记本电脑上实现了eSIM连接。
阅读更多
美国最大的养老基金——加州公务员退休系统（CalPERS）将超过30亿美元的石油钻探商、煤矿公司和其他主要温室气体排放商的投资，归类为“气候解决方案”。这一举动引发争议，批评者认为这与CalPERS旨在过渡到低碳经济的目标相悖。CalPERS辩称其投资策略旨在推动污染企业走向绿色，同时资助清洁能源技术，并称其方法符合受信托责任。然而，报告显示，CalPERS的气候投资组合中包含全球52家最大的温室气体排放企业，其减排目标面临挑战。CalPERS的策略凸显了在财务回报与气候承诺之间取得平衡的难度，也引发了对投资透明度和定义“气候解决方案”标准的质疑。
阅读更多