数学分析一

数学分析一学习以及作业,以清华大学的数学分析讲义为基础

Daily Codeforces

Daily Codeforces problems for practice

Functional Programming with OCaml

OCaml is a functional programming language that emphasizes expressiveness and safety. This topic covers the fundamentals of OCaml, including its type system, functional programming paradigms, and practical applications.

Model Context Protocol

Model Context Protocol (MCP) is a protocol designed to enhance the interaction between AI models and their context, enabling more efficient and effective communication.

QT Framework

QT Framework is a powerful cross-platform application development framework.

Paper Sharing - The Frontiers

阅读论文,汲取一点灵感.jpg

Thoughts in Projects and Research

总觉得自己经常不动脑子地在做项目,包括工程、科研之类的,所以想开设科研常思这么一个专栏,强迫自己进行思考

The Rust Programming Language

Rust 是一门系统编程语言,注重安全性和性能。它提供了内存安全的特性,避免了许多常见的编程错误。