Model Explorer是一款直观的模型图可视化工具,它以分层方式组织模型操作,用户可以动态地展开或折叠这些层次。Model Explorer还提供了丰富的功能来帮助模型探索和调试,包括突出显示输入和输出操作、在节点上叠加元数据、在交互式弹出窗口中显示层、执行搜索、显示相同的层、GPU加速图形渲染等等。Model Explorer目前支持TFLite、TF、TFJS、MLIR和PyTorch(导出程序)模型格式,并为开发人员提供了一个扩展框架,可以轻松地添加对其他格式的支持。
本文介绍了Compiler Explorer (CE) 编译器,这是一个面向对编译器或计算机体系结构感兴趣的任何人的强大工具。CE支持69种源语言、2000多个编译器以及广泛的目标体系结构,包括x86、arm、risc-v等。它允许用户输入源代码并查看编译后的输出,例如汇编语言。文章详细介绍了CE的功能,包括探索不同的体系结构、比较编译器、理解汇编语言以及查看LLVM中间表示。它还强调了CE在演示现代编译器的复杂性和优化能力方面的有用性。
AI Test Kitchen是一个谷歌开发的AI模型测试平台,用户可以通过该平台体验最新的AI技术,例如VideoFX,该技术可以根据文字描述生成视频。平台目前处于测试阶段,需要用户注册谷歌账号才可参与体验。
尽管Sweetgreen沙拉售价高达20美元,但在2024年第一季度收入同比增长26%后,其股价周五飙升34%。尽管销量创历史新高,但Sweetgreen仍未盈利。每15美元的收入中,运营成本超过17.50美元,其中食品、饮料和包装成本仅占4.15美元,人工成本占4.35美元,租金、财产成本和其他费用占3.78美元。为了提高利润率,Sweetgreen开始在厨房部署机器人并推出牛排沙拉。
谷歌正在尝试在安卓设备上运行 Chrome OS,并向合作伙伴公司私下演示了这一功能。该方法涉及通过安卓虚拟化框架(AVF)在虚拟机中运行 Chrome OS 的特殊版本。谷歌尚未透露是否计划在未来的 Pixel 设备上发布此功能。
该项目将 Kolmogorov-Arnold 网络 (KAN) 的创新架构扩展到卷积层,将卷积的经典线性变换更改为每个像素中可学习的非线性激活。与传统卷积网络相比,KAN 卷积网络需要的参数明显更少,这在处理大型数据集和复杂模型时具有潜在优势。虽然初步评估结果尚未显示出显著的性能提升,但随着模型和数据集复杂性的增加,预计 KAN 卷积网络的性能将得到提升。
苏黎世联邦理工学院的研究人员开发出一种以蛋白质为基础的凝胶,可以在不伤害身体的情况下分解胃肠道中的酒精。这种凝胶使用单个铁原子作为主要催化剂,将酒精转化为无害的乙酸。在老鼠实验中,该凝胶可将血液酒精含量降低多达 50%,并保护身体免受损害。虽然在人类使用之前还需要进一步测试,但研究人员相信凝胶的应用前景,并已申请专利。
戴尔再次发生客户数据泄露事件,继上周黑客窃取了4900万客户的物理地址后,现在又有更多数据被盗,包括姓名、电话号码和电子邮件地址。这些个人信息包含在客户“服务报告”中,还包括更换硬件和零件的信息、现场工程师的评论、调度号,在某些情况下还包括从客户计算机上传的诊断日志。黑客Menelik声称对这两起数据泄露事件负责,他表示自己已经掌握了大约3万名美国客户的数据,并表示他利用的漏洞与允许他获取第一轮4900万客户记录的漏洞类似。
Linum是一家致力于打造新一代视频生成工具的初创公司,该公司正在招募一名创始AI工程师。 该职位主要负责原型设计和扩展模型训练数据集、集思广益并实施新的模型架构以及优化模型以进行推理和生产部署。 理想的候选人应该精通 Python 和 PyTorch,并拥有 2-3 年应用机器学习工程师/研究员的行业经验或同等的研究经验,以及生成式人工智能模型的训练经验。
本文介绍了频域的概念,以及如何利用离散余弦变换 (DCT) 将图像转换为频域表示。作者通过将猫的频域表示叠加到女人的照片上,展示了如何在频域中隐藏信息。实验结果表明,即使经过 JPEG 压缩,隐藏的猫的图像仍然可以辨认出来。
人工智能 (AI) 的能源消耗正在迅速上升,预计到 2030 年,人工智能的耗能将是整个法国的两倍。ChatGPT 的耗能是谷歌搜索的 25 倍,每次对话会蒸发半升水。训练语言模型 GPT 消耗的能量最多,GPT3 的微调耗电量为 1287 兆瓦时,相当于 502 吨二氧化碳排放量。咨询公司 Gartner 警告说,人工智能的负面影响需要得到缓解。
本文详细介绍了 Haskell 中各种字符串类型的用途、优缺点和内部实现,包括 String、Text、ByteString、ShortByteString、OsString 等,以及如何安全地构造、转换和序列化这些字符串类型。作者还讨论了 Unicode、字符编码和文本编码等相关概念,以及懒加载 IO 和流处理的优劣。最后,作者反驳了“Haskell 字符串类型太多”的观点,认为每种类型都有其独特的应用场景和价值。
本文回顾了面向对象编程的狂热时期,指出尽管面向对象编程的一些基本原则很有用,但当时的狂热是不必要的,甚至是有害的。作者将这种现象比作社会传染病,并指出现代社会中仍然存在类似的趋势,例如强制戴口罩。作者建议读者批判性地看待任何流行的技术和理念,避免盲目跟风。
日本研究人员利用飞秒激光技术,创造了一种可以在空中生成3D图像的等离子显示器。与传统的激光诱导等离子显示器不同,这种新技术产生的等离子体可以安全触摸,用户甚至可以通过触摸感受到等离子体产生的冲击波。虽然目前的显示器尺寸还很小,但研究人员相信,通过使用不同的光学设备,可以将其扩大到足以应用于消费电子产品。
本文探讨了一种名为“主动学习”的有效教学方法。研究表明,尽管“主动学习”能让学生在测试中取得更好的成绩,但学生们却认为这种方法让他们学到的东西更少,并更偏爱传统的讲座式教学。文章分析了造成这种现象的可能原因,包括“主动学习”的难度较高、学生不熟悉这种方法以及学生可能存在认知偏差等。文章还建议教授在采用“主动学习”时,应向学生解释这种方法的有效性,以提高学生对它的接受度。
本文通过对8085芯片的硅反向工程,分析了其中两个未公开的标志位V和K的实际功能。研究发现,V标志位表示有符号数溢出,而K标志位用于比较有符号数,这与之前发表的解释不同。电路分析表明,这两个标志位是刻意实现的,但Intel却未对其进行记录或支持,其原因可能是为了与8086的源代码兼容。文章还详细介绍了V和K标志位的电路实现,包括NOR门、异或门、锁存器和超级缓冲器等电路组件,并深入到硅层面的晶体管结构,展示了微处理器物理实现的有趣细节。
Pico是一个开源的Ngrok替代方案,旨在服务生产流量并易于托管(尤其是在Kubernetes上)。Pico 可以用于暴露客户网络中的服务、构建自带云 (BYOC) 服务或连接到物联网设备。代理服务器可以作为节点集群托管,以实现容错、扩展和零停机部署。上游服务连接到 Pico 并注册端点。然后,Pico 将通过其仅出站连接将端点请求路由到已注册的上游服务。这意味着你可以在不打开公共端口的情况下暴露你的服务。
本文探讨了人类在面临气候变化和全球性崩溃时如何生存下去。文章认为,传统的可持续发展模式无法解决问题,我们应该借鉴进化生物学的原理,改变自身行为,以适应不断变化的环境。作者主张分散化、地方化的生存策略,鼓励人们回归农村,建立更小、更自给自足的社区,以应对即将到来的挑战。
Mozilla宣布了一种新的数据收集方法,用于更好地了解用户如何与Firefox互动,尤其是在搜索方面。 这种方法将搜索活动分类到高级类别,例如“旅游”或“健康”,但不收集特定搜索词或链接到个人身份的信息。 Mozilla强调,这种方法优先考虑用户隐私,并使用诸如OHTTP之类的技术来匿名化数据,确保其无法与用户IP地址连接。 用户可以选择不发送任何技术或使用情况数据,并且在使用Firefox的隐私浏览模式时不会收集类别数据。
本文介绍了Lesli框架中数据库版本控制的规范。为了防止命名冲突,保持数据库结构清晰有序,Lesli采用了一种自定义的8位数编码系统来命名迁移文件,并根据版本将迁移文件组织到不同的文件夹中。该编码系统包含了集合、引擎、命名空间、表和版本信息,例如 '0702110110_create_lesli_support_tickets.rb' 代表LesliSupport引擎的版本1.0的数据库迁移文件,用于创建名为 'lesli_support_tickets' 的表。文章还给出了创建新表和修改现有表的迁移文件命名示例。
团队射击游戏《漫威:宿敌之战》的开发商为合同中的一项条款道歉,该条款要求创作者承诺不提供“对游戏的负面评价”,以换取提前参与封闭alpha测试的资格。网易在周末注意到的一篇Discord帖子中为合同中“不恰当和误导性的条款”道歉,并表示“我们绝对欢迎各种建议和批评,以改进我们的游戏,……我们的使命是让《漫威:宿敌之战》变得更好,并通过这些建设性的建议来满足玩家。”网易表示,他们正在对合同进行“调整”,“使其限制更少,对创作者更友好”。
圣菲研究所的最新研究扩展了计算的热力学理论,引入了新的数学方程式,揭示了依赖随机性的计算过程的能量成本。该研究为不可预测运行时间和不可逆问题的能量成本等棘手问题提供了见解。通过结合统计物理学和计算机科学的方法,研究人员推导出新的数学方程式,揭示了依赖随机性的计算过程的最小和最大预测能量成本。该框架提供了一种直接的方法来计算这些情况下能量成本的下限,并可能带来更高效的计算机芯片架构。
荷兰法官裁定加密货币匿名工具Tornado Cash的开发者之一Alexey Pertsev犯有洗钱罪,判处其五年零四个月监禁。检方指控该工具被犯罪分子利用,洗白了12亿美元的加密货币。Pertsev辩称,作为在以太坊区块链上运行的软件,Tornado Cash不受任何人的控制。但检方认为,Pertsev和其他的开发者通过操作网络界面,对Tornado Cash拥有实际控制权。此案凸显了加密货币隐私工具与犯罪活动之间的复杂关系,引发了关于开源软件开发者责任的争议。
人工智能生成的图像正在社交媒体上激增,包括虚假商品广告、带有奇怪图片的转发诱饵等垃圾信息。Meta公司承认问题存在,并表示将很快开始标记一些由人工智能工具创建的内容。
本文讲述了中东地区如何崛起成为人工智能和科技发展领域的重要力量。过去,硅谷对独裁国家敬而远之,但中东地区的财富吸引了众多科技公司。在拜登政府的推动下,科技公司与中东地区的合作被视为对抗中国崛起的堡垒,催生了一批前往海湾国家寻求主权财富基金支持的创业者。
这篇文章讲述了作者与模拟器的第一次接触以及模拟器如何影响了他的游戏生涯。作者从小就热爱游戏,从Game Boy到GameCube,他对游戏的热情不断增长。在大学期间,他接触到了模拟器,并用它重温了DOS游戏。模拟器让他发现了许多经典游戏,如最终幻想战略版、皇家骑士团等,同时也让他意识到保存和收藏游戏的价值。作者认为模拟器极大地拓展了他的游戏品味,并对他如今的游戏收藏产生了深远的影响。
本文探讨了链表在数据验证库中的实际应用,展示了链表如何显著优于向量,特别是在需要精确定位错误位置的场景下。文章以构建一个简单的JSON Schema验证库为例,逐步演示了从朴素方法到各种优化的实现过程,并分析了每种优化对性能的影响。作者重点讲解了如何利用链表进行图遍历,以及如何通过优化内存分配策略来提高链表的性能。
文章探讨了编程语言中引用(指针)的优缺点,以及如何处理可变的、别名化的状态。作者认为,引用会导致难以局部推理系统组件的行为,并回顾了各种解决这个问题的方法,包括面向对象编程、纯函数式编程和Rust的借用检查器。作者认为Rust的方案,即保证状态在发生变化时不被别名化,是一种强大的工具,因为它允许局部分析系统的行为。作者主张开发新的编程语言,在不使用共享可变状态的情况下允许命令式编程。
本文探讨了玩家在电子游戏中“优化乐趣”的现象,即玩家倾向于选择最有效、最容易的玩法,即使这种玩法可能并不有趣。作者以《生化奇兵:无限》和《古墓丽影:崛起》为例,阐述了玩家如何通过优化策略来降低游戏难度,并指出这种行为会导致游戏体验下降。作者认为,游戏开发者应该通过激励机制引导玩家选择更有趣的游戏方式,例如《魔兽世界》的休息奖励机制,而不是像《幽浮2》那样惩罚玩家的非预期行为。