thbcm的文章

2025-11-13thbcm阅读(71)赞(0)

2025-11-13thbcm阅读(50)赞(0)

首先需要搞清楚一个概念，形式化证明，也是通过编程的形式进行的，只不过这段代码使用形式化编程语言进行表达，从数理层面来看更为严谨，常见的形式化语言有：

2025-11-13thbcm阅读(70)赞(0)

使用AndroidStudio所创建Android工程的PackageName需要与OpenHarmony工程的BundleName一致。

2025-11-13thbcm阅读(74)赞(0)

Azure Functions MCP Extension 通过协议标准化、声明式编程和无服务器架构，显著降低了 AI Agent 与业务系统集成的复杂度。其开源生态提供了丰富的示例和工具链，适合企业快速构建生产级 AI 应用。开发者可进一...

2025-11-13thbcm阅读(49)赞(0)

Masuit.MyBlogs 是一个基于 .NET 8 开源免费（MIT license）、高性能、高安全性、低占用的博客系统，该项目仅 3MB 的代码量，目前日均处理请求数 80-600 W次，同时在线活跃用户数60-600人，数据量累计...

2025-11-13thbcm阅读(89)赞(0)

2025-11-13thbcm阅读(66)赞(0)

Linq（Language Integrated Query，集成查询语言），顾名思义就是用来查询数据的一种语言（可以看作是一组功能、框架特性的集合）。在 .NETFramework3.5（大概2007年）引入C#，用统一的C#语言快速查询...

2025-11-13thbcm阅读(61)赞(0)

曾经我们讨论过这样一个问题：Vue 这些开发框架，用它们渲染页面，真的就比不用开发框架快吗？

2025-11-13thbcm阅读(61)赞(0)

1.阿里云Tair接入与Jedis连接池使用

2025-11-13thbcm阅读(65)赞(0)