Paper Pro:一款彩色电子墨水平板电脑;Broadcast Box:一个开源 WebRTC 流媒体服务器

118 阅读12分钟

eMarkable 推出 Paper Pro,这是一款彩色电子墨水平板电脑,旨在实现无干扰的笔记记录和如纸张般精确的阅读

  • 核心理念: reMarkable 旨在用一种极其自然的数字体验取代传统的纸质笔记本。他们强调“纸质”般的感觉,使其成为记笔记、素描和阅读的理想选择。

  • • **Paper Pro - 最新型号:**这是他们迄今为止最先进的平板电脑,引入了色彩功能,可以实现更丰富的创意表达。

  • 为什么感觉像纸一样:

  • 精密标记: 定制设计的标记与纹理显示表面相互作用,模仿在真实纸张上书写的感觉。

  • • **Canvas 彩色显示屏:**反射自然光,即使在阳光下也能舒适阅读。还配有可调节阅读灯,适合弱光环境。

  • 数字优势:

  • • **编辑和组织:**调整大小、擦除、移动注释、使用模板、突出显示文本以及使用文件夹、标签和搜索功能轻松组织您的工作。

  • • **无干扰体验:**无通知、社交媒体或应用程序——专为专注工作而设计。

  • 连接和存储:

  • • **reMarkable Connect 订阅(可选):**提供无限的云存储、跨设备自动同步以及在移动和桌面应用程序中创建和编辑键入文本的能力。

  • 用户感言: 宇航员凯莉·杰拉迪 (Kellie Gerardi) 称赞 reMarkable 能够深度关注复杂问题。

  • 总体信息: reMarkable 将自己定位为一款无纸化、清晰思考和有效捕捉想法的工具。Paper Pro 型号通过彩色功能提升了体验。

remarkable.com/

CSS @property 为网页设计元素启用高级动画和过渡

  • • 本文探讨了新的 CSS @propertyat-rule,它允许开发人员明确定义自定义属性的语法、初始值和继承。

  • • 它通过创建具有闪亮边框和渐变效果的光滑动画号召性用语按钮来演示此功能。

  • 闪亮边框动画:

  • • 边框的光泽采用圆锥渐变,并通过 CSS 动画进行旋转。

  • • 该@property规则定义--gradient-angle自定义属性,控制光芒的旋转角度。

  • 减慢悬停时的旋转速度:

  • • 一个巧妙的技巧是使用两个相同的动画,一个反转,一个暂停。

  • • 悬停时,动画animation-play-state设置为“运行”,减慢旋转速度而不重置其位置。

  • 微小闪亮的点:

  • • 径向渐变用于在按钮内创建微小的点。

  • • 由该属性控制的圆锥渐变蒙版--gradient-angle在光泽旋转时会显示这些点。

  • 增强的悬停效果:

  • • 悬停状态包括带有高亮颜色的模糊框阴影,并对其比例进行动画处理以实现“呼吸”效果。

  • 好处`@property`:

  • • 本文重点介绍如何@property实现更复杂、更可控的 CSS 动画和样式。

  • • 这表明这@property对于未来的大规模应用程序和设计系统至关重要,可以实现类型安全和更好的代码组织。

ryanmulligan.dev/blog/css-pr…

AlphaFold3 的开源实现

  • OpenFold:重新训练 AlphaFold2

  • • 研究人员重新训练了AlphaFold2蛋白质结构预测模型,深入了解了其学习机制和泛化能力。

  • • 这次再训练表明 AlphaFold2 有进一步改进和适应各种蛋白质结构预测任务的潜力。

  • ProteinFlow:用于蛋白质结构数据预处理的 Python 库

  • • 该库简化了深度学习应用的蛋白质结构数据的准备。

  • • 它简化了常见的预处理步骤,使研究人员更容易将深度学习技术应用于蛋白质结构分析。

  • OpenProteinSet:结构生物学的大规模训练数据

  • • 该计划旨在为训练结构生物学的机器学习模型提供大量蛋白质结构数据集。

  • • 如此庞大且多样化的数据集对于推动蛋白质结构预测和理解领域的发展至关重要。

  • 带有 Transformers 的扩散模型 (DiT)

  • • 这项研究探索了变压器架构在扩散模型(一类强大的生成模型)中的使用。

  • • 将变压器捕获长程依赖关系的能力与扩散模型的灵活性相结合,为生成高质量的蛋白质结构开辟了新的可能性。

  • 阐明基于扩散的生成模型的设计空间

  • • 这项工作深入研究了影响扩散模型性能的各种设计选择和超参数。

  • • 了解这个设计空间对于优化特定任务(例如蛋白质结构生成)的扩散模型至关重要。

github.com/Ligo-Biosci…

Kagi 推出人工智能助手,具有可定制的 LLM、私有线程以及与 Kagi 搜索的集成

  • Kagi Assistant 由 OpenAI、Anthropic、Google 和 Mistral 等提供商提供的领先大型语言模型 (LLM) 提供支持。 您可以选择最适合您需求的模型,并随时在它们之间切换。

  • 与 Kagi Search 集成: 助手利用 Kagi 的高质量搜索结果提供准确且最新的信息。这意味着其响应基于事实数据,避免了“垃圾邮件”和“广告”网站。

  • 主要特点:

  • 快速回答: 在查询后附加“?”即可获得许多搜索的即时答案。

  • 总结页面: 快速掌握网页要点。

  • 询问有关网页的问题: 直接询问有关搜索结果中的内容的问题。

  • 自定义助手: 创建针对特定任务或兴趣的个性化助手。您可以提供上下文、说明,并选择最适合您需求的 LLM 和工具(如 Kagi Search)。例如,汽车爱好者可以创建专门提供有关经典大众巴士建议的自定义助手。

  • 中间线程编辑和分支: 优化提示并探索不同的对话路径,而无需从头开始。这允许与 LLM 进行更细致的互动。

  • 隐私重点:

  • • 帖子默认为私密,并在设定的时间(默认为 24 小时)后自动过期。您可以选择保存重要的帖子。

  • • Kagi 不会使用您的数据来训练模型或展示广告,从而确保您的隐私受到保护。

  • 定价和供货情况: 该助手是 Kagi Ultimate 计划(25 美元/月)的一部分,该计划还包括对 Kagi Search 的完全访问权限。

blog.kagi.com/announcing-…

DAGitty – 绘制和分析因果图

  • • DAGitty 是一个免费的开源网络应用程序和 R 包,旨在创建、编辑和分析因果图(有向无环图或 DAG)。

  • • 其主要目标是通过直观地呈现因果关系来帮助流行病学等领域的研究人员最大限度地减少实证研究中的偏见。

  • • DAGitty 中的算法基于广泛的研究以及与因果推理领域专家的合作。

  • 主要特点:

  • • 绘制和编辑 DAG:用户可以轻松创建节点(表示变量)和有向边(显示因果关系)。

  • • 识别混杂因素和调整集:DAGitty 有助于确定在统计分析中需要控制哪些变量以分离出感兴趣的真正因果关系。

  • • 寻找工具变量:对于直接操纵暴露不道德或不可能的情况,DAGitty 可以帮助识别可用于估计因果关系的合适工具变量。

  • 可访问性:

  • • 基于网络的版本直接在您的浏览器中运行,因此可以通过任何可以访问互联网的设备访问它。

  • • 可下载的源代码允许离线使用和定制。

  • 支持和社区:

  • • 用户可以通过 Mastodon、GitHub 讨论或电子邮件寻求帮助。

  • • 欢迎并承认对该项目做出的贡献。

  • 引用:

  • • 鼓励在工作中使用 DAGitty 的研究人员引用相关出版物:Textor 等人(2016 年)。“使用有向无环图进行稳健因果推理:R 包‘dagitty’。”国际流行病学杂志。

  • 相关软件:

  • • 文中提到了其他用于因果推理的工具,例如 ggdag(与 tidyverse 兼容的 R 包)、shinydag(用于 DAG 可视化和导出的 GUI)、TETRAD、DAG 程序、dagR 和 daggle(用于练习协变量选择的交互式应用程序)。

dagitty.net/

Flower Machine: 定制逻辑控制器控制的气动制花机的设计和构造

Rahix 和他的女友 Lena 着手进行气动学研究项目,最终建造出一台他们称之为“花机”的机器。

花机完全采用气动方式,这意味着它使用压缩空气来执行所有机械功能。与其他自动化方法相比,他们选择气动方式是因为其简单、可靠且经济高效。

为了控制花机,Rahix 设计并制造了一个名为“Poppy 逻辑控制器”的定制逻辑控制器。该设备模仿了传统可编程逻辑控制器 (PLC) 的功能,但价格更便宜、开源,并且可在现成的硬件上运行。

花机的机械设计结合了各种元素来实现其功能。虽然没有详细介绍具体细节,但博客提到了这些设计选择对于实现机器运行的重要性。

Rahix 和 Lena 面临的最大挑战之一是开发可靠的送纸机制。他们需要一个能够自动从纸堆中挑选出单个方形纸并将其送入机器的系统。这涉及设计和实施一种专门的机制来处理送纸这项精细的任务。

blog.rahix.de/tags/flower…

物理学非常擅长创造新数学

数学和物理学日益交织在一起:文章强调了一种日益增长的趋势,即数学突破受到物理学见解的推动,特别是在数论等领域。

例如:“朗兰兹纲领”的证明:这个复杂的数学猜想涉及不同数学对象之间的深层联系。最近的一项突破依赖于共形场论中最初发展的概念,共形场论是弦理论的关键物理学分支。

未来意义:作者认为,朗兰兹纲领和其他具有挑战性的数学问题(如黎曼假设和伯奇和斯温纳顿-戴尔猜想)的进一步进展可能需要数学家和物理学家之间更深入的合作。

历史视角: 文章将其与牛顿和高斯时代的数学和物理学之间的密切关系进行了类比,表明我们可能正在进入一个类似的跨学科协同时代。

需要新的数学工具:作者暗示,解开数学中的一些最深的谜团可能需要开发全新的数学框架和概念,这些框架和概念可能会受到物理理论的启发。

nautil.us/why-physics…

英特尔代工厂的生存取决于美国政府的购买担保,以激励尖端芯片制造的独立性

  • • **问题:**由于担心中国可能对台湾采取行动,美国需要一个非台湾的先进芯片制造选择。英特尔代工虽然前景光明,但在与台积电等老牌公司的竞争中却面临着艰巨的挑战。

  • 为什么市场力量无法解决这个问题: 仅仅依靠市场力量无法创造出台积电的可行美国替代方案。建造和运营尖端晶圆厂的成本巨大,而英特尔代工厂缺乏现有的客户基础和制造专业知识,无法有效竞争。

  • 建议的解决方案:购买担保

  • • 作者提出了一种购买担保制度来取代传统的补贴,即美国政府承诺在一定时期内(可能是十年)以预定的价格购买特定数量的芯片(5nm、3nm、2nm)。

  • • 这将为英特尔代工厂提供稳定的客户群和收入来源,使其能够投资研发并扩大生产规模。

  • 购买保证的好处:

  • • 激励其他公司(GlobalFoundries、台积电)投资美国制造业。

  • • 利用英特尔代工厂的专业知识和基础设施,创造一个初创企业可能崛起的环境。

  • • **需要重新开始:**作者认为,英特尔代工厂需要摆脱英特尔 x86 芯片主导地位的遗留包袱。它应该专注于成为一家中立的代工厂,为各种客户(苹果、Nvidia、AMD)和技术提供服务。

  • 底线: 打造一个可行的美国替代台积电工厂需要政府的大力干预。购买担保比传统补贴提供了更有效的解决方案,为英特尔代工厂提供了成功所需的稳定性,同时也鼓励了对美国芯片制造业的更广泛投资。

stratechery.com/2024/intel-…

Broadcast Box 是一个开源 WebRTC 流媒体服务器,它支持 Docker Compose 实现自动 HTTPS 设置和更新

  • 它是什么: Broadcast Box 可让您使用 WebRTC 技术流式传输直播视频 (WHIP) 和播放录制的视频 (WHEP)。您可以将其视为您自己的个人广播平台。

  • 如何设置:

  • Docker Compose: 最简单的入门方式,特别是如果您使用的是 VPS 或云服务器。它使用 Let'sEncrypt 自动处理 HTTPS,并使用 Watchtower 每晚更新 Broadcast Box。

  • 环境变量: 您可以使用环境变量自定义广播盒的行为:

  • DISABLE_STATUS:关闭状态API。

  • DISABLE_FRONTEND:仅启用 REST API 和 WebRTC,没有 Web 界面。

  • HTTP_ADDRESS,,SSL_CERTSSL_KEY配置您的 HTTP 服务器和 SSL 证书。

  • NAT_1_TO_1_IPINCLUDE_PUBLIC_IP_IN_NAT_1_TO_1_IP:帮助广播盒向观众公布正确的 IP 地址,特别是当您位于 NAT 后面时。

  • INTERFACE_FILTER:指定用于 UDP 流量的网络接口。

  • NAT_ICE_CANDIDATE_TYPESTUN_SERVERS:改善 NAT 后面的 WebRTC 连接。

  • 启动时进行网络测试: 在 Docker 中运行时,Broadcast Box 会执行网络测试以确保 WebRTC 正常运行。如果失败,容器将无法启动。您可以使用NETWORK_TEST_ON_START环境变量禁用此测试。

  • 后端端点:

  • /api/whip:启动 WHIP 会话以进行直播。

  • /api/whep:启动 WHEP 会话以播放视频。

  • /api/status:(可选)获取所有活动 WHIP 流的状态。

github.com/Glimesh/bro…