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

衍射巧克力 (wp.optics.arizona.edu)

本文介绍了如何制作衍射巧克力,并解释了其背后的科学原理。衍射是指光线弯曲的现象,通过将巧克力与衍射片结合,可以将白光分离成七种主要颜色,形成彩虹效果。文章详细介绍了制作步骤,包括融化巧克力、回火、使用模具等,并解释了光栅如何分离光线以及不同类型的衍射光栅。

STL如何使用explicit关键字 (quuxplusone.github.io)

本文探讨了C++标准模板库(STL)中explicit关键字的使用情况。作者首先介绍了explicit关键字的意义和重要性,特别是在防止隐式类型转换方面的作用。然后详细分析了STL中现有的一些与explicit相关的规范,并指出了其中的一些不一致和例外情况。文章最后总结了一些建议,希望能够在未来的STL规范中更加一致和合理地使用explicit关键字。

Etched | 全球首个Transformer专用AI芯片 (www.etched.com)

Etched公司获得1.2亿美元融资,用于构建全球首款Transformer专用ASIC芯片Sohu。通过将Transformer架构直接刻蚀到芯片中,Sohu运行AI模型的速度比GPU快一个数量级,成本也更低。Sohu能够实现实时语音代理、毫秒级处理数千字文本、更强大的代码树搜索、并行比较数百个响应、多播推测解码以及实时生成新内容等功能,为未来万亿级参数模型的运行提供了可能。

索尼宣布停产可刻录蓝光光盘,告别光盘刻录时代 (www.techspot.com)

索尼公司近日宣布将逐步停止可刻录蓝光光盘和其他光盘格式的开发和生产。这意味着100GB的三层和128GB的四层BDXL光盘将逐渐退出市场。索尼表示,做出这一决定是因为冷存储市场需求未达预期,光盘存储业务多年来一直处于亏损状态。不过,用于电影和游戏的商用蓝光光盘生产将继续。

代码整洁之道博客 (blog.cleancoder.com)

本文介绍了代码转换的优先级原则,提出在测试驱动开发(TDD)中,应该优先选择能够用更简单的转换来通过的测试,以及在通过测试时,也应该优先使用更简单的转换。作者以词组换行Kata为例,详细演示了如何应用这个原则来避免TDD中的僵局,并探讨了递归和迭代两种解决方案的演化过程。

NASA小行星样本中发现磷酸盐,暗示其或诞生于原始海洋世界 (www.nasa.gov)

NASA的OSIRIS-REx任务从小行星Bennu带回的样本中发现了丰富的碳、氮、有机化合物以及磷酸盐。这些物质的存在表明Bennu可能曾是富含水的星球的一部分,并暗示了其与地球生命起源的潜在联系。

lichess.org • 优化棋盘数据库服务器 (lichess.org)

文章介绍了lichess.org网站对7步Syzygy棋盘数据库服务器进行优化的过程。他们使用dm-integrity on LVM替换了原有的周期性RAID完整性检查,并通过设置第二台服务器进行受控基准测试。文章详细介绍了硬件配置、操作系统、RAID 5设置、mmap与pread的比较、MADV_RANDOM / POSIX_FADV_RANDOM的影响、SSD空间的利用、并行读取等优化措施,并通过图表和数据展示了优化效果。

美国国务院鲜为人知的情報机构为何可能是华盛顿最强的情報机构 (www.vox.com)

美国国务院情报研究局 (INR) 规模虽小,但其情报分析能力却不容小觑。与中央情报局 (CIA) 和国防情报局 (DIA) 等机构不同,INR 注重专家培养,分析师在其专业领域平均拥有14年的经验。这种专业性使其在越南战争、伊拉克战争以及乌克兰战争等重大事件中做出了准确预测。此外,INR 与决策者联系紧密,能够及时获取反馈并调整分析方向。尽管资源有限,但 INR 通过其独特的运作方式,在情报分析领域取得了令人瞩目的成就。

小鼠体内微生物群组成随采样时间而变化 (www.statnews.com)

一项新研究表明,小鼠的昼夜节律会影响其体内微生物群的组成,而微生物群的组成会随着采样时间的不同而发生显著变化。研究人员发现,即使是间隔短短四个小时采集的样本,其微生物群组成也存在巨大差异。这种差异可归因于小鼠昼夜节律的变化,包括进食、活动和睡眠时间,这些变化会影响细菌的种类和数量。因此,研究人员呼吁在进行微生物群研究时应考虑采样时间,并在报告中注明实验进行的时间。

从Claude 3 Sonnet中提取可解释特征 (transformer-circuits.pub)

这篇论文介绍了Anthropic团队如何将稀疏自编码器应用于Claude 3 Sonnet模型,以提取可解释的特征。研究发现,这些特征高度抽象,能够识别代码中的错误、安全漏洞以及偏见等问题。团队使用特征操控技术证明了这些特征对模型行为的影响,例如,操控特定特征可以诱导模型产生与该特征相关的输出。 论文强调了这项研究的初步性质,并指出需要进一步研究以理解这些潜在安全相关特征的含义。

人类有望在六年内实现牙齿再生 (www.popularmechanics.com)

日本科学家正在进行一项可能改变牙科领域的药物试验,该药物有望让人类重新长出牙齿。该药物通过抑制一种名为USAG-1的抗体发挥作用,该抗体已被证明会抑制雪貂和老鼠的牙齿生长。如果试验成功,该药物有望在2030年左右上市,为全球数百万牙齿缺失的患者带来福音。

惠普迫于压力停产在线打印机,Instant Ink订阅服务也将终止 (www.tomshardware.com)

由于用户对在线打印机和 HP+ 订阅服务的强烈反对,惠普宣布停产价格更低的 e 系列 LaserJet 打印机。HP+ 要求永久的互联网连接,并且用户只能使用惠普原装墨盒和碳粉,不允许使用任何第三方替代品。虽然 HP+ 提供云打印和额外一年的保修等优势,但强制在线要求让许多消费者感到不满。此外,惠普还将在今年晚些时候停止 Instant Ink 碳粉订阅服务。

美国电动汽车充电现状:哈佛研究显示充电器可靠性仅为78%,价格混乱如“蛮荒西部” (www.hbs.edu)

哈佛商学院一项新研究揭示了美国电动汽车充电基础设施的糟糕现状,包括可靠性低、价格混乱和充电位置缺乏。研究发现,美国充电站的平均可靠性得分仅为78%,约五分之一的充电站无法使用。此外,充电站价格不透明,缺乏监管,消费者难以找到最具成本效益的充电地点。研究还发现,公共充电站分布不均,农村地区和较小城市充电设施严重不足,形成“充电荒漠”。

用150行C代码击败NumPy的矩阵乘法 (salykova.github.io)

这篇博客文章介绍了如何用150行C代码实现高效的CPU矩阵乘法算法,其性能超越了NumPy。文章首先分析了NumPy的矩阵乘法性能,并介绍了BLIS库的设计思路。然后,作者逐步讲解了如何使用SIMD指令和缓存优化来提高矩阵乘法性能,并使用OpenMP实现了多线程加速。最终的实现版本在AMD Ryzen 7700处理器上达到了超过1 TFLOPS的峰值性能。

糟糕!我们最大化了智力,却最小化了智慧 (www.theintrinsicperspective.com)

这篇文章以桌面角色扮演游戏中的属性值为例,探讨了当今文化发展中,人们过于追求智力发展,却忽略了其他重要品质的现象。作者以幽默的口吻,将朋友间的玩笑与社会现象联系起来,指出就像游戏角色一样,当代文化也存在“最大化”和“最小化”的属性值,例如过度重视智力而忽视了体质或灵活性。

同步机制不利于扩展 (wippler.dev)

文章探讨了同步机制在分布式系统中对扩展性的负面影响。作者以自身在Mailgun的经历为例,阐述了分布式锁服务在高并发场景下效率低下的问题。文章深入分析了锁竞争对CPU资源利用率的影响,并提出了几种替代方案,包括负载分散、一致性哈希、预留队列、Saga模式等。作者主张避免过度依赖数据库进行同步,建议通过代码创建同步点以实现更灵活的扩展。

韩国互联网供应商KT被曝向用户电脑植入恶意软件以干扰BT流量 (torrentfreak.com)

韩国新闻媒体JBTC报道,韩国电信运营商KT被指控向约60万用户的电脑上安装恶意软件,以干扰和阻止BT流量。警方调查显示,KT此举可能是为了节省与BT流量相关的网络管理成本,而KT则声称只是为了管理网络流量。

警惕!甲骨文 Java 许可团队将锁定不知情的 Java 用户 (www.theregister.com)

甲骨文开始追踪未付费的 Java SE 使用,并利用 IP 地址识别下载 Java 的企业,即使这些企业不认为自己是甲骨文客户。甲骨文正在全球范围内联系这些企业,声称他们存在不合规的 Java SE 使用行为,并可能要求追溯支付三年的费用。专家建议企业谨慎对待甲骨文的“优惠”,并考虑使用开源替代方案。

加拿大广播电视和电信委员会 (CRTC) 关于 2022 年 7 月 8 日罗杰斯网络中断后恢复力和可靠性评估的报告 - 执行摘要 (crtc.gc.ca)

2022年7月8日,加拿大罗杰斯通讯公司遭遇大规模网络故障,原因是IP核心网络路由器配置错误导致路由信息泛洪,超过核心路由器处理能力,引发系统崩溃。此次故障暴露出罗杰斯网络架构缺乏过载保护、变更管理流程存在缺陷、网络管理基础设施依赖受损核心网络等问题。为避免类似事件再次发生,罗杰斯采取了一系列措施,包括实施路由器配置保障措施、分离无线和有线网络的IP核心网络、改进变更和事件管理流程等。

GitHub - explorerhq/django-sql-explorer:通过SQL查询轻松在公司内共享数据 (github.com)

SQL Explorer是一个基于Django的应用程序,可以添加到现有的Django站点,或用作独立的商业智能工具。它可以连接到Django支持的任何SQL数据库。它提供了一些关键功能,包括:支持多个连接、人工智能驱动的SQL助手、快速访问模式信息以便于查询、浏览器内透视表、定期快照查询、查询历史和日志、浏览器内统计信息、参数化查询以及将保存的查询公开为JSON API等。

TinkerBird:基于 Chrome 的原生向量数据库 (github.com)

TinkerBird 是一款基于 Chrome 的原生向量数据库,旨在高效存储和检索高维向量(嵌入)。它使用 TypeScript 编写,利用 HNSW(分层可导航小世界)索引进行快速向量检索,并使用 IndexedDB 进行存储。TinkerBird 可以帮助大型语言模型(LLM)克服幻觉问题,通过提供相关上下文来改善 LLM 响应的准确性,并最大程度地减少无关标记产生的计算成本。

Charge Robotics 招聘全栈软件工程师 (www.ycombinator.com)

Charge Robotics 是一家 YC 孵化的初创公司,致力于打造自动化建造大型太阳能农场的机器人。公司正在招聘一名经验丰富的全栈软件工程师,负责开发和维护高质量的代码和文档,构建软件界面以管理机器人工厂的运营。理想的候选人应具备团队软件开发经验,熟悉代码编写、文档记录、测试、版本控制和 CI,并对自动化工作充满热情。

金牌的代价:你究竟有多渴望成功? (allaboutperformance.wordpress.com)

本文借鉴瑞典著名三级跳远运动员Christian Olsson的纪录片“金牌的代价”,探讨了成为一名优秀运动员所需付出的努力和牺牲。文章指出,运动员需要为训练和康复牺牲娱乐时间,学习营养学知识,克服心理压力,甚至面对伤病的困扰。真正的运动员不仅要刻苦训练,还要主动学习,了解自身优缺点,并进行额外训练。文章强调,通往成功的道路充满挑战,只有那些真正渴望成功并愿意付出一切的人才能最终获得胜利。

代码审查能找到bug吗? (two-wrongs.com)

文章驳斥了一篇微软研究报告的观点,该报告声称代码审查并不能有效地发现错误。作者引用了多项研究结果,证明代码审查可以找到高达60%的代码缺陷,并且效率极高,每十分钟就能发现一个缺陷。此外,代码审查还能帮助开发者快速熟悉代码库,提高代码质量。文章认为,微软研究报告的结论可能是由于代码审查流程管理不善导致的,例如审查时间过长,而并非代码审查本身的缺陷。

Db2:即使IBM闭口不谈,它依然是一个值得讲述的故事 (www.theregister.com)

Db2 是 IBM 开发的一款历史悠久且备受推崇的关系型数据库,广泛应用于对可靠性要求极高的行业,例如银行业。 尽管 Db2 拥有庞大的用户群和良好的声誉,但 IBM 似乎对其未来发展方向保持沉默,尤其是在云计算领域。 相比之下,开源数据库 PostgreSQL 则凭借其开放性和社区支持,在开发者中越来越受欢迎,并成为云数据库服务的重要组成部分。

关于 Duff 设备和协程 (research.swtch.com)

本文探讨了C语言中一个名为“Duff设备”的奇特代码结构,它通过巧妙地结合switch语句和循环展开,实现了高效的数据复制。虽然这种技巧在特定情况下可以提高性能,但其可读性较差,且现代编程语言和技术的发展已提供了更优的替代方案,例如线程和协程。

Cognate: 可读且简洁的串联编程语言 (cognate-lang.github.io)

本文介绍了Cognate编程语言,它是一种可读性强且简洁的串联编程语言。文章详细讲解了Cognate的语法、函数定义、变量、控制流、列表和盒子等概念,并通过丰富的示例代码演示了如何使用Cognate进行编程。文章还介绍了Cognate的函数式编程特性,例如高阶函数和递归等。

不要净化童话故事 (www.plough.com)

本文探讨了童话故事中黑暗元素的价值。作者认为,未经删节的童话故事能够帮助儿童更好地理解现实世界中的邪恶、暴力和死亡,并培养他们面对恐惧、战胜逆境的能力。作者批评了过度保护儿童免受残酷现实的做法,以及将童话故事过度美化和扭曲的趋势,认为这剥夺了儿童从故事中获得成长和希望的机会。

Q*:利用审慎规划改进大型语言模型的多步推理 (arxiv.org)

文章介绍了一种名为Q*的通用框架,用于改进大型语言模型在多步推理任务中的表现。Q*框架通过学习一个即插即用的Q值模型作为启发式函数,有效引导大型语言模型选择最有希望的下一步,而无需针对每个任务微调模型,避免了巨大的计算开销和性能下降的潜在风险。

GitHub - tavinus/pdfScale: 使用 Ghostscript 缩放和调整 PDF 大小的 Bash 脚本 (github.com)

pdfScale 是一个使用 Ghostscript 从命令行缩放和/或调整 PDF 大小的 Bash 脚本。在缩放模式下,PDF 纸张大小不会改变,只是元素被缩放。在调整大小模式下,PDF 纸张将被更改,并将应用适合页面。在混合模式下,PDF 将首先调整大小,然后使用两个 Ghostscript 调用进行缩放。

1 2 134 135 136 138 140 141 142 361 362