核手提箱 HTML5 交通安全 可扩展服务 内容发现 Android Authority COSMAC VIP 工具和资源 组内异质性 可解释机器学习 汽车工业 应用程序管理 乐透 个性化健身 风险管理 Node.js 吉拉尔主体 PostgreSQL AI工具 儿童读物 代码质量 化学 即时消息 文本总结 反向工程 树形结构 能源 乔纳森·劳斯 北美 金属加工 更多

谷歌的 Pixel 6a 支持兔兔相机应用 (www.theverge.com)

兔兔相机是一款流行的相机应用程序,它以其功能丰富和出色的色彩渲染而闻名。现在,该应用程序已可用于谷歌的 Pixel 6a 智能手机。此举标志着谷歌和兔兔相机之间的首次合作,为 Pixel 6a 用户提供了更多拍照选项。兔兔相机提供了一系列功能,包括先进的编辑工具、大量滤镜和对 RAW 文件的支持。对于希望提高其移动摄影体验的 Pixel 6a 用户来说,这是一款有价值的补充。

Lean 社区博客:宣布 FLT (leanprover-community.github.io)

该网站是一篇博文,宣布了 FLT 的发布,FLT 是一个用于开发交互式定理证明器的框架。博文讨论了 FLT 的目标、主要功能和未来计划。

苹果公司将推出带 AI 功能的 Safari 浏览器以及新的操作系统 (appleinsider.com)

苹果公司准备在本周晚些时候宣布其计划中的增强现实耳机和其他新产品。现在,新的报告表明苹果公司将在其年度全球开发者大会上首次亮相其 AI 驱动的 Safari 浏览器以及其他新的操作系统。

基于 Transformer 的图像生成模型 3D 隐式表示的研究 (arxiv.org)

本研究提出了一种新的基于 Transformer 的图像生成模型,称为 3D 隐式 Transformer 图像生成(3D-ITR)。3D-ITR 采用 Transformer 架构,将图像表示为三维隐式表示,这使得它能够捕获图像的形 状、纹理和语义信息。此外,3D-ITR 使用 Patch Transformer 编码器来提取图像的局部特征,并使用自注意力机制融合图像的不同部分的信息。在各种图像生成任务上的实验表明,3D-ITR 在图像质量、多模态和多样性方面优于现有的方法。

pykan (github.com)

该网站是一个托管在GitHub上的开源项目,主要提供了一个轻量级的Python爬虫框架,用于从各种网站中提取数据。该框架的特点是易于使用、快速且高效。网站还提供了详细的使用文档和示例代码,方便开发者快速上手使用。

我的 Mastodon 测试! (phpc.social)

这个网站是一个基于 Mastodon 的社交媒体平台,允许用户创建和分享帖子、图片和视频。它还提供了一个论坛,用户可以在其中讨论各种主题并与其他用户互动。

Where to Stream (whereto.stream)

一个提供电影、电视节目、纪录片和网络剧的流媒体指南。它包括来自各种订阅服务和免费来源的点播内容。该网站允许用户搜索、过滤和发现他们想观看的内容。

为什么我们不能拥有美好事物 (www.benlandautaylor.com)

该网站探讨了当今社会中存在的对美好事物的不满和仇恨,作者认为这是因为人们缺乏同理心和对不同观点的容忍。

Story Diffusion (storydiffusion.github.io)

Story Diffusion是一个由Google AI开发的文本到图像模型。它使用人工智能技术将文本描述转换为逼真的图像。用户只需输入一段对图像的文字描述,Story Diffusion模型就会根据提供的文本生成一张图片。该模型可以生成各种风格的图像,包括真实感图像、抽象图像和艺术风格图像。用户还可以使用Story Diffusion来编辑现有的图像,根据他们的喜好对图像进行修改。

Khang ND 的 CSS 试验 (khang-nd.github.io)

这是一个展示使用 CSS3 特性的各种实验的网站。它包含了有关 flexbox、网格、动画和变形的教程和示例。该网站还提供了一个游乐场,用户可以在其中尝试不同的 CSS 代码。

美国风电产量下降 (finance.yahoo.com)

根据雅虎财经的一篇新闻报道,美国的风电产量在过去一年中下降了 15%。这项研究调查了风力发电厂的生产数据,发现自去年以来,产量大幅下降。这可能是由于多种因素造成的,包括天气模式、维护问题和监管变化。该行业预计将在未来几年内继续增长,但短期内可能面临挑战。

Xbox 360 市集更新 (support.xbox.com)

此网站提供 Xbox 360 市集的更新信息。它包含有关市集最新更新、已知问题和故障排除技巧的详细信息。该网站还提供有关如何从市集下载和安装内容的指南。

GitHub - microsoft/go (github.com)

微软官方 Go 语言仓库,包含各种 Go 语言相关的库、工具和资源,如:语言服务器、标准库扩展、编译器和工具链等,旨在帮助开发人员高效地使用 Go 语言进行开发。

纽约大都会运输署被禁止使用面部识别来执行逃票行为 (gothamist.com)

纽约大都会运输署(MTA)已被禁止使用面部识别技术来执行逃票行为。这项禁令是由美国纽约州最高法院的一项裁决做出的,该裁决认为MTA在未经乘客同意的情况下收集生物识别数据,侵犯了乘客的隐私权。这项禁令是全国范围内首次禁止政府机构在公共交通系统中使用面部识别技术。

CloudGoat: 用于云安全团队、云工程师和开发人员的网络钓鱼和漏洞利用学习平台 (github.com)

CloudGoat 是一个用于云安全团队、云工程师和开发人员的网络钓鱼和漏洞利用学习平台。它提供各种基于真实场景的网络钓鱼和漏洞利用挑战,帮助用户识别和缓解云环境中的安全威胁。CloudGoat 涵盖广泛的云安全主题,包括身份和访问管理、基础设施即服务 (IaaS)、平台即服务 (PaaS) 和软件即服务 (SaaS)。

自动紧急刹车新规刚出炉:62 英里时速也能刹得住 (www.theautopian.com)

美国国家公路交通安全管理局 (NHTSA) 已敲定自动紧急制动 (AEB) 的新规,该规则要求所有新乘用车和轻型卡车都必须具备此功能,以提高道路安全。AEB 系统可使车辆在预感即将发生碰撞时自动制动,降低撞车风险和严重程度。新规预计将于 2023 年 9 月生效,届时所有新车型都将配备该功能。

澳航应用程序数据泄露致客户得以获取陌生人订票详情 (7news.com.au)

澳大利亚航空公司(Qantas)的应用程序存在数据泄露问题,导致一些客户能够访问原本不属于其预订的航班详情信息。澳航表示,在第三方供应商SITA在12月31日遭遇网络攻击后,客户的姓名、联系方式、护照信息以及历史和未来的预订信息等个人信息已遭泄露。受信影响的客户已于1月24日收到通知电子邮件,澳航建议他们更改密码并密切关注其帐户活动。该航空公司表示,目前尚无证据表明客户的财务信息或旅行积分遭窃。澳航已向监管机构报告这一事件,并正在展开调查。

谷歌解雇参与抗议的员工 Project Nimbus 项目遭解雇员工投诉 (www.theverge.com)

谷歌解雇了12名参与抗议该公司为美国国防部开发人工智能技术的项目“Project Nimbus”的员工,这些员工向国家劳动关系委员会(NLRB)提出投诉,称谷歌侵犯了员工根据《国家劳动关系法》组织和从事集体行动的权利。

FridgeLock:在具有可用内存加密的挂起 Linux 上防止数据窃取 (www.sec.in.tum.de)

该网站介绍了 FridgeLock,这是一种防止在具有可用内存加密功能的挂起 Linux 上进行数据窃取的技术。该技术通过加密内存中的敏感数据,即使系统处于挂起状态,也能保护数据免遭未经授权的访问。网站还讨论了 FridgeLock 的实现、评估和局限性。

重新评估 Emacs、GitHub、自由与 Microsoft (protesilaos.com)

这篇文章讨论了 Emacs、GitHub、软件自由和 Microsoft 之间的复杂关系。作者认为,虽然 Emacs 和 GitHub 都是强大的工具,但它们也存在一些缺点。作者特别关注 Microsoft 最近对 GitHub 的收购,并认为这可能会对软件自由产生负面影响。

1340万凯撒保险会员数据泄露给在线广告商 (www.darkreading.com)

据报道,1340万凯撒保险会员的个人信息被泄露给在线广告商。该违规行为涉及社会安全号码、出生日期、电子邮件地址和医疗保健索赔信息。凯撒保险表示,没有发现任何证据表明这些数据被用于欺诈或身份盗窃。该公司已向受影响的会员发送通知,并提供了免费信用监控服务。黑客窃取了凯撒保险的一个第三方供应商的凭据,从而导致了这次数据泄露。

通用汽车有轨电车阴谋 (en.wikipedia.org)

通用汽车有轨电车阴谋指的是美国通用汽车公司计划通过收购和拆除有轨电车系统来推动汽车和公共汽车销售的说法。有轨电车阴谋理论认为,通用汽车公司通过成立全国城市公共汽车和电车公司(NCPTA)来达到这个目的。NCPTA随后收购了众多有轨电车系统,并用公共汽车取代了有轨电车服务。通用汽车否认了这一阴谋,但有证据表明,该公司确实采取了一些措施来削弱有轨电车行业。

Rama:Clojure 强大的见证 (blog.redplanetlabs.com)

该博客文章讨论了 Clojure 编程语言的优点,特别是它在塑造 Rama 分布式系统方面的作用。作者描述了 Rama 如何利用 Clojure 的并发性和容错性功能,从而实现了高性能、可扩展和可靠的系统。文章还强调了 Clojure 如何简化开发过程,使开发人员能够专注于业务逻辑而不是低级实现细节。

Kedify 宣布其功能强大的 KEDA 驱动公共测试版正式启动 (kedify.io)

该博文宣布 Kedify 公测版的正式启动,Kedify 是一款由 KEDA 驱动的事件驱动的无服务器平台。该平台为企业提供了打造和部署无服务器应用程序所需的工具和资源。它提供各种功能,包括自动弹性扩展、无服务器计算、与 KEDA 的无缝集成以及对云原生技术的支持。该平台旨在帮助企业通过提高敏捷性、降低成本和简化运营来实现数字化转型。

预计2040年太空任务将需要增加营养物质生产时间 (phys.org)

这项研究调查了太空任务所需的营养物质生产系统。研究人员得出的结论是,到2040年,1年的太空任务将需要营养物质生产系统持续运行356天,而目前仅为100天。他们建议使用藻类生物反应器技术,因为藻类富含必需营养素,并可在太空环境中轻松培育。

苹果公司因拒绝Delta模拟器而面临反垄断诉讼 (www.washingtonpost.com)

最近,由于苹果公司拒绝将Delta模拟器添加到App Store,因此面临一项新的反垄断诉讼。该诉讼指控苹果公司滥用其市场地位,损害了消费者和竞争对手。诉讼要求赔偿,并要求苹果公司改变其App Store政策。

什么是 POSIX? (vorakl.com)

该网站提供有关 POSIX(可移植操作系统接口)的全面指南。它涵盖了 POSIX 的历史、特点、标准以及与其他操作系统的比较。该网站还附有实用示例和进一步阅读的资源链接。

抛弃隐式性,使用算法剪辑 (ryjo.codes)

此网站提供了一种称为算法剪辑的技术,该技术旨在帮助开发人员编写更显式和可维护的代码。它通过提供一种语法来指定算法来实现此目的,该语法可以轻松地嵌入到现有代码中。该网站还提供了算法剪辑的示例,展示了如何使用它来提高代码的可读性和可维护性。

systemd 欲扩展到包含 sudo 替代品 (outpost.fosspost.org)

该网站讨论了 systemd 的最新进展,包括其计划扩展到包含 sudo 替代品。sudo 是一款用于在 Linux 和其他类 Unix 系统中以提升权限运行命令的程序。systemd 是一个初始化系统和服务管理器,在许多 Linux 发行版中使用。该帖子还讨论了 systemd 扩展的潜在影响,以及它可能对系统管理员和最终用户造成的后果。

大型语言模型的最终用户编程 (www.geoffreylitt.com)

这篇文章讨论了大型语言模型(LLM)如何赋能最终用户进行编程。作者举例说明了 LLAMDA、Codiga 和 ChatGPT 等 LLM 如何使初学者和专家程序员都能更轻松地编写代码、调试问题并创建新应用程序。文章探讨了 LLM 作为编程辅助工具的优点,并强调了它们有可能降低编程的门槛,使更多人能够参与软件开发。

1 2 4 6 7 8 9 55 56