2022年3月16日
浅析V8引擎，让你更懂JavaScript！
摘要： 浅析V8引擎，让你更懂JavaScript！ https://mp.weixin.qq.com/s/X0RCk2ggncB6_CjF4W6meA 阅读全文
posted @ 2022-03-16 19:32 papering 阅读(42) 评论(0) 推荐(0) 编辑
Tutorial: Getting started with generics - The Go Programming Language https://go.dev/doc/tutorial/generics
摘要： Tutorial: Getting started with generics - The Go Programming Language https://go.dev/doc/tutorial/generics 阅读全文
posted @ 2022-03-16 14:52 papering 阅读(42) 评论(0) 推荐(0) 编辑
Tutorial: Getting started with fuzzing - The Go Programming Language https://go.dev/doc/tutorial/fuzz
摘要： Tutorial: Getting started with fuzzing - The Go Programming Language https://go.dev/doc/tutorial/fuzz 阅读全文
posted @ 2022-03-16 14:52 papering 阅读(28) 评论(0) 推荐(0) 编辑
Go 1.18 is released!
摘要： Go 1.18 is released! - The Go Programming Language https://go.dev/blog/go1.18 Go 1.18 is released! The Go Team15 March 2022 Today the Go team is thril 阅读全文
posted @ 2022-03-16 14:51 papering 阅读(507) 评论(0) 推荐(0) 编辑
形式化方法
摘要： https://en.wikipedia.org/wiki/Formal_methods https://zh.wikipedia.org/wiki/形式化方法 形式化方法，中文也称形式方法[1]、正规方法[2]。在计算机科学和软件工程领域，形式化方法是基于数学的特种技术，适合于软件和硬件系统的描述 阅读全文
posted @ 2022-03-16 14:33 papering 阅读(229) 评论(0) 推荐(0) 编辑