微软发布monitors4codegen:基于静态代码分析的代码语言模型监控解码

2024-05-12

该文章介绍了微软在NeurIPS 2023发表的论文“基于代码库上下文静态分析的代码语言模型监控解码”的官方代码和数据。文章介绍了监控引导解码(MGD)方法,该方法利用静态代码分析来引导代码语言模型的解码过程,从而生成更符合语法和语义规则的代码。文章还介绍了用于评估代码语言模型的PragmaticCode和DotPrompts数据集,以及一个名为multilspy的语言服务器客户端库,用于获取和使用各种静态分析的结果。

阅读更多
46
未分类 静态分析

256字节的微型W8奇幻控制台介绍

2024-05-12

文章介绍了一个名为Encounter的256字节的微型W8奇幻控制台介绍,它试图在有限的空间内带来电影般的体验。该项目使用了WebAssembly和CurlyWAS语言,通过精心编写的代码实现了水波、光影等视觉效果。作者还提供了视频演示和代码注释,方便读者理解其工作原理。

阅读更多
44
未分类 CurlyWAS Demoscene

GitHub - vishapoberon/oberonbyexample: Oberon by Example

2024-05-11

Oberon by Example是一个使用示例介绍Oberon-2的实践指南。Oberon是一种由Niklaus Wirth于1986年创建的通用编程语言,Oberon-2是对Oberon的扩展,增加了有限的反射和面向对象编程工具、作为指针基类型的开放数组、只读字段导出等功能。该资源库包含hello world、类型、变量、常量、for循环、while循环、if/else语句、case语句、数组、过程、过程函数、VAR参数等示例,旨在帮助初学者更好地学习Oberon-2编程语言。

阅读更多
48
未分类 Oberon Oberon-2

CORDIC算法:低功耗硬件的三角函数计算利器

2024-05-11

CORDIC算法是一种在低功耗硬件上计算三角函数的有效方法,它可以避免使用浮点运算和庞大的查找表。该算法的核心思想是通过一系列逐渐变小的角度旋转向量,最终向量的分量将收敛到目标角度的正弦和余弦值。CORDIC算法通过预先计算一系列反正切值,并将旋转矩阵中的正切值替换为2的幂的倒数,从而将乘法运算简化为位移运算。最终,CORDIC算法仅使用简单的加法和位移操作即可高效地计算三角函数。

阅读更多
44
未分类 CORDIC 三角函数

巨大图标集React组件

2024-05-10

这是一个用于在React应用程序中使用图标的开源组件库,它提供了大量的高质量SVG图标。这些图标被组织成不同的类别,如社交媒体、用户界面元素、商业和技术等。组件库使用简单的API,易于使用,并提供对图标颜色、大小和旋转的自定义。

阅读更多
110
未分类 图标

Meemaw:可扩展的 Python 网络应用程序框架

2024-05-10

Meemaw 是一个旨在可扩展和易于使用的 Python 网络应用程序框架。它提供了一组强大的工具,帮助开发人员快速构建和部署健壮高效的 Web 应用程序。Meemaw 特别适用于需要处理大量并发请求和数据的应用程序。它使用异步 I/O 和事件循环模型,使其能够以极少的资源高效地处理大量请求。此外,Meemaw 还提供了一个全面的功能集,包括身份验证、授权、数据验证、缓存和模板引擎,以帮助开发人员快速创建全面的企业级应用程序。

阅读更多
42

SuperFile:一个改善文件传输体验的开源项目

2024-05-10

Github 上的 SuperFile 项目是一个开源项目,致力于改善文件传输体验。它提供了一个基于 Web 的文件传输平台,允许用户通过浏览器发送和接收大文件,而无需依赖电子邮件或文件共享服务。SuperFile 支持各种文件类型,包括视频、音频、文档和图像,并提供了安全可靠的文件传输。该项目还支持文件加密、跟踪和管理功能,让用户可以方便地控制和保护他们的文件。

阅读更多
69

Radient

2024-05-10

Radient是一个用于生成高质量图像的深度学习模型。它利用了先进的生成对抗网络(GAN)技术,可以创建逼真且具有视觉吸引力的图像。该模型由人工智能研究实验室OpenAI开发,已在各种应用程序中得到广泛使用,例如图像生成、图像编辑和图像增强。该网站提供了有关Radient模型的技术文档、使用教程和示例代码。

阅读更多
38
未分类

Grace:一个灵活且强大的 Python 图数据库引擎

2024-05-10

Grace 是一个功能强大的 Python 图数据库引擎,它提供了一个灵活且易于使用的 API,用于存储、查询和处理具有复杂关系的数据。它的设计目标是高性能、可扩展性和易用性。Grace 采用 Python 编写,并利用 Python 的动态性和表达能力。它使用内存映射文件作为其主要存储引擎,这提供了出色的性能和可扩展性。Grace 具有一个直观的 API,使开发人员能够轻松地定义图模式、存储数据并执行查询。它还支持高级查询功能,例如模式匹配、路径查找和聚合。Grace 适用于广泛的应用程序,包括社交网络分析、推荐系统、欺诈检测和知识图谱构建。

阅读更多
45
未分类 图数据库

Wayland 转换器

2024-05-10

该网站主要提供针对 Wayland 协议的转换器工具,协助用户将 X11 应用程序与 Wayland 显示服务器兼容。该工具可以方便地实现 X11 应用程序在新 Wayland 系统上的运行,为应用程序与显示服务器之间的无缝兼容性提供解决方案。

阅读更多
41
未分类 Wayland 转换器

Sioyek:一个易于使用的开源视频游戏引擎

2024-05-09

Sioyek是一个采用C语言开发的开源视频游戏引擎,旨在为用户提供一个易于使用且功能强大的游戏开发平台。它支持多种平台,包括Windows、Linux和macOS,并提供丰富的特性和工具,例如2D和3D图形渲染、物理引擎、音频支持和脚本系统。Sioyek拥有一个活跃的社区,不断提供支持和开发新功能。

阅读更多
46
未分类

DNSecure: 基于 DNS 的安全协议

2024-05-09

DNSecure是一个基于DNS的安全协议,旨在保护DNS解析器和客户端免受中间人攻击和DNS欺骗。它通过使用DNSSEC和TLSA等技术来验证DNS响应的真实性和完整性,从而提高了DNS系统的安全性。同时,DNSecure与现有的DNS基础设施兼容,无需对解析器或客户端进行重大更改。

阅读更多
46
未分类 DNS安全 DNSSEC TLSA

面向开源 Slack 的 AI 助手

2024-05-09

该网站提供了一个开源的 Slack AI 助手,它是一个用于 Slack 应用程序的预先训练的对话式 AI 模型。该助手旨在通过提供有关编码问题的帮助、生成代码片段以及提供常见开发问题的答案来协助开发人员。该助手还支持多种语言,包括 JavaScript、Python、Java 和 Go。网站上还提供了关于如何将助手集成到 Slack 应用程序的说明。

阅读更多
47
未分类 Slack

Tembo.io 消息队列

2024-05-09

Tembo.io 消息队列是一个基于 PostgreSQL 的功能丰富的消息队列,提供了持久性、可扩展性和可靠性,您可以使用 SQL 来管理和查询消息。它具有丰富的功能,包括事务支持、幂等性、重复发送、延迟队列、死信队列和高级路由规则。Tembo.io 消息队列是构建可靠且可扩展的分布式系统的理想之选。

阅读更多
43
未分类 消息队列

DataType99

2024-05-09

DataType99是一个包含99种常见数据类型的Rust库,包括整数、浮点数、布尔值、字符串、数组、元组、枚举等。该库的特点包括:

* 提供了广泛的数据类型,涵盖了大多数编程需求。
* 实现了对这些数据类型的常用操作,例如比较、四则运算、类型转换等。
* 遵循Rust语言的语义和最佳实践,确保代码的安全性和高效性。
* 经过全面测试,确保库的可靠性和稳定性。

阅读更多
60
未分类

Tegon: 下一代数据平台

2024-05-09

Tegon是一个开源的数据平台,它提供了统一的API来访问各种数据源,包括关系数据库、NoSQL数据库、数据仓库和文件存储。Tegon还提供了一套强大的工具,用于数据集成、转换和分析,使用户能够轻松地构建和维护复杂的数据管道。

阅读更多
95
未分类 数据平台

CMkr : C++ Module Wrapper for Rust

2024-05-08

CMkr是一个C++模块包装器,允许您在Rust中使用C++代码。它提供了在Rust中使用C++库、函数和类的安全且方便的方法。CMkr使用C++构建系统构建和链接C++代码,并生成可用于Rust项目的Rust代码。该项目包括一个演示,展示了如何使用CMkr将Eigen库与Rust集成。

阅读更多
42
未分类 库包装器

Zimtohrli: Google 推出的首个 JavaScript 词频逆向文档频率 (TF-IDF) 库

2024-05-08

Zimtohrli 是 Google 推出的首个 JavaScript 词频逆向文档频率 (TF-IDF) 库。TF-IDF 是一种衡量词语重要性的统计方法,应用于文本挖掘和信息检索中。Zimtohrli 库提供了易于使用的 API,可以计算文档集中词语的 TF-IDF 值。与其他 TF-IDF 实现相比,Zimtohrli 具有效率高、可扩展性和易于使用的优点。

阅读更多
41
未分类 TF-IDF 信息检索

Tracexec

2024-05-08

Tracexec是一款开源的工具,用于跟踪和分析Linux内核中的执行路径。它允许开发人员深入了解内核中的执行流,从而帮助他们调试、优化和理解内核代码。Tracexec的主要功能包括生成执行跟踪、可视化执行路径、分析执行时间和识别瓶颈。它广泛应用于嵌入式系统、性能优化和内核开发等领域。

阅读更多
42
未分类 执行跟踪

面向不安全Python代码的治理、可观察性和安全监控

2024-05-08

这是一个用于治理、可观察性和安全监控不安全Python代码的开源项目。它包括一个用来标识和修补安全漏洞的扫描工具,一个用于监测和警报可疑活动的监控系统,以及一个用于管理和治理不安全代码的治理框架。该项目旨在帮助组织安全地管理和使用不安全Python代码,减少安全风险。

阅读更多
42
未分类 security monitoring
1 2 35 36 37 39 41 42 43 44 45