从大型语言模型中获取结构化输出的所有方法 (www.boundaryml.com)
这篇文章介绍了如何从大型语言模型中获取结构化输出（例如JSON格式）。文章比较了不同框架的优缺点，包括BAML、Instructor、TypeChat、Marvin、Outlines、Guidance、LMQL、JSONformer、Firebase Genkit、SGLang和elm-format-enforcer。文章重点讨论了如何处理格式错误的JSON以及如何控制和查看发送给语言模型的提示。
近20%的SQL Server已过支持期限 (www.theregister.com)
IT资产管理平台Lansweeper的调查显示，近20%的企业运行的Microsoft SQL Server已过支持期限，其中12%运行的是将于7月9日停止扩展支持的SQL Server 2014。这突显出企业用户面临的潜在风险，即将关键业务流程依赖于过时的软件。尽管微软面临着推动用户从Windows 10升级到Windows 11的挑战，但管理员们也面临着类似但很少被公开的问题，即说服董事会拨款进行软件更新。
数学家揭示“等于”在数学中不止一种含义 (www.sciencealert.com)
数学家们对“等于”的定义存在分歧，这对越来越依赖计算机程序验证数学证明的领域造成困扰。文章指出，除了传统的数值相等，集合论中的“规范同构”也构成另一种“等于”。这种差异对数学证明的计算机化提出了挑战，促使数学家重新思考“等于”等基本概念的定义。
两次原子弹爆炸的幸存者：山口彊 (www.biography.com)
本文讲述了山口彊作为唯一的日本政府认定的两次原子弹爆炸的幸存者的故事。山口彊在广岛和长崎原子弹爆炸中距离爆炸中心不到两英里，奇迹般地幸存下来。他在晚年成为了一名直言不讳的核裁军倡导者，并写了回忆录和诗歌来讲述他的经历。山口彊于2010年去世，享年93岁。
AUTOMAP：如何在 Futhark 中实现类似 NumPy 的广播（但更好） (futhark-lang.org)
AUTOMAP 是 Futhark 编程语言中一项即将推出的功能，它允许程序员像在 NumPy 中那样进行广播。与 NumPy 的动态方法不同，AUTOMAP 在编译过程中静态地推断出必要的映射和复制操作，从而实现高效的代码生成。该文章深入探讨了 AUTOMAP 的工作原理，包括其解决多维参数数学代码中秩差异的策略、处理歧义和确保最小插入操作的方法以及使用整数线性规划来确定最佳解决方案。
模拟踩踏实验揭示：加州科学家探寻黄貂鱼攻击之谜 (hakaimagazine.com)
加州州立大学长滩分校的研究人员通过模拟人类踩踏黄貂鱼，试图揭示这种生物的攻击机制。研究发现，只有踩踏到黄貂鱼身体中部时，才会引发其攻击行为，而踩踏身体两侧只会使其游走。研究人员希望通过实验结果，为海滩游客提供更安全的防护建议，例如采用“黄貂鱼滑步”等方式避免踩踏到黄貂鱼，从而减少被刺伤的风险。
株式会社ホムンクルス 作品集 (homunculus.jp)
本文列出了日本株式会社ホムンクルス (homunculus Inc.) 的一系列作品，包括 Kibounoakari、P.I.C.S.OFFICIAL Website、CITIZENLIGHT is Time、LIBERTY LONDONSpecial Contents 等。
日立推出预装 BeOS 的新型 FLORA Prius 330J PC (www.hitachi.com)
1998年11月11日，日立公司宣布推出一款新型多启动环境台式电脑FLORA Prius 330J，预装数字多媒体操作系统BeOS(TM) R4.0J（日文版）和Windows(R)98。这款电脑采用LCD屏幕，并配备奔腾(R)II 400 MHz处理器、64 MB SDRAM、6.4 GB硬盘、24倍速E-IDE CD-ROM驱动器和100BASE-TX/10BASE-T网络适配器。
为何 Go 1.23 迭代器引发争议 (www.gingerbill.org)
文章分析了 Go 1.23 中即将引入的迭代器设计方案为何引发争议。作者认为，新方案使 Go 看起来更像一门函数式语言，而非其原本的命令式风格。文章详细比较了 Go 1.23 迭代器与 Odin 语言中迭代器的设计思路，并对比了 C++ 迭代器的复杂性。作者认为，尽管 Go 迭代器设计理念合理，但与大众对 Go 的认知相悖，过于复杂且“魔法”。文章最后指出，Go 可能需要坚守其简单、易懂的原则，避免引入过于复杂的功能。
声致发光 - 维基百科 (en.wikipedia.org)
声致发光是指液体中的气泡在受到声音激发时，因快速压缩而发光。该现象最早发现于1934年的科隆大学。其发生机制尚不清楚，但普遍认为与气泡内部高温等离子体有关。声致发光存在两种形式: 多气泡声致发光（MBSL) 和单气泡声致发光（SBSL)。该现象在自然界中也有发现，例如手枪虾可以通过快速闭合钳子产生声致发光。
「一滴奶行动」综合征 (www.city-journal.org)
本文探讨了一种社会现象，称之为「一滴奶行动」综合征，指的是社会运动组织或活动家在原有目标达成后，会寻找新的议题以维持自身存在。文章以多个案例说明，包括「一滴奶行动」组织在根除小儿麻痹症后转向预防出生缺陷，反战运动者在越战结束后转向反核，以及民权运动在种族平等法案通过后转向平权行动等。作者认为，这种现象源于社会活动家维持自身影响力和资源的需求，以及社会大众对负面新闻的过度关注。
Meta被指控试图 discredit 广告研究人员 (www.theregister.com)
Meta 被指控试图 discredit 巴西的大学研究人员，这些研究人员在其广告平台上发现了虚假广告。巴西新闻机构 Núcleo 表示，他们已经获得了政府文件，表明代表 Meta 的律师质疑 NetLab 研究人员的可信度，NetLab 是里约热内卢联邦大学 (UFRJ) 的一部分。NetLab 对 Meta 广告的研究促成了巴西国家消费者秘书处 (Senacon) 在 2023 年决定对 Meta 处以 170 万美元（930 万巴西雷亚尔）的罚款，该罚款仍在 appeal 中。Meta（当时的 Facebook）因与剑桥分析公司相关的问题被单独罚款 120 万美元（660 万巴西雷亚尔）。
英特尔CPU降压和限流配置工具 (github.com)
intel-undervolt是一款用于英特尔CPU降压和调整限流的工具。该工具适用于Haswell及更新的CPU，其原理基于特定文章中描述的技术。该工具提供多种功能，包括配置电压、功耗限制、温度限制以及根据负载动态调整能效偏好。它支持守护进程模式以定期应用配置，并提供测量功耗的功能。
利用 Cohere 实现复杂业务流程自动化：多步骤工具使用实战 (cohere.com)
Cohere 推出全新强大的 Command R 系列模型——Command R+，用于自动化复杂业务流程。该模型支持多步骤工具使用，可以极大地提高工作效率。
如何做一场精彩的学术短演讲 (benjaminnoble.org)
本文为学术新人提供了做短演讲的详细指南。作者强调，演讲是推销研究和自身的机会，应精心准备而非照本宣科。文章建议专注于一个易于理解且令人印象深刻的结果，并以讲故事的方式呈现。同时，作者也分享了制作幻灯片、反复练习以及克服演讲焦虑的实用技巧。
英特尔详细介绍了 Skymont 架构 (chipsandcheese.com)
本文详细介绍了英特尔即将推出的 Skymont 架构，这是其 Atom 处理器系列的一次重大升级。Skymont 旨在提高性能和效率，尤其是在矢量和浮点运算方面。主要改进包括更宽的前端、更大的后端、更强大的矢量/FP 执行单元和改进的内存子系统。与之前的 Atom 架构相比，Skymont 在每时钟周期性能方面有了显著提升，可与 Arm 的 Cortex X2 相媲美。
亚利桑那州立大学研究指出人类进化中累积文化的起源 (news.asu.edu)
亚利桑那州立大学的研究人员通过分析过去330万年考古记录中石器制造技术复杂性的变化，发现人类大约在60万年前开始通过社会学习快速积累技术知识，从而形成了累积文化。研究表明，早期人类在340万到200万年前可能依赖需要工具的觅食策略，导致了大脑尺寸、寿命和生物学的变化，为累积文化奠定了基础。到中更新世时，出现了技术复杂性的快速增长和其他新技术的發展，如火的使用、炉膛和居住空间的出现，以及使用带柄工具建造的木结构，这些都表明累积文化起源于中更新世早期。
TokenCost: 400 多种大型语言模型的 Token 价格估算工具 (github.com)
TokenCost 是一个用于估算 400 多种大型语言模型 API 使用成本的 Python 库，它可以计算 prompts 和 completions 的预估成本，并提供最新的模型价格信息和便捷的 token 计数功能。该库支持 OpenAI、Azure、Claude、Mistral 等主流模型，并提供详细的成本表格和示例代码，方便开发者进行成本估算和控制。
德州240万美元房产竟是数据中心，无卧室设计引热议 (www.tomshardware.com)
美国德克萨斯州达拉斯郊区一栋售价240万美元的房产近日引发关注，该房产外观伪装成普通住宅，内部却是一个占地5786平方英尺的数据中心，配备完整的液体冷却浸没系统，拥有三个工程流体“SLIC坦克”、500kW干式冷却器以及大量服务器机架和网络设备，可用于AI服务、云托管、传统数据中心、服务器甚至比特币挖矿等多个领域。
PCIe 7.0 光纤连接速度高达 128 GT/s (www.tomshardware.com)
Cadence 公司在 PCI-SIG DevCon 2024 大会上展示了其面向 PCIe 7.0 的专用光连接解决方案，实现了全球首个 128 GT/s PCIe 7.0 光互连演示。虽然 PCIe 7.0 规范尚未最终确定，但这项技术展示了 Cadence 在光连接解决方案方面的实力，该方案有望在未来几年内满足对 PCIe 7.0 光连接的需求。
关于软件本质复杂性的思考 (olano.dev)
文章探讨了软件工程中本质复杂性的概念。作者认为，虽然传统观点认为本质复杂性是无法简化的，但如果我们能够改变软件所服务的现实世界，那么本质复杂性也是可以被减少的。作者以软件如何改变用户行为和组织流程为例，说明了软件工程师可以通过重新定义问题、简化系统以及影响组织变革来降低本质复杂性。
GPT-4o在ARC-AGI上取得50%的准确率，达到SOTA (redwoodresearch.substack.com)
文章介绍了作者如何利用GPT-4o在ARC-AGI数据集上取得了50%的准确率，超越当前最先进水平。作者通过生成大量Python程序、使用精心设计的few-shot提示以及代码修正等方法，显著提高了模型性能。作者还分析了GPT-4o的不足，如视觉理解能力差、编码能力有限等，并预测了未来大语言模型在解决ARC-AGI等复杂问题上的潜力和风险。
基于FPGA的Apple II磁盘控制器 (www.bigmessowires.com)
本文介绍了作者利用FPGA芯片为Apple II电脑设计通用磁盘控制器的想法和过程。作者详细介绍了硬件设计，包括FPGA芯片选择、电路连接以及遇到的JTAG编程问题。作者还探讨了将该项目产品化，以及用户如何更新固件的设想。
Java 中比较 BigDecimals 的陷阱 (igorstechnoclub.com)
这篇文章探讨了 Java 中 BigDecimal 类的 equals() 方法在比较数值时可能出现的意外结果。equals() 方法比较的是 BigDecimal 的无标度值和标度，而不是数值相等性，这可能导致比较结果不一致。文章建议使用 compareTo() 方法进行数值比较，或者使用 stripTrailingZeros() 方法对 BigDecimal 进行规范化，以避免潜在的陷阱。
吞下口香糖会发生什么？ (health.clevelandclinic.org)
偶尔吞下一块口香糖并不会造成伤害，但不要养成定期吞咽口香糖的习惯。口香糖中的胶基无法被消化，会直接通过肠道排出体外，大约40小时后就会出现在你的粪便中。但短时间内吞下大量的口香糖可能会导致肠道阻塞，出现腹痛、便秘、严重痉挛、呕吐等症状，应立即就医。
紧急行动：欧盟理事会即将通过聊天监控法案 (www.patrick-breyer.de)
欧盟理事会比利时轮值主席国计划于6月19日向欧盟各国政府提交大规模聊天监控法案，该法案将允许政府审查民众私人通信内容。部分欧盟国家尚未决定是否支持该提案，但德国、卢森堡、荷兰、奥地利和波兰已明确表示反对。文章呼吁民众行动起来，联系政府表达反对意见，并在网络上发出警示，共同阻止聊天监控法案的通过。
苹果正在开发更薄的 MacBook Pro、Apple Watch 和 iPhone (www.macrumors.com)
据 Bloomberg 的 Mark Gurman 报道，苹果公司有意缩减 MacBook Pro、Apple Watch 和 iPhone 的厚度，新款超薄 M4 iPad Pro 标志着该公司新设计轨迹的开始。Gurman 表示，就像 iPad Pro 一样，苹果现在的重点是在不牺牲电池续航时间或主要新功能的情况下，在其产品线中提供尽可能薄的设备。据报道，苹果现在的目标是在未来几年内推出更薄版本的 iPhone、Apple Watch 和 MacBook Pro。