核手提箱 可扩展服务 policy 颈挂空调 计算机硬件 极端主义 PostgreSQL AI工具 儿童读物 化学 即时消息 代码审查 反向工程 KDE 数据安全 效率工具 超级计算机 植物学 分析化学 插图 Three.js 泄露 大会 初创 Verizon 海水淡化 GPT-3 数字革命 加速器项目 更多

我厌倦了 Makefiles (dmitryfrank.com)

本文作者表达了对Makefiles的厌倦,列举了Makefile的几大问题:Makefile复用困难、编译标志更改不会导致目标重建、重命名头文件后增量构建失败以及基于时间戳判断重建目标不可靠。作者最终决定学习Bazel,尝试新的构建工具。

面对重返办公室的要求,一些顶尖科技人才选择离开 (www.washingtonpost.com)

芝加哥大学和密歇根大学的研究人员发表的一项案例研究表明,苹果、微软和 SpaceX 等大型科技公司在强制要求员工重返办公室后,高级人才离职率激增。这些经验丰富的员工往往选择加入竞争对手,不愿放弃远程工作。

Unix 与 Multics (www.multicians.org)

本文讲述了 Unix 的历史渊源,以及其与 Multics 操作系统的关系。贝尔实验室曾参与 Multics 项目,但于 1969 年退出,随后其研究人员 Ken Thompson 和 Dennis Ritchie 开发了 Unix。Unix 借鉴了 Multics 的一些设计理念,但目标更简洁实用。文章作者 Tom Van Vleck 曾参与 Multics 项目,他以亲身经历讲述了这段历史,并表达了对 Unix 取得成功的欣慰之情。

NANO 核能公司:美国首家上市的便携式核微反应堆公司 (nanonuclearenergy.com)

NANO核能公司(NASDAQ: NNE)是一家新兴的先进技术驱动型核能公司,致力于成为一家商业化、多元化和垂直整合的公司,涵盖四个业务领域:便携式微反应堆技术、核燃料制造、核燃料运输和核工业咨询服务。NANO Nuclear认为它是美国第一家公开上市的便携式核微反应堆公司,其技术开发的产品包括固体核心电池反应堆“ZEUS”和低压冷却剂反应堆“ODIN”,它们代表了清洁能源解决方案的先进发展,是便携式、按需 capable 的先进核微反应堆。

智能车辆或将彻底改变交通信号灯 (apnews.com)

随着汽车和卡车变得越来越智能化和互联化,控制交通流量一个多世纪的交通信号灯也可能迎来重大变革。研究人员正在探索利用现代汽车的GPS等功能,使交通更加安全高效。最终,升级后的交通信号灯可能会完全取代现有的红、黄、绿三色灯,将控制权交给无人驾驶汽车。

亚马逊S3将不再对部分HTTP错误代码收费 (aws.amazon.com)

亚马逊S3将不再对用户未发起的未授权请求收费。这项改变意味着,如果HTTP 403(拒绝访问)错误响应是由AWS账户或AWS组织外部发起的,则存储桶所有者将不再承担请求或带宽费用。此计费更改适用于所有S3存储桶,无需更改客户应用程序。

谷歌 Gemini 更新:1.5 Pro 版本发布及新功能介绍 (blog.google)

谷歌发布 Gemini 1.5 Pro 版本,为高级订阅用户提供更智能的 AI 体验。该版本拥有更长的上下文窗口,可处理多达 100 万个token,能够理解多个大型文档或总结 100 封电子邮件。此外,Gemini 1.5 Pro 还新增了数据分析功能,可从上传的数据文件中创建可视化图表。谷歌还推出了新的交互方式,包括在 Google Messages 中与 Gemini 聊天,以及名为 Live 的移动对话体验,使用户能够更自然地与 Gemini 进行语音交流。

日历,而非待办事项列表:将时间视为空间 (deviparikh.medium.com)

本文作者分享了高效时间管理的技巧,核心是将时间视为空间,利用日历安排所有事项,包括工作、生活、休息等。作者强调了预估时间和实际所需时间的校准系数,以及根据个人情况灵活调整计划的重要性。文章还建议将大型任务分解成可管理的小任务,并通过回溯和预见来确保项目的顺利进行。最终目标是通过可视化时间安排,帮助读者掌控每一天和每一周。

什么是第三空间?如何找到它? (www.vox.com)

本文探讨了“第三空间”的概念,即除家(第一空间)和工作场所(第二空间)之外,人们常去的场所,例如酒吧、公园、健身房等。第三空间为人们提供社交、休闲和建立人际关系的机会,对个人幸福感和社区凝聚力至关重要。然而,由于社会经济因素、城市规划以及人们生活方式的改变,第三空间正在减少。文章呼吁重新思考和重塑第三空间,以满足当代人的需求,并提供了一些寻找和利用第三空间的建议。

FORGE:面向文件的反射式图形环境 (www.fornaxis.org)

FORGE是一个独立于语言、操作系统和GUI的窗口API,以虚拟文件系统的形式提供。FORGE API不是将编程接口定义为一组函数,而是一组文件操作。FORGE本质上是面向对象的,但对象都是文件,方法是POSIX文件调用。FORGE允许用户通过shell脚本构建原生外观的应用程序,并支持交互式shell来逐行编写程序或检查和更改正在运行的程序的视图结构。

Emoji 历史:缺失的岁月 (blog.gingerbeardman.com)

这篇文章深入探讨了Emoji的历史,发现Emoji并非如普遍认为的那样起源于1997年的日本软银或1999年的NTT DoCoMo。作者通过研究上世纪八九十年代的日本电子设备,如夏普PI-4000 袖珍电脑、NEC PI-ET1,以及夏普的文字处理器和电子记事簿,发现这些设备中已经包含了Emoji。作者追溯了Emoji的起源,最早可追溯到1965年出版的一本排版符号书籍中出现的“带脸的满月”符号。文章还讨论了Emoji的定义,以及在移动手机普及之前,Emoji在寻呼机上的使用情况。

AI 测试厨房 (aitestkitchen.withgoogle.com)

AI Test Kitchen是一个谷歌开发的AI模型测试平台,用户可以通过该平台体验最新的AI技术,例如VideoFX,该技术可以根据文字描述生成视频。平台目前处于测试阶段,需要用户注册谷歌账号才可参与体验。

十五个基本属性 | 卡米洛·维西尼 (camillovisini.com)

本文介绍了建筑师和设计理论家克里斯托弗·亚历山大提出的整体性的十五个基本属性,包括尺度级别、强中心、厚边界、交替重复、正空间、良好形状、局部对称、深度互锁和模糊性、对比、梯度、粗糙度、回声、空隙、简单和内在的平静以及不可分离性。这些属性解释了物体和建筑物如何通过其组成元素的排列和相互作用来实现整体性。

记忆大师之死 (www.historytoday.com)

本文讲述了记忆大师所罗门·舍雷舍夫斯基的故事。舍雷舍夫斯基拥有超凡的记忆力,能够记住任何事情,即使是15年前听到的意大利语诗歌。他的记忆策略是将每个词语转化为图像,并将其分布在他熟悉的街道上,形成记忆宫殿。舍雷舍夫斯基于1958年5月1日去世,虽然他没有成为梦想中的英雄,但他的超凡记忆力让他获得了另一种伟大。

利用大型语言模型实现准确高效的文档分析 (arxiv.org)

这篇论文介绍了ZenDB,一个用于分析文档集合的系统。ZenDB利用大型语言模型和文档的语义结构来回答SQL查询。它可以高效地从模板化文档中提取语义层次结构,并使用一种新的查询引擎来利用这些结构进行准确且经济高效的查询执行。实验结果表明,与基于LLM的基线相比,ZenDB可以节省高达30%的成本,同时保持或提高准确性,并且在精度和召回率方面分别超过基于RAG的基线高达61%和80%。

部分符号化、稀疏性利用自动微分的一次意外之旅;或主啊,你能给我买一个拉普拉斯近似吗? (dansblog.netlify.app)

本文介绍了拉普拉斯近似,并探讨了如何利用JAX的中间表示jaxpr来加速Hessian矩阵的计算。作者通过将表达式图分解为线性与非线性子图,并利用Hessian矩阵的稀疏性,实现了近似Hessian矩阵的快速计算方法,并与标准的自动微分Hessian计算方法进行了性能比较。

芯片法案助力美国私营企业收购Polar晶圆厂 (www.theregister.com)

美国拜登政府将动用《芯片法案》资金,向Polar Semiconductor提供高达1.2亿美元的资金,用于在未来两年内将其传感器和电源芯片的产能翻倍,并升级其制造套件,同时增加160个工作岗位。这笔资金还将用于支持一项私募股权投资,将Polar从一家多数外国拥有的内部制造商转变为一家多数美国拥有的商业代工厂,从而扩大美国芯片设计人员在国内创新和生产技术的机会。

青少年正念干预反而降低正念水平 (suchscience.net)

最近一项研究表明,近年来在学校广泛实施的正念项目,并不能显著提升青少年的心理健康或幸福感。研究人员重新分析了2022年一项荟萃分析的数据,发现普遍的学校正念干预(uSBMI)对青少年的一系列心理健康结果没有显著改善。反而降低了学生自我报告的正念水平。研究结果对uSBMI作为一种普遍的青少年预防方法的价值提出了质疑,并强调了严格评估其在现实世界中的影响的重要性。

B级片之王罗杰·科曼去世,享年98岁 (variety.com)

传奇B级片之王罗杰·科曼去世,享年98岁。科曼导演和制作了数百部低成本电影,并发现了杰克·尼科尔森、马丁·斯科塞斯和罗伯特·德尼罗等未来的行业明星。科曼的电影帝国以快节奏、低成本的类型片闻名,包括恐怖片、动作片、科幻片,甚至一些家庭片,他的公司成为各种主要人才的训练场,从尼科尔森和德尼罗这样的演员到弗朗西斯·福特·科波拉和斯科塞斯这样的导演。

IndexedDB 作为向量数据库 (paul.kinlan.me)

本文介绍了作者使用 IndexedDB 构建向量数据库的实验,该数据库名为“Vector IDB”,旨在替代 Pinecone 等向量搜索服务。作者详细介绍了 Vector IDB 的 API 和使用方法,并指出该数据库目前缺乏索引优化、预过滤和后过滤等功能。作者希望通过这个项目,探索在浏览器中直接存储和查询 Open AI 等 API 生成的嵌入向量,而无需依赖托管解决方案。

这是一个充满奇迹的时代 (blog.plover.com)

本文作者漫步费城,想象与本杰明·富兰克林对话,探讨自 1790 年以来世界的变化。作者认为,许多现代科技,如互联网和登月,虽然令人惊叹,但富兰克林或许不会感到太过意外。真正令富兰克林震惊的是一些日常科技,例如CAT扫描和GPS,这些科技的工作原理对 18 世纪的人来说难以想象。作者还列举了其他令人惊叹的科学进步,如对秀丽隐杆线虫所有细胞及其连接的了解,以及对果蝇幼虫大脑神经元和突触的完整映射。最后,作者感叹道,我们甚至能够从地球上数十亿块岩石中识别出数百块来自火星的陨石,这充分展现了人类知识的进步。

哪些编程语言最省电? (thenewstack.io)

葡萄牙三所大学的研究人员调查了不同编程语言的能耗,发现C语言总体上速度最快、能效最高,但在特定测试中,Rust的能效更高。研究指出,程序运行速度越快并不总是越节能,并分析了编译型、解释型和虚拟机语言的能耗差异。研究发现,编译型语言通常能效更高、运行速度更快,而解释型语言则相反。研究人员建议根据具体应用场景选择合适的编程语言,因为没有一种语言在所有情况下都是最佳选择。

商业空间站即将进入发射阶段 (spectrum.ieee.org)

随着私营公司努力为外太空的科学、商业和旅游提供新的机会,空间站的换岗即将到来。蓝色起源公司是众多私营部门参与者之一,他们的目标是在国际空间站(ISS)逐渐退役之际,在低地球轨道(LEO)开展商业活动。蓝色起源公司轨道礁计划的合作伙伴,包括红线公司、塞拉空间公司和波音公司,都在各自的项目组成部分取得了进展。轨道礁最近在美国宇航局的协助下,完成了其关键生命支持系统的测试里程碑,包括微量污染物控制、水污染物氧化、尿液水回收和水箱测试等目标。

NASA公布在月球上建造磁悬浮机器人列车的计划 (www.livescience.com)

美国国家航空航天局(NASA)正在推进一项在月球上建造磁悬浮列车的计划,该项目被称为“轨道上的灵活悬浮”(FLOAT)。FLOAT项目旨在开发一种可靠、自主和高效的月球货物运输系统,预计在2030年代投入使用。该系统将由磁悬浮机器人组成,在三层薄膜轨道上运行,以减少月球表面灰尘的磨损。安装在机器人上的货车将以约1英里/小时(1.61公里/小时)的速度移动,每天可以运送约100吨(90公吨)的材料。

GitHub - containers/podman-desktop-extension-ai-lab: 在本地环境中使用容器处理大型语言模型 (github.com)

Podman AI Lab 是 Podman Desktop 的开源扩展,用于在本地环境中使用大型语言模型 (LLM)。 它提供了一个包含常见 AI 用例的配方目录、一组精选的开源模型,以及一个用于学习、原型设计和实验的游乐场。 Podman AI Lab 帮助您快速轻松地将 AI 引入您的应用程序,而无需依赖笔记本电脑以外的基础架构,从而确保数据隐私和安全。

潜伏者也是参与者:重新思考网络文化中的数字素养 (newbooksnetwork.com)

吉娜·西普利的新书《只为评论而来:潜伏作为数字素养实践》挑战了传统观念中对网络参与文化的定义,认为潜伏(即只看不发)也是一种具有抵抗性的传播和素养实践。这本书呼吁互联网研究者拓宽研究方法,将潜伏者的参与和存在纳入考量,并提供了一种创新的数字定性研究方法。

摄影师使用无人机创下最快飞行速度世界纪录:298 英里/小时 (petapixel.com)

摄影师兼内容创作者Luke Maximo Bell与其父亲Mike共同打造了一架名为Peregrine 2的定制无人机,该无人机实现了惊人的298.47英里/小时(480.2公里/小时)的飞行速度,创下了新的世界纪录。他们在数月的原型设计和测试中克服了多次起火和技术挑战,最终获得了吉尼斯世界纪录的官方认证。Peregrine 2还意外地成为了世界上最快的相机无人机,能够以超过400公里/小时的速度飞行并拍摄流畅的画面。

算法可视化 (bost.ocks.org)

本文探讨了算法可视化的力量,分析了不同算法的运作机制,包括采样、洗牌、排序和迷宫生成。作者通过动态演示和静态图表展示了算法的执行过程和结果,并深入浅出地解释了其背后的逻辑和原理。文章还强调了可视化在算法学习、教学和调试中的重要作用,以及其在理解更广泛问题上的潜力,如数学公式、动态系统和过程等。

GitHub - ogxd/gxhash:最快的哈希算法 📈 (github.com)

GxHash是一个非常快速且稳健的非加密哈希算法。它利用SIMD指令、高指令级并行和紧凑的字节码实现了高速性能,并通过多轮硬件加速AES块密码进行高效的比特混合,使其具有低碰撞率、均匀分布和高雪崩特性。GxHash通过了SMHasher测试,并提供了种子随机化以增强抗DoS攻击能力。

先生,您的镜像维度里有一只猫 (lcamtuf.substack.com)

本文介绍了频域的概念,以及如何利用离散余弦变换 (DCT) 将图像转换为频域表示。作者通过将猫的频域表示叠加到女人的照片上,展示了如何在频域中隐藏信息。实验结果表明,即使经过 JPEG 压缩,隐藏的猫的图像仍然可以辨认出来。

1 2 7 8 9 11 13 14 15 98 99