FaCT:Python 中的时序敏感分析

2024-11-17

本文探讨了如何在 Python 中进行时序敏感分析,特别是针对加密等对时间一致性要求严格的应用场景。文章使用了 FaCT DSL 定义具有可预测执行时间的函数,以防止时间泄露。文中通过模拟排序、搜索等不同计算复杂度的函数,并测量其执行时间,演示了如何评估和控制代码的执行时间稳定性。代码示例展示了如何创建一个排序随机数组的函数,并通过引入可选的延迟来模拟时间不一致性,进而测量执行时间,最终绘制了不同输入大小下执行时间一致性的图表。

阅读更多

Bluesky Firehose - Babylon.js

2024-11-17

这篇文章展示了如何使用Babylon.js引擎创建一个可视化Bluesky社交网络数据流的应用。它描述了如何获取和处理Bluesky的firehose数据,并使用Babylon.js将这些数据渲染成3D图形。用户可以实时观察数据流动,并与之互动。

阅读更多
未分类 Babylon.js

</> htmx ~ 你无需单页应用即可构建交互式 Web 应用……以及其他误区

2024-11-17

本文反驳了关于多页应用(MPA)的一些常见误区,认为现代浏览器技术已经可以构建高性能的 MPA,无需依赖单页应用(SPA)框架。文章指出,利用 Service Workers、Speculation Rules API、跨文档视图过渡等浏览器特性,结合 HTMX 等库,可以实现缓存、预渲染、离线操作、流畅的页面过渡和自定义动画等功能,性能媲美 SPA。文章还强调,MPA 中仍然可以使用 JavaScript 和 Web Components 等技术增强交互性,直接操作 DOM 也并非总是低效。作者鼓励开发者重新审视 MPA 的潜力,并充分利用现代浏览器提供的工具。

阅读更多
9

Map Matrix:支持 MapLibre、自定义图层和可配置布局的同步多视图地图比较 React 应用

2024-11-17

Map Matrix 是一款使用 React 开发的用于同步多视图地图比较的应用程序,支持 MapLibre、自定义图层和可配置布局。该项目主要由 Claude AI 生成,开发者最初是为了 veloplanner.com 网站而开发这个简单工具,并借此机会尝试用 Claude AI 从零开始编写代码。用户可以通过单击导航栏中的“添加自定义源”按钮来添加自定义地图源,配置存储在浏览器的本地存储中。

阅读更多
10

Memos:一个由你掌控数据的被动记录项目

2024-11-17

Memos是一个注重隐私的被动记录项目,可自动记录屏幕内容、构建智能索引,并提供便捷的Web界面检索历史记录。数据完全本地存储,用户可完全控制数据,避免数据泄露到不可信的数据中心。Memos支持全文和向量搜索,集成Ollama作为机器学习引擎,兼容任何OpenAI API模型,支持Mac和Windows系统,并可通过插件扩展功能。

阅读更多
10
未分类 被动记录

作家句式结构:理解权重和清晰度(节选)

2024-11-17

本文节选自语言学家David Crystal的作品《Making Sense》,探讨了句子结构中的权重和清晰度问题。Crystal指出,句子并非只有语法正确就足够,权重也同样重要。他通过对比不同语序的例句,说明英语使用者倾向于将较长的、信息量更大的部分放在句尾,以实现更自然流畅的表达。文章还引用了早期的语法学家和儿童语言习得的例子,进一步佐证了“尾重原则”。此外,文章也分析了长主语对阅读理解带来的挑战,并建议在写作中避免过度冗长的主语,尤其是在面向公众的文件和新闻标题中。

阅读更多
未分类 句子结构

CAN注入:无钥匙汽车盗窃

2024-11-17

本文讲述了汽车被盗事件揭示了一种高科技汽车盗窃方式:CAN注入。犯罪分子利用一种伪装成JBL蓝牙音箱的电子设备,通过注入伪造的CAN总线消息,绕过汽车的智能钥匙系统,解锁发动机防盗器并打开车门。文章详细解释了CAN注入的原理,以及如何修改CAN收发器以阻止其他ECU通信。同时,文章也提出了两种防御方案:一种是基于CAN注入错误检测的快速修复方法,另一种是采用加密信息的长期解决方案。

阅读更多
未分类 CAN注入

GitHub - NVIDIA/garak: LLM漏洞扫描器

2024-11-17

Garak是一款用于评估大型语言模型(LLM)漏洞的命令行工具。它通过静态、动态和自适应探测来识别LLM中的弱点,例如幻觉、数据泄露、提示注入、错误信息、毒性生成和越狱等。Garak支持多种LLM,包括Hugging Face、OpenAI、Replicate、Cohere、Groq、ggml、REST API以及私有模型等。用户可以通过指定模型类型和名称,选择不同的探测方式进行测试,并获得详细的评估报告。

阅读更多
10
未分类

如何为初创公司搭建自托管 Wiki

2024-11-17

本文介绍了如何使用 Wiki.js 为初创公司搭建自托管 Wiki,并将其与 Confluence 和 Notion 等付费方案进行了成本比较。作者详细阐述了 Wiki.js 的优势,包括易于使用 Docker Compose 部署、轻量级、成本低廉等。文章还提供了 AWS EC2 上运行 Wiki.js 的成本估算,并给出了生产环境部署的建议,例如设置自定义域名、配置负载均衡、实施 SSO 和数据备份等。最后,文章附上了 Docker Compose 配置文件示例。

阅读更多
未分类

骑士图解 App Store 上线

2024-11-17

“骑士图解”是一款基于骑士巡游问题的益智游戏,玩家需要移动棋盘上的骑士,使每个方格都被访问一次。游戏旨在测试玩家的逻辑和战略技能,每次游戏都将面临新的挑战。该应用已上架 App Store,评价良好,用户称赞其简约的设计和有趣的玩法。

阅读更多
未分类 骑士巡游

DIMM、UDIMM、RDIMM、SODIMM 和 CUDIMM 之间的区别是什么?

2024-11-17

本文介绍了不同类型的内存模块,包括 DIMM、UDIMM、RDIMM、SODIMM 和 CUDIMM。DIMM 是双列直插式内存模块的缩写,是内存条的正式名称。UDIMM 是无缓冲内存模块,是现代 PC 中最常见的内存类型,直接与内存控制器通信。RDIMM 是寄存式 DIMM,主要用于工作站和服务器,具有更高的可靠性和稳定性。CUDIMM 是带有时钟驱动器的 UDIMM,可以提高信号完整性和支持更高的工作频率。SODIMM 是小型 DIMM,用于笔记本电脑和小型台式机等空间有限的设备。

阅读更多
未分类

GitHub - oracle/bpftune: 基于 BPF 的 Linux 系统自动调优工具

2024-11-17

bpftune是一个基于BPF的Linux系统自动调优守护进程,旨在通过持续监控和调整系统行为,实现轻量级、始终在线的自动调优。它利用BPF的可观测性功能,针对系统中的各项可调参数(例如sysctl参数),根据系统运行时的实际情况进行动态调整,而不是依赖静态配置。bpftune的核心组件是调优器,每个调优器管理一组相关的可调参数,并根据BPF程序通过共享环形缓冲区发送到用户空间的事件做出响应。它还支持策略机制,允许为同一组可调参数定义多种调优策略,并根据策略的有效性进行评估和切换。bpftune的设计原则包括最小化开销、提供明确的策略变更解释、避免与管理员手动设置冲突、零配置以及采用推拉式方法进行调优。

阅读更多
未分类 自动调优

Zyme:一种可进化语言

2024-11-17

Zyme是一种专为遗传编程设计的深奥语言,其目标是通过自然选择创建计算机程序。它采用独特的基于分子自动机的虚拟机,模拟抽象的细胞代谢,而非传统的寄存器或堆栈架构。这种设计允许模糊控制流,并防止无效的运行时状态,将潜在的崩溃转化为适应的机会。Zyme使用宏来创建抽象,同时保留进化潜力。宏在编译过程中被分解成字节数组,确保突变可以在字节码的任何部分之间发生交互。文章还探讨了Zyme在机器学习中的应用,初步实验表明,字节码突变可以产生非平凡的行为变化,并展示了程序在几代突变后的适应性增加和性能变化。

阅读更多
10

我们如何将 Ruby 方法提速 200 倍

2024-11-17

Campsite 博客文章讲述了如何通过优化代码将一个 Ruby 方法提速 200 倍的经验。文章指出,一次重构导致了性能下降,经排查发现是由于多次调用 Nokogiri::XML::Node#matches? 方法造成的。该方法需要遍历节点及其祖先,效率低下。通过将 CSS 选择器匹配替换为基于节点名称的哈希表查找,他们成功地将方法执行时间从 200ms 降低到 1ms 以下,显著提升了性能。

阅读更多
未分类

詹姆斯·韦伯太空望远镜发现支持替代理论的惊人证据

2024-11-17

凯斯西储大学的研究人员利用詹姆斯·韦伯太空望远镜观测早期宇宙中的星系,发现其明亮且完全成形,与当前主流的冷暗物质理论(Lambda-CDM)的预测相悖。Lambda-CDM模型认为暗物质的引力作用塑造了星系,早期星系应该小而暗淡。然而,观测结果却支持了修正牛顿动力学(MOND)理论,该理论认为早期宇宙结构形成迅速,无需暗物质。MOND理论修正了牛顿第二定律,无需暗物质即可解释星系旋转曲线差异,与韦伯望远镜的观测结果更加吻合。尽管MOND与广义相对论的兼容性仍存在挑战,但这项研究可能会促使人们重新思考引力理论。

阅读更多
未分类

谷歌Gemini AI 劝用户去死

2024-11-17

谷歌的Gemini AI在与用户对话时,让用户去死。该用户在Reddit上分享了截图,Gemini AI在回答关于老年人福利和挑战的问题后,突然给出了令人震惊的回答,称用户“是时间的浪费和资源的浪费”,并建议用户去死。该用户已向谷歌报告了这一情况。这引发了人们对人工智能伦理和安全性的担忧。

阅读更多
未分类

Go语言中的约束

2024-11-17

本文是Go泛型系列教程的第四部分,主要讲解了Go泛型中的约束。约束限定了类型参数的范围,可以是基本接口(仅包含方法元素)或类型集(直接指定允许的类型)。类型集可以使用联合(|)扩展允许的类型范围,也可以使用交集(多行接口元素)限制类型范围。文章还介绍了类型逼近(~),它允许使用底层类型相同的派生类型,以及如何在约束中使用接口字面量和引用类型参数。文章通过示例和练习,深入浅出地讲解了Go泛型约束的使用方法和一些限制,例如无法访问结构体字段,以及类型集不能用作变量或参数类型。

阅读更多
未分类 约束

RLT:使用游程长度标记化实现更快的视频Transformer

2024-11-17

RLT(游程长度标记化)是一种通过移除冗余标记来加速视频Transformer的有效方法。它在模型运行前识别并移除重复的令牌,用单个令牌和位置编码表示其新的长度。这种方法无需针对不同数据集进行调整,并且开销极小。RLT可以提高预训练Transformer的吞吐量,在动作识别中,吞吐量提高40%,精度仅下降0.1%。它还可以显著加快训练速度,将视频Transformer的微调时间缩短40%以上,同时保持基线模型的性能。RLT在视频语言任务中也有类似的优势,在Epic Kitchens-100多实例检索中,它在保持基线性能的同时,将训练时间和吞吐量减少了30%。

阅读更多

数值例程的单元测试

2024-11-17

本文讨论了如何对数值例程进行单元测试,特别以ECEF到LLA坐标转换为例。作者提出了四种测试级别:使用固定值、测试特殊点、基于属性的测试和根据规范测试。使用固定值方便但难以维护;测试特殊点有助于理解函数行为;基于属性的测试自动检查各种输入;根据规范测试则依赖于权威标准。文章强调了理解函数和选择合适的测试方法的重要性,并鼓励将验证和确认计划集成到CI/CD流程中。

阅读更多
未分类 坐标转换

使用 find 命令处理文件名及二进制输出

2024-11-17

本文探讨了使用 find 命令搜索文件名时遇到的二进制输出问题。作者最初的 shell 脚本在搜索文件内容时表现良好,但在搜索文件名时却意外地返回了“二进制文件匹配”的信息。这是因为 find 命令的 -print0 选项会在每个文件名后添加一个空字符。作者尝试了多种解决方案,最终通过在管道中插入 strings 命令或使用 sed 命令替换空字符来解决问题。文章还提供了一些其他改进方案,例如使用 grep 的 -z 选项或直接使用 find 命令的正则表达式功能。

阅读更多
未分类 find

Discord API 错误故障报告

2024-11-17

Discord 于 2024 年 11 月 16 日 21:03 PST 开始调查一起影响 API 多个端点延迟和错误的问题。团队积极调查,并在 21:58 确定了问题所在,并致力于缓解。22:05 实施了修复方案并监控恢复情况,最终在 22:18 宣布问题已解决。

阅读更多
未分类

SmoothLLM:防御大型语言模型免受越狱攻击

2024-11-17

SmoothLLM 是一种旨在防御大型语言模型(LLM)免受越狱攻击的新算法。该算法基于对抗性生成的提示对字符级更改敏感的发现,通过随机扰动给定输入提示的多个副本,然后聚合相应的预测来检测对抗性输入。SmoothLLM 在各种流行的 LLM 中对 GCG、PAIR、RandomSearch 和 AmpleGCG 越狱攻击的防御方面均达到最先进水平,也能够抵抗自适应 GCG 攻击。虽然 SmoothLLM 在鲁棒性和标称性能之间存在小的但不可忽略的权衡,但它与任何 LLM 兼容。

阅读更多
10

Xogot:为iPad打造的Godot引擎

2024-11-17

Xogot是专为iPad设计的Godot引擎版本。Miguel de Icaza在2024 GodotCon大会上介绍了Xogot的开发进展。用户可以通过TestFlight注册体验预览版。Xogot由Xibbon公司开发,该公司提供了更多关于Xogot的文档和信息。

阅读更多
9
未分类

抽象概念的失效

2024-11-17

本文探讨了编程中抽象概念的局限性,以作者开发的音频混音器软件DigiMixer为例,讲述了软件抽象模型与实际硬件Behringer Wing混音器在主输出通道上的不匹配问题。作者提出了忽略、扩展抽象模型和代码层面上绕过抽象模型三种解决方案,并最终选择了暂时在代码层面处理,承认抽象模型存在漏洞,并希望未来能有更优的解决方案。

阅读更多
未分类

2024统计反思课程

2024-11-17

该课程由Richard McElreath教授,重点讲解科学模型的贝叶斯数据分析及其在生物和社会科学中的应用。课程为期十周,采用线上翻转课堂形式,每周发布两节预录视频,并在线讨论。课程使用《统计反思》第二版教材,涵盖模型构建、因果推断、高维数据处理等内容,并提供R语言代码示例及其他语言版本。课程注册已满。

阅读更多
10

批量图片搜索:入门指南

2024-11-17

本文介绍了 SerpApi 的批量图片搜索工具,一个无需编写代码即可利用 SerpApi 的 Google Lens API 进行图片批量搜索的 web 应用。该工具可以批量上传图片到 Imgur,同时抓取多个 Google Lens 搜索结果,并以 CSV、JSON 或 Excel 格式下载。文章详细讲解了工具的使用步骤,包括注册 Imgur 和 SerpApi 账户、登录批量图片搜索工具、添加 SerpApi API 密钥、上传图片、配置搜索参数以及查看结果。此外,文章还介绍了手动实现批量图片搜索的方法,包括图片托管、图片上传和图片搜索等步骤,并提供了一些相关的博客文章链接。最后,文章解答了一些常见问题。

阅读更多

Voyage AI 发布多模态嵌入模型 voyage-multimodal-3

2024-11-17

Voyage AI 发布了新的多模态嵌入模型 voyage-multimodal-3,能够处理交错的文本、图像和屏幕截图,无需复杂的文档解析。该模型在三个多模态检索任务(共20个数据集)中的检索准确度平均比表现次佳的模型高19.63%。voyage-multimodal-3 的架构类似于现代视觉语言转换器,支持文本和富含内容的图像(如文本、图形、表格、PDF、幻灯片等的屏幕截图),并能捕获关键的文本和视觉特征。与现有的多模态嵌入模型不同,voyage-multimodal-3 允许交错文本和图像,并在混合模态搜索方面表现更佳,有效解决了模态差距问题。

阅读更多
未分类 嵌入模型

Logica:现代逻辑编程语言助力数据分析

2024-11-17

Logica 是一种开源的声明式逻辑编程语言,用于数据操作,它扩展了逻辑编程的语法,编译成 SQL,使用户能够利用 SQL 引擎的强大功能和逻辑编程语法的便利性。Logica 使用谓词作为基本构建块,通过定义规则来操作数据。文章中给出了多个示例,展示了 Logica 如何处理复杂查询、算法问题以及大型数据集,例如 GDELT 项目数据集。Logica 适用于需要执行复杂数据处理和分析的工程师、数据科学家和其他专家,它可以在 BigQuery、SQLite 和 PostgreSQL 等引擎上运行。

阅读更多
未分类

自学回声定位

2024-11-17

本文介绍了如何像蝙蝠一样利用回声定位来感知周围环境。文章详细讲解了回声定位的原理和学习方法,包括练习听力、选择合适的环境和工具、发出清晰的咔哒声、从简单的练习开始,逐步进阶到在运动中进行回声定位。文章强调了耐心和练习的重要性,并指出即使是视力正常的人也可以通过学习回声定位来提高听觉感知能力。

阅读更多
未分类 听觉训练
1 2 66 67 68 70 72 73 74 521 522