-
localization
• Licensing translations
• Translation process
• Checks and fixups
• Configuring automatic suggestions
• Add-ons
• Translation Memory
• Configuration
• Sample configuration
• Management commands way of accepting suggestions made by users without accounts.
Overall, there are two modes of translation:
• The project accepts direct translations
- The project only accepts suggestions, which are automatically Documentation Donate to Weblate
## Suggestions
## Note
Actual permissions might vary depending on your Weblate configuration.
Anonymous users can only (by default) forward suggestions. Doing so is still available
0 码力 |
803 页 |
11.20 MB
| 2 年前 3
-
localization
- Licensing translations
- Translation process
- Checks and fixups
- Configuring automatic suggestions
- Add-ons
- Translation Memory
- Configuration
- Sample configuration
- Management commands way of accepting suggestions made by users without accounts.
Overall, there are two modes of translation:
• The project accepts direct translations
- The project only accepts suggestions, which are automatically Documentation Donate to Weblate
## Suggestions
## Note
Actual permissions might vary depending on your Weblate configuration.
Anonymous users can only (by default) forward suggestions. Doing so is still available
0 码力 |
807 页 |
11.23 MB
| 2 年前 3
-
|---|---|---|---|---|---|---|---|
|Component|Translated|Untranslated|Untranslated words|Checks|Suggestions|Comments||
|WeblateOrg/Android - Czech ☐ MIT|76%|3|3|||||
|WeblateOrg/Django - Hungarian ☐|69%|8|109|1|||| way of accepting suggestions made by users without accounts.
Overall, there are two modes of translation:
• The project accepts direct translations
- The project only accepts suggestions, which are automatically ▼|Share ▼|||Not watching ▼||
||Component||Translated||Untranslated||Untranslated words||Checks||Suggestions|Comments|
||Android ▼ ◇ MIT|||79%||30||30||3|||
||Language names ▼ ↓|GPL-3.0||95%||4||5|||||
|
0 码力 |
733 页 |
9.45 MB
| 2 年前 3
-
3.32 Universe Levels 99
3.33 With-Abstraction 99
3.34 Without K 109
4 Tools 111
4.1 Automatic Proof Search (Auto) 111
4.2 Command-line options 114
4.3 Compilers 118
4.4 Emacs Mode 120 • No pattern matching.
• Uses each argument at most once.
• Does not use all its arguments.
Automatic inlining can be prevented using the NOINLINE pragma.
Example:
-- Would be auto-inlined since it guardedness is not tracked at type A --without-K.
See issues #1023, #1264, #1292.
## Tools
### 4.1 Automatic Proof Search (Auto)
Agda supports (since version 2.2.6) the command Auto, that searches for type
0 码力 |
155 页 |
668.67 KB
| 2 年前 3
-
3.32 Universe Levels 99
3.33 With-Abstraction 99
3.34 Without K 109
4 Tools 111
4.1 Automatic Proof Search (Auto) 111
4.2 Command-line options 114
4.3 Compilers 118
4.4 Emacs Mode 120 • No pattern matching.
• Uses each argument at most once.
• Does not use all its arguments.
Automatic inlining can be prevented using the NOINLINE pragma.
Example:
-- Would be auto-inlined since it guardedness is not tracked at type A --without-K.
See issues #1023, #1264, #1292.
## Tools
### 4.1 Automatic Proof Search (Auto)
Agda supports (since version 2.2.6) the command Auto, that searches for type
0 码力 |
155 页 |
668.90 KB
| 2 年前 3
-
the Maven plugin
Using the Gradle plugin
Hot swapping
20. Developer tools
Property defaults
Automatic restart
Excluding resources
Watching additional paths
Disabling restart
Using a trigger file Deduced "grab" dependencies
Deduced "grab" coordinates
Default import statements
Automatic main method
Custom dependency management
Applications with multiple source files
Packaging your Properties & configuration
Automatically expand properties at build time
Automatic property expansion using Maven
Automatic property expansion using Gradle
Externalize the configuration of SpringApplication
0 码力 |
583 页 |
501.03 KB
| 2 年前 3
-
consistent manner
• Block and unblock computations to ensure result correctness
## Automatic Scaling Control
## The automatic scaling problem
logical dataflow
 scaling
controller
policy
decide whether
to scale
scaling action
decide how
much to scale
## Automatic scaling requirements
## Accuracy
no over/under-provisioning
Stability
no oscillations
## Performance
0 码力 |
93 页 |
2.42 MB
| 2 年前 3
-
29
Self-consistency.....32
Tree of Thoughts (ToT).....36
ReAct (reason & act).....37
Automatic Prompt Engineering.....40
Code prompting.....42
Prompts for writing code.....42
Prompts for guide.
| Goal | Act as travel guide and provide 3 travel suggestions |
| Model | gemini-pro |
| Temperature | 1 | Token will visit.My suggestion: "I am in Amsterdam and I want to visit only museums."Travel Suggestions: |
| Output | 1. Rijksmuseum: World-renowned museum, known for Dutch 0 码力 |
68 页 |
6.50 MB
| 1 年前 3 -
|---|---|---|---|---|---|---|---|---|
|Component|Translated|Untranslated|Untranslated words|Checks|Suggestions|Comments|||
|WeblateOrg/Android - Czech ☐|MIT|76%|3|3|||||
|WeblateOrg/Django - Hebrew ☐|GPL-3 way of accepting suggestions made by users without accounts.
Overall, there are two modes of translation:
• The project accepts direct translations
• The project accepts only suggestions, which are automatically |Manage|Share||Not watching||
||Component||Translated|Untranslated|Untranslated words|Checks||Suggestions||Comments|||
||Android 💻 🔍|MIT||79%|30|30|3||||||
||Language names 💻 🔍|GPL-3.0||95%|4|5||||||| 0 码力 |
425 页 |
3.99 MB
| 2 年前 3 -
|---|---|---|---|---|---|---|---|---|
|Component|Translated|Untranslated|Untranslated words|Checks|Suggestions|Comments|||
|WeblateOrg/Android - Czech ☀️ MIT|76%|3|3||||||
|WeblateOrg/Django - Hebrew ☀️ GPL-3 way of accepting suggestions made by users without accounts.
Overall, there are two modes of translation:
• The project accepts direct translations
• The project accepts only suggestions, which are automatically |Manage|Share||Not watching||
||Component||Translated|Untranslated|Untranslated words|Checks||Suggestions||Comments|||
||Android 💻 🔍|MIT||79%|30|30|3||||||
||Language names 💻 🔍|GPL-3.0||95%|4|5||||||| 0 码力 |
424 页 |
3.98 MB
| 2 年前 3
|