my editor SAN DIEGO, CA JULY 25 2019 REBECCA STAMBLER Go, Go, please Go, please stop breaking my editor! Rebecca Stambler Software Engineer, Google @stamblerre Why doesn’t my editor have saying? Quotes from Go survey, 2018 Hard to install and configure Inadequate documentation My editor isn’t working! 1. There are many different editors and many different features What are users saying? Pretty slow in large projects Performance is very poor Quotes from Go survey, 2018 My editor isn’t working! 1. There are many different editors and many different features 2. Many features

ection 10 * Actually in section .rdata… .idata lib1: f1, f2, f3 lib2: g1, g2, g3 Windows Schematic Interface 11Linux 12Linux import sections • .dynamic /.dynsym : separate buckets of lib names work as expected, if an executable file references a function defined in a shared object, the link editor will place the address of the procedure linkage table entry for that function in its associated

procedure. For example, when inferring the type ?α of λx , abs x , Lean would perform the following schematic type derivation: Cst x : ?β ⊢⊢⊢ abs : ?β → ?γ Var x : ?β ⊢⊢⊢ x : ?β App x : ?β ⊢⊢⊢ abs x : convenient alternative to option.catch ma ma’, Lean supports the syn- tax ma.catch ma’. Here is a schematic example that demonstrates throwing and catching with this syntax: do { . . ., if . . . then option J. Harrison, J. Urban, and F. Wiedijk. History of interactive theorem proving. In J. H. Siekmann, editor, Computational Logic, volume 9 of Handbook of the History of Logic, pages 135–214. Elsevier, 2014

from the web: a Javascript version of Lean, a standard library of definitions and theorems, and an editor are actually downloaded to your browser and run there. This provides a quick and convenient way to button opens up a tab with a Lean editor, and copies the example with enough surrounding context to make the example compile correctly. You can type things into the editor and modify the examples, and Lean connectives and notation. The propositional connectives come with the following notation: Ascii Unicode Editor shortcut Definition true true false false not ¬ \not, \neg not /\ ∧ \and and \/ ∨ \or or ->

(isocpp.org)) 22 of 45 CppCon 2023 - Finding Your Codebases C++ RootsTechnology Adoption Curve Schematic representation of technology adoption curves 23 of 45 CppCon 2023 - Finding Your Codebases C++

will become particularly important in a moment. Let’s take a closer look at this program. Use an editor (e.g. atom or visual studio) and open query.js. The initial section of the application defines certain to the chaincode/fabcar/go subdirectory at the root of fabric-samples and open fabcar.go in your editor. Note These same functions are defined within the Node.js version of the fabcar chaincode. You’ll separate Javascript program – invoke.js – that we will use to make updates. Just as with queries, use an editor to open the program and navigate to the code block where we construct our invocation: // createCar

will become particularly important in a moment. Let’s take a closer look at this program. Use an editor (e.g. atom or visual studio) and open query.js. The initial section of the application defines certain to the chaincode/fabcar/go subdi- rectory at the root of fabric-samples and open fabcar.go in your editor. Note: These same functions are defined within the Node.js version of the fabcar chaincode. You’ll separate Javascript program – invoke.js – that we will use to make updates. Just as with queries, use an editor to open the program and navigate to the code block where we construct our invocation: // createCar

YAML syntax. EXAMPLE: conda config --add channels conda-forge Alternatively, you can open a text editor such as Notepad on Windows, TextEdit on macOS, or VS Code. Name the new file .condarc and save it file, including where it is located. You can also download a sample .condarc file to edit in your editor and save to your user home directory or root directory. To set configuration options, edit the T_CHANNEL=" The conda repository will be mounted to /opt/conda-src, so all changes done in your editor will be reflected live while the Docker container is running. 6.3. Development Environment 181

YAML syntax. EXAMPLE: conda config --add channels conda-forge Alternatively, you can open a text editor such as Notepad on Windows, TextEdit on macOS, or VS Code. Name the new file .condarc and save it file, including where it is located. You can also download a sample .condarc file to edit in your editor and save to your user home directory or root directory. To set configuration options, edit the T_CHANNEL=" The conda repository will be mounted to /opt/conda-src, so all changes done in your editor will be reflected live while the Docker container is running. 6.3. Development Environment 177

will become particularly important in a moment. Let’s take a closer look at this program. Use an editor (e.g. atom or visual studio) and open query.js. The initial section of the application defines certain to the chaincode/fabcar/go subdi- rectory at the root of fabric-samples and open fabcar.go in your editor. Note: These same functions are defined within the Node.js version of the fabcar chaincode. You’ll separate Javascript program – invoke.js – that we will use to make updates. Just as with queries, use an editor to open the program and navigate to the code block where we construct our invocation: // createCar