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

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

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

Jepsen:Datomic Pro 1.0.7075 测试报告 (jepsen.io)

Jepsen 对 Datomic Pro 1.0.7075 进行了测试,发现其事务间安全性比声称的更强,不仅每个历史记录都是可序列化的,而且绑定到单个节点的会话也表现出强会话可序列化性。然而,在事务内部,Datomic 的行为表现得好像操作是并发执行的,这可能违反三种最广泛接受的可序列化性形式化定义。测试中还发现,Datomic 的事务函数在并发执行时可能导致数据不一致,违反预期的不变性。

FDA对西奈山医院对“弱势”患者进行脑活检发出警告 (www.statnews.com)

西奈山医院对同意接受深部脑刺激 (DBS) 手术的帕金森病患者进行脑活检,引发了美国食品药品监督管理局 (FDA) 的担忧。FDA在2019年的一份审查报告中指出,西奈山医院的医生使用“虚假理由”获取患者同意进行活检,并表示这种活检“给受试者带来了严重的风险”。

App Store 上的 MICRO LLM (apps.apple.com)

MICRO LLM 是一款个人 AI 助手应用程序,旨在让您的生活更智能、更互联。作为一名 AI 助手,MICRO LLM 被设计成终极个人助理。从组织待办事项列表到帮助您保持高效,MICRO LLM 可让您的生活更轻松。无论您需要安排约会、设置提醒,还是仅仅找到问题的答案,MICRO LLM 都能满足您的需求。

Unitree G1: AI赋能的通用人形机器人 (www.unitree.com)

Unitree G1是一款由AI驱动的通用人形机器人,具有超大关节运动空间和23至43个关节电机,能够模仿人类动作。G1配备了力控灵巧手,可模拟人手实现精确操作,并搭载了Unitree Robot Unified Large Model (UnifoLM),为智能机器人领域开创新纪元。

GitHub - buxlabs/boxwood: 使用 JavaScript 编写的服务器端模板引擎 (github.com)

Boxwood是一个使用JavaScript编写的服务器端模板引擎,其设计目标包括:将模板拆分为组件、对每个组件的CSS进行哈希处理、自动压缩CSS、内联关键CSS、模板可以导入其他依赖项、内联图像或SVG、支持i18n、对SEO友好、体积小、易于上手、语法熟悉且易于测试。

通过SVG而非JS保护你的电子邮件地址 (rouninmedia.github.io)

这篇文章介绍了一种使用SVG保护网页中电子邮件地址的方法,以防止被垃圾邮件机器人收集。该方法的主要优势在于不依赖JavaScript,即使在禁用JavaScript的情况下也能正常工作。文章详细介绍了SVG代码的实现过程,并强调了该方法的可访问性,确保所有用户都能正常使用。

亚马逊旗下自动驾驶出租车公司Zoox因两起追尾事故接受美国调查 (apnews.com)

美国国家公路交通安全管理局(NHTSA)正在调查亚马逊旗下自动驾驶出租车公司Zoox,原因是该公司有两辆自动驾驶汽车突然刹车,导致后方摩托车追尾。这两起事故都发生在白天,事故车辆为配备自动驾驶技术的丰田汉兰达SUV,事发时处于自动驾驶模式。NHTSA将调查Zoox自动驾驶系统在事故中的表现,以及其在人行横道附近与行人和其他弱势道路使用者互动时的行为。Zoox表示,公司致力于与NHTSA合作,回答其问题。

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

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

抗议者呼吁暂停人工智能开发,但对实现目标的方式存在分歧 (www.wired.com)

PauseAI抗议活动在伦敦、纽约、旧金山和全球范围内展开,抗议者要求暂停比GPT-4更强大的人工智能系统的训练,并呼吁所有联合国成员国签署条约,成立一个负责批准新的AI系统部署和大型模型训练的国际人工智能安全机构。然而,这个组织松散的抗议团体本身仍在摸索传达其信息的最佳方式,一些成员讨论了在人工智能开发商总部举行静坐的想法,而另一些成员则主张采取更温和的方式。

GitHub - mitjafelicijan/makext: GNU Make 的生活质量扩展 (github.com)

makext是一组用于Makefiles的实用扩展,旨在简化和增强基于Make的项目的函数。这些扩展提供了额外的功能和便利功能,以改进GNU Make作为任务运行器的整体用法。所有扩展都用GNU Make编写,因此没有使用其他语言,这使得它非常容易嵌入,并且除了GNU Make之外没有其他依赖项。

GitHub - andydunstall/pico: 反向代理连接外部网络(隧道) (github.com)

Pico是一个开源的Ngrok替代方案,旨在服务生产流量并易于托管(尤其是在Kubernetes上)。Pico 可以用于暴露客户网络中的服务、构建自带云 (BYOC) 服务或连接到物联网设备。代理服务器可以作为节点集群托管,以实现容错、扩展和零停机部署。上游服务连接到 Pico 并注册端点。然后,Pico 将通过其仅出站连接将端点请求路由到已注册的上游服务。这意味着你可以在不打开公共端口的情况下暴露你的服务。

Archie网页界面 (archie.serialport.org)

本文介绍了Archie网页界面的使用方法,该界面是Archieplex的改进版本,用于在互联网上的匿名FTP站点中查找文件。用户可以根据大小写、日期、主机等条件进行排序,并限制结果数量。文章还提供了Archie服务器的状态信息,包括系统状态、Prospero状态和数据库统计数据。

GitHub - PackJC/YoutubeToMP3:一款C# Windows窗体应用程序,允许用户将YouTube视频下载为MP3文件 (github.com)

这是一个C# Windows窗体应用程序,允许用户将YouTube视频下载为MP3文件。用户可以输入YouTube URL,点击下载按钮后,应用程序会使用YoutubeExplode获取并下载视频。进度条实时更新,显示下载进度。下载完成后,应用程序使用MediaToolkit将视频转换为MP3。用户可以通过SaveFileDialog选择MP3文件的保存位置。完成后会弹出完成通知。

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

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

对OpenAI春季发布的思考 (nicholascharriere.com)

文章分析了openAI最新发布的GPT-4-turbo模型的特点。作者认为,新模型着重于多模态、性能和情商方面的提升。文章重点探讨了多模态技术的进步,指出直接在多模态数据上训练模型的意义重大。作者还强调了新模型在情商方面的进步,认为这将改善openAI产品的用户体验。最后,作者赞扬了openAI在产品发布方面的出色表现,认为他们真实地展示了新模型的能力和局限性。

美国农业部更新植物抗寒区地图:详细展示变化 (apps.npr.org)

美国农业部11年来首次更新了植物抗寒区地图。新地图为家庭园丁提供了新的可能性,但也存在局限性。新地图基于过去30年(1991-2020)的平均最低冬季气温,与之前的地图(1976-2005)相比,大部分地区的冬季气温都有所上升。文章详细介绍了新地图的变化,以及这对园丁意味着什么,包括哪些植物可以在新的抗寒区种植,以及园丁在使用新地图时需要注意的事项。

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

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

IBM开源其Granite AI模型,用于商业用途 (www.zdnet.com)

IBM 开源了其 Granite AI 模型,这些模型专门用于编程,旨在帮助企业利用 AI 提高软件开发效率。Granite 模型基于 3 到 4 TB 的代码数据和自然语言代码相关数据集进行训练,支持 116 种编程语言,参数范围从 30 亿到 340 亿不等。与其他 AI 模型不同,Granite 模型的许可和训练方式清晰透明,数据经过清洗和过滤,不包含仇恨、滥用和亵渎性语言,因此企业可以放心地将其用于商业用途。

最糟糕的结果是平庸的成功 (pivotal.substack.com)

本文作者认为,对于初创公司来说,最糟糕的结果是获得平庸的成功。因为初创公司的不确定性很高,需要不断进行实验来验证假设。平庸的成功会导致无法明确判断假设的真伪,从而阻碍学习和迭代。作者建议,在设计实验时,要确保成功和失败之间有明确的界限,避免模棱两可的结果。

关于CVE-2024-27322的声明 (blog.r-project.org)

R核心团队就网络安全公司HiddenLayer最近报告的序列化错误发表了简短声明。该错误已被报告为漏洞,编号为CVE-2024-27322。R是一种功能齐全的语言,包含与主机操作系统和互联网交互的函数。与任何此类语言一样,有很多方法可以编写具有恶意意图的代码。用户应确保他们只使用来自受信任来源的R代码和数据,并确保运行R的帐户的权限受到适当限制。这些基本的安全原则不限于R语言。在R中编写恶意代码的能力并不意味着该语言本身是不安全的。基本R语言由R核心开发团队中精选的一组高度信任的个人维护,其中大多数人已经在该语言上工作了几十年。像任何开源项目一样,我们依靠广泛的用户群来识别源代码中的错误。我们欢迎所有错误报告,包括那些具有安全隐患的错误报告。HiddenLayer的错误报告就是一个例子。简而言之,promise是用于实现惰性求值的语言对象。在R中构建的promise总是绑定到一个环境,但是HiddenLayer找到了一种通过反序列化一个被黑客攻击的文件来创建一个未绑定promise的方法。这个错误已经在R 4.4.0中修复,任何与之相关的攻击向量都已经被移除。我们拒绝接受与promise或序列化相关的更广泛的安全隐患,这两者都是该语言的核心特性。

冷藏库的热门生意 (sherwood.news)

冷藏行业,通常被称为“冷链”,正在经历快速扩张和发展,这得益于消费者饮食习惯的改变、全球人口结构的转变、全球疫情的防范以及美国出口政策的影响。冷藏仓库虽然不是一个有趣的地方,但却是建造和拥有的绝佳选择,投资者和开发商预计这个专业房地产领域的年增长率将达到 8% 到 10%。冷藏行业的发展对能源、环境和经济新闻都具有重要意义,因为它同时涉及所有趋势,例如快速发展的快餐连锁店、最后一英里配送、全球中产阶级对蛋白质需求的激增以及健康、有机农产品和工业化冷冻食品的爆炸式增长。

日本研究团队发布基于“富岳”超级计算机训练的大型语言模型“Fugaku-LLM” (www.fujitsu.com)

日本的研究团队发布了名为“Fugaku-LLM”的大型语言模型,该模型利用日本超级计算机“富岳”进行训练,具有更强的日语能力。研究团队开发了分布式训练方法,包括将深度学习框架Megatron-DeepSpeed移植到“富岳”上,以优化Transformer在“富岳”上的性能。Fugaku-LLM拥有130亿个参数,比日本广泛开发的70亿参数模型更大,在日语MT-Bench上取得了平均5.5分的成绩,是日本使用原始数据训练的开放模型中性能最高的。Fugaku-LLM的源代码可在GitHub上获得,模型可在Hugging Face上获得,可用于研究和商业用途。

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

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

2017年美国联邦政府称特斯拉Autopilot可将事故减少40%——那是假的 (arstechnica.com)

本文揭露了美国国家公路交通安全管理局(NHTSA)在2017年发布的一份关于特斯拉Autopilot安全性的报告存在严重缺陷。该报告声称Autopilot可以将事故率降低40%,但这一结论是基于有缺陷的数据和方法得出的。一家名为Quality Control Systems(QCS)的小型研究咨询公司在经过两年的法律斗争后获得了NHTSA的原始数据,并发现其分析存在严重错误,导致Autopilot看起来比实际情况更安全。QCS的研究表明,对于那些拥有完整数据的车辆,启用Autopilot后,事故率实际上增加了59%。

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

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

人工智能冲击劳动力市场如同“海啸”——国际货币基金组织总裁 (au.finance.yahoo.com)

国际货币基金组织总裁Kristalina Georgieva表示,人工智能正在像“海啸”一样冲击全球劳动力市场。人工智能很可能在未来两年内影响发达经济体60%的工作岗位和全球40%的工作岗位。Georgieva强调,世界经济近年来更容易受到冲击,并指出全球疫情和乌克兰战争都是例子。尽管她预计会有更多冲击,特别是由于气候危机,但经济仍然具有显著的弹性。

GitHub - uysalibov/gezgin: 使用 Raylib 和 OpenStreetMap 数据进行现代寻路 (github.com)

gezgin是一款使用C++和raylib编写的简单路径查找可视化应用程序,可以直观地探索伊斯坦布尔的街道。它利用OpenStreetMap数据、Overpass API和Dijkstra算法进行寻路,并以60 FPS的速度渲染超过30万个节点和道路。该项目还涉及地理空间索引、标准化和缩放,并使用邻接表作为数据结构。

中国服务器CPU性能超越微软、谷歌和AWS (www.techradar.com)

阿里云的倚天710处理器被IEEE期刊《云计算汇刊》评为目前超大规模云环境中数据库任务效率最高的Arm服务器处理器。研究表明,这款128核处理器在特定数据库云任务中超越了英特尔至强白金处理器。虽然在OLAP、机器学习推理和区块链任务方面,基于Arm的服务器难以匹敌至强,但倚天710及其竞争对手AWS Graviton3被认为是英特尔至强CPU的真正对手,在内存工作负载方面表现出同等甚至更优异的结果。

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

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

1 2 9 10 11 13 15 16 17 101 102