The DevOps Handbookquality 3. Consider when we have an annual schedule for software releases, where an entire year's worth of code that Development has worked on is released to production deployment. Like in manufacturing c. Gary Gruver observes, "It's impossible for a developer to learn anything when someone yells at them for something they broke six months ago—that's why we need to provide feedback to everyone decisions.” 2. Greatness is not achieved by leaders making all the right decisions—instead, the leader's role is to create the conditions so their team can discover greatness in their daily work. In other0 码力 | 8 页 | 22.57 KB | 1 年前3
What’s openEuler?What's openEuler?  A community is a social unit (a group of living things) with commonality such as norms, religion, [Image](/uploads/documents/d/0/2/9/d029f296a83673afe74be454b02f2975/p2_1.jpg) ## openEuler Community ## What's open Euler? openEuler is an open source, free Linux distribution platform. The platform provides an0 码力 | 19 页 | 589.15 KB | 1 年前3
Opkg: Debian's Little CousinOpkg: Debian's Little Cousin Package Management on Embedded Alejandro del Castillo Chief Software Engineer ni.com  "package" is a package name and "ard" a dpkg architecture. apt-get install apt-cudf apt-get -s --solver aspcud install gdb ## Components • APT: we know this one. - APT is equipped with its own0 码力 | 35 页 | 1.60 MB | 2 年前3
The Hitchhiker’s Guide to
Logical Verification# The Hitchhiker’s Guide to Logical Verification 2021 Standard Edition (October 13, 2021)  lean-forward.github.io/ l earliest work in this area was carried out by Nicolaas de Bruijn and his colleagues starting in the 1960s in a system called AUTOMATH. $ ^{2} $ Today, few mathematicians use proof assistants, but this is history of proof assistants and interactive theorem proving, we refer to Harrison, Urban, and Wiedijk's highly informative chapter $ [14] $ . Lean Lean is a new proof assistant developed primarily by Leonardo0 码力 | 215 页 | 1.95 MB | 2 年前3
Google's AngularJS Style Guide# Google’s AngularJS Style Guide ## An AngularJS Style Guide for Closure Users at Google This is the external version of a document that was primarily written for Google engineers. It describes a recommended Javascript, the Good Parts as a counter.) ## 1 Angular Language Rules • Manage dependencies with Closure’s goog.require and goog.provide • Modules • Modules should reference other modules using the “name” compilation 4 Best practices links and docs ## 1 Angular Language Rules Manage dependencies with Closure’s goog.require and goog.provide Choose a namespace for your project, and use goog.provide and goog.require0 码力 | 8 页 | 44.39 KB | 2 年前3
Google's R Style Guide# Google’s R Style Guide ## Google’s R Style Guide R is a high-level programming language used primarily for statistical computing and graphics. The goal of the R Programming Style Guide is to make our Functions: errors should be raised using stop() 3. Objects and Methods: avoid S4 objects and methods when possible; never mix S3 and S4 ## Notation and Naming ## File Names File names should end in .R and Ordering If everyone uses the same general ordering, we’ll be able to read and understand each other’s scripts faster and more easily. 1. Copyright statement comment 2. Author comment 3. File description0 码力 | 8 页 | 47.42 KB | 2 年前3
What's new with
GitOps and OpenShift## What's new with GitOps and OpenShift Jonas Janz AppDev Solutions Architect https://github.com/pixeljonas ## What is GitOps? GitOps is when the infrastructure and/or application state is fully s/6/b/0/3/6b0355106b4ae0662ae5ab4727b3f265/p5_2.jpg) Operations ## KUBERNETES 101 Kubernetes (K8s) is an open-source system for automating deployment, scaling, and management of containerized applications • Deployment manifests are standard k8s manifests • Avoid duplication of yaml across environments ● Manifests should be applied with standard Openshift and k8s tooling ## Day 2 operations : All changes0 码力 | 34 页 | 2.01 MB | 1 年前3
eBPF at LINE's Private Cloud## eBPF at LINE's Private Cloud eBPF Summit ## LINE • Messaging & many family services • 185 million global MAU • 3Tbps+ network traffic in total ## LINE  ## V erda: LINE's Private Cloud Service ## LINE Verda  FaaS  • time zone and time zone link (https://youtu.be/MODhhr7m-5s) • system clock::now(), file clock, leap second awareness (https://youtu.be/c7DT28TV0AY) ## Type Safety The “simple” calendrical types (e.g., day, month, year) are very straightforward – what’s the point in creating types for these concepts at all? Couldn’t we just use unsigned int for each?0 码力 | 55 页 | 8.67 MB | 1 年前3
Coping With Other People's Code## +23 ## Coping With Other People's Code ## LAURA SAVINO 20 23 October 01 - 06 Laura Savino, software engineer on Photoshop. Adobe  ## my craftsman 7a4b8820699152c1d5a5eb7159d/p9_1.jpg) ## post-conference re-entry # Coping with Other People's Code ## post-conference re-entry ## coping is not rewriting 100% to your own tastes ## pragmatic abatement0 码力 | 128 页 | 9.17 MB | 1 年前3
共 1000 条
- 1
- 2
- 3
- 4
- 5
- 6
- 100
相关搜索词
DevOpsThe Three WaysConway's LawValue Stream MapBatch SizeopenEuler开源Linux发行版社区贡献治理结构OpkgOpenWrt嵌入式系统包管理器CVE-2020-7982Leantheorem provingtacticHoare logicformal proofAngularJSClosure模块控制器和作用域服务指令依赖管理命名空间测试命名规范R语言编程风格标识符命名注释规范代码结构GitOpsOpenShiftArgo CDTektonYAMLeBPFLINEPrivate CloudFaaSPaaSIaaSchrono 库C++20时钟时区calendrical 类型Coping with Other People's CodeLaura SavinoAdobeBetter CodeContracts













