EU OS并非欧盟官方项目，但其概念意义重大。它是一个基于Fedora Linux、KDE Plasma桌面环境和可启动容器技术的开源操作系统，旨在为公共部门机构提供一个通用的操作系统基础。EU OS 的价值在于提供一个通用的Linux操作系统作为所有用户的基准，并允许在其之上添加修改层（国家层、地区或部门特定层、组织特定层），实现桌面环境、用户和数据管理方法的统一。它还参与了HackDays黑客马拉松和endof10.org活动，旨在推广Linux操作系统。
阅读更多
PgDog 是一个用 Rust 编写的快速、安全且可扩展的 PostgreSQL 事务池和逻辑复制管理器，能够处理数百个数据库和数十万个连接。它支持数据库分片，提供负载均衡、健康检查和故障转移功能，并具有事务池和会话池功能，可以高效地管理大量的客户端连接。PgDog 还支持使用 OpenMetrics 进行监控，并提供 CSV 解析器和逻辑复制功能，方便数据导入和数据库分片。
阅读更多
蓝色起源公司原计划周二凌晨发射其New Glenn火箭，但由于周一早上因辅助动力装置上的排气管结冰而取消了第一次发射尝试。尽管公司尝试在周二凌晨进行第二次发射，但由于天气状况不佳（70%几率出现不利天气条件）和与另一枚火箭的发射时间冲突，最终将发射时间推迟到周四凌晨。
阅读更多
一项新的研究调查了40个国家的人们对新闻公正性的偏好。结果发现，虽然大多数人表示偏爱公正新闻，但一些群体更倾向于与自身观点一致的新闻：政治参与度高且有明确意识形态的人、主要依赖社交媒体获取新闻的年轻人、女性以及社会经济地位较低的人群。该研究还发现，在新闻来源多样化且民主质量较低的国家，人们对非公正新闻的支持度更高。这项研究挑战了新闻公正性的传统观念，表明人们对“公正”的理解与其所处的政治、社会和经济环境密切相关。
阅读更多
三星电子副董事长韩钟熙于周二因心脏病去世，享年63岁。韩钟熙在三星电子任职期间担任多个关键职位，包括LCD电视实验室负责人。2021年，他被任命为副董事长兼联席首席执行官，负责公司设备体验（DX）部门，该部门负责公司的电子产品和消费设备业务。他的去世对三星电子乃至整个科技界都是巨大的损失。
阅读更多
位于澳大利亚卡纳冯的一座29米宽的NASA卫星天线，在沉睡近40年后，成功接收到了第一個信号。加拿大航天公司ThothX于2022年租赁了这座天线，并对其进行了修复。经过一番努力，包括清理鸽子粪便和手动旋转天线等，他们最终成功接收到了信号。未来，该天线将被用于追踪轨道交通和“敌对”航天器，为其在全球卫星追踪网络中占据关键地位。
阅读更多
数百万台旧款谷歌Chromecast设备突然“罢工”，原因竟是设备身份验证证书过期！这次事故并非简单的软件故障，而是涉及到复杂的数字签名和证书链。谷歌官方虽然承认问题并承诺修复，但修复过程可能需要数周时间，甚至需要协调多个团队更新应用。业内专家分析指出，谷歌可能需要耗费一个月以上的时间来构建并测试新的Chromecast更新，以更新过期的证书，或者协调多个团队发布新的应用程序版本。此次事件也暴露出谷歌在设备安全和维护方面的不足，引发了用户对产品生命周期和安全更新的担忧。
阅读更多
麻省理工学院教授Peter Shor的2022年秋季量子计算课程(8.370/18.435)讲义现已公开。这份讲义涵盖了量子计算的方方面面，从量子叠加原理和酉变换到量子测量、量子纠缠和量子算法，例如Deutsch-Jozsa算法、Simon算法、Shor算法和Grover算法。此外，还包括量子误差纠正码和量子密钥分发协议等高级主题。虽然缺少第26讲的讲义，但这套完整的讲义为学习量子计算提供了宝贵的资源。
阅读更多
美国国家档案馆 (NARA) 公布了新的不明异常现象 (UAP) 记录，这些记录来自国家情报总监办公室、国防部部长办公室、联邦航空管理局和核管理委员会，根据2024年国防授权法案的要求进行转移。这些文件现已成为国家档案馆的不明异常现象档案的一部分，档案馆将继续添加并在线发布更多记录，以最大限度地提高透明度。
阅读更多
作者通过运用机器学习技术，尝试统计蒙古国境内蒙古包的数量。文章详细描述了从数据收集、模型训练到部署和最终结果的整个过程，展现了作者在处理海量地理空间数据和克服技术挑战方面的创造力。最终统计结果显示蒙古国约有17万多个蒙古包，这不仅是一个科技成果，也从侧面反映了蒙古国社会经济发展和城市化进程中的独特现象：传统游牧文化与现代城市生活的交融。
阅读更多
宾夕法尼亚州立大学的研究人员开发出一种革命性的3D打印脑电极，其设计模仿人类毛发，并采用生物粘合墨水，无需凝胶即可直接粘附于头皮。这种轻巧、灵活且可拉伸的电极能够长时间佩戴，即使梳头或戴帽子也不会脱落，显著提高了信号质量，可用于慢性监测。该设备的性能与黄金电极相当，但其与皮肤的接触更好，且能持续24小时以上保持稳定信号。这项突破有望彻底改变脑电图监测，让患者更舒适，数据更可靠。
阅读更多
本文介绍了 Elm 语言中如何使用 Test.Distribution 来确保属性测试覆盖有趣的案例。作者通过一个队列实现的例子，演示了如何使用 Test.reportDistribution 生成测试数据的分布报告，以及如何使用 Test.expectDistribution 强制执行期望的分布。这使得开发者可以更精确地控制测试的覆盖率，避免因为测试数据分布不均匀而漏掉重要的测试案例。文章还提到了 Fuzz.examples 和 Fuzz.labelExamples 函数，可以帮助开发者更好地理解和调试测试数据。
阅读更多
Salesforce研究团队开发的新基准测试CRMArena-Pro显示，大型语言模型（LLM）驱动的AI客服代理在标准CRM测试中的表现低于预期。单步任务成功率约为58%，多步任务成功率骤降至35%。更令人担忧的是，这些AI代理对客户信息的保密性意识低，常常影响任务执行。该研究强调了现有基准测试的不足，并指出LLM在实际企业场景中的应用仍存在巨大差距，这可能会让依赖AI客服的企业和开发者感到担忧。
阅读更多
宇宙深空摄影的色彩校准是个难题。人眼和相机对色彩的感知差异巨大，相机传感器对红外线的敏感度以及对不同元素发射光谱的反应，导致最终成像颜色与人眼所见大相径庭。例如，氢原子发射的H-α谱线人眼不易察觉，但相机却很敏感，导致星云呈现出与人眼观测不同的颜色。即使进行色彩校正，也无法完美还原人眼所见的颜色，因为空间光照环境与地球上的完全不同，没有统一的光源和亮度。最终，作者建议保留相机原始色彩，并根据平均螺旋星系设定白平衡。
阅读更多
SubTropolis，一个面积相当于42个箭头体育场的地下奇迹，将废弃的石灰岩矿井改造成繁荣的地下城市。其拥有超过10英里的铺设道路和节能LED照明，石灰岩墙提供天然隔热，使其获得ENERGY STAR®的满分评级。安全方面，坚固的石灰岩柱和24/7监控确保了其安全性，吸引了政府机构和高价值租户。目前，SubTropolis正计划再开发800万平方英尺的工业空间，展现了其持续发展的潜力。
阅读更多
Emilua是一款创新的容器运行时，它采用C语言编写，并使用Lua脚本进行配置，支持Linux namespaces和FreeBSD jails等多种内核技术。不同于传统的基于CLI的容器运行时，Emilua利用Lua的编程能力，提供了高度的灵活性和安全性，避免了使用BASH脚本的诸多风险，例如同步问题和安全漏洞。它还特别关注安全性，例如防止从容器镜像调用二进制文件，以及安全地清除临时缓冲区的内容。此外，Emilua还可以用于创建Capsicum沙箱，展现了其强大的灵活性和适应性。总而言之，Emilua为容器管理提供了更安全、更灵活的解决方案，尤其适用于需要自定义容器设置阶段的复杂场景。
阅读更多
自2022年2月俄乌战争爆发以来，近五分之一的乌克兰互联网地址空间落入俄罗斯控制之下或被出售给互联网地址经纪人。研究发现，大量乌克兰IP地址空间掌握在隐藏在大型美国互联网服务提供商（ISP）背后的影子代理和匿名服务手中。乌克兰ISP为了维持运营，被迫出售宝贵的IPv4地址空间。这些地址最终被用于全球各地的代理服务，其中许多被用于针对乌克兰和俄罗斯敌人的网络攻击，甚至一些被用于俄罗斯支持的黑客组织发起的DDoS攻击和鱼叉式网络钓鱼攻击。美国电信巨头AT&T已改变其政策，不再允许使用其未提供的IP地址进行静态路由，这可能会迫使许多代理服务迁移到其他美国提供商。
阅读更多
dbt Labs收购了SDF Labs，这家公司拥有先进的SQL理解技术。此举将显著提升dbt的开发者体验，包括大幅提升编译速度、提供IDE代码自动补全、以及更精准的数据血缘追踪等。SDF的技术能够让dbt更深入地理解用户编写的SQL，从而实现更强大的功能和更流畅的开发流程，这被比作是数据领域里的“React时刻”。
阅读更多
在 70 年代，Unix 的拼写检查器如何在只有 64kB RAM 的 PDP-11 计算机上运行？这篇文章讲述了 Douglas McIlroy 如何通过巧妙的数据结构和压缩技术解决这一难题。他首先使用布隆过滤器进行快速查找，但随着字典大小的增加，他转向了一种创新的哈希压缩方案。通过分析哈希值的差值符合几何分布，并利用 Golomb 编码，他实现了接近理论极限的压缩率，最终在内存和速度之间取得了平衡。这是一个关于如何在资源受限环境下进行巧妙工程设计的经典案例。
阅读更多
二战后，为了弥补战争创伤，一种名为“垃圾游乐场”的实验性游乐设施兴起。它们并非传统的滑梯秋千，而是由废弃材料搭建而成，鼓励孩子们自由搭建、探索和角色扮演，甚至允许玩火。丹麦的Emdrup游乐场是其中的代表，孩子们在这里建造了50英尺高的塔楼。然而，由于安全担忧和审美问题，“垃圾游乐场”逐渐被更“漂亮”的冒险游乐场取代，其鼓励创造和合作的精神也日渐式微。如今，Minecraft等游戏在一定程度上继承了这种精神，但仍无法完全替代真实世界的体验。文章探讨了实验性游乐场的历史和价值，并呼吁在城市中设计更具想象力和参与性的儿童游乐空间。
阅读更多
加州数学框架（CMF）的更新引发了激烈的争论，被称为“数学战争”。一方主张改革，提倡以更贴近生活、更具包容性的数据科学课程替代传统的代数课程，以提高学生的学习兴趣和数学素养，缩小不同群体间的数学成绩差距；另一方则认为，数据科学课程不够严谨，无法替代代数课程，担心会影响学生未来的STEM职业发展。争论甚至延伸到社交媒体和政治层面，引发了诸多争议。最终，在专家和科技巨头的共同努力下，加州大学撤销了数据科学课程替代代数课程的政策，并成立工作组制定更完善的数学课程标准。这场“战争”暴露了美国数学教育的不足，也促进了相关改革的深入推进。
阅读更多
你是否好奇 Linux 系统是如何找到你执行的命令的？答案是：它依赖于 shell，而不是内核！本文深入探讨了 PATH 环境变量的工作机制，揭示了 shell（例如 dash）如何通过 `padvance` 函数在 PATH 中搜索可执行文件，而内核的 `execve` 系统调用实际上已经获得了文件的完整路径。Python、Go 和 Rust 等编程语言的子进程库也各自实现了 PATH 搜索功能，最终都依赖于底层 `execvp` 等函数。文章还解释了为什么 shebang 需要绝对路径，以及 `/usr/bin/env` 的巧妙作用。
阅读更多
作者遭遇了从粘贴文本中手动清理嵌套的``和``标签的困境。这些文本的格式混乱，机器生成的格式注重外观而非语义，导致文本几乎无法编辑。作者认为，这种糟糕的编辑体验会让普通用户放弃编辑，因此提出了“WYSINWLB：What You See Is Not What Lies Beneath”的概念，凸显了所见非所得的文本编辑难题。
Pigz，一个 Unix 风格的压缩工具，其 Windows 移植过程出乎意料地顺利。文章详细描述了移植过程中遇到的挑战，例如 pthreads 线程库和 dirent 函数库的差异，以及一些 C 库函数名称的细微差别。作者巧妙地利用现有的兼容性补丁和 Premake 构建系统解决了这些问题。Premake 的使用简化了 Visual Studio 项目文件的创建和维护，最终实现了 Pigz 在 Windows 系统上的成功运行。
阅读更多
近年来，赤藓糖醇这种代糖广泛应用于各种低糖食品中。然而，科罗拉多大学博尔德分校的一项新研究表明，赤藓糖醇可能存在严重的健康风险。研究发现，赤藓糖醇会以多种方式影响脑细胞，增加中风的风险。研究人员在体外实验中发现，赤藓糖醇会减少一氧化氮的产生，增加内皮素-1的产生，并抑制t-PA的产生，从而导致血管收缩和血栓形成。此外，赤藓糖醇还会增加活性氧的产生，损害细胞并引发炎症。虽然这项研究是在细胞水平上进行的，但研究人员建议消费者应谨慎食用含有赤藓糖醇的食品，并关注其摄入量。
阅读更多
本文深入探讨了 Ruby 中单例类的概念，它虽然没有官方名称多年，却是 Ruby 面向对象语义的关键。文章解释了单例类并非真正的单例或类，而是解决如何在纯面向对象语言中将方法附加到特定类的问题的巧妙方案。文章对比了 Python 和 Smalltalk 的解决方案，并详细解释了 Ruby 使用单例类实现类方法的机制，包括三种定义单例类方法的语法，以及 Ruby 选择这种方案的原因，最终揭示了单例类在 Ruby 面向对象系统中的一致性和重要性。
阅读更多
OpenAI对纽约时报要求其保留ChatGPT用户已删除的聊天记录的法院命令提出上诉。该命令源于纽约时报对OpenAI未经授权使用其内容的版权诉讼。OpenAI声称该命令过度干预，并承诺仅授权小型审计过的法律和安全团队在必要时访问这些数据以履行法律义务。他们强调，此命令不影响采用零数据保留协议的OpenAI API商业客户。
阅读更多
作者以自己儿子大学棒球运动员的经历为切入点，巧妙地将大学体育项目的招生过程与风险投资融资过程进行了类比。他指出，两者都充满了不确定性、高风险和高回报，都需要精明的决策和对未来的判断。文章详细对比了“投球演示”（pitch deck）、“长期也许”（long maybe）、“条款清单”（term sheet）等多个方面，揭示了它们在过程和策略上的惊人相似性，并最终给出了对运动员和创业者都有益的建议：明确目标，坚持目标，选择真正想要你的人。
阅读更多
大型语言模型（LLM）的“幻觉”问题——即生成不准确信息——在医疗领域尤其危险。Mayo诊所采用了一种创新的“逆向RAG”技术来解决这个问题。该技术通过将模型提取的信息与原始数据源链接，消除了几乎所有基于数据检索的幻觉，从而能够在临床实践中推广使用该模型。这项技术结合了CURE算法和向量数据库，确保了每个数据点都能被追溯到原始来源，提高了模型的可靠性和可信度，显著减少了医生的工作负担，并为个性化医疗提供了新的可能。
阅读更多
1981年，HP 9845C作为HP 9845系列的顶级型号横空出世，它不仅是首款支持彩色的HP电脑，更以其强大的图形处理能力惊艳世人。它搭载硬件加速的矢量绘图和多边形填充功能，并支持快速矩阵运算以渲染3D模型。这款最初为科学和工程环境设计的电脑，最终却成为多用途系统，甚至参与了1983年电影《战争游戏》的图形场景制作。其演示程序更是令人瞩目，包含超过4000行代码，利用高达4913色的高分辨率图形，展现了3D着色、有序抖动、线框渲染、交互式光笔控制和彩色信息图表等当时最先进的计算机图形和人机交互理念。
阅读更多