对闲暇的赞美

2024-05-04

这篇文章是英国哲学家伯特兰·罗素对“闲暇”的赞美。罗素认为,现代社会对工作的过度重视是源于奴隶制道德,而现代科技已经使得我们可以减少工作时间,让每个人都能享受闲暇。他主张将工作时间缩短至每天四小时,并通过教育让人们学会如何智慧地利用闲暇时间。罗素相信,闲暇是文明发展的必要条件,而闲暇带来的幸福感和安全感可以让人们变得更加友善,减少社会中的迫害和战争。

阅读更多

Swatch互联网时间

2024-04-15

Swatch互联网时间是一种由Swatch公司于1998年推出的十进制时间系统,作为其“.beat”手表系列营销活动的一部分。该系统将一天分为1000个“.beats”,每个“.beats”持续86.4秒。Swatch互联网时间不使用时区,而是基于Swatch总部所在地瑞士比尔的时区,称为“比尔平均时间”(BMT),相当于欧洲中部时间(CET)。尽管Swatch仍在其网站上提供这一概念,但它不再销售Beat手表。

阅读更多

OpenEQA:基础模型时代的具身问答

2024-04-13

这篇文章介绍了OpenEQA,这是一个全新的具身问答(EQA)基准数据集,支持情景记忆和主动探索用例。OpenEQA包含超过1600个高质量的人工生成问题,涵盖180多个真实世界环境。文章还提供了一个基于大型语言模型(LLM)的自动评估协议,该协议与人类判断具有极好的相关性。研究发现,像GPT-4V这样的最先进的基础模型在OpenEQA上的表现明显落后于人类水平。

阅读更多
未分类 具身问答 EQA

头条快报:章鱼乌贼来袭:存储业的未来,最强联盟保驾护航

2024-04-27

Linux基金会宣布推出Ceph Squid,这是一个开源软件定义存储(SDS)平台,旨在为云、边缘和本地环境提供卓越的存储性能和可扩展性。Ceph Squid是Ceph项目的下一个重大版本,它引入了许多增强功能,例如用于超大规模部署的RADOS Block设备、用于边缘计算的缓存加速以及用于混合云的异构存储支持。这些功能使组织能够构建高性能、可扩展且具有成本效益的存储解决方案,以满足他们不断增长的数据存储和管理需求。

阅读更多

谷歌大幅裁员 Flutter 和 Dart 团队,距离开发者大会仅剩几周

2024-04-29

谷歌公司近期裁员,波及 Flutter 和 Dart 团队。此次裁员发生在谷歌开发者大会召开前几周。谷歌尚未透露裁员规模,但有报道称,裁员比例可能高达 10%。Flutter 和 Dart 团队专注于谷歌移动应用开发框架 Flutter 和编程语言 Dart 的开发。有消息人士表示,此次裁员与谷歌重组其移动应用开发策略有关。谷歌最近推出了新的“Android Jetpack”框架,该框架旨在取代 Flutter。

阅读更多

Microsoft’s VASA-1 can deepfake a person with one photo and one audio track | Ars Technica

2024-04-19

Ars Technica上的一篇文章报道了微软开发的新技术Vasa 1,该技术可以通过一张照片和一段音频来生成逼真的深度伪造。Vasa 1利用GAN网络生成图片,并使用语音编解码器匹配音频。该技术引发了对误导性内容的潜在滥用的担忧,并对创建更令人信服的虚假视频的可能性提出了疑问。

阅读更多
未分类

How many bathrooms have Neanderthals in the tile?

2024-04-18

该网站是一篇由John Hawks撰写的博客文章,讨论了关于尼安德特人房屋结构的考古证据。该文章考察了考古遗址中发现的坑洞和地面的证据,并得出结论认为这些坑洞可能是尼安德特人建造的房屋或庇护所。文章还讨论了尼安德特人可能适合居住的不同类型环境,以及他们可能使用的建筑材料。

阅读更多
未分类

AltStore PAL Alternative App Marketplace Launches on iPhone in EU - MacRumors

2024-04-18

MacRumors 报道称,AltStore 欧洲分部已启动,这是一个与苹果 App Store 竞争的应用市场。与 AltStore 一样,AltStore 欧洲分部允许用户在 iPhone 和 iPad 上加载未经苹果批准的应用程序,而无需越狱。该市场由 AltStore 创建者 Riley Testut 创立,他表示,AltStore 欧洲分部的目的是让欧洲用户更容易访问 AltStore。

阅读更多
未分类

Trump Media shares fall, Truth Social will launch TV platform

2024-04-18

**总结:**

这篇文章报道了特朗普媒体与科技集团股票在宣布其社交媒体平台 Truth Social 将推出电视流媒体平台后下跌 7%。该公司表示,该流媒体服务将提供实时新闻、体育和娱乐节目。分析师猜测,此举可能是为了吸引更多用户和提高收入。尽管媒体和科技行业对该消息反应不一,但特朗普的支持者对 Truth Social 扩展到流媒体领域表示支持。

阅读更多
未分类

程序合成 - 维基百科

2024-04-15

程序合成是指构建一个可证明满足给定高级形式规范的程序的任务。与程序验证不同,程序是要被构建而不是给定的;然而,这两个领域都利用了形式化证明技术,并且都包含了不同程度自动化的途径。与自动编程技术相比,程序合成中的规范通常是非算法的陈述,用适当的逻辑演算表示。程序合成的主要应用是减轻程序员编写满足规范的正确、高效代码的负担。然而,程序合成也适用于超级优化和循环不变量的推断。

阅读更多
未分类 程序合成

电讯:我们对于可能即将在匈牙利巡逻的中国警察了解多少?

2024-04-26

目前还没有任何中国警官在匈牙利巡逻,但两国正在就合作事宜进行谈判。尽管中国警察可能拥有武术技能,但他们的主要目的是作为联络员,为在匈牙利的中国公民提供协助和支持。他们的主要职责将包括翻译、文化交流以及向在匈牙利访问的中国官员提供协助。匈牙利当局强调,中国警察不会拥有任何匈牙利执法权力。

阅读更多
39

Open Sourcing DOS 4 - Scott Hanselman's Blog

2024-04-25

该网站提供有关遵循开放源代码最佳实践的建议。文章建议将代码放在公共代码存储库中,采用明确的许可证,提供详细的文档并积极响应社区反馈。文章还强调了与社区建立牢固关系以及关注代码质量的重要性。

阅读更多
未分类

‘HR is not your friend’: why frustrated workers are hiring reps of their own | US work & careers | The Guardian

2024-04-03

该文章探讨了美国人力资源部门的演变,重点关注了技术进步、劳动力变化和外部供应商的兴起如何塑造该行业。文章引用了专家意见和数据,分析了人力资源部门日益重要的战略角色,以及它们如何通过提供数据驱动的见解和支持业务目标来影响组织绩效。

阅读更多
未分类

并非所有有向图都是树

2024-05-01

该网站深入探讨了有向图与树之间的差异,并提供了一个交互式可视化工具来说明这些概念。它解释了树形结构的特殊属性,如唯一路径、分支和叶节点,并将其与有向图的更一般特性进行了对比。此外,该网站还探讨了循环和自循环有向图,强调了它们与树形结构的不同之处。

阅读更多

DDC OLED - mitxela.com

2024-04-25

Mitxela是一家专业从事定制有机发光二极管(OLED)显示产品的公司。他们提供各种OLED显示解决方案,针对从军事到医疗的广泛行业。他们的DirectDrive Consortium (DDC) OLED是他们的一项创新技术,可提供高亮度、高对比度和低功耗。

阅读更多
未分类

I Used Netscape Composer in 2024 | Pier-Luc Brault - Personal Website

2024-04-19

该博客文章讨论了作者在 2024 年使用过时的网页设计工具 Netscape Composer 的体验。作者发现该软件难以使用,并且在现代网络标准下无法正常工作。他还指出,他无法找到任何流行网站的 Netscape Composer 版本。总的来说,这篇文章突出了在网络技术不断发展的时代使用过时软件的挑战。

阅读更多
未分类
1 2 486 487 488 490 492 493 494 511 512