FastHTML 是一个用纯 Python 构建现代 Web 应用程序的库,它建立在坚实的 Web 基础之上,而不是最新的潮流之上。使用 FastHTML,您可以在几分钟内开始构建从简单的仪表板到可扩展的 Web 应用程序的任何内容。FastHTML 提供对 HTTP、HTML、JS 和 CSS 的完全访问,并将 Web 的基础带给您。FastHTML 应用程序快速且可扩展,并且易于部署,因为您可以使用任何支持 Python 的托管服务。
Meta 发布了新一代 Segment Anything 模型 SAM 2,这是一个用于图像和视频中实时可提示对象分割的统一模型,其性能达到最先进水平。SAM 2 在图像分割精度方面超过了之前的水平,并实现了比现有工作更好的视频分割性能,同时交互时间减少了三倍。SAM 2 还可以分割任何视频或图像中的任何对象,这意味着它可以应用于以前从未见过的视觉内容,而无需自定义适配。Meta 还发布了用于构建 SAM 2 的 SA-V 数据集和一个基于 Web 的演示体验,任何人都可以在这里体验该模型的实际应用。
DigiCert 将吊销未进行域名控制验证 (DCV) 的证书,约影响0.4%的有效域名验证。原因是 DigiCert 在某些基于 CNAME 的验证案例中没有在随机值前添加下划线前缀,这与 CABF 规则不符。受影响的客户已被通知,必须在 24 小时内更换证书。DigiCert 已采取预防措施,包括整合和审查所有随机值生成器、简化用户体验、将合规团队成员嵌入所有 CA 和 RA sprint 团队、增加测试覆盖范围以及开源 DCV 以供社区审查。
这篇文章探讨了汽车主导的社会如何改变了儿童的游戏方式以及成人之间的互动。文章以英国布里斯托尔两位母亲发起的“游戏街道”实验为例,阐述了让孩子们在街上自由玩耍如何重建社区联系,并指出了现代社会对汽车的依赖如何剥夺了儿童和成人宝贵的公共空间和社交机会。
据报道,ChatGPT 的制造商 OpenAI 今年的亏损可能达到 50 亿美元,并可能在未来 12 个月内耗尽现金。尽管 OpenAI 每年从 ChatGPT 和 LLM 访问费用中获得约 35 亿至 45 亿美元的收入,但这还不足以支付其运营成本。该公司每天在 ChatGPT 的运营上花费高达 70 万美元,并且已经花费了 70 亿美元用于训练其 AI 模型,另花费 15 亿美元用于人员配备。
Homebrew是一款流行的macOS软件包管理器,已经存在了15年。其维护者Mike McQuaid一直利用业余时间维护该项目,最近他成立了一家名为Workbrew的公司,旨在将Homebrew的功能扩展到企业环境中。Workbrew将为企业IT管理员提供工具,以便在为开发者提供灵活性的同时,也能对软件安装进行控制和管理。
美国国会取消了“可负担网络计划”(ACP),导致许多低收入家庭失去每月30美元的宽带补贴,进而放弃互联网服务。Charter电信公司报告称,第二季度损失了15.4万名互联网用户,其中约10万名用户曾享受ACP补贴。该公司首席执行官表示,虽然Charter采取了保留用户的措施,但长期来看,低收入家庭的支付能力令人担忧。FCC主席曾警告取消补贴将导致互联网接入减少,一项调查显示77%的受访家庭会在补贴到期后改变或放弃网络服务。
文章介绍了LG和三星展示的透明电视技术。LG采用OLED技术,通过使用透明导电线路和更小的IGZO晶体管来实现透明效果。三星则使用MicroLED技术,通过微小的LED芯片和无封装设计来减少光线阻挡。文章还讨论了透明电视的成本、挑战和潜在应用,指出其高昂的价格和实际应用场景的局限性,认为透明电视更有可能先应用于公共场所、车载显示器等领域。
本文介绍了使用GLSL片段着色器在GPU上模拟地球的程序。该程序在几分钟内模拟了类地行星的完整历史,模拟速度为每秒60帧。该程序从45亿年前的原行星开始,模拟了陨石坑、板块构造、水力侵蚀、气候变化和生命演化等过程,最终展示了人类活动对地球环境的影响。
gg 是一款轻量级的软件架构模拟器,用于文档和演示目的。它旨在帮助用户定义任何类型的软件架构,并逐步演示各种使用场景。
加州一项名为《前沿人工智能模型安全和可靠创新法案》(SB-1047)的法案引发了关于大型人工智能模型整体“安全”的激烈争论。该法案由州参议员Scott Wiener提出,要求大型AI模型背后的公司实施测试程序和系统,以防止和应对“安全事件”,特别关注AI可能引发的“重大危害”,例如造成“大规模伤亡或至少5亿美元的损失”。批评者担心,该法案过度关注未来AI模型可能带来的潜在威胁,可能会严重限制当今更实际、无威胁的AI用途的研究和发展。
Meta 发布了 Segment Anything 模型 2 (SAM 2),这是一个用于图像和视频中可提示视觉分割的基础模型。SAM 2 将图像视为具有一帧的视频扩展到视频。该模型设计是一个简单的 transformer 架构,具有用于实时视频处理的流内存。Meta 还构建了一个模型在环数据引擎,它通过用户交互改进模型和数据,以收集 SA-V 数据集,这是迄今为止最大的视频分割数据集。
PasteBar 是一款适用于 Mac 和 Windows 的免费开源剪贴板管理器,提供无限量剪贴板历史记录、可搜索的历史记录、自定义保存剪贴、快速访问粘贴菜单等功能,支持文本、图像、文件等多种格式,并提供本地存储以保护隐私和安全。
本文介绍了计算机科学家Amanda Randles开发的一种名为Harvey的血液循环模型,该模型可以模拟患者血液流动长达一周的时间,帮助医生无创地诊断和治疗疾病。Harvey可以通过3D图像模拟血管内的血液流动情况,预测涡流和血管壁所受压力,从而及早发现心脏病风险。Randles团队正在尝试使用机器学习来减少模型的计算量,并提高预测速度,但同时也需要注意数据偏差和模型可解释性等问题。
本文详细探讨了 Ruby 语言中 Range 类从早期版本到 Ruby 3.3 的演变过程,重点关注 Range 类在不同版本中的设计变化、语义变化以及使用方法的演变。文章涵盖了 Range 类边界值的类型、包含关系的判断方法 (#include?、#cover? 和 #===)、无穷范围的引入、迭代方法 (#each、#step、#reverse_each) 的行为变化以及与其他 API 的交互等方面。作者通过分析 Range 类的演变历史,阐述了 Ruby 语言作为一个不断发展变化的编程语言,如何权衡设计决策、修复缺陷以及适应新的需求。
本文讲述了作者如何通过使用sqlite构建自建分析API,以节省Vercel分析服务的费用。作者详细描述了选择技术栈、搭建服务、性能测试、部署到DigitalOcean VPS、解决部署过程中遇到的问题、构建简单仪表盘以及与Vercel分析服务进行比较的过程。最终,作者成功地将分析服务成本降低了13.27美元,并计划进一步迭代和探索自建服务的可能性。
Healthchecks.io 是一款于2015年上线的免费开源定时任务监控服务,至今已运营9年。创始人 Pēteris Caune 仍然独自运营着 Healthchecks.io,并实现了每月14043美元的收入。他表示对自己目前的生活和工作状态感到满意,并不会为了追求更高的利润而牺牲生活质量。未来,Healthchecks.io 将继续保持现有规模和功能,并专注于为用户提供稳定可靠的服务。
这篇文章介绍了Estuary Flow如何克服将流数据高效写入Parquet文件的内存限制挑战。由于流数据是基于行的,而Parquet是列式存储格式,因此直接写入会导致内存问题。文章详细介绍了Estuary Flow采用的“两阶段写入”解决方案:首先将数据以较小的行组写入临时文件,然后在第二阶段将这些小行组合并成更大的行组,最终生成内存效率高的Parquet文件。
据外媒报道,苹果公司正与英国广播受众调查委员会(BARB)进行谈判,探讨在Apple TV+中引入广告的相关事宜。目前,BARB已为Apple TV+提供节目收视统计数据,但苹果公司需要更详细的数据来跟踪广告效果。此外,苹果公司还与美国的相关评级机构进行了类似的讨论。为吸引更多用户并增加收入,Netflix和Disney+等竞争对手已经成功推出了更便宜的广告支持订阅层级,这也促使苹果公司考虑在Apple TV+中引入广告。
这篇GitHub文章介绍了斯坦福大学商学院举办的Julia经济学家训练营。训练营由Cameron Pfiffer主导,内容涵盖Julia基础、并行化、优化和自动微分、高性能Julia以及计算贝叶斯统计等主题,每个主题都有相应的课程记录、笔记和示例代码。
本文介绍了Augmend公司开发的主题分割算法TreeSeg,它能够将视频会议等长文本按照主题进行分层分割。TreeSeg首先根据语音识别和屏幕共享等信息构建事件时间线,然后利用词嵌入技术计算句子间的语义相似度,并通过递归的方式将时间线分割成不同粒度的主题片段。TreeSeg在公开数据集和公司内部数据集上的表现优于其他基线模型。
本文介绍了 CrateDB 中的混合搜索概念,它结合了语义搜索(向量搜索)和词汇搜索(关键字搜索)的结果。文章详细解释了 BM25(全文搜索)和 kNN(向量搜索)算法,并介绍了两种混合搜索结果的排序方法:凸组合和倒数秩融合。文章最后提供了一个实际示例,演示了如何在 CrateDB 中使用 SQL 查询实现混合搜索。
2024年7月19日,网络安全公司CrowdStrike发布软件更新后导致全球大规模IT故障,航空系统也受影响。本文分析了CrowdStrike更新对美国航空业的影响,发现当天美国航班起飞数量相比前一周五下降,其中达美航空受影响最大,其次是美联航和美国航空,西南航空则几乎不受影响。文章还探讨了达美航空恢复缓慢的原因,认为是由于其IT决策不力,缺乏适当的灾难恢复计划和业务连续性计划。
AppleVis 创始人 David Goodwin 宣布因个人原因将从网站的运营中卸任,网站也将随之关闭。他在公告中回顾了 AppleVis 十四年来的发展历程,感谢了团队成员、用户以及合作伙伴的支持,并表示网站将于 2024 年 8 月 31 日正式关闭。
Hyve Tile 是一款由 yunusefendi52 开发的益智游戏,玩法类似于经典的拼图游戏,玩家需要重新排列打乱的图块以显示隐藏的图像。游戏操作直观,画面精美,适合各个年龄段的玩家。
本文探讨了在泊松分布设计中,统计功效如何完全取决于处理组和对照组的总计数,而不是简单地将数据切片成更精细的时间段就能提高。作者介绍了最小可检测效应量(MDE)的概念,作为功效分析的替代方法,并通过模拟案例解释了如何根据MDE确定研究所需的样本量。
本文探讨了美国游戏开发成本高昂的原因,指出高昂的生活成本、工资水平和人才竞争是主要因素。此外,文章还分析了远程办公对开发成本的影响,以及“为失败买单”的必要性,即为游戏开发早期的原型设计和迭代提供充足资金支持。最后,文章还探讨了政府资金支持对游戏产业发展的重要性,以及如何通过税收优惠和人才培养等措施,促进美国游戏产业的可持续发展。
人工智能专家吴恩达认为,人工智能不会取代人类工作,但使用人工智能的人会取代不使用人工智能的人。他认为,人工智能将改变而不是取代工作,自动化只会帮助公司找到创新的新机会。虽然人工智能可以通过技术使公司的一些任务成本降低,但公司更有可能将节省下来的资金投资于执行该任务更多次,从而创造新的增长机会。
一篇发表在《开放天体物理学杂志》上的新研究模拟了曲速引擎失效时可能发射的引力波。曲速引擎是科幻小说的主要内容,原则上可以推动宇宙飞船以比光速更快的速度前进。虽然在现实生活中构建它们存在许多问题,例如需要具有负能量的外来物质,但物理学家几十年来一直在探索曲速引擎的理论可能性。这项新研究更进了一步,模拟了如果这种引擎发生故障,它可能会发射的引力波。
YouTube 正在对广告拦截器采取更严厉的措施,导致使用拦截器的用户看到空白广告或黑屏。此前,YouTube 尝试通过提示升级到 YouTube Premium 来阻止用户跳过广告。现在,YouTube 开始测试服务器端广告注入,将广告直接插入视频流,使广告拦截器更难屏蔽广告。 尽管广告拦截器可以屏蔽广告内容,但用户仍然被迫观看相同长度的空白视频,这使得 YouTube Premium 成为获得无广告体验的唯一途径。