CX21986_Hi_Res_USB_Type-C_Compliant_Crystal-less_Audio_CODEC

在使用三星手机或者开发周边产品的时候常常会被三星type—C接口的潮湿问题困扰，这里对他的潮湿触发机制进行了测试和解释。

这个工具可以直接将图片中的公式抠出来，粘贴到mathtype中，然后再粘贴到word中，就可以直接用了。粘贴出来的公式的准确度非常高。 用法，直接运行压缩包里的exe文件，注册后，拖入图片，点copy，在mathtype中粘贴即可。

An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time. A program's type describes its behavior. Dependent types are a first-class part of a language, and are much more powerful than other kinds of types; using just one language for types and programs allows program descriptions to be as powerful as the programs they describe. The Little Typer explains dependent types, beginning with a very small language that looks very much like Scheme and extending it to cover both programming with dependent types and using dependent types for mathematical reasoning. Readers should be familiar with the basics of a Lisp-like programming language, as presented in the first four chapters of The Little Schemer. The first five chapters of The Little Typer provide the needed tools to understand dependent types; the remaining chapters use these tools to build a bridge between mathematics and programming. Readers will learn that tools they know from programming-pairs, lists, functions, and recursions-can also capture patterns of reasoning. The Little Typer does not attempt to teach either practical programming skills or a fully rigorous approach to type. Instead, it demonstrates the most beautiful aspects as simply as possible, one step at a time.

用java实现的，密钥长度为128的AES算法，并且支持任意格式的文件！

Unity3D特效 光圈特效 Effect 6 Type 资源包，内涵6种光效果粒子。

类型和程序设计语言（压缩包含有中文版和英文版两份pdf） Types.and.Programming.Languages

简易版 TYPE-C 封装 简易版 TYPE-C 封装 简易版 TYPE-C 封装

系统默认TypeC，有些软件支持TypeB，例如PSPdisp。

USB IF 官方资料 .USB Type-C Cable and Connector Specification 1.4，2019年3月29日Release