Explore >> Select a destination
|
You are here 
|
kokada.dev | ||
| | | | |
www.greyblake.com
|
|
| | | | | A blog about software development. | |
| | | | |
ilya-sher.org
|
|
| | | | | Python is a bad fit for typical DevOps tasks. | |
| | | | |
blog.jak-linux.org
|
|
| | | | | (What follows is an excerpt from my master's thesis, almost all of section 2.1, quickly introducing Go to people familiar with CS) Go is an imperative programming language for concurrent programming created at and mainly developed by Google, initially mostly by Robert Griesemer, Rob Pike, and Ken Thompson. Design of the language started in 2007, and an initial version was released in 2009; with the first stable version, 1.0 released in 2012 1. | |
| | | | |
homotopytypetheory.org
|
|
| | | I was asked about my proof showing that positive h-levels are closed under W (assuming extensionality), so I decided to write a short note about it. W-types are defined inductively as follows (using Agda notation): data W (A : Set) (B : A ? Set) : Set where sup : (x : A) ? (B... | ||
