J·肯吉·洛佩斯-奥尔特洋葱问题的解决方案
本文探讨了如何切洋葱才能使切片大小最均匀的问题。作者将洋葱建模为一个半圆盘,并使用雅可比行列式计算了不同切法下洋葱切片面积的方差。通过数值计算,作者发现将刀指向洋葱中心下方半径55.73066%处的切法能使方差最小,从而得到最均匀的切片。
阅读更多
本文探讨了如何切洋葱才能使切片大小最均匀的问题。作者将洋葱建模为一个半圆盘,并使用雅可比行列式计算了不同切法下洋葱切片面积的方差。通过数值计算,作者发现将刀指向洋葱中心下方半径55.73066%处的切法能使方差最小,从而得到最均匀的切片。
阅读更多
本文评论了亨利·詹姆斯和赫伯特·乔治·威尔斯的作品和为人。作者认为,与人们普遍的看法相反,威尔斯是一个真正的世界主义者,对社会各阶层的愚蠢和伪装有着敏锐的洞察力。而詹姆斯则是一个势利的、自命不凡的作家,他的小说中的人物不过是社会版剪影。威尔斯的小说并非社会小说,而是关于婚姻、人际关系的探索和个人实现的,与D.H.劳伦斯的作品主题相似。作者还批评了当时英国社会对威尔斯的排斥和误解,因为他是一位社会主义者、共和主义者,并且公开与女性同居。
阅读更多
本文介绍了一种基于LLVM的去虚拟化方法,用于反混淆被虚拟化的二进制文件。虚拟化是一种强效的混淆技术,常用于恶意软件中。传统手动逆向虚拟化程序耗时费力,而自动化分析方法则依赖于动态污点分析和符号执行。本文提出的方法简化了这一过程,通过动态污点分析识别受污染的条件指令,并根据执行轨迹重构控制流图。然后利用LLVM的优化功能简化代码,最终实现去虚拟化。实验结果表明,该方法在处理Tigress混淆器生成的二进制文件时速度很快,能够在不到一秒钟的时间内部分去混淆目标程序。
阅读更多
本文探讨了 Java 编译速度及构建工具的性能开销。通过对 Mockito 和 Netty 项目的基准测试,发现现代 Java 编译器每秒可编译超过 10 万行代码,即使百万行项目也能在 10 秒内完成单线程编译。然而,构建工具(如 Maven、Gradle 和 Mill)会增加显著的开销。Mill 的性能最佳,但也比直接使用 Java 编译器慢了 4 倍。虽然构建工具执行依赖管理、并行处理等额外任务,但当依赖项已缓存且仅需编译代码时,任何非编译操作都是开销。作者认为,构建工具的开销过高,Java 构建体验仍有很大提升空间。
阅读更多
Deno Land向美国专利商标局提交申请,要求取消Oracle持有的JavaScript商标,理由是Oracle自2009年从Sun Microsystems手中收购该商标后,并未销售任何JavaScript商品或提供相关服务,构成商标弃用和欺诈。JavaScript社区也曾公开呼吁Oracle放弃该商标,认为Oracle并未在JavaScript发展中扮演积极角色,其商标所有权造成了不必要的混淆和障碍。Deno Land希望Oracle能够承认商标弃用,让撤销程序顺利进行。
阅读更多
韩国一名男子为逃避兵役,故意增重20多公斤,被首尔东部地方法院判处一年有期徒刑,缓期两年执行。该男子从2017年的83公斤增重到2022至2023年间的102-105公斤,以达到社会服务标准,从而逃避现役。其协助策划增重方案的朋友也被判处6个月有期徒刑,缓期一年执行。两人均未对判决提出上诉。在韩国,逃避兵役是一个敏感话题,尤其在朝鲜 belligerence 日益增强以及韩国重新考虑其在乌克兰战争中的立场之际。
阅读更多
本文比较了流行的 JavaScript 测试框架 Jest 和 Vitest。Jest 由 Facebook 创建,应用广泛,功能丰富,但对 ES 模块的支持不足。Vitest 基于 Vite 构建,性能优异,天然支持 ES 模块和 TypeScript,且具有现代化的 UI 和一些实验性功能,例如浏览器模式和类型测试。文章认为,对于新项目,Vitest 是更好的选择,除非项目强依赖 Jest 支持的库,例如 React Native。文章还分享了 Speakeasy 公司从 Jest 迁移到 Vitest 的经验,以及如何使用 Vitest 进行自动化 API 测试。
阅读更多
jekyll-sqlite 是一个 Jekyll 插件,允许用户使用 SQLite 数据库作为数据源,方便地从数据库创建 API 和网站。它支持站点级查询、页面级查询和预处理查询,可以将现有数据作为参数。该插件配置灵活,可以定义数据源、数据库文件和查询语句,并支持参数绑定。此外,它与 datapage_gen 插件配合使用,可以根据数据库内容自动生成页面。
阅读更多
Linux 6.13 KVM 主要改进在于消除了之前错误的页面引用计数判断方式,该方式曾导致安全问题和virtio-gpu等驱动程序的兼容性问题。新版本通过改进架构代码,用pfn代替struct page,简化了主机虚拟地址pfn的获取方式。此外,ARM架构的KVM新增了休眠支持和嵌套虚拟化下的PMU支持;RISC-V架构支持在虚拟机中加速;PowerPC架构移除过时的PowerPC 970支持;x86架构则在减少vCPU抖动、TLB刷新、内存回收等方面进行了优化,并增加了对Intel Clearwater Forest处理器新指令的支持。
阅读更多
数据分析初创公司 Deckmatch 的研究表明,著名创业孵化器 Y Combinator (YC) 经常支持开发与现有 YC 毕业生产品相似或几乎相同产品的初创企业。YC 首席执行官 Garry Tan 认为,更多的选择和创业者是好事。YC 官方回应称,他们更关注创始人的背景而非商业创意,投资策略侧重于有远见、韧性和执行力的创始人。一些 YC 校友对这种竞争表示不满,但也有人认为,尤其是在同一 YC 合伙人指导下,这种直接竞争是有益的。数据显示,YC 偏爱的产品类别包括人工智能代码编辑器、餐饮/餐厅销售点系统、商业财务/工资单、人工智能销售和客户关系管理、人工智能会议助手和人工智能法律助手等。
阅读更多
最高法院正在考虑受理索尼音乐娱乐公司诉考克斯通信公司一案,该案将决定互联网服务提供商是否必须终止被控侵犯版权用户的服务。唱片公司认为,考克斯应对未能终止屡次被标记侵权的用户负责,而考克斯辩称,终止用户服务会惩罚家庭中其他无辜的用户。最高法院已要求美国政府提交意见陈述,这可能是其受理此案的前兆。此前,该法院曾就类似的社交媒体内容审核案寻求政府意见,最终推翻了下级法院的裁决。
阅读更多
本文介绍了如何利用Python包管理工具(如pip和uv)解决布尔可满足性问题(SAT)和整数规划问题(IP)。作者将SAT问题转化为包依赖关系问题,利用包版本表示布尔变量,通过pip或uv安装包来判断SAT问题是否可满足。文章还进一步解释了如何将IP问题转化为SAT问题,并通过一系列转换和编码,最终利用pipip(作者开发的工具)解决IP问题。文章提供了多个SAT和IP问题的示例,并讨论了使用pip-compile和uv作为包管理工具时的性能差异。
阅读更多
特斯拉正在组建远程操控团队,为其即将推出的Robotaxi服务做准备。招聘信息显示,特斯拉正在招聘软件工程师开发远程操控系统,使操作员能够远程访问和控制Robotaxi和人形机器人。这标志着特斯拉正认真考虑在公共道路上部署Robotaxi,并且与其以往强调完全自主驾驶的立场有所偏离。远程操控被认为是自动驾驶汽车上路的重要组成部分,可以处理特殊情况,并提供宝贵的训练数据。特斯拉Robotaxi原型车Cybercab预计于2026或2027年投产,特斯拉计划在2025年在加州和德州推出Robotaxi服务。
阅读更多
本文综述了头发早白(PGH)的定义、病因、临床表现、诊断和治疗方法。PGH定义为白种人在20岁之前,非裔美国人在30岁之前出现白发。病因尚不清楚,可能与过早衰老综合征、特应性疾病和自身免疫性疾病有关,氧化应激被认为是主要因素。PGH的治疗以营养补充和染发为主,其他疗法效果有限。
阅读更多
Monocle是一个Scala库,提供了一个简单而强大的API来访问和转换不可变数据。它支持Scala 2.13.x和3.x版本,可以通过sbt添加依赖项。Monocle的设计灵感来源于Haskell Lens,并提供了类似于透镜的功能,可以聚焦到数据的特定部分进行修改或读取,例如修改用户姓名、地址等。
阅读更多
Flowtide 是一款开源、简洁美观的浏览器新标签页扩展程序。它提供每日精美壁纸、待办事项列表和轻松的自然声音,并支持 Magic Search 等功能,可用于 Chrome 和 Firefox 浏览器。
阅读更多
David Revoy创作了一部四页的圣诞主题短篇漫画,由Le Lombard出版社出版。这部漫画是为庆祝降临节而创作的25个短篇故事合集的一部分,其特别之处在于每页都装订在一起,需要读者每天裁开一页来阅读新的故事,如同降临节日历一般。Revoy与出版社协商后,将在实体书发行后,以CC-By许可证发布他的故事,并计划在Pepper&Carrot网站改版后将其上传,方便大家阅读和翻译。
阅读更多
本文批判了Golang的诸多设计缺陷,例如缺乏错误处理机制、易混淆的值类型和引用类型、nil和零值的处理方式等,并指出尽管Golang拥有不错的异步运行时和工具链,但其语言设计上的缺陷会导致代码库难以维护、错误难以追踪。作者认为,依赖其他公司使用Golang的经验来选择技术是不明智的,并驳斥了将Golang作为原型开发语言的观点,强调没有代码是真正可以丢弃的,使用Golang进行原型开发最终会导致难以重写和维护的问题。作者主张关注代码的正确性和可维护性,并认为长期来看,这比短期开发速度更重要。
阅读更多
NVIDIA推出了一款名为Fugatto的生成式AI模型,它可以使用文本和音频作为输入,创建音乐、语音和各种声音的任意组合。Fugatto支持众多音频生成和转换任务,是第一个展现涌现属性的基础生成式AI模型,能够结合自由形式的指令。它可以根据文本提示创建音乐片段、从现有歌曲中移除或添加乐器、更改语音的口音或情感,甚至让人们创作前所未闻的声音。Fugatto为音乐制作人、广告公司、语言学习工具和游戏开发者等提供了新的创作可能性。
阅读更多
Fly.io 的状态页面显示了其全球范围内的服务状态,包括各地区服务器的运行情况、数据库、日志、指标、DNS等服务的运行状态。页面记录了过去90天内的uptime,并详细记录了最近发生的事件,例如11月26日的API性能下降和11月22日的日志搜索不可用等事件,以及事件的解决过程和更新。用户可以通过邮件、短信、Slack和Webhook等方式订阅状态更新通知。
阅读更多
Huntlie 是一个发现科技新品的平台,汇集了各种新产品,并提供产品介绍和访问链接。文中列举了大量的产品,涵盖了AI工具、生产力助手、摄影器材、网站分析、电子商务工具等等,许多产品还提供黑五折扣。用户可以通过该平台快速了解最新的科技发展趋势和创新产品。
阅读更多
美国海军和斯克里普斯海洋研究所独特的浮动仪器平台(FLIP)在最后一刻被从废料场救下。这艘原定在墨西哥报废的船被水下设计公司DEEP收购。FLIP看起来像一根巨大的灰色钢芦笋,窄端有一个传统的船头。它最初由美国海军建造,用于帮助开发UUM-44 SUBROC反潜武器,需要从不同深度同时收集水下声学数据。FLIP长108米,宽8米,沿其长度布置了水听器和其他传感器系统。将其拖到指定位置后,一端的压载舱注水,FLIP就会翻转,形成一个高度稳定的平台,向下延伸91米。这艘奇特的船自1962年服役到2023年退役,一直是一个非常有价值的浮动实验室,也曾多次引发船舶沉没的误报。DEEP的创始人兼首席执行官Kristen Tertoole得知FLIP即将报废的消息后,组建了一个团队将其 securing,并将其从巴拿马运河拖到法国拉西奥塔的MB92造船厂进行为期12到18个月的翻新和现代化。
阅读更多
本文介绍了如何使用3D打印机和现成组件构建两种不同类型的用于1英寸光学元件的电动旋转支架。一种用于反射元件(如镜子和光栅),另一种用于透射元件(如偏振器和延迟器)。文章评估并比较了它们与商业系统的性能,包括速度、分辨率、精度、反冲和轴摆动,并使用艾伦方差分析研究了角度稳定性。结果表明,自制支架的性能与价格超过2000欧元的系统相似,而制造成本不到200欧元,且构建速度更快。文章还展示了如何在光镊和拉曼光谱装置中控制激光,最终实现了0.03个百分点或更高的分辨率的强度控制。
阅读更多
艺术家彼得·赫里斯托夫以非伊斯兰艺术学者,而是艺术家的视角,讲述了他对祈祷毯的理解。他从1997年开始创作关于人们祈祷原因的绘画,并在伊斯坦布尔举办了首次个展。他对地毯的兴趣源于其日记般的特质,以及织工融入个人信仰、希望和愿望的方式。他的作品融合了面具、鸟、头骨等图案以及安纳托利亚地毯的结构,并探索了放置、祈祷和赦罪等仪式,表达了“光明悲伤”的主题,即喜悦与悲伤、精神与物质的并存。
阅读更多
本文介绍了自动驾驶汽车中激光雷达系统的操作原理、技术和应用。激光雷达利用红外激光测量与远程物体的距离,可生成高分辨率图像,是自动驾驶汽车的关键“眼睛”。文章探讨了激光雷达的工作波长(905nm和1550nm)、光电探测器(APD、SPAD、SiPM)、测距技术(dToF、iToF、FMCW)、机械激光雷达(扫描式、MEMS微镜)、固态激光雷达(闪光式、光学相控阵)等关键技术,并分析了各种技术的优缺点和成本效益。文章指出,降低成本是激光雷达在自动驾驶汽车中广泛应用的关键。
阅读更多