Set Sail for a Ship-Shape Istio Release
#IstioCon Set Sail for a Ship-Shape Istio Release Brian Avery / twitter: @briansvgs / Red Hat Senior Software Engineer Eric Van Norman / twitter: @kf0s / IBM Senior Software Engineer #IstioCon First0 码力 | 18 页 | 199.43 KB | 1 年前3How HP set up secure and wise platform with Istio
#IstioCon How HP set up secure and wise platform with Istio John Zheng/ john.zheng@hp.com #IstioCon Agenda ➢ HP Horizon platform design with Istio ➢ Secure Platform ➢ Wise Platform ➢ Excellent Excellent Observability Istio(envoy) can generate access logs for service traffic in a configurable set of formats #IstioCon Excellent Observability - Access logs Log Files Parse Istio-proxy Log •0 码力 | 23 页 | 1.18 MB | 1 年前3C++高性能并行编程与优化 - 课件 - 14 C++ 标准库系列课 - 你所不知道的 set 容器
你所不知道的 set 容 器 by 小彭老师( @archibate ) 课件 & 代码: https://github.com/parallel101/course 上期回顾: https://www.bilibili.com/video/BV1qF411T7sd 课程安排 1. vector 容器初体验 & 迭代器入门 (BV1qF411T7sd) 2. 你所不知道的 set 容器 & ,内存管理与对象生命周期 set 和 vector 的区别 • 都是能存储一连串数据的容器 。 • 区别 1 : set 会自动给其中的 元素从小到大排序,而 vector 会保持插入时的顺序。 • 区别 2 : set 会把重复的元素 去除,只保留一个,即去重。 • 区别 3 : vector 中的元素在内 存中是连续的,可以高效地按 索引随机访问, set 则不行。 • 区别 4 4 : set 中的元素可以高 效地按值查找,而 vector 则 低效。 set 的排序: string 会按“字典序”来排 • set 会从小到大排序,对 int 来 说就是数值的大小比较。那么对 字符串类型 string 要怎么排序 呢? • 其实 string 类定义了运算符重 载 < ,他会按字典序比较两个 字符串。所谓字典序就是优先比 较两者第一个字符(按 ASCII 码比较),如果相等则继续比较0 码力 | 83 页 | 10.23 MB | 1 年前3JAVA 应用与开发 - 集合与映射
JAVA 应用与开发 集合与映射 让我们愉快的 Coding 起来吧... ��� �������������� November 4, 2019 ���� �����List����Set�����Map�的������� ���������� ������iterator��Enumeration ��������� API ������的������������ 1 28 �������������������������� ������用� Java �集合�� 3 28 集合�� 集合�����用���������������合����� �� O 集合类型分类 � Set ��������的������������� ������������的��� �� List ������的��������������� ������的���������������� �������� 而非对象本身。Java API 中的集合类型均定义在 java.util 包中。 4 28 集合�� 集合�����用���������������合����� �� O 集合类型分类 � Set ��������的������������� ������������的��� �� List ������的��������������� ������的���������������� ��������0 码力 | 66 页 | 713.79 KB | 1 年前3Agda User Manual v2.6.3
try brew install icu4c. Note that this installs ICU in a non- standard location. You may need to set export PKG_CONFIG_PATH="$(brew --prefix)/opt/icu4c/lib/pkgconfig" See brew info icu4c for details environment by running: cabal v2-install --package-env agda --lib Agda ieee754 You then have to set the GHC_ENVIRONMENT when you invoke Agda: GHC_ENVIRONMENT=agda agda -c hello-world.agda Note Actually program using cabal or stack run the following command: agda-mode setup The above command tries to set up Emacs for use with Agda via the Emacs mode. As an alternative you can copy the following text to0 码力 | 379 页 | 354.83 KB | 1 年前3Agda User Manual v2.6.2.2
environment by running: cabal v2-install --package-env agda --lib Agda ieee754 You then have to set the GHC_ENVIRONMENT when you invoke Agda: GHC_ENVIRONMENT=agda agda -c hello-world.agda Note Actually program using cabal or stack run the following command: agda-mode setup The above command tries to set up Emacs for use with Agda via the Emacs mode. As an alternative you can copy the following text to echo "standard-library" > ~/.agda/defaults The second command tries to set up the Agda emacs mode. Skip this if you don’t want to set up the emacs mode. See Installation from source above for more details0 码力 | 354 页 | 433.60 KB | 1 年前3Agda User Manual v2.6.2.1
environment by running: cabal v2-install --package-env agda --lib Agda ieee754 You then have to set the GHC_ENVIRONMENT when you invoke Agda: GHC_ENVIRONMENT=agda agda -c hello-world.agda Note Actually program using cabal or stack run the following command: agda-mode setup The above command tries to set up Emacs for use with Agda via the Emacs mode. As an alternative you can copy the following text to echo "standard-library" > ~/.agda/defaults The second command tries to set up the Agda emacs mode. Skip this if you don’t want to set up the emacs mode. See Installation from source above for more details0 码力 | 350 页 | 416.80 KB | 1 年前3Agda User Manual v2.6.2
environment by running: cabal v2-install --package-env agda --lib Agda ieee754 You then have to set the GHC_ENVIRONMENT when you invoke Agda: GHC_ENVIRONMENT=agda agda -c hello-world.agda Note Actually program using cabal or stack run the following command: agda-mode setup The above command tries to set up Emacs for use with Agda via the Emacs mode. As an alternative you can copy the following text to echo "standard-library" > ~/.agda/defaults The second command tries to set up the Agda emacs mode. Skip this if you don’t want to set up the emacs mode. See Installation from source above for more details0 码力 | 348 页 | 414.11 KB | 1 年前3Agda User Manual v2.6.3
macOS, try brew install icu4c. Note that this installs ICU in a non-standard location. You may need to set export PKG_CONFIG_PATH="$(brew --prefix)/opt/icu4c/lib/pkgconfig" See brew info icu4c for details environment by running: cabal v2-install --package-env agda --lib Agda ieee754 You then have to set the GHC_ENVIRONMENT when you invoke Agda: 8 Chapter 2. Getting Started Agda User Manual, Release program using cabal or stack run the following command: agda-mode setup The above command tries to set up Emacs for use with Agda via the Emacs mode. As an alternative you can copy the following text to0 码力 | 288 页 | 1.24 MB | 1 年前3Agda User Manual v2.6.2.2
environment by running: cabal v2-install --package-env agda --lib Agda ieee754 You then have to set the GHC_ENVIRONMENT when you invoke Agda: GHC_ENVIRONMENT=agda agda -c hello-world.agda Note: Actually program using cabal or stack run the following command: agda-mode setup The above command tries to set up Emacs for use with Agda via the Emacs mode. As an alternative you can copy the following text to Started Agda User Manual, Release 2.6.2.2 The second command tries to set up the Agda emacs mode. Skip this if you don’t want to set up the emacs mode. See Installation from source above for more details0 码力 | 257 页 | 1.16 MB | 1 年前3
共 1000 条
- 1
- 2
- 3
- 4
- 5
- 6
- 100