-
# Go in Linux Desktop Environment 2015年4月 夏彬 武汉深之度
## Linux桌面环境
• Gnome (Gtk)
• KDE (Qt)
• Lxde (Gtk) LxQt(Qt5)
• Xfce (Gtk)
• DDE (Gtk)
• .....
## DE组件
• Windows Manager
• Input Method
• Launcher
0 码力 |
36 页 |
414.50 KB
| 2 年前 3
-
## Go runtime related problems in TiDB production environment
## About me
Arthur Mao(毛康力), Senior Engineer@PingCAP
• TiDB core developer (top3 contributor)
• GitBook about golang internals (@tiancaiamao) not exhausted, but where is the bottleneck?
## Reproduce
- The table is wide in the customer environment
☐ CPU usage is higher with less columns
- The deployment does not consider NUMA
☐ CPU usage
0 码力 |
56 页 |
50.15 MB
| 1 年前 3
-
Views and the "with" rule 41
9 Theorem Proving 43
10 Provisional Definitions 48
11 Interactive Editing 52
12 Syntax Extensions 55
13 Miscellany 58
14 Further Reading 66
This is the Idris software.
For a more in-depth introduction to Idris, which proceeds at a much slower pace, covering interactive program development, with many more examples, see Type-Driven Development with Idris by Edwin Brady the Idris executable not be found please ensure that you have added ~/.cabal/bin to your $PATH environment variable. Mac OS X users may find they need to add ~/Library/Haskell/bin instead, and Windows users
0 码力 |
66 页 |
627.66 KB
| 2 年前 3
-
THE JUPYTER NOTEBOOK
### 1.1 Introduction
The notebook extends the console-based approach to interactive computing in a qualitatively new direction, providing a web-based application suitable for capturing results. The Jupyter notebook combines two components:
A web application: a browser-based tool for interactive authoring of documents which combine explanatory text, mathematics, computations and their rich MathJax.
#### 1.1.2 Notebook documents
Notebook documents contains the inputs and outputs of an interactive session as well as additional text that accompanies the code but is not meant for execution. In
0 码力 |
191 页 |
1.88 MB
| 2 年前 3
-
software.
For a more in-depth introduction to Idris, which proceeds at a much slower pace, covering interactive
program development, with many more examples, see Type-Driven Development with Idris by Edwin
Brady the Idris executable not be found please ensure that you have added ~/.cabal/bin to your $PATH
environment variable. Mac OS X users may find they need to add ~/Library/Haskell/bin instead, and
Windows users executable called prog.
• --check type check the file and its dependencies without starting the interactive environment.
• --package pkg add package as dependency, e.g. --package contrib to make use of the contrib
0 码力 |
228 页 |
1.23 MB
| 2 年前 3
-
FAQ
# The Jupyter Notebook
## I ntroduction
The notebook extends the console-based approach to interactive computing in a qualitatively new direction, providing a web-based application suitable for capturing results. The Jupyter notebook combines two components:
A web application: a browser-based tool for interactive authoring of documents which combine explanatory text, mathematics, computations and their rich mathjax.org/].
## Notebook documents
Notebook documents contains the inputs and outputs of an interactive session as well as additional text that accompanies the code but is not meant for execution. In
0 码力 |
198 页 |
4.45 MB
| 2 年前 3
-
761
Index 765
Welcome to conda's documentation! Conda provides package, dependency, and environment management for any language. Here, you will find everything you need to get started using conda how the conda project is managed and how to contribute
Development environment Follow this guide to get your own development environment set up
### 4.1 User guide
#### 4.1.1 Getting started with conda conda
Conda is a powerful command line tool for package and environment management that runs on Windows, macOS, and Linux.
This guide to getting started with conda goes over the basics of starting up and
0 码力 |
818 页 |
5.21 MB
| 1 年前 3
-
735
Index 739
Welcome to conda's documentation! Conda provides package, dependency, and environment management for any language. Here, you will find everything you need to get started using conda how the conda project is managed and how to contribute
Development environment Follow this guide to get your own development environment set up
### 4.1 User guide
#### 4.1.1 Getting started with conda conda
Conda is a powerful command line tool for package and environment management that runs on Windows, macOS, and Linux.
This guide to getting started with conda goes over the basics of starting up and
0 码力 |
794 页 |
5.01 MB
| 1 年前 3
-
ata\\Local\\atom\\bin;;C:\\Program Files\\Mercurial;.|
|java.runtime.name|Java(TM) SE Runtime
Environment|
|java.runtime.version|1.8.0\_131-b11|
|java.specification.name|Java Platform API Specification| language|en|
|user.name|MarkE|
|user.script||
|user.timezone|America/New\_York|
|user.variant||
##
Environment Variables
| Name ↓ | Value |
| =:: | 0 码力 |
5 页 |
122.16 KB
| 2 年前 3
-
727
Index 731
Welcome to conda's documentation! Conda provides package, dependency, and environment management for any language. Here, you will find everything you need to get started using conda how the conda project is managed and how to contribute
Development environment Follow this guide to get your own development environment set up
### 4.1 User guide
#### 4.1.1 Getting started with conda conda
Conda is a powerful command line tool for package and environment management that runs on Windows, macOS, and Linux.
This guide to getting started with conda goes over the basics of starting up and
0 码力 |
786 页 |
4.99 MB
| 1 年前 3