本文批判性地回顾了伊恩·布鲁玛的新书《斯宾诺莎：自由的弥赛亚》，认为该书试图推翻斯宾诺莎研究一个世纪以来的进展，重建围绕这位哲学家及其思想的一些最陈旧的神话。文章首先回顾了斯宾诺莎生平和思想，以及其作品在历史上受到的争议和误读。然后，文章详细介绍了布鲁玛在书中如何歪曲斯宾诺莎的生平和思想，例如无视新的史料证据，坚持将斯宾诺莎描绘成一个被犹太社区排斥的理性主义者，以及对斯宾诺莎哲学思想的肤浅解读。最后，文章批评布鲁玛将斯宾诺莎与当代政治议题进行牵强附会的比较，认为这是一种懒惰地将陈腐的当代偏见强加于这位独特思想家身上的行为。
阅读更多
Meta首席执行官马克·扎克伯格在采访中表示，他设想未来内容创作者可以拥有自己的AI机器人，这些机器人能够捕捉他们的个性和“商业目标”，帮助创作者分担社区推广工作，从而腾出时间专注于更重要的任务。然而，Meta的AI机器人目前还存在着幻觉等技术缺陷，能否赢得创作者的信任还有待观察。
阅读更多
苹果公司正式发布了iOS 18，新系统主打主屏幕自定义、控制中心改进等功能。iOS 18允许用户自定义应用程序图标主题和位置，并自动适配深色模式。控制中心采用多页布局，并新增“控件库”，支持第三方开发者提供小组件。此外，iOS 18还支持用Face ID锁定单个应用程序，重新设计了信息应用中的Tapback功能，支持定时发送信息、文本效果和格式选项，以及通过卫星发送信息和短信等。
阅读更多
这篇文章探讨了在Windows系统中，使用Alt+数字键输入字符的历史和原因。文章解释说，在IBM PC BIOS中，Alt+数字键的输入方式是将数字作为十进制字节值处理，并从显卡的字符生成器中查找对应的字符。在Windows中，为了与MS-DOS兼容，使用Alt+数字键输入时，数字仍然会在OEM字符集中查找。文章还解释了为什么Alt+9731有时会显示心形，有时会显示雪人，这取决于使用的控件类型。
阅读更多
本文介绍了 TrustNet，一个基于信任的去中心化内容审核系统。TrustNet 允许用户根据不同领域（如内容审核、音乐推荐）向其他用户分配信任值，并通过 Appleseed 算法计算出用户最信任的用户列表。基于此列表，用户可以自动屏蔽被信任用户屏蔽的内容，实现主观的内容审核。TrustNet 还考虑了用户之间的不信任关系，以及不同类型的屏蔽操作，以更好地满足用户的需求。
阅读更多
这篇文章介绍了 Coursera 上的一个名为“红队测试 LLM 应用程序”的在线课程。该课程主要教授如何识别和评估大型语言模型 (LLM) 应用程序中的漏洞，并应用网络安全的红队技术来确保 LLM 应用程序的安全性和可靠性。该课程适合初学者，建议具备基本的 Python 知识，课程内容包括手动和自动化的红队测试方法，以及如何使用 Giskard 开源库来自动化 LLM 红队测试方法。
阅读更多/cdn.vox-cdn.com/uploads/chorus_asset/file/25435497/1vpavic_20240501__0202.jpg)
谷歌 Pixel 8a 是一款中端智能手机，配备了新的 Magic Editor 功能，可以让用户轻松增强和编辑照片。这款手机售价 449 美元，将于 2024 年 5 月 7 日在美国上市。Pixel 8a 拥有 6.1 英寸 OLED 显示屏、双后置摄像头（50MP 主镜头和 12MP 超广角镜头）和一个 8MP 前置摄像头。它由新一代 Tensor G2 芯片提供动力，并运行 Android 13 操作系统。
阅读更多:max_bytes(150000):strip_icc()/GettyImages-1140938011-c47e1709e8dc48e7b406386c7225df3c.jpg)
尽管英伟达因人工智能的增长机遇而备受投资者青睐，但截至2023年底，巴菲特的伯克希尔哈撒韦公司并未持有其股份。巴菲特以价值投资而闻名，他更喜欢易于理解的传统行业公司。虽然近年来伯克希尔投资了苹果和亚马逊，但错过了早期投资机会也让巴菲特感到后悔。英伟达股价在过去一年中上涨了250%，市值突破2万亿美元，成为美国第四家达到这一水平的公司。巴菲特是否会因为错过英伟达而后悔，还有待观察。
阅读更多
AeroSpace 是一款受 i3 启发的 macOS 平铺窗口管理器，它使用自己的虚拟工作区模拟来替代 macOS Spaces，并提供纯文本配置、CLI 脚本功能以及多显示器支持等功能。该项目处于公测阶段，鼓励用户提供反馈。
阅读更多
在 Gamers Nexus (GN) 对其美国保修程序提出强烈批评后，PC 和电子产品制造商华硕已同意对其支持和维修系统进行全面改进。华硕承诺将创建一支专门团队来解决客户调查中提出的所有突出问题，并建立一个新的美国支持中心。这些变化是GN创始人Steve Burke及其团队经过调查工作后促成的，最终双方在台北电脑展2024上进行了面对面会谈。华硕承诺将在本周晚些时候发布一份关于 ROG Ally 中 SD 卡过热问题的正式声明。
阅读更多
尽管美国在 2019 年出台法律禁止政府机构与使用华为设备的实体签署合同，但由于华为在全球电信设备收入中占据近三分之一的份额，寻找替代方案几乎不可能，五角大楼难以完全避免与依赖华为技术的公司开展业务。五角大楼认为，严格遵守这些限制将 disrupt 其采购医疗用品、药品、服装和其他类型的后勤支持的能力，并已寻求正式豁免其在该法案下的义务。
阅读更多
美国初创公司 Fervo Energy 宣布与美国最大的电力公司之一南加州爱迪生公司 (SCE) 签署了两项总计 320 兆瓦的电力购买协议 (PPA)。这两份为期 15 年的协议将为南加州 35 万户家庭提供相当于其用电量的清洁、价格合理的地热能源。这些能源将来自 Fervo Energy 位于犹他州西南部、目前正在建设中的 400 兆瓦 Cape Station 项目。
阅读更多
Groqbook是一个streamlit应用程序，它使用Groq上的Llama3，根据一行提示构建书籍的创作框架。它适用于非小说类书籍，并在几秒钟内生成每一章。该应用程序混合了Llama3-8b和Llama3-70b，利用较大的模型生成结构，较小的模型创建内容。目前，该模型仅使用章节标题的上下文来生成章节内容。未来，这将扩展到更完整的书籍上下文，以允许groqbook也生成高质量的小说书籍。
阅读更多
日本研究人员利用飞秒激光技术，创造了一种可以在空中生成3D图像的等离子显示器。与传统的激光诱导等离子显示器不同，这种新技术产生的等离子体可以安全触摸，用户甚至可以通过触摸感受到等离子体产生的冲击波。虽然目前的显示器尺寸还很小，但研究人员相信，通过使用不同的光学设备，可以将其扩大到足以应用于消费电子产品。
阅读更多
本文详细介绍了如何从硬件和软件方面构建一个简单的USB设备，讲解了USB的基础知识、协议和软件层，并以STM32 Nucleo开发板为例，演示了如何使用微控制器构建一个串口设备，实现与主机通信并控制LED灯。
阅读更多
Syncthing 是一款开源的持续文件同步程序，可以在两台或多台计算机之间同步文件。其主要目标是确保数据安全，防止数据丢失和攻击，同时易于使用和自动化运行。Syncthing 适用于各种常见计算机，并提供多种GUI实现。
阅读更多
一项新的研究表明，澳大利亚巨蜥可以通过减少绿头苍蝇的数量，每年为澳大利亚养羊户节省数百万美元，因此必须优先考虑将其纳入保护计划，以促进当地野生动物的数量。巨蜥是一种大型食腐蜥蜴，通过清除周围环境中被蛆虫腐蚀的动物尸体来充当天然的清洁队。这减少了绿头苍蝇的出现，绿头苍蝇通过在绵羊背部产卵来攻击绵羊，这些卵孵化成食肉蛆。
阅读更多
英特尔公司在第二季度出售了其在Arm Holdings的全部股份，预计将筹集1.47亿美元。 此举是英特尔为削减成本而正在进行的努力的一部分，其中包括裁员和减少开支。 此前，英特尔公布了惨淡的收益报告，导致其股价下跌近33%。
阅读更多
p5.js 是一个免费、开源的 JavaScript 库，旨在为艺术家、设计师、初学者、教育工作者和任何对编程和艺术创作感兴趣的人提供一个友好的学习工具。它由一个包容、友爱的社区构建，致力于通过代码实现艺术创作，并欢迎所有人加入。
阅读更多
葡萄牙计划重新引入有争议的税收优惠政策，以吸引外国技术人员到该国工作。该政策曾被前总理称为“财政不公”，但在经济增长乏力和人口老龄化的压力下，葡萄牙政府做出了改变。新政策将为从事高附加值工作的外国人提供20%的统一税率，涵盖工资和专业收入，但不包括股息、资本收益和养老金。
阅读更多
本文介绍了一个名为“cel-rust”的GitHub项目，这是一个用Rust语言编写的通用表达式语言（CEL）解释器。CEL是一种非图灵完备的语言，其设计目标是简单、快速、安全和可移植。该项目提供了一个CEL解析器和解释器，可以用于评估CEL表达式。
阅读更多
由于存在停车或行驶过程中起火的风险，起亚美国公司召回了约46万辆2020年至2024年款的Telluride汽车。召回原因是前排电动座椅电机可能会因电动座椅滑动旋钮卡住而过热，从而可能导致起火。起亚建议车主在维修完成之前，将车辆停放在室外，远离其他车辆和建筑物。
阅读更多
《银河飞将3》这款游戏在Windows 95的测试过程中扮演了重要角色。微软员工在测试该游戏时发现，游戏中的隐形装置无法使用，原因是Windows 95与底层MS-DOS的通信方式存在问题。为了解决这个问题，微软对Windows 95进行了调整，更改了Ctrl-C热键的处理方式，使其只有在剪贴板粘贴操作处于活动状态时才被操作系统安装。
阅读更多
德克萨斯州即将建立自己的证券交易所TXSE，预计将于2025年开始交易。该交易所得到了贝莱德和Citadel等投资者的支持，已筹集约1.2亿美元资金。TXSE计划实施比纽约证券交易所和纳斯达克更少的规则和监管，并希望吸引那些希望在监管更少、税收政策更有利的德克萨斯州注册的大公司。
阅读更多
文章讨论了超导体技术的现状和未来。超导体是一种能够以完美的效率导电的材料，如果能在室温下工作，将会给电力、交通和医疗等领域带来革命性的变化。文章介绍了超导现象的原理、BCS理论以及实现室温超导所面临的挑战。文章还探讨了超导技术对社会的影响，以及科学家在实验室中如何研究和探索新的超导材料。
阅读更多
本文介绍了 Scrapscript 语言的基准编译器的设计与实现。Scrapscript 是一种小型、纯函数式、内容寻址、网络优先的编程语言。编译器将 Scrapscript 代码转换为 C 代码，并使用半空间垃圾回收机制管理内存。文章详细介绍了编译器如何处理表达式、函数和模式匹配，以及运行时如何实现标记指针和句柄来支持垃圾回收。
阅读更多
微软研究院开发了一种名为 SpreadsheetLLM 的框架，旨在使大型语言模型 (LLM) 更容易分析电子表格内容并执行数据管理和分析任务。该工具通过序列化数据、压缩数据和微调 LLM 来解决电子表格格式和 LLM token 限制带来的挑战，从而提高效率并为用户交互提供新的可能性。
阅读更多
5月29日，美国德克萨斯州卢博克地区遭遇了罕见的特大冰雹袭击，最大冰雹直径接近5英寸，堪比DVD大小。此次冰雹是由一系列旋转雷暴天气引起，造成部分地区房屋受损、农田被毁。气象学家表示，这是自2010年以来，美国国家气象局首次发布5英寸冰雹预警。
阅读更多
PyScript 是一个开源平台，可以让 Python 代码直接在浏览器中运行，无需复杂安装。它结合了 Web 和 Python 的优势，使用户能够轻松创建、共享和扩展 Web 应用程序。PyScript 易于学习和使用，同时具备强大的功能和可扩展性，为 Web 开发带来了新的可能性。
阅读更多