Wails v3 正式发布：用 Go 写桌面应用，体积仅 12MB，性能飙升 40%！

Kill-all Go is a variant of Go in which Black tries to capture all white stones, while White tries to survive. We consider computational complexity of Kill-all Go with two rulesets, Chinese rules and Japanese rules. We prove that: (i) Kill-all Go with Chinese rules is PSPACE-hard, and (ii) Kill-all Go with Japanese rules is EXPTIME-complete.

The Go programming language is an increasingly popular language but some of its features lack a formal investigation. This article explains Go's resolution mechanism for overloaded methods and its support for structural subtyping by means of translation from Featherweight Go to a simple target language. The translation employs a form of dictionary passing known from type classes in Haskell and preserves the dynamic behavior of Featherweight Go programs.

当今社会，环保已是人们关注的热点话题，其主要原因是环境污染越来越严重。空气污染、水污染、土壤污染都已日趋加重。而当前如何利用表面活性剂进行土壤污染修复也成了重点，现在本文就针对表面活性剂的分类特点以及不同土壤中表面活性剂如何修复应用两大方面进行研究探讨。