石英热阱利用太阳能，将彻底改变冶炼行业 (www.popularmechanics.com)
瑞士苏黎世联邦理工学院的研究人员开发了一种新的太阳能热阱技术，利用石英罩可以达到1050摄氏度的高温，远超以往的技术。这项技术可用于水泥和钢铁等高耗能行业的生产，有望取代化石燃料，实现碳减排的目标。
B轮融资公告 (x.ai)
xAI公司宣布完成60亿美元B轮融资，投资者包括Valor Equity Partners、Vy Capital、Andreessen Horowitz、红杉资本、Fidelity Management & Research Company、Prince Alwaleed Bin Talal and Kingdom Holding等。xAI自2023年7月成立以来发展迅速，发布了Grok-1、Grok-1.5和Grok-1.5V等模型，并开源了Grok-1。融资将用于产品上市、基础设施建设和研发。xAI致力于开发真实、有能力、对人类有益的先进人工智能系统，其使命是理解宇宙的本质。
蓝宝石般的遭遇：维维安石的蓝色人骨 (www.atlasobscura.com)
这篇文章探索了维维安石的迷人世界，一种罕见的蓝色矿物，它与发现于美国佛罗里达州古代土著遗址中的人骨有关。它深入探讨了维维安石形成的化学过程，这种矿物是如何渗入遗骸中的，以及它对了解过去文化和丧葬习俗的潜在意义。文章还提供了维维安石发现的其他案例，包括在埃及和苏格兰发现的例子。
Emacs 窗口管理年鉴 (karthinks.com)
这篇文章探讨了 Emacs 中各种窗口管理方法，从基础的 other-window 和 windmove，到高效的 winum-mode 和 ace-window，再到鼠标操作和窗口布局变换等。文章还深入探讨了如何利用 other-window-prefix 和 ace-window-prefix 解耦窗口选择和命令执行，并提供了在其他窗口执行操作的技巧，例如 scroll-other-window 和 isearch-other-window。最后，文章还提出了对 Emacs 窗口管理未来的展望，包括 window-tree 和 tiling-wm 集成等。
切比雪夫逼近：帮你省钱、交朋友、影响他人 (www.EmbeddedRelated.com)
本文介绍了切比雪夫逼近，这是一种用最少的计算量来逼近数学函数的方法。文章首先讨论了嵌入式系统中数学计算的特殊性，指出精度并非首要考虑因素。然后，文章以平方根函数为例，比较了泰勒级数展开和查找表方法的优缺点，并引入了切比雪夫多项式。切比雪夫逼近使用切比雪夫节点，能够更均匀地分布逼近误差，并通过截断系数来降低多项式次数。文章还给出了使用切比雪夫逼近拟合经验数据的加权最小二乘法，并提供了一些常见函数的切比雪夫系数。最后，文章总结了切比雪夫逼近的优势和应用场景。
布拉格天文钟模拟器 (github.com)
该项目是一个布拉格天文钟的模拟器，该钟最初安装于1410年，至今仍在运行。真实的钟表被设计成在布拉格的特定纬度（约50°N）运行。而该模拟器可以设置在地球上的任何位置，可以显示当前时间，也可以设置特定时间来查看时间是如何显示的。模拟器的指针、小时刻度盘、太阳、月亮和黄道轮的定位默认使用计算机时钟和现代天文计算，但也可以模拟机械钟计时。
我的编程之旅 (gavinhoward.com)
这篇文章讲述了作者Gavin D. Howard的编程学习和职业生涯经历。作者的父亲是一位资深程序员，在作者小时候就接触到编程书籍，并自学了C++和Java。作者对图形界面编程很感兴趣，但早期的电脑条件有限。作者在中学时通过TI-84计算器开始学习编程，并在大学期间学习了计算机科学，并参加了开源项目和技术会议。毕业后，作者曾在多家公司工作，但由于不擅长团队合作和阅读他人代码，始终无法适应软件工程师的工作。最终，作者选择成为一名独立开发者，并开发了自己的编程语言和软件项目。
无记忆清醒的一小时 (ericneyman.wordpress.com)
作者描述了自己在接受冠状切除术后经历的一小时无短期记忆状态。期间，他意识清醒，但不断重复询问女友相同的问题，并进行了一些简单的认知测试，如两位数乘法和单词拼写游戏。作者发现，尽管失去了短期记忆，他的认知能力并没有受到显著影响，并计划在未来进行更多类似实验。
StarkeBlog - 逆向工程 MenuetOS 64 - 初级引导加载程序 (starkeblog.com)
本文介绍了MenuetOS 64位版本操作系统的启动过程，分析了其主引导加载程序（PBL）的运行机制。文章首先介绍了x86/x64环境下UEFI和BIOS两种引导系统的区别，以及主引导记录（MBR）的概念。随后，文章详细分析了MenuetOS 64位版本的PBL代码，包括如何使用BIOS中断函数读取磁盘扇区、如何将内核和配置文件加载到内存中，以及如何将控制权移交给内核。
古代病毒DNA与精神疾病的关联 (theconversation.com)
最新研究表明，人类基因组中的一些远古病毒DNA序列可能与精神疾病（如精神分裂症、双相情感障碍和重度抑郁症）的易感性有关。这些被称为人类内源性逆转录病毒(Hervs)的序列，是远古时期逆转录病毒感染后残留下来的，它们可以调节其他人类基因的表达，甚至产生RNA和蛋白质。研究发现，四种Hervs的表达与精神疾病的遗传易感性相关，这表明Hervs在大脑中的作用可能比最初想象的更为重要。
DHCPv6-PD：第一步 (sha256.net)
本文介绍了OpenBSD系统中DHCPv6-PD功能的实现。作者首先概述了DHCPv6-PD的背景和重要性，然后详细介绍了如何将dhcpleased(8)改造为dhcp6leased(8)，并使用ISC的Kea DHCP服务器进行开发和测试。文章还探讨了描述网络拓扑、子网分配和地址规划等问题，并比较了dhcpcd和dhcp6leased在处理这些问题上的异同。最后，作者展望了dhcp6leased的未来发展方向，包括自动计算请求前缀的大小和输出地址规划等功能。
Cirkoban：当推箱子遇见细胞自动机 (spritely.institute)
Cirkoban 是一款结合了推箱子和 Wireworld 细胞自动机的益智游戏，由 Spritely Institute 使用 Scheme 语言开发。玩家需要扮演一只猫头鹰，在一个充满奇特电路的秘室中解谜，通过精确移动方块来修复电路并到达顶层。游戏使用了 Goblins 分布式编程库和 Hoot Scheme-to-WebAssembly 编译器，展示了 Spritely 的技术实力，特别是 Goblins 的回滚功能，允许玩家撤销之前的操作。
开启、融入、编写代码 (www.thenewatlantis.com)
这篇文章回顾了迷幻药的历史，从玛格丽特·米德的人类学研究到中情局的MKUltra项目，再到如今硅谷对微剂量的追捧。作者探讨了迷幻药从试图改变社会到成为适应社会工具的转变，批评了当代社会对迷幻药的应用缺乏对集体困境的关注，沦为个人生活方式的选择。
网站指南：你应该了解的常见页面类型 (slashpages.net)
本文介绍了网站常见页面类型，这些页面通常使用标准的根级目录，例如/now、/about 或/uses。这些页面通常描述网站背后的个人，是独立网络的显著特征。文章列举了常见的页面类型，例如/about页面用于介绍网站所有者，/blogroll页面用于列出推荐的博客，/changelog页面用于记录网站更新日志等。
收回 IPv4 E 类地址空间 240.0.0.0/4 (blog.benjojo.co.uk)
这篇文章探讨了重新利用 IPv4 E 类地址空间 (240.0.0.0/4) 的可能性。作者首先回顾了 IPv4 地址耗尽的历史背景，并解释了 E 类地址空间的由来。然后，作者分析了将 E 类地址空间用于全球路由和本地网络的优缺点，并通过实际测试展示了当前设备对 E 类地址的支持情况。作者认为，尽管将 E 类地址空间用于全球路由面临诸多挑战，但在本地网络中使用 E 类地址空间具有一定的可行性。
游戏规则改变：西南航空现已登陆谷歌航班 (viewfromthewing.com)
西南航空一直以不在第三方网站显示航班信息而闻名，但现在，西南航空的航班将出现在谷歌航班的搜索结果中。这一转变源于西南航空面临的经营压力以及美国交通部的新规。新规要求机票价格必须包含托运行李等费用，这使得一直以来提供免费托运行李的西南航空在价格上更具竞争力。
介绍 pg_timeseries：PostgreSQL 的开源时间序列扩展 (tembo.io)
pg_timeseries是一个PostgreSQL扩展，旨在为时间序列表的创建、维护和使用创造一致的用户体验。它利用PostgreSQL的原生功能和扩展，如分区、索引、物化视图和分析函数，并结合pg_partman、pg_cron和Hydra的columnar等扩展的功能，为管理和查询时间序列表提供统一而直观的界面。pg_timeseries允许用户轻松管理时间序列数据、处理高吞吐量摄取、快速回答范围查询、高效存储大量数据以及运行复杂的分析函数。
从零开始学习生成对抗网络 (ym2132.github.io)
本文详细介绍了生成对抗网络（GAN）的原理和实现过程。作者首先解释了GAN的基本概念，包括生成器（G）和判别器（D）的作用和训练目标。接着，作者以图像生成为例，逐步讲解了如何构建简单的G和D模型，并使用MNIST数据集训练了一个能够区分真实图像和随机噪声图像的D模型。最后，作者完善了G和D模型的结构，并实现了完整的GAN训练循环，展示了生成的图像结果。
M1 芯片迎来首个完全符合 Vulkan 1.3 标准的驱动程序 (rosenzweig.io)
本文讲述了开发者如何在一个月内成功为苹果 M1 芯片开发出首个完全符合 Vulkan 1.3 标准的图形驱动程序 Honeykrisp 的过程。Honeykrisp 基于开源的 NVIDIA NVK 驱动程序，并克服了 M1 架构与桌面级 GPU 之间的差异。开发者们通过借鉴 OpenGL 驱动程序的经验、采用动态状态和着色器对象等技术，以及修复各种测试中发现的错误，最终实现了这一目标。
数百万台调制解调器遭入侵始末 (samcurry.net)
本文讲述了作者发现并报告Cox通信公司存在严重安全漏洞的经历。作者最初发现自家网络流量被未知IP地址拦截和重放，怀疑调制解调器被入侵。三年后，作者与朋友深入调查，发现该IP地址与多个网络钓鱼网站和恶意软件C&C服务器相关。作者通过分析Cox Business门户网站的API，意外发现了一个授权绕过漏洞，可访问和修改数百万台调制解调器的设置，获取用户信息。作者及时向Cox报告了漏洞，并在90天后公开披露。
乔治·梅里韦瑟博士1851年的“暴风雨预报器” (victorianweb.org)
本文讲述了乔治·梅里韦瑟博士于1851年发明的“暴风雨预报器”的故事。该装置利用水蛭对大气电磁状态的敏感性来预测暴风雨。文章详细描述了该装置的构造、工作原理以及梅里韦瑟博士对其进行的测试和推广。文章还介绍了该装置在1951年英国节上展出，并最终收藏于惠特比博物馆的经历。
使用内存安全的 Circle C++ 增强 C++ 的安全性 (www.circle-lang.org)
为了解决 C++ 中普遍存在的内存安全问题，本文提出了一种名为 Circle C++ 的 C++ 超集语言，该语言提供了一个严格安全的子集，并支持与现有 C++ 代码的互操作性。Circle C++ 引入了借用检查、所有权对象模型、选择类型和模式匹配等特性，以解决 C++ 中与生命周期安全、空指针、联合类型、线程安全和运行时检查相关的安全问题。文章还讨论了采用内存安全语言的必要性，并呼吁业界重视 C++ 的安全问题，采取行动解决根本的内存安全问题，以避免 C++ 被淘汰的命运。
唐纳德·克努特的主页 (www-cs-faculty.stanford.edu)
该页面是斯坦福大学计算机程序设计艺术名誉教授唐纳德·克努特 (Donald E. Knuth) 的主页。页面上提供了常见问题解答、近期新闻、计算机随笔、书籍中的已知错误、招聘信息、近期论文预印本、个人履历、管风琴幻想曲以及可下载的图形和程序等内容。
亚马逊Prime会员新增免费Grubhub外卖服务 (www.theverge.com)
/cdn.vox-cdn.com/uploads/chorus_asset/file/23935560/acastro_STK103__03.jpg)
亚马逊宣布Prime会员将享有免费的Grubhub外卖服务。之前，Prime会员可以免费获得一年的Grubhub Plus会员资格，但现在该服务成为Prime会员的永久福利。所有用户都可以在亚马逊网站或应用程序上下单Grubhub外卖，但只有Prime会员可以享受满12美元免配送费的优惠。
打造IBM个人电脑的“怪人” (every.to)
本文讲述了唐·埃斯特奇如何领导IBM个人电脑的开发和营销，并最终改变了世界的故事。埃斯特奇是一位谦逊而富有魅力的领导者，他带领一群IBM的“怪人”工程师，克服了公司内部的阻力和官僚主义，成功地将IBM个人电脑推向市场。文章详细描述了IBM个人电脑从立项到最终取得巨大成功的过程，以及埃斯特奇在其中发挥的关键作用，同时也展现了他在IBM内部的斗争以及最终的悲剧结局。
十六进制很糟糕 (tylercipriani.com)
这篇文章探讨了如何更轻松地记住SSH指纹。由于十六进制编码难以记忆，作者介绍了Dan Kaminsky提出的一种替代方法，即使用人名和地点对来表示密钥数据，从而将复杂信息分解成更易记忆的组块。
驼峰式命名法与下划线命名法：科学对决 (whatheco.de)
本文探讨了编程中两种命名规范的优缺点：驼峰式命名法 (CamelCase) 和下划线命名法 (underscores)。作者引用了一篇研究论文，该论文表明驼峰式命名法在程序员中的准确性更高，但阅读速度较慢。作者对该研究结果进行了分析，并指出阅读速度的差异可能对代码可读性产生影响。文章最后鼓励读者根据自身经验和偏好选择合适的命名规范。
富人如何利用心理技巧显得慷慨大方（实际上并没有花更多钱） (billmei.net)
文章分析了富人如何利用消费心理學技巧，在不增加支出的情况下，通过礼物选择、品牌效应、体验式消费等方式，塑造慷慨大方的形象。作者批判了过度消费和追求物质的社会风气，鼓励读者将消费行为与个人价值观和生活故事相结合，通过二手商品、体验式消费、自制礼物等方式，在节省开支的同时展现个人魅力。
Stability AI 推出开源音频模型 Stable Audio Open (stability.ai)
Stability AI 发布了开源文本转音频模型 Stable Audio Open，可生成长达 47 秒的音频样本和音效。用户可以使用它创建鼓点、乐器重复段、环境声音、拟音和音乐制作元素。该模型支持音频变奏和音频样本的风格转换。
