📅 (2022-06-09 02:07:39 UTC)
# Packages matching: installed # Name # Installed # Synopsis base-bigarray base base-threads base base-unix base conf-findutils 1 Virtual package relying on findutils conf-gmp 4 Virtual package relying on a GMP lib system installation coq dev Formal proof management system dune 3.2.0 Fast, portable, and opinionated build system ocaml 4.14.0 The OCaml compiler (virtual package) ocaml-base-compiler 4.14.0 Official release 4.14.0 ocaml-config 2 OCaml Switch Configuration ocaml-options-vanilla 1 Ensure that OCaml is compiled with no special options enabled ocamlfind 1.9.3 A library manager for OCaml zarith 1.12 Implements arithmetic and logical operations over arbitrary-precision integers # opam file: opam-version: "2.0" maintainer<EMAIL_ADDRESS>homepage: "https://github.com/thery/coqprime" bug-reports: "https://github.com/thery/coqprime/issues" dev-repo: "git+https://github.com/thery/coqprime.git" license: "LGPL-2.1-only" authors: ["Laurent Théry"] build: [ [make "-j%{jobs}%"] ] install: [ [make "install"] ] depends: [ "ocaml" "coq" {>= "8.14~"} "coq-bignums" ] synopsis: "Certifying prime numbers in Coq" url { src: "https://github.com/thery/coqprime/archive/v8.14.zip" checksum: "md5=dae09ead7beab4ee29819d56a9e6ddd7" }
true
Dry install with the current Coq version:
opam install -y --show-action coq-coqprime.1.1.0 coq.dev
Dry install without Coq/switch base, to test if the problem was incompatibility with the current Coq/OCaml version:
true
opam list; echo; ulimit -Sv 4000000; timeout 4h opam install -y --deps-only coq-coqprime.1.1.0 coq.dev
opam list; echo; ulimit -Sv 16000000; timeout 4h opam install -y -v coq-coqprime.1.1.0 coq.dev
# Packages matching: installed # Name # Installed # Synopsis base-bigarray base base-threads base base-unix base conf-findutils 1 Virtual package relying on findutils conf-gmp 4 Virtual package relying on a GMP lib system installation coq dev Formal proof management system coq-bignums dev Bignums, the Coq library of arbitrary large numbers dune 3.2.0 Fast, portable, and opinionated build system ocaml 4.14.0 The OCaml compiler (virtual package) ocaml-base-compiler 4.14.0 Official release 4.14.0 ocaml-config 2 OCaml Switch Configuration ocaml-options-vanilla 1 Ensure that OCaml is compiled with no special options enabled ocamlfind 1.9.3 A library manager for OCaml zarith 1.12 Implements arithmetic and logical operations over arbitrary-precision integers [NOTE] Package coq is already installed (current version is dev). The following actions will be performed: - install coq-coqprime 1.1.0 <><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><> Processing 1/1: [coq-coqprime.1.1.0: http] [coq-coqprime.1.1.0] downloaded from https://github.com/thery/coqprime/archive/v8.14.zip Processing 1/1: <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> Processing 1/2: [coq-coqprime: make] + /home/bench/.opam/opam-init/hooks/sandbox.sh "build" "make" "-j4" (CWD=/home/bench/.opam/ocaml-base-compiler.4.14.0/.opam-switch/build/coq-coqprime.1.1.0) - /home/bench/.opam/ocaml-base-compiler.4.14.0/bin//coq_makefile -f _CoqProject -o Makefile.coq - COQDEP VFILES - *** Warning: in file src/Coqprime/num/Lucas.v, library Int63 is required and has not been found in the loadpath! - *** Warning: in file src/Coqprime/num/NEll.v, library Int63 is required and has not been found in the loadpath! - *** Warning: in file src/Coqprime/num/Pock.v, library Int63 is required and has not been found in the loadpath! - *** Warning: in file src/Coqprime/num/W.v, library Int63 is required and has not been found in the loadpath! - COQC src/Coqprime/Tactic/Tactic.v - COQC src/Coqprime/N/NatAux.v - COQC src/Coqprime/Z/ZCmisc.v - COQC src/Coqprime/Z/Zmod.v - COQC src/Coqprime/Z/Ppow.v - File "./src/Coqprime/N/NatAux.v", line 34, characters 18-26: - Warning: Notation plus_0_r is deprecated since 8.16. - The Arith.Plus file is obsolete. Use Nat.add_0_r instead. - [deprecated-syntactic-definition,deprecated] - File "./src/Coqprime/N/NatAux.v", line 34, characters 18-26: - Warning: Notation plus_0_r is deprecated since 8.16. - The Arith.Plus file is obsolete. Use Nat.add_0_r instead. - [deprecated-syntactic-definition,deprecated] - File "./src/Coqprime/N/NatAux.v", line 34, characters 18-26: - Warning: Notation plus_0_r is deprecated since 8.16. - The Arith.Plus file is obsolete. Use Nat.add_0_r instead. - [deprecated-syntactic-definition,deprecated] - File "./src/Coqprime/N/NatAux.v", line 42, characters 16-25: - Warning: Notation mult_comm is deprecated since 8.16. - The Arith.Mult file is obsolete. Use Nat.mul_comm instead. - [deprecated-syntactic-definition,deprecated] - File "./src/Coqprime/N/NatAux.v", line 42, characters 37-53: - Warning: Notation mult_lt_compat_r is deprecated since 8.16. - The Arith.Mult file is obsolete. Use the bidirectional version Nat.mul_lt_mono_pos_r instead. - [deprecated-syntactic-definition,deprecated] - File "./src/Coqprime/N/NatAux.v", line 42, characters 16-25: - Warning: Notation mult_comm is deprecated since 8.16. - The Arith.Mult file is obsolete. Use Nat.mul_comm instead. - [deprecated-syntactic-definition,deprecated] - File "./src/Coqprime/N/NatAux.v", line 42, characters 16-25: - Warning: Notation mult_comm is deprecated since 8.16. - The Arith.Mult file is obsolete. Use Nat.mul_comm instead. - [deprecated-syntactic-definition,deprecated] - File "./src/Coqprime/N/NatAux.v", line 42, characters 16-25: - Warning: Notation mult_comm is deprecated since 8.16. - The Arith.Mult file is obsolete. Use Nat.mul_comm instead. - [deprecated-syntactic-definition,deprecated] - File "./src/Coqprime/N/NatAux.v", line 42, characters 16-25: - Warning: Notation mult_comm is deprecated since 8.16. - The Arith.Mult file is obsolete. Use Nat.mul_comm instead. - [deprecated-syntactic-definition,deprecated] - File "./src/Coqprime/N/NatAux.v", line 42, characters 16-25: - Warning: Notation mult_comm is deprecated since 8.16. - The Arith.Mult file is obsolete. Use Nat.mul_comm instead. - [deprecated-syntactic-definition,deprecated] - File "./src/Coqprime/N/NatAux.v", line 42, characters 37-53: - Warning: Notation mult_lt_compat_r is deprecated since 8.16. - The Arith.Mult file is obsolete. Use the bidirectional version Nat.mul_lt_mono_pos_r instead. - [deprecated-syntactic-definition,deprecated] - File "./src/Coqprime/N/NatAux.v", line 48, characters 37-45: - Warning: Notation mult_1_l is deprecated since 8.16. - The Arith.Mult file is obsolete. Use Nat.mul_1_l instead. - [deprecated-syntactic-definition,deprecated] - File "./src/Coqprime/N/NatAux.v", line 48, characters 37-45: - Warning: Notation mult_1_l is deprecated since 8.16. - The Arith.Mult file is obsolete. Use Nat.mul_1_l instead. - [deprecated-syntactic-definition,deprecated] - File "./src/Coqprime/N/NatAux.v", line 48, characters 37-45: - Warning: Notation mult_1_l is deprecated since 8.16. - The Arith.Mult file is obsolete. Use Nat.mul_1_l instead. - [deprecated-syntactic-definition,deprecated] - File "./src/Coqprime/N/NatAux.v", line 49, characters 6-22: - Warning: Notation mult_lt_compat_r is deprecated since 8.16. - The Arith.Mult file is obsolete. Use the bidirectional version Nat.mul_lt_mono_pos_r instead. - [deprecated-syntactic-definition,deprecated] - File "./src/Coqprime/N/NatAux.v", line 49, characters 6-22: - Warning: Notation mult_lt_compat_r is deprecated since 8.16. - The Arith.Mult file is obsolete. Use the bidirectional version Nat.mul_lt_mono_pos_r instead. - [deprecated-syntactic-definition,deprecated] - File "./src/Coqprime/N/NatAux.v", line 52, characters 6-14: - Warning: Notation lt_trans is deprecated since 8.16. - The Arith.Lt file is obsolete. Use Nat.lt_trans instead. - [deprecated-syntactic-definition,deprecated] - File "./src/Coqprime/N/NatAux.v", line 52, characters 6-14: - Warning: Notation lt_trans is deprecated since 8.16. - The Arith.Lt file is obsolete. Use Nat.lt_trans instead. - [deprecated-syntactic-definition,deprecated] - File "./src/Coqprime/N/NatAux.v", line 53, characters 37-45: - Warning: Notation mult_1_l is deprecated since 8.16. - The Arith.Mult file is obsolete. Use Nat.mul_1_l instead. - [deprecated-syntactic-definition,deprecated] - File "./src/Coqprime/N/NatAux.v", line 53, characters 37-45: - Warning: Notation mult_1_l is deprecated since 8.16. - The Arith.Mult file is obsolete. Use Nat.mul_1_l instead. - [deprecated-syntactic-definition,deprecated] - File "./src/Coqprime/N/NatAux.v", line 53, characters 37-45: - Warning: Notation mult_1_l is deprecated since 8.16. - The Arith.Mult file is obsolete. Use Nat.mul_1_l instead. - [deprecated-syntactic-definition,deprecated] - File "./src/Coqprime/N/NatAux.v", line 54, characters 6-22: - Warning: Notation mult_lt_compat_r is deprecated since 8.16. - The Arith.Mult file is obsolete. Use the bidirectional version Nat.mul_lt_mono_pos_r instead. - [deprecated-syntactic-definition,deprecated] - File "./src/Coqprime/N/NatAux.v", line 54, characters 6-22: - Warning: Notation mult_lt_compat_r is deprecated since 8.16. - The Arith.Mult file is obsolete. Use the bidirectional version Nat.mul_lt_mono_pos_r instead. - [deprecated-syntactic-definition,deprecated] - File "./src/Coqprime/N/NatAux.v", line 67, characters 6-14: - Warning: Notation le_trans is deprecated since 8.16. - The Arith.Le file is obsolete. Use Nat.le_trans instead. - [deprecated-syntactic-definition,deprecated] - File "./src/Coqprime/N/NatAux.v", line 67, characters 6-14: - Warning: Notation le_trans is deprecated since 8.16. - The Arith.Le file is obsolete. Use Nat.le_trans instead. - [deprecated-syntactic-definition,deprecated] - File "./src/Coqprime/N/NatAux.v", line 68, characters 8-16: - Warning: Notation mult_1_r is deprecated since 8.16. - The Arith.Mult file is obsolete. Use Nat.mul_1_r instead. - [deprecated-syntactic-definition,deprecated] - File "./src/Coqprime/N/NatAux.v", line 68, characters 8-16: - Warning: Notation mult_1_r is deprecated since 8.16. - The Arith.Mult file is obsolete. Use Nat.mul_1_r instead. - [deprecated-syntactic-definition,deprecated] - File "./src/Coqprime/N/NatAux.v", line 68, characters 8-16: - Warning: Notation mult_1_r is deprecated since 8.16. - The Arith.Mult file is obsolete. Use Nat.mul_1_r instead. - [deprecated-syntactic-definition,deprecated] - File "./src/Coqprime/N/NatAux.v", line 69, characters 6-22: - Warning: Notation mult_le_compat_l is deprecated since 8.16. - The Arith.Mult file is obsolete. Use Nat.mul_le_mono_l instead. - [deprecated-syntactic-definition,deprecated] - File "./src/Coqprime/N/NatAux.v", line 69, characters 6-22: - Warning: Notation mult_le_compat_l is deprecated since 8.16. - The Arith.Mult file is obsolete. Use Nat.mul_le_mono_l instead. - [deprecated-syntactic-definition,deprecated] - File "./src/Coqprime/N/NatAux.v", line 70, characters 6-17: - Warning: Notation le_lt_or_eq is deprecated since 8.16. - The Arith.Lt file is obsolete. Use the bidirectional version Nat.lt_eq_cases instead. - [deprecated-syntactic-definition,deprecated] - File "./src/Coqprime/N/NatAux.v", line 70, characters 6-17: - Warning: Notation le_lt_or_eq is deprecated since 8.16. - The Arith.Lt file is obsolete. Use the bidirectional version Nat.lt_eq_cases instead. - [deprecated-syntactic-definition,deprecated] - File "./src/Coqprime/N/NatAux.v", line 71, characters 40-48: - Warning: [...] truncated rith.Plus file is obsolete. Use Nat.add_comm instead. - [deprecated-syntactic-definition,deprecated] - File "./src/Coqprime/List/UList.v", line 167, characters 6-16: - Warning: Notation le_antisym is deprecated since 8.16. - The Arith.Le file is obsolete. Use Nat.le_antisymm instead. - [deprecated-syntactic-definition,deprecated] - File "./src/Coqprime/List/UList.v", line 167, characters 6-16: - Warning: Notation le_antisym is deprecated since 8.16. - The Arith.Le file is obsolete. Use Nat.le_antisymm instead. - [deprecated-syntactic-definition,deprecated] - File "./src/Coqprime/List/UList.v", line 181, characters 25-34: - Warning: Notation plus_comm is deprecated since 8.16. - The Arith.Plus file is obsolete. Use Nat.add_comm instead. - [deprecated-syntactic-definition,deprecated] - File "./src/Coqprime/List/UList.v", line 181, characters 51-60: - Warning: Notation plus_comm is deprecated since 8.16. - The Arith.Plus file is obsolete. Use Nat.add_comm instead. - [deprecated-syntactic-definition,deprecated] - File "./src/Coqprime/List/UList.v", line 181, characters 25-34: - Warning: Notation plus_comm is deprecated since 8.16. - The Arith.Plus file is obsolete. Use Nat.add_comm instead. - [deprecated-syntactic-definition,deprecated] - File "./src/Coqprime/List/UList.v", line 181, characters 25-34: - Warning: Notation plus_comm is deprecated since 8.16. - The Arith.Plus file is obsolete. Use Nat.add_comm instead. - [deprecated-syntactic-definition,deprecated] - File "./src/Coqprime/List/UList.v", line 181, characters 51-60: - Warning: Notation plus_comm is deprecated since 8.16. - The Arith.Plus file is obsolete. Use Nat.add_comm instead. - [deprecated-syntactic-definition,deprecated] - File "./src/Coqprime/List/UList.v", line 181, characters 51-60: - Warning: Notation plus_comm is deprecated since 8.16. - The Arith.Plus file is obsolete. Use Nat.add_comm instead. - [deprecated-syntactic-definition,deprecated] - COQC src/Coqprime/List/ZProgression.v - File "./src/Coqprime/Z/Pmod.v", line 505, characters 0-68: - Warning: The default value for rewriting hint locality is currently "local" - in a section and "global" otherwise, but is scheduled to change in a future - release. For the time being, adding rewriting hints outside of sections - without specifying an explicit locality attribute is therefore deprecated. It - is recommended to use "export" whenever possible. Use the attributes - #[local], #[global] and #[export] depending on your choice. For example: - "#[export] Hint Rewrite foo : bar." - [deprecated-hint-rewrite-without-locality,deprecated] - COQC src/Coqprime/PrimalityTest/Root.v - COQC src/Coqprime/PrimalityTest/FGroup.v - File "./src/Coqprime/PrimalityTest/Root.v", line 149, characters 6-12: - Warning: Notation lt_n_S is deprecated since 8.16. - The Arith.Lt file is obsolete. Use the bidirectional version Nat.succ_lt_mono instead. - [deprecated-syntactic-definition,deprecated] - File "./src/Coqprime/PrimalityTest/Root.v", line 149, characters 6-12: - Warning: Notation lt_n_S is deprecated since 8.16. - The Arith.Lt file is obsolete. Use the bidirectional version Nat.succ_lt_mono instead. - [deprecated-syntactic-definition,deprecated] - COQC src/Coqprime/elliptic/GZnZ.v - File "./src/Coqprime/PrimalityTest/Root.v", line 177, characters 6-16: - Warning: Notation lt_n_Sm_le is deprecated since 8.16. - The Arith.Lt file is obsolete. Use the bidirectional version Nat.lt_succ_r instead. - [deprecated-syntactic-definition,deprecated] - File "./src/Coqprime/PrimalityTest/Root.v", line 177, characters 23-34: - Warning: Notation lt_le_trans is deprecated since 8.16. - The Arith.Lt file is obsolete. Use Nat.lt_le_trans instead. - [deprecated-syntactic-definition,deprecated] - File "./src/Coqprime/PrimalityTest/Root.v", line 177, characters 6-16: - Warning: Notation lt_n_Sm_le is deprecated since 8.16. - The Arith.Lt file is obsolete. Use the bidirectional version Nat.lt_succ_r instead. - [deprecated-syntactic-definition,deprecated] - File "./src/Coqprime/PrimalityTest/Root.v", line 177, characters 23-34: - Warning: Notation lt_le_trans is deprecated since 8.16. - The Arith.Lt file is obsolete. Use Nat.lt_le_trans instead. - [deprecated-syntactic-definition,deprecated] - COQC src/Coqprime/elliptic/SMain.v - File "./src/Coqprime/elliptic/GZnZ.v", line 215, characters 6-14: - Warning: Notation le_or_lt is deprecated since 8.16. - The Arith.Lt file is obsolete. Use Nat.le_gt_cases instead. - [deprecated-syntactic-definition,deprecated] - File "./src/Coqprime/elliptic/GZnZ.v", line 215, characters 6-14: - Warning: Notation le_or_lt is deprecated since 8.16. - The Arith.Lt file is obsolete. Use Nat.le_gt_cases instead. - [deprecated-syntactic-definition,deprecated] - Finished transaction in 0.038 secs (0.009u,0.s) (successful) - COQC src/Coqprime/Z/ZSum.v - Finished transaction in 0.145 secs (0.03u,0.s) (successful) - Finished transaction in 0.206 secs (0.038u,0.s) (successful) - File "./src/Coqprime/num/Mod_op.v", line 970, characters 35-47: - Warning: Notation Z_div_mod_eq is deprecated since 8.14. - Use Z_div_mod_eq_full instead [deprecated-syntactic-definition,deprecated] - File "./src/Coqprime/num/Mod_op.v", line 970, characters 35-47: - Warning: Notation Z_div_mod_eq is deprecated since 8.14. - Use Z_div_mod_eq_full instead [deprecated-syntactic-definition,deprecated] - File "./src/Coqprime/num/Mod_op.v", line 970, characters 35-47: - Warning: Notation Z_div_mod_eq is deprecated since 8.14. - Use Z_div_mod_eq_full instead [deprecated-syntactic-definition,deprecated] - File "./src/Coqprime/num/Mod_op.v", line 970, characters 35-47: - Warning: Notation Z_div_mod_eq is deprecated since 8.14. - Use Z_div_mod_eq_full instead [deprecated-syntactic-definition,deprecated] - Finished transaction in 1.432 secs (0.233u,0.006s) (successful) - COQC src/Coqprime/PrimalityTest/IGroup.v - COQC src/Coqprime/PrimalityTest/Lagrange.v - COQC src/Coqprime/PrimalityTest/Euler.v - COQC src/Coqprime/num/W.v - File "./src/Coqprime/num/W.v", line 10, characters 0-43: - Error: Cannot find a physical path bound to logical path Int63. - - make[1]: *** [Makefile.coq:793: src/Coqprime/num/W.vo] Error 1 - make[1]: *** Waiting for unfinished jobs.... - Finished transaction in 8.802 secs (1.674u,0.009s) (successful) - Finished transaction in 0.153 secs (0.091u,0.s) (successful) - Finished transaction in 0.516 secs (0.311u,0.s) (successful) - Finished transaction in 0.647 secs (0.427u,0.s) (successful) - Finished transaction in 0.476 secs (0.347u,0.s) (successful) - Finished transaction in 1.151 secs (0.782u,0.s) (successful) - Finished transaction in 0.799 secs (0.68u,0.s) (successful) - File "./src/Coqprime/elliptic/SMain.v", line 1541, characters 10-18: - Warning: Notation le_trans is deprecated since 8.16. - The Arith.Le file is obsolete. Use Nat.le_trans instead. - [deprecated-syntactic-definition,deprecated] - File "./src/Coqprime/elliptic/SMain.v", line 1541, characters 10-18: - Warning: Notation le_trans is deprecated since 8.16. - The Arith.Le file is obsolete. Use Nat.le_trans instead. - [deprecated-syntactic-definition,deprecated] - File "./src/Coqprime/elliptic/SMain.v", line 1544, characters 6-14: - Warning: Notation le_trans is deprecated since 8.16. - The Arith.Le file is obsolete. Use Nat.le_trans instead. - [deprecated-syntactic-definition,deprecated] - File "./src/Coqprime/elliptic/SMain.v", line 1544, characters 6-14: - Warning: Notation le_trans is deprecated since 8.16. - The Arith.Le file is obsolete. Use Nat.le_trans instead. - [deprecated-syntactic-definition,deprecated] - File "./src/Coqprime/elliptic/SMain.v", line 1658, characters 22-31: - Warning: Notation plus_comm is deprecated since 8.16. - The Arith.Plus file is obsolete. Use Nat.add_comm instead. - [deprecated-syntactic-definition,deprecated] - File "./src/Coqprime/elliptic/SMain.v", line 1658, characters 22-31: - Warning: Notation plus_comm is deprecated since 8.16. - The Arith.Plus file is obsolete. Use Nat.add_comm instead. - [deprecated-syntactic-definition,deprecated] - File "./src/Coqprime/elliptic/SMain.v", line 1658, characters 22-31: - Warning: Notation plus_comm is deprecated since 8.16. - The Arith.Plus file is obsolete. Use Nat.add_comm instead. - [deprecated-syntactic-definition,deprecated] - make: *** [Makefile.coq:409: all] Error 2 [ERROR] The compilation of coq-coqprime failed at "/home/bench/.opam/opam-init/hooks/sandbox.sh build make -j4". #=== ERROR while compiling coq-coqprime.1.1.0 =================================# # context 2.0.10 | linux/x86_64 | ocaml-base-compiler.4.14.0 | file:///home/bench/run/opam-coq-archive/released # path ~/.opam/ocaml-base-compiler.4.14.0/.opam-switch/build/coq-coqprime.1.1.0 # command ~/.opam/opam-init/hooks/sandbox.sh build make -j4 # exit-code 2 # env-file ~/.opam/log/coq-coqprime-31012-865888.env # output-file ~/.opam/log/coq-coqprime-31012-865888.out ### output ### # [...] # Warning: Notation plus_comm is deprecated since 8.16. # The Arith.Plus file is obsolete. Use Nat.add_comm instead. # [deprecated-syntactic-definition,deprecated] # File "./src/Coqprime/elliptic/SMain.v", line 1658, characters 22-31: # Warning: Notation plus_comm is deprecated since 8.16. # The Arith.Plus file is obsolete. Use Nat.add_comm instead. # [deprecated-syntactic-definition,deprecated] # File "./src/Coqprime/elliptic/SMain.v", line 1658, characters 22-31: # Warning: Notation plus_comm is deprecated since 8.16. # The Arith.Plus file is obsolete. Use Nat.add_comm instead. # [deprecated-syntactic-definition,deprecated] # make: *** [Makefile.coq:409: all] Error 2 <><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><> +- The following actions failed | - build coq-coqprime 1.1.0 +- - No changes have been performed # Run eval $(opam env) to update the current shell environment 'opam install -y -v coq-coqprime.1.1.0 coq.dev' failed. The middle of the output is truncated (maximum 20000 characters)
No files were installed.
true


|
Proton DotNet
|
Defines an Encoder type that translates AMQP performatives into their encoded byte representations. More...
Public Member Functions | |
| IEncoderState | NewEncoderState () |
| Creates and returns a new encoder state object that should be used when encoding values with the encoder instance. More... | |
| void | WriteNull (IProtonBuffer buffer, IEncoderState state) |
| Write the indicated AMQP null type encoding into the buffer instance. More... | |
| void | WriteBoolean (IProtonBuffer buffer, IEncoderState state, bool value) |
| Writes the AMQP boolean encoding for the given value to the given buffer. More... | |
| void | WriteUnsignedByte (IProtonBuffer buffer, IEncoderState state, byte value) |
| Writes the AMQP unsigned byte encoding for the given value to the given buffer. More... | |
| void | WriteUnsignedShort (IProtonBuffer buffer, IEncoderState state, ushort value) |
| Writes the AMQP unsigned short encoding for the given value to the given buffer. More... | |
| void | WriteUnsignedInteger (IProtonBuffer buffer, IEncoderState state, uint value) |
| Writes the AMQP unsigned int encoding for the given value to the given buffer. More... | |
| void | WriteUnsignedLong (IProtonBuffer buffer, IEncoderState state, ulong value) |
| Writes the AMQP unsigned long encoding for the given value to the given buffer. More... | |
| void | WriteByte (IProtonBuffer buffer, IEncoderState state, sbyte value) |
| Writes the AMQP byte encoding for the given value to the given buffer. More... | |
| void | WriteShort (IProtonBuffer buffer, IEncoderState state, short value) |
| Writes the AMQP short encoding for the given value to the given buffer. More... | |
| void | WriteInteger (IProtonBuffer buffer, IEncoderState state, int value) |
| Writes the AMQP integer encoding for the given value to the given buffer. More... | |
| void | WriteLong (IProtonBuffer buffer, IEncoderState state, long value) |
| Writes the AMQP long encoding for the given value to the given buffer. More... | |
| void | WriteFloat (IProtonBuffer buffer, IEncoderState state, float value) |
| Writes the AMQP float encoding for the given value to the given buffer. More... | |
| void | WriteDouble (IProtonBuffer buffer, IEncoderState state, double value) |
| Writes the AMQP double encoding for the given value to the given buffer. More... | |
| void | WriteDecimal32 (IProtonBuffer buffer, IEncoderState state, Decimal32 value) |
| Writes the AMQP Decimal32 encoding for the given value to the given buffer. More... | |
| void | WriteDecimal64 (IProtonBuffer buffer, IEncoderState state, Decimal64 value) |
| Writes the AMQP Decimal64 encoding for the given value to the given buffer. More... | |
| void | WriteDecimal128 (IProtonBuffer buffer, IEncoderState state, Decimal128 value) |
| Writes the AMQP Decimal128 encoding for the given value to the given buffer. More... | |
| void | WriteCharacter (IProtonBuffer buffer, IEncoderState state, char value) |
| Writes the AMQP Character encoding for the given value to the given buffer. More... | |
| void | WriteTimestamp (IProtonBuffer buffer, IEncoderState state, long value) |
| Writes the AMQP Timestamp encoding for the given value to the given buffer. More... | |
| void | WriteTimestamp (IProtonBuffer buffer, IEncoderState state, ulong value) |
| Writes the AMQP Timestamp encoding for the given value to the given buffer. More... | |
| void | WriteGuid (IProtonBuffer buffer, IEncoderState state, Guid value) |
| Writes the AMQP UUID encoding for the given value to the given buffer. More... | |
| void | WriteBinary (IProtonBuffer buffer, IEncoderState state, byte[] value) |
| Writes the AMQP Binary encoding for the given value to the given buffer. More... | |
| void | WriteBinary (IProtonBuffer buffer, IEncoderState state, IProtonBuffer value) |
| Writes the AMQP Binary encoding for the given value to the given buffer. More... | |
| void | WriteString (IProtonBuffer buffer, IEncoderState state, string value) |
| Writes the AMQP string encoding for the given value to the given buffer. More... | |
| void | WriteSymbol (IProtonBuffer buffer, IEncoderState state, Symbol value) |
| Writes the AMQP Symbol encoding for the given value to the given buffer. More... | |
| void | WriteSymbol (IProtonBuffer buffer, IEncoderState state, string value) |
| Writes the AMQP Symbol encoding for the given value to the given buffer. More... | |
| void | WriteList (IProtonBuffer buffer, IEncoderState state, IList value) |
| Writes the AMQP List encoding for the given value to the given buffer. More... | |
| void | WriteList< T > (IProtonBuffer buffer, IEncoderState state, IList< T > value) |
| Writes the AMQP List encoding for the given value to the given buffer. More... | |
| void | WriteMap (IProtonBuffer buffer, IEncoderState state, IDictionary value) |
| Writes the AMQP Map encoding for the given value to the given buffer. More... | |
| void | WriteMap< K, V > (IProtonBuffer buffer, IEncoderState state, IDictionary< K, V > value) |
| Writes the AMQP Map encoding for the given value to the given buffer. More... | |
| void | WriteMap< K, V > (IProtonBuffer buffer, IEncoderState state, IReadOnlyDictionary< K, V > value) |
| Writes the AMQP Map encoding for the given value to the given buffer. More... | |
| void | WriteDeliveryTag (IProtonBuffer buffer, IEncoderState state, IDeliveryTag value) |
| Writes the contents of the given IDeliveryTag value into the provided proton buffer instance as an AMQP Binary type. More... | |
| void | WriteDescribedType (IProtonBuffer buffer, IEncoderState state, IDescribedType value) |
| Writes the AMQP Described Type encoding for the given value to the given buffer. More... | |
| void | WriteObject (IProtonBuffer buffer, IEncoderState state, object value) |
| Writes the AMQP encoding for the given value to the given buffer. More... | |
| void | WriteArray (IProtonBuffer buffer, IEncoderState state, Array value) |
| Writes the AMQP array encoding for the given value to the given buffer. More... | |
| IEncoder | RegisterDescribedTypeEncoder (IDescribedTypeEncoder encoder) |
| Allows registration of the given AMQP type encoder into this encoder to customize the writing of the Type managed by the encoder. More... | |
| ITypeEncoder | LookupTypeEncoder (object value) |
| Lookup a Type encoder using an instance of the type to be encoded. More... | |
| ITypeEncoder | LookupTypeEncoder (Type typeClass) |
| Lookup a Type encoder using Type value of the type to be encoded. More... | |
Properties | |
| IEncoderState | CachedEncoderState [get] |
| Returns an encoder state instance that lives with this encoder instance. The cached encoder state should be used with this encoder and only by a single thread at a time. More... | |
Defines an Encoder type that translates AMQP performatives into their encoded byte representations.
| ITypeEncoder Apache.Qpid.Proton.Codec.IEncoder.LookupTypeEncoder | ( | object | value | ) |
Lookup a Type encoder using an instance of the type to be encoded.
| value | an instance of the type whose encoder is being looked up |
Implemented in Apache.Qpid.Proton.Codec.Encoders.ProtonEncoder.
| ITypeEncoder Apache.Qpid.Proton.Codec.IEncoder.LookupTypeEncoder | ( | Type | typeClass | ) |
Lookup a Type encoder using Type value of the type to be encoded.
| value | a Type instance for the type whose encoder is being looked up |
Implemented in Apache.Qpid.Proton.Codec.Encoders.ProtonEncoder.
| IEncoderState Apache.Qpid.Proton.Codec.IEncoder.NewEncoderState | ( | ) |
Creates and returns a new encoder state object that should be used when encoding values with the encoder instance.
Implemented in Apache.Qpid.Proton.Codec.Encoders.ProtonEncoder.
| IEncoder Apache.Qpid.Proton.Codec.IEncoder.RegisterDescribedTypeEncoder | ( | IDescribedTypeEncoder | encoder | ) |
Allows registration of the given AMQP type encoder into this encoder to customize the writing of the Type managed by the encoder.
| encoder | The encoder type instance to register with this encoder |
Implemented in Apache.Qpid.Proton.Codec.Encoders.ProtonEncoder.
| void Apache.Qpid.Proton.Codec.IEncoder.WriteArray | ( | IProtonBuffer | buffer, |
| IEncoderState | state, | ||
| Array | value | ||
| ) |
Writes the AMQP array encoding for the given value to the given buffer.
| buffer | The buffer to write the value encoding to |
| state | An encoder state instance to use when encoding |
| value | The value to be written |
| EncodeException | If an error occurs during the encode operation |
Implemented in Apache.Qpid.Proton.Codec.Encoders.ProtonEncoder.
| void Apache.Qpid.Proton.Codec.IEncoder.WriteBinary | ( | IProtonBuffer | buffer, |
| IEncoderState | state, | ||
| byte[] | value | ||
| ) |
Writes the AMQP Binary encoding for the given value to the given buffer.
| buffer | The buffer to write the value encoding to |
| state | An encoder state instance to use when encoding |
| value | The value to be written |
| EncodeException | If an error occurs during the encode operation |
Implemented in Apache.Qpid.Proton.Codec.Encoders.ProtonEncoder.
| void Apache.Qpid.Proton.Codec.IEncoder.WriteBinary | ( | IProtonBuffer | buffer, |
| IEncoderState | state, | ||
| IProtonBuffer | value | ||
| ) |
Writes the AMQP Binary encoding for the given value to the given buffer.
| buffer | The buffer to write the value encoding to |
| state | An encoder state instance to use when encoding |
| value | The value to be written |
| EncodeException | If an error occurs during the encode operation |
Implemented in Apache.Qpid.Proton.Codec.Encoders.ProtonEncoder.
| void Apache.Qpid.Proton.Codec.IEncoder.WriteBoolean | ( | IProtonBuffer | buffer, |
| IEncoderState | state, | ||
| bool | value | ||
| ) |
Writes the AMQP boolean encoding for the given value to the given buffer.
| buffer | The buffer to write the value encoding to |
| state | An encoder state instance to use when encoding |
| value | The value to be written |
| EncodeException | If an error occurs during the encode operation |
Implemented in Apache.Qpid.Proton.Codec.Encoders.ProtonEncoder.
| void Apache.Qpid.Proton.Codec.IEncoder.WriteByte | ( | IProtonBuffer | buffer, |
| IEncoderState | state, | ||
| sbyte | value | ||
| ) |
Writes the AMQP byte encoding for the given value to the given buffer.
| buffer | The buffer to write the value encoding to |
| state | An encoder state instance to use when encoding |
| value | The value to be written |
| EncodeException | If an error occurs during the encode operation |
Implemented in Apache.Qpid.Proton.Codec.Encoders.ProtonEncoder.
| void Apache.Qpid.Proton.Codec.IEncoder.WriteCharacter | ( | IProtonBuffer | buffer, |
| IEncoderState | state, | ||
| char | value | ||
| ) |
Writes the AMQP Character encoding for the given value to the given buffer.
| buffer | The buffer to write the value encoding to |
| state | An encoder state instance to use when encoding |
| value | The value to be written |
| EncodeException | If an error occurs during the encode operation |
Implemented in Apache.Qpid.Proton.Codec.Encoders.ProtonEncoder.
| void Apache.Qpid.Proton.Codec.IEncoder.WriteDecimal128 | ( | IProtonBuffer | buffer, |
| IEncoderState | state, | ||
| Decimal128 | value | ||
| ) |
Writes the AMQP Decimal128 encoding for the given value to the given buffer.
| buffer | The buffer to write the value encoding to |
| state | An encoder state instance to use when encoding |
| value | The value to be written |
| EncodeException | If an error occurs during the encode operation |
Implemented in Apache.Qpid.Proton.Codec.Encoders.ProtonEncoder.
| void Apache.Qpid.Proton.Codec.IEncoder.WriteDecimal32 | ( | IProtonBuffer | buffer, |
| IEncoderState | state, | ||
| Decimal32 | value | ||
| ) |
Writes the AMQP Decimal32 encoding for the given value to the given buffer.
| buffer | The buffer to write the value encoding to |
| state | An encoder state instance to use when encoding |
| value | The value to be written |
| EncodeException | If an error occurs during the encode operation |
Implemented in Apache.Qpid.Proton.Codec.Encoders.ProtonEncoder.
| void Apache.Qpid.Proton.Codec.IEncoder.WriteDecimal64 | ( | IProtonBuffer | buffer, |
| IEncoderState | state, | ||
| Decimal64 | value | ||
| ) |
Writes the AMQP Decimal64 encoding for the given value to the given buffer.
| buffer | The buffer to write the value encoding to |
| state | An encoder state instance to use when encoding |
| value | The value to be written |
| EncodeException | If an error occurs during the encode operation |
Implemented in Apache.Qpid.Proton.Codec.Encoders.ProtonEncoder.
| void Apache.Qpid.Proton.Codec.IEncoder.WriteDeliveryTag | ( | IProtonBuffer | buffer, |
| IEncoderState | state, | ||
| IDeliveryTag | value | ||
| ) |
Writes the contents of the given IDeliveryTag value into the provided proton buffer instance as an AMQP Binary type.
| buffer | The buffer to write the value encoding to |
| state | An encoder state instance to use when encoding |
| value | The delivery tag to encode as an AMQP Binary |
| EncodeException | If an error occurs during the encode operation |
Implemented in Apache.Qpid.Proton.Codec.Encoders.ProtonEncoder.
| void Apache.Qpid.Proton.Codec.IEncoder.WriteDescribedType | ( | IProtonBuffer | buffer, |
| IEncoderState | state, | ||
| IDescribedType | value | ||
| ) |
Writes the AMQP Described Type encoding for the given value to the given buffer.
| buffer | The buffer to write the value encoding to |
| state | An encoder state instance to use when encoding |
| value | The value to be written |
| EncodeException | If an error occurs during the encode operation |
Implemented in Apache.Qpid.Proton.Codec.Encoders.ProtonEncoder.
| void Apache.Qpid.Proton.Codec.IEncoder.WriteDouble | ( | IProtonBuffer | buffer, |
| IEncoderState | state, | ||
| double | value | ||
| ) |
Writes the AMQP double encoding for the given value to the given buffer.
| buffer | The buffer to write the value encoding to |
| state | An encoder state instance to use when encoding |
| value | The value to be written |
| EncodeException | If an error occurs during the encode operation |
Implemented in Apache.Qpid.Proton.Codec.Encoders.ProtonEncoder.
| void Apache.Qpid.Proton.Codec.IEncoder.WriteFloat | ( | IProtonBuffer | buffer, |
| IEncoderState | state, | ||
| float | value | ||
| ) |
Writes the AMQP float encoding for the given value to the given buffer.
| buffer | The buffer to write the value encoding to |
| state | An encoder state instance to use when encoding |
| value | The value to be written |
| EncodeException | If an error occurs during the encode operation |
Implemented in Apache.Qpid.Proton.Codec.Encoders.ProtonEncoder.
| void Apache.Qpid.Proton.Codec.IEncoder.WriteGuid | ( | IProtonBuffer | buffer, |
| IEncoderState | state, | ||
| Guid | value | ||
| ) |
Writes the AMQP UUID encoding for the given value to the given buffer.
| buffer | The buffer to write the value encoding to |
| state | An encoder state instance to use when encoding |
| value | The value to be written |
| EncodeException | If an error occurs during the encode operation |
Implemented in Apache.Qpid.Proton.Codec.Encoders.ProtonEncoder.
| void Apache.Qpid.Proton.Codec.IEncoder.WriteInteger | ( | IProtonBuffer | buffer, |
| IEncoderState | state, | ||
| int | value | ||
| ) |
Writes the AMQP integer encoding for the given value to the given buffer.
| buffer | The buffer to write the value encoding to |
| state | An encoder state instance to use when encoding |
| value | The value to be written |
| EncodeException | If an error occurs during the encode operation |
Implemented in Apache.Qpid.Proton.Codec.Encoders.ProtonEncoder.
| void Apache.Qpid.Proton.Codec.IEncoder.WriteList | ( | IProtonBuffer | buffer, |
| IEncoderState | state, | ||
| IList | value | ||
| ) |
Writes the AMQP List encoding for the given value to the given buffer.
| buffer | The buffer to write the value encoding to |
| state | An encoder state instance to use when encoding |
| value | The value to be written |
| EncodeException | If an error occurs during the encode operation |
Implemented in Apache.Qpid.Proton.Codec.Encoders.ProtonEncoder.
| void Apache.Qpid.Proton.Codec.IEncoder.WriteList< T > | ( | IProtonBuffer | buffer, |
| IEncoderState | state, | ||
| IList< T > | value | ||
| ) |
Writes the AMQP List encoding for the given value to the given buffer.
| buffer | The buffer to write the value encoding to |
| state | An encoder state instance to use when encoding |
| value | The value to be written |
| EncodeException | If an error occurs during the encode operation |
Implemented in Apache.Qpid.Proton.Codec.Encoders.ProtonEncoder.
| void Apache.Qpid.Proton.Codec.IEncoder.WriteLong | ( | IProtonBuffer | buffer, |
| IEncoderState | state, | ||
| long | value | ||
| ) |
Writes the AMQP long encoding for the given value to the given buffer.
| buffer | The buffer to write the value encoding to |
| state | An encoder state instance to use when encoding |
| value | The value to be written |
| EncodeException | If an error occurs during the encode operation |
Implemented in Apache.Qpid.Proton.Codec.Encoders.ProtonEncoder.
| void Apache.Qpid.Proton.Codec.IEncoder.WriteMap | ( | IProtonBuffer | buffer, |
| IEncoderState | state, | ||
| IDictionary | value | ||
| ) |
Writes the AMQP Map encoding for the given value to the given buffer.
| buffer | The buffer to write the value encoding to |
| state | An encoder state instance to use when encoding |
| value | The value to be written |
| EncodeException | If an error occurs during the encode operation |
Implemented in Apache.Qpid.Proton.Codec.Encoders.ProtonEncoder.
| void Apache.Qpid.Proton.Codec.IEncoder.WriteMap< K, V > | ( | IProtonBuffer | buffer, |
| IEncoderState | state, | ||
| IDictionary< K, V > | value | ||
| ) |
Writes the AMQP Map encoding for the given value to the given buffer.
| buffer | The buffer to write the value encoding to |
| state | An encoder state instance to use when encoding |
| value | The value to be written |
| EncodeException | If an error occurs during the encode operation |
Implemented in Apache.Qpid.Proton.Codec.Encoders.ProtonEncoder.
| void Apache.Qpid.Proton.Codec.IEncoder.WriteMap< K, V > | ( | IProtonBuffer | buffer, |
| IEncoderState | state, | ||
| IReadOnlyDictionary< K, V > | value | ||
| ) |
Writes the AMQP Map encoding for the given value to the given buffer.
| buffer | The buffer to write the value encoding to |
| state | An encoder state instance to use when encoding |
| value | The value to be written |
| EncodeException | If an error occurs during the encode operation |
Implemented in Apache.Qpid.Proton.Codec.Encoders.ProtonEncoder.
| void Apache.Qpid.Proton.Codec.IEncoder.WriteNull | ( | IProtonBuffer | buffer, |
| IEncoderState | state | ||
| ) |
Write the indicated AMQP null type encoding into the buffer instance.
| buffer | The buffer to write the value encoding to |
| state | An encoder state instance to use when encoding |
| EncodeException | If an error occurs during the encode operation |
Implemented in Apache.Qpid.Proton.Codec.Encoders.ProtonEncoder.
| void Apache.Qpid.Proton.Codec.IEncoder.WriteObject | ( | IProtonBuffer | buffer, |
| IEncoderState | state, | ||
| object | value | ||
| ) |
Writes the AMQP encoding for the given value to the given buffer.
| buffer | The buffer to write the value encoding to |
| state | An encoder state instance to use when encoding |
| value | The value to be written |
| EncodeException | If an error occurs during the encode operation |
Implemented in Apache.Qpid.Proton.Codec.Encoders.ProtonEncoder.
| void Apache.Qpid.Proton.Codec.IEncoder.WriteShort | ( | IProtonBuffer | buffer, |
| IEncoderState | state, | ||
| short | value | ||
| ) |
Writes the AMQP short encoding for the given value to the given buffer.
| buffer | The buffer to write the value encoding to |
| state | An encoder state instance to use when encoding |
| value | The value to be written |
| EncodeException | If an error occurs during the encode operation |
Implemented in Apache.Qpid.Proton.Codec.Encoders.ProtonEncoder.
| void Apache.Qpid.Proton.Codec.IEncoder.WriteString | ( | IProtonBuffer | buffer, |
| IEncoderState | state, | ||
| string | value | ||
| ) |
Writes the AMQP string encoding for the given value to the given buffer.
| buffer | The buffer to write the value encoding to |
| state | An encoder state instance to use when encoding |
| value | The value to be written |
| EncodeException | If an error occurs during the encode operation |
Implemented in Apache.Qpid.Proton.Codec.Encoders.ProtonEncoder.
| void Apache.Qpid.Proton.Codec.IEncoder.WriteSymbol | ( | IProtonBuffer | buffer, |
| IEncoderState | state, | ||
| string | value | ||
| ) |
Writes the AMQP Symbol encoding for the given value to the given buffer.
| buffer | The buffer to write the value encoding to |
| state | An encoder state instance to use when encoding |
| value | The value to be written |
| EncodeException | If an error occurs during the encode operation |
Implemented in Apache.Qpid.Proton.Codec.Encoders.ProtonEncoder.
| void Apache.Qpid.Proton.Codec.IEncoder.WriteSymbol | ( | IProtonBuffer | buffer, |
| IEncoderState | state, | ||
| Symbol | value | ||
| ) |
Writes the AMQP Symbol encoding for the given value to the given buffer.
| buffer | The buffer to write the value encoding to |
| state | An encoder state instance to use when encoding |
| value | The value to be written |
| EncodeException | If an error occurs during the encode operation |
Implemented in Apache.Qpid.Proton.Codec.Encoders.ProtonEncoder.
| void Apache.Qpid.Proton.Codec.IEncoder.WriteTimestamp | ( | IProtonBuffer | buffer, |
| IEncoderState | state, | ||
| long | value | ||
| ) |
Writes the AMQP Timestamp encoding for the given value to the given buffer.
| buffer | The buffer to write the value encoding to |
| state | An encoder state instance to use when encoding |
| value | The value to be written |
| EncodeException | If an error occurs during the encode operation |
Implemented in Apache.Qpid.Proton.Codec.Encoders.ProtonEncoder.
| void Apache.Qpid.Proton.Codec.IEncoder.WriteTimestamp | ( | IProtonBuffer | buffer, |
| IEncoderState | state, | ||
| ulong | value | ||
| ) |
Writes the AMQP Timestamp encoding for the given value to the given buffer.
| buffer | The buffer to write the value encoding to |
| state | An encoder state instance to use when encoding |
| value | The value to be written |
| EncodeException | If an error occurs during the encode operation |
Implemented in Apache.Qpid.Proton.Codec.Encoders.ProtonEncoder.
| void Apache.Qpid.Proton.Codec.IEncoder.WriteUnsignedByte | ( | IProtonBuffer | buffer, |
| IEncoderState | state, | ||
| byte | value | ||
| ) |
Writes the AMQP unsigned byte encoding for the given value to the given buffer.
| buffer | The buffer to write the value encoding to |
| state | An encoder state instance to use when encoding |
| value | The value to be written |
| EncodeException | If an error occurs during the encode operation |
Implemented in Apache.Qpid.Proton.Codec.Encoders.ProtonEncoder.
| void Apache.Qpid.Proton.Codec.IEncoder.WriteUnsignedInteger | ( | IProtonBuffer | buffer, |
| IEncoderState | state, | ||
| uint | value | ||
| ) |
Writes the AMQP unsigned int encoding for the given value to the given buffer.
| buffer | The buffer to write the value encoding to |
| state | An encoder state instance to use when encoding |
| value | The value to be written |
| EncodeException | If an error occurs during the encode operation |
Implemented in Apache.Qpid.Proton.Codec.Encoders.ProtonEncoder.
| void Apache.Qpid.Proton.Codec.IEncoder.WriteUnsignedLong | ( | IProtonBuffer | buffer, |
| IEncoderState | state, | ||
| ulong | value | ||
| ) |
Writes the AMQP unsigned long encoding for the given value to the given buffer.
| buffer | The buffer to write the value encoding to |
| state | An encoder state instance to use when encoding |
| value | The value to be written |
| EncodeException | If an error occurs during the encode operation |
Implemented in Apache.Qpid.Proton.Codec.Encoders.ProtonEncoder.
| void Apache.Qpid.Proton.Codec.IEncoder.WriteUnsignedShort | ( | IProtonBuffer | buffer, |
| IEncoderState | state, | ||
| ushort | value | ||
| ) |
Writes the AMQP unsigned short encoding for the given value to the given buffer.
| buffer | The buffer to write the value encoding to |
| state | An encoder state instance to use when encoding |
| value | The value to be written |
| EncodeException | If an error occurs during the encode operation |
Implemented in Apache.Qpid.Proton.Codec.Encoders.ProtonEncoder.
|
get |
Returns an encoder state instance that lives with this encoder instance. The cached encoder state should be used with this encoder and only by a single thread at a time.


EXPERIENCE
Product Manager – CBRE Feb 2022 - Present
- Location: London, United Kingdom
- Ownership – Led discovery workshops, collaborated with cross functional teams to uncover key pain points and unmet needs and prioritised quick wins to improve occupancy CBRE UK Headquarter, resulting in an 18% increase in turn up rate in 2 months.
- Led the successful decommissioning of a legacy product by working closely with business stakeholders and 4 engineering teams, resulting in an 87% improvement in data processing times and improving Central London properties data accuracy to 98%.
- Successfully managed stakeholder expectations across multiple business teams and divisions by establishing regular stakeholder communication channels to ensure smooth progress and information flow and conducting feedback sessions to increase user satisfaction.
Product Manager – SIMPLY BUSINESS March 2021 - Feb 2022
- Location: London, United Kingdom
- Data-driven – Led ideation by analysing data to drive decisions, interviewing end-users, and creating user journey prototypes with UX designers which turned uncertainties into knowledge through the BML loop
- Spearheaded processing and digitalising all UK transactions for analysis and consumption by 1700% via communicating and building partnerships with cross-functional teams and stakeholders from various business departments to gather requirements for Bordereau project; presented a Den pitch to C suite execs
- Reduced cancellation rate by 11% by adopting continuous discovery, creating an opportunity tree to identify cheap and quick solutions to reduce US non-payment cancellations and conducting usability tests and A/B tests to collect learning from customers
- Adapted to business change and reprioritised the backlog to work on features needed in the US customer account for Amazon partnership; recorded breaking first day sales from 284 policies, which generated gross amount of nearly $200k
Product Manager – Accountancy Cloud October 2019 - March 2021
- Location: London, United Kingdom
- Leadership – managed and liaised with the development, business, and customer success teams to gather requirements and release new features on frontend and backend operations, help generating over £1.5m in revenue
- Planned product roadmap and rolled out an MVP for a B2B Automated Bookkeeping platform (serving 300+ users) that uses Machine Learning to streamline the process of bookkeeping
- Released features by translating business requirements into user stories in Zenhub/Jira and analysing user engagement in Mixpanel, which improved user instances from 200 to 1,600 in a month
- Trained 200+ C-Suite Executives, business and finance teams on new feature and product releases
- Tested and resolved blocking issues on UAT environment which led to the delivery of more than 50 releases in production environment
- Created product marketing content in bi-weekly and monthly newsletters for 30 internal and 250+ external stakeholders
Product Advisor - Business – Microsoft May 2019 - October 2019
- Location: London, United Kingdom
- Ownership – ran business workshops on Microsoft Teams to help increase communication and collaboration within clients’ ecosystems
- Trained 300+ business clients on Microsoft Office applications and other Microsoft products on product functionality and enhancements
- Generated more than 20 business leads within a month and built new relationships by demoing Microsoft products and services
Sales Consultant – Christian Dior Couture March 2018 - March 2019
- Location: London, United Kingdom
- Client-Oriented Focus - earned and kept customer trust with the achievement of more than 300% (£10.4k) increase in day sales compared to last year on the same day
- Tailor-made a selection of matching pieces from the Winter’18 collection for clients, contributing £6,700 to daily sales target of £13k
- Exceeded day sales target (£20k) by offering link sale (£5.9k) to clients
Ambassador – Royal Holloway, University of LondonOctober 2015 - July 2018
- Location: London, United Kingdom
- Led a group of 20 students on campus tours and provided insights on university life on 18 open days and applicant visit days
Brand Ambassador – British American Group February 2018 - March 2018
- Location: London, United Kingdom
- Raised awareness of BAG’s client Scape by giving out flyers to 300+ university students and utilised social media platforms, Instagram and Snapchat, acquiring 500+ views
Sales Representative – Jo Malone London October 2017 - March 2018
- Location: London, United Kingdom
- Exceeded daily sales target (£14k) and earned managers’ praise by hitting £28k


© 2015-2017 Kelley Blue Book Co., Inc. All rights reserved. 3/3/2017-3/9/2017 Edition for 95136. Kelley Blue Book assumes no responsibility for errors or omissions. (v.170301).
Definitions
Values and pricing are the opinions of Kelley Blue Book, and the actual price of a vehicle may vary. Kelley Blue Book assumes no responsibility for errors or omissions.
Fair Market Range (Buy from a Dealer)
This Kelley Blue Book® Fair Market Range is based in part on the MSRP supplied by the dealer offering this vehicle for sale. Updated weekly the Kelley Blue Book® Fair Market Range for new cars is Kelley Blue Book's estimate of what a consumer can reasonably expect to pay this week in this vehicle's area for a vehicle of the same year, make, model and MSRP, excluding taxes, title, fees and any available rebates or incentives. Each dealer sets and controls its own pricing.
MSRP
The MSRP, or Manufacturer's Suggested Retail Price, shown here was supplied by the dealer offering this vehicle for sale. MSRP is the price set by the manufacturer and does not necessarily reflect the price actually paid by consumers. This MSRP excludes service and handling fees and state and local tax, title and license fees. Destination and freight charges may also be excluded.
Red Zone (Buy from a Dealer)
The red zone falls above the Fair Market Range. Special circumstances such as exceptionally low supply with high demand, options installed by the dealership, credit, and seasonality may all be contributing factors to sales that occur in this range.
White Zone (Buy from a Dealer)
The white zone falls below the Fair Market Range. Special circumstances such as retiring model years, unpopular color, excess inventory and seasonality may all be contributing factors to sales that occur in this range.
Transaction Data
This meter represents a sample range of recent transaction prices for vehicles of the same year, make and model as the vehicle specified, but sometimes with a different style and/or equipment. Analyzed transaction prices exclude taxes, DMV fees, documentation fees, other dealership charges and any available rebates or incentives.
© 2015-2017 Kelley Blue Book Co., Inc. All rights reserved.
Invoice Currently Unavailable
The absence of manufacturer-provided invoice pricing information has caused a delay in offering this information to you.
Why Don't I See a Fair Purchase Price?
That depends. Since Kelley Blue Book bases Fair Purchase Price on actual transactions, some vehicles are too new to establish a history, others have low current dealer inventory, and still others have low sales volume overall.
For these reasons, some additional info may be unavailable as well.


Saul Bass (May 8, 1920 - April 25, 1996) was a graphic designer and filmmaker, best known for his design of film posters and motion picture title sequences.
During his 40-year career Bass worked for some of Hollywood's greatest filmmakers, including Alfred Hitchcock, Otto Preminger, Billy Wilder, Stanley Kubrick and Martin Scorsese. Amongst his most famous title sequences are the animated paper cut-out of a heroin addict's arm for Preminger's The Man with the Golden Arm, the credits racing up and down what eventually becomes a high-angle shot of the United Nations building in Hitchcock's North by Northwest, and the disjointed text that races together and apart in Psycho.
Bass designed some of the most iconic corporate logos in North America, including the AT&T "bell" logo in 1969, as well as AT&T's "globe" logo in 1983 after the breakup of the Bell System. He also designed Continental Airlines' 1968 "jetstream" logo and United Airlines' 1974 "tulip" logo which became some of the most recognized airline industry logos of the era.
Saul Bass
1. VERTIGO
2. ANATOMY OF A MURDER
3. MAN WITH THE GOLDEN ARM
Saul Bass was born on May 8, 1920, in the Bronx, New York, to Eastern European Jewish immigrant parents. He graduated from James Monroe High School in the Bronx and studied part-time at the Art Students League in Manhattan until attending night classes with György Kepes at Brooklyn College.[1] He began his time in Hollywood during the 1940s doing print work for film ads, until he collaborated with filmmaker Otto Preminger to design the film poster for his 1954 film Carmen Jones. Preminger was so impressed with Bass's work that he asked him to produce the title sequence as well. This was when Bass first saw the opportunity to create something more than a title sequence, but to create something which would ultimately enhance the experience of the audience and contribute to the mood and the theme of the movie within the opening moments.
Saul Bass designed emblematic movie posters that revolutionized the visuals of film advertising. Before Bass’s seminal poster for The Man with the Golden Arm (1955), movie posters were dominated by depictions of key scenes or characters from the film, often both juxtaposed with each other. Bass’s posters, however, typically developed simplified, symbolic designs that visually communicated key essential elements of the film. For example, his poster for a Man with a Golden Arm, with a jagged arm and off-kilter typography, starkly communicates the protagonist's struggle with heroin addition. Bass's iconic Vertigo (1958) poster, with its stylized figures sucked down into the nucleus of a spiral vortex, captures the anxiety and disorientation central to the film.
His poster for Anatomy of a Murder (1959), featuring the silhouette of a corpse jarringly dissected into seven pieces, makes both a pun on the film’s title and captures the moral ambiguities within which this court room drama is immersed. He created some of his best known posters for films directed by Otto Preminger, Alfred Hitchcock, Billy Wilder, and Stanley Kubrick among others. His last commissioned film poster was created for Steven Spielberg's Schindler's List (1993), but it was never distributed[12]. His poster work spanned five decades and inspired numerous other poster and graphic designers. Bass's film posters are characterized by a distinctive typography and minimalistic style.
THE SHINING POSTER
Bass was responsible for some of the best-remembered, most iconic logos in North America, including both the Bell Telephone logo (1969) and successor AT&T globe (1983). Other well-known designs were Continental Airlines (1968), Dixie (1969) and United Airlines (1974). Later, he would produce logos for a number of Japanese companies as well.
UNITED AIRLINES
AVERY
CELANESE
QUAKER


I am a paragraph. A short one.
I am another paragraph. Some of the words have been wrapped in a span element.


---
layout: post
title: 'Meet facespace: the Social Network from Hell'
date: '2011-04-14T22:43:31-07:00'
tags: []
tumblr_url: http://blog.dishbreak.com/post/4627315866/meet-facespace-the-social-network-from-hell
---
Meet facespace: the Social Network from Hell
The Oatmeal is the work of a brutally intelligent web designer and illustrator with a dark, dark sense of humor. Let’s all be thankful that this specific concoction of his never was or will be. Or will it?


Brooke Voss is a full service decorating house that is known for building candid and deep relationships with our clients, be it individuals or companies, assisting them in crafting their ideal living and working space.
Our team of qualified interior decorators and interior designers provide a very unique and personal service to each client, based on the clients brief and particular needs. All projects are meticulously curated and expertly executed from conception through to styling.
Each Client Has A Unique Vision And Our Role Is To Transform That Idea Into A Reality While Elevating It To Its Greatest Potential.
*First invoice will be based on an estimate and adjusted accordingly.
*First invoice will be based on an estimate and adjusted accordingly.
Subject to terms and conditions.
*In the case of missing floor plans – an additional charge of R220/m2 will be quoted for full measurements of the house including doors, windows, electrical and built in features.


Hacker Newz
comments
submit
Login
Logout
×
You're not authorized
Hacker Newz - Gode ting
recent posts


PlayStation 5 'will not be revolutionary', gaming expert claims
Game developer Danny Weinbaum has revealed his predictions for Sony’s 2020 console, and says that he believes the PlayStation 5 ‘will not be revolutionary’
by Shivali Best, https://www.facebook.com/shivalibestjournalist/It’s one of the most highly-anticipated gaming consoles of all time, but new claims suggest that the PlayStation 5 won’t be as exciting as many predict.
A game developer has revealed his predictions for Sony ’s 2020 console, and says that he believes the PlayStation 5 ‘will not be revolutionary.’
Speaking to GamingBolt about the PS5’s Zen 2 CPU, Danny Weinbaum, director of Eastshade, said: “It won’t change much really. It will allow more draw calls I suppose, i.e. more objects on screen.
“It will be an evolution, not a revolution.”
Meanwhile, when quizzed about the PS5’s SSD, Mr Weinbaum said that while he believes the technology will reduce load times, it won’t have much of an impact on performance.
He added: “Many games have everything they need in memory already, so it wouldn’t affect much there, but it will be helpful for open world titles which require streaming.
“I’d say it won’t really affect performance much. Mostly it will reduce load times.”
Mr Weinbaum’s claims come shortly after Jim Ryan, CEO at Sony, finally revealed new details about the PS5.
He said: “As we move towards the next-generation in 2020, one of our [Sony's] tasks - probably our main task - is to take that community and transition it from PlayStation 4 to PlayStation 5, and at a scale and pace that we've never delivered on before.”
Mr Ryan said that Sony is working on several first-party games that could ‘make or break’ the success of the PlayStation.
However, he added that Sony is already ‘hearing from developers and publishers [about] the ease in which they are able to get code running on PlayStation 5’, which is reportedly ‘way beyond any experience they've had on any other PlayStation platform.’


Thomas-dev #IP
| Clauses |
Main |
|---|
| Clause |
Identifier |
Process |
Identified |
Marker |
|---|
| Form | quod |
sit |
officium |
sapientis |
. |
Word Class | noun |
verb |
noun |
noun |
punctuation |
| Clauses |
Main… |
Extending |
…Main |
|---|
| Clause |
Goal |
Process |
Actor |
Marker |
Marker |
Actor |
Process |
Goal |
Marker |
|---|
| Form | veritatem |
meditabitur |
guttur |
meum |
, |
et |
labia |
mea |
detestabuntur |
impium |
. |
Word Class | noun |
verb |
noun |
noun |
punctuation |
conjunction |
noun |
noun |
verb |
noun |
punctuation |
| Clauses |
Main |
|---|
| Clause |
Head |
Marker |
|---|
| Form | prov. |
8-7 |
. |
Word Class | source |
number |
punctuation |
| Clauses |
Main… |
Enhancing |
Locution |
Extending |
…Main |
|---|
| Clause |
Actor |
Circumstance |
Process |
Marker |
Attribute |
Process |
Actor |
Goal |
Circumstance |
Process |
Marker |
Goal |
Circumstance |
Process |
Marker |
|---|
| Form | multitudinis |
usus |
, |
quem |
in |
rebus |
nominandis |
sequendum |
philosophus |
censet |
, |
communiter |
obtinuit |
ut |
sapientes |
dicantur |
qui |
res |
directe |
ordinant |
et |
eas |
bene |
gubernant |
. |
Word Class | noun |
noun |
punctuation |
noun |
adposition |
noun |
verb |
verb |
noun |
verb |
punctuation |
adverb |
verb |
conjunction |
noun |
verb |
noun |
noun |
adverb |
verb |
conjunction |
noun |
adverb |
verb |
punctuation |
| Clauses |
Main… |
Enhancing |
…Main |
|---|
| Clause |
Marker |
Circumstance |
Process… |
Actor |
…Process |
Marker |
Actor |
Process |
Marker |
|---|
| Form | unde |
inter |
alia |
quae |
homines |
de |
sapiente |
concipiunt |
, |
a |
philosopho |
ponitur |
quod |
sapientis |
est |
ordinare |
. |
Word Class | adverb |
adposition |
noun |
noun |
noun |
adposition |
noun |
verb |
punctuation |
adposition |
noun |
verb |
conjunction |
noun |
verb |
verb |
punctuation |
| Clauses |
Main |
|---|
| Clause |
Goal… |
Marker |
…Goal |
Circumstance |
Process |
|---|
| Form | omnium |
autem |
ordinatorum |
ad |
finem |
, |
gubernationis |
et |
ordinis |
regulam |
ex |
fine |
sumi |
necesse |
est |
: |
Word Class | noun |
conjunction |
noun |
adposition |
noun |
punctuation |
noun |
conjunction |
noun |
noun |
adposition |
noun |
verb |
adjective |
verb |
punctuation |
| Clauses |
Main… |
Enhancing |
…Main |
|---|
| Clause |
Marker |
Marker |
Goal |
Circumstance |
Process |
Marker |
Circumstance |
Circumstance |
Process |
Marker |
|---|
| Form | tunc |
enim |
unaquaeque |
res |
optime |
disponitur |
cum |
ad |
suum |
finem |
convenienter |
ordinatur |
; |
Word Class | adverb |
adverb |
noun |
noun |
adverb |
verb |
conjunction |
adposition |
noun |
noun |
adverb |
verb |
punctuation |
| Clauses |
Main |
|---|
| Clause |
Identified |
Marker |
Process |
Identifier |
Marker |
|---|
| Form | finis |
enim |
est |
bonum |
uniuscuiusque |
. |
Word Class | noun |
adverb |
verb |
noun |
noun |
punctuation |
| Clauses |
Main |
|---|
| Clause |
Marker |
Process… |
Circumstance |
Carrier |
Attribute… |
…Process |
…Attribute |
Marker |
|---|
| Form | unde |
videmus |
in |
artibus |
unam |
alterius |
esse |
gubernativam |
et |
quasi |
principem |
, |
ad |
quam |
pertinet |
eius |
finis |
: |
Word Class | adverb |
verb |
adposition |
noun |
number |
noun |
verb |
noun |
conjunction |
adverb |
noun |
punctuation |
adposition |
noun |
verb |
noun |
noun |
punctuation |
| Clauses |
Main… |
Extending |
…Main |
|---|
| Clause |
Marker |
Actor |
Recipient |
Process |
Marker |
Goal |
Process |
Marker |
Circumstance |
Marker |
|---|
| Form | sicut |
medicinalis |
ars |
pigmentariae |
principatur |
et |
eam |
ordinat |
, |
propter |
hoc |
quod |
sanitas |
, |
circa |
quam |
medicinalis |
versatur |
, |
finis |
est |
omnium |
pigmentorum |
, |
quae |
arte |
pigmentaria |
conficiuntur |
. |
Word Class | conjunction |
adjective |
noun |
noun |
verb |
conjunction |
noun |
verb |
punctuation |
adposition |
noun |
conjunction |
noun |
punctuation |
adposition |
noun |
noun |
verb |
punctuation |
noun |
verb |
noun |
noun |
punctuation |
noun |
noun |
adjective |
verb |
punctuation |
| Clauses |
Main |
|---|
| Clause |
Marker |
Attribute |
Process |
Circumstance |
Circumstance |
Marker |
|---|
| Form | et |
simile |
apparet |
in |
arte |
gubernatoria |
respectu |
navifactivae |
; |
Word Class | conjunction |
adjective |
verb |
adposition |
noun |
adjective |
adposition |
noun |
punctuation |
| Clauses |
Main |
|---|
| Clause |
Process |
Circumstance |
Circumstance |
Marker |
|---|
| Form | et |
in |
militari |
respectu |
equestris |
et |
omnis |
bellici |
apparatus |
. |
Word Class | conjunction |
adposition |
noun |
adposition |
noun |
conjunction |
noun |
adjective |
noun |
punctuation |


This script makes it possible for a scroll view to wrap its content, creating endless scroll views.
More...
|
| virtual void | Start () |
| | Initialize everything and register a callback with the UIPanel to be notified when the clipping region moves. More...
|
| |
| virtual void | OnMove (UIPanel panel) |
| | Callback triggered by the UIPanel when its clipping region moves (for example when it's being scrolled). More...
|
| |
| bool | CacheScrollView () |
| | Cache the scroll view and return 'false' if the scroll view is not found. More...
|
| |
| virtual void | UpdateItem (Transform item, int index) |
| | Want to update the content of items as they are scrolled? Override this function. More...
|
| |
This script makes it possible for a scroll view to wrap its content, creating endless scroll views.
Usage: simply attach this script underneath your scroll view where you would normally place a UIGrid:
- Scroll View |- UIWrappedContent |– Item 1 |– Item 2 |– Item 3
| bool UIWrapContent.CacheScrollView |
( |
| ) |
|
|
protected |
Cache the scroll view and return 'false' if the scroll view is not found.
| delegate void UIWrapContent.OnInitializeItem |
( |
GameObject |
go, |
|
|
int |
wrapIndex, |
|
|
int |
realIndex |
|
) |
| |
| virtual void UIWrapContent.OnMove |
( |
UIPanel |
panel | ) |
|
|
protectedvirtual |
Callback triggered by the UIPanel when its clipping region moves (for example when it's being scrolled).
| void UIWrapContent.SortAlphabetically |
( |
| ) |
|
Immediately reposition all children, sorting them alphabetically.
| void UIWrapContent.SortBasedOnScrollMovement |
( |
| ) |
|
Immediately reposition all children.
| virtual void UIWrapContent.Start |
( |
| ) |
|
|
protectedvirtual |
Initialize everything and register a callback with the UIPanel to be notified when the clipping region moves.
| virtual void UIWrapContent.UpdateItem |
( |
Transform |
item, |
|
|
int |
index |
|
) |
| |
|
protectedvirtual |
Want to update the content of items as they are scrolled? Override this function.
| void UIWrapContent.WrapContent |
( |
| ) |
|
Wrap all content, repositioning all children as needed.
| bool UIWrapContent.cullContent = true |
Whether the content will be automatically culled.
Enabling this will improve performance in scroll views that contain a lot of items.
| int UIWrapContent.itemSize = 100 |
Width or height of the child items for positioning purposes.
| int UIWrapContent.maxIndex = 0 |
Maximum allowed index for items.
If "min" is equal to "max" then there is no limit. For vertical scroll views indices increment with the Y position (towards top of the screen).
| int UIWrapContent.minIndex = 0 |
Minimum allowed index for items.
If "min" is equal to "max" then there is no limit. For vertical scroll views indices increment with the Y position (towards top of the screen).
Callback that will be called every time an item needs to have its content updated.
The 'wrapIndex' is the index within the child list, and 'realIndex' is the index using position logic.
The documentation for this class was generated from the following file:


| Flag | Priority | Description |
|---|---|---|
| LIBS_COIN | Required | Include COIN3D OpenInventor libraries |
| LIBS_SOQT | Required | Include SoQt OpenInventor bridge libraries |
| LIBS_QT | Required | Include Qt GUI libraries |
| LIBS_MRSID | Optional | Include libraries for MrSID Decode if MrSID imagery files are used |
| LIBS_GDAL | Optional | Include libraries for GDAL used as primary parser for GeoTiff and many vector formats |
| LIBS_KML | Optional | Include libraries for LIBKML to read/write KML |
| LIBS_ASSIMP | Optional | Include libraries from ASSIMP for importing CAD formats (including COLLADA) |
| BIG_ENDIAN | Optional | Little-endian architecture assumed, needed if architecture is big-endian |
| LIBS_SOWIN | Old Windows-Only | Include SoWin OpenInventor bridge libraries |
| LIBS_BOOST | Old Windows-Only | Include libraries for BOOST/MATH |
| LIBS_FASTLZ | Superceded | Include libraries for FASTLZ compression library |
| LIBS_XC | Superceded | Include Open XC libraries |
| LIBS_NSP | Superceded | Include old (superceded) Intel Signal Processing libraries (see notes) |
| LIBS_EOIR | Superceded | Include libraries from EOIR for communication with Ladar (new ethernet board) |
| LIBS_QUICKLZ | Superceded | Include libraries for QUICKLZ |
| LIBS_PCL | Superceded | Include libraries for Point Cloud Library |
| LIBS_VSG | Superceded | Include VSG OpenInventor libraries |
| LIBS_MKL | Superceded | Include Intel MKL libraries |
| LIBS_MYSQL | Superceded | Include Intel MYSQL libraries |
| LIBS_LADAR4D | No | Excludes code not required for view_ladar4d |
Files depending on LIBS_NSP / LIBS_NSPSGI image_ebapsladar_class image_ebapsladar_doppler_class image_bsladar_class image_dit4d_class image_linladar_class imager_prc_class
| Library | Switch | Fusion3D | View | lasFmt | Location | lib | Notes | |
|---|---|---|---|---|---|---|---|---|
| Coin3D | LIBS_COIN | Yes | Yes | No | C:\Coin3D | Note 5 | Reqd recompile in msvc10 from source on laptop, but just used msvc9 on dev machine | |
| SoWin | LIBS_COIN | Yes | Yes | No | C:\Coin3D | Note 5 | Reqd recompile in msvc10 from source on laptop, but just used msvc9 on dev machine | |
| GDAL | LIBS_GDAL | Yes | Yes | Yes | C:gdal-1.10.0 | gdal_i.lib | 64-bit binary copied onto dev machine | |
| MrSID | LIBS_MRSID | Yes | No | Yes | C:\MrSID | lti_dsdk.lib | Must get passwd or new account | |
| libjpeg | LIBS_JPEG | Yes | No | No | C:\jdammann\jpegsr9\jpeg-9 | jpeg.lib | To read UGS image, made from source in VC10 | |
| PCL | LIBS_PCL | No | Yes | No | C:\Program Files\pcl-1.6.0 | multiple | Point cloud library Also requires Boost, Eigen, FLANN | |
| Boost | LIBS_BOOST | No | Yes | No | C:\Program Files\pcl-1.6.0 | Note 1 | Included in Point Cloud Library directory | |
| MKL | LIBS_MKL | No | No | No | C:\Program Files\Intel\MKL | Note 2 | Not included in default | |
| MYSQL | LIBS_MYSQL | No | No | No | C:\MySQL | Note 4 | Not included in default | |
| OpenJPEG | LIBS_OPENJPEG | No | No | No | C:\OpenJPEG | Note 3 | Not included in default | |
| Plsuite | LIBS_NSP | No | No | No | C:\Program Files\Intel\plsuite | Signal processing library -- Not included in default | ||
| VLC | LIBS_VLC | No | No | No | C:\vlc-2.2.6 | Still experimental |
1. PCL libraries -- Point Cloud Library Includes in C:\Program Files\PCL 1.6.0 include\pcl-1.6 3rdParty\Eigen\include 3rdParty\Boost\include 3rdParty\FLANN\include Lib dirs in C:\Program Files\PCL 1.6.0 lib 3rdParty\Boost\lib 3rdParty\FLANN\lib Libs pcl_common_debug.lib pcl_features_debug.lib pcl_segmentation_debug.lib pcl_sample_consensus_debug.lib dlls pcl_common_release.dll pcl_sample_consensus_release.dll 2. MKL libraries mkl_c.lib mkl_s.lib mkl_c_dll.lib mkl_s_dll.lib mkl_lapack.lib mkl_solver.lib mkl_ia32.lib libguide40.lib Also OpenJPEG libguide.lib Also OpenJPEG 3. libjpeg libraries jpeg.lib 4. OpenJPEG libraries libguide40.lib Also MKL libguide.lib Also MKL openJPEG.lib / openJPEGd.lib 5. MySQL libraries libmysql.lib 6. Coin3D/SoWin libraries coin3.lib / coin2d.lib sowin1.lib / sowin1d.lib simage1.lib /simage1d.lib
GDAL 1.7.1 gdal_fw.dll geos_fw.dll geotiff_fw.dll hdf5dll.dll hdf_fw.dll jpeg12_osgeo.dll jpeg_osgeo.dll libcurl.dll libeay32.dll libexpat.dll libpq.dll libtiff_fw.dll lti_dsdk.dll (also MrSID?) lti_dsdk_dll.dll (also MrSID?) mfhdf_fw.dll NCScnet_fw.dll NCSEcw_fw.dll NCSUtil_fw.dll netcdf.dll ogdi_32b1.dll proj.dll sqlite3.dll ssleay32.dll szlibdll.dll xerces-c_2_7.dll zlib1.dll zlib_osgeo.dll COIN coin3.dll sowin1.dll MYSQL LIBMYSQL.dll (also in gdal 1.10) OPENJPEG OpenJPEG.dll (also in gdal 1.10) MICROSOFT COMDLG32.dll libguide40.dll mfc100.dll mfc100u.dll mfcm100.dll mfcm100u.dll msvcp100.dll msvcr100.dll
in the prompt window, cd to directory C:\jdammann\jpegsr9\jpeg-9 and run commands: set INCLUDE=%INCLUDE%;c:\Program Files\Microsoft SDKs\Windows\v7.0A\Include nmake -f makefile.vc setup-v10 Then I just made the solution in VC10 and referenced the .h files and .lib file it made
I got an error message -- ordinal 63 missing. I fixed this by putting the new gdal bin dir at the head of the list for env var path. I think it was accessing the old gdal .dlls rather that the proper new ones.
On running, I had another problem -- it still cant read the KML latlonbox, but does not return NULL like the old libs but returns 0 features instead. I moded the code to look for both NULL and 0 features and then go to my separate implementation of the latlonbox.
Configuration Properties General Whole Program Optimization No whole program Opt?? C++ General Debug info format Disabled?? Optim Favor size or speed favor fast code Code gen Enable string Pooling Yes (/GF) Linker Optim Link Time Code Gen Profile Guided Opt


Do you want to keep all your job under control?
Do you need to improve your workflow?
Do you need to make a journal of your time spending?
And you want to make it as simple as possible?
Do you want to keep all your job under control?
Do you need to improve your workflow?
Do you need to make a journal of your time spending?
And you want to make it as simple as possible?


TestDisseminationAppC exercises the dissemination layer, by causing the node with ID 1 to inject 2 new values into the network every 4 seconds. For the 32-bit object with key 0x1234, node 1 toggles LED 0 when it sends, and every other node toggles LED 0 when it receives the correct value. For the 16-bit object with key 0x2345, node 1 toggles LED 1 when it sends, and every other node toggles LED 1 when it receives the correct value. See TEP118 - Dissemination for details.


Dem Rep. Cohen: Trump Supporting Evangelicals 'Deluded' | Breitbart
by Pam KeyOn Sunday’s broadcast of MSNBC’s “Weekends,” Rep. Steve Cohen (D-TN) called evangelicals who support President Donald Trump “deluded.”
Cohen said, “I feel sorry for the people who support Trump so much. The evangelicals that tell me — I get e-mails from people that say that God ordained that he is president, he is doing God’s work, and he has accepted Jesus Christ and trying to follow his path. I think wow, these people are deluded. Two Corinthians and he can’t quote his favorite Bible passage, and he doesn’t know the 23rd Psalm or the New Testament from the Old Testament, and yet they think somehow he is ordained by God.”
Follow Pam Key on Twitter @pamkeyNEN


About this webpage
This is a short demonstration for the main APIs that HTML5 includes. It was made as a small project for the Multimedia Technology course.
A pre-made template was used (along with ready external CSS styling) and each API is introduced in its own page. For most of them, an example application is included. Examples include Javascript code which was also found on the web at the references provided at the bottom of the home page.
For the Server-Sent Events, there is a link to an example provided by W3C, where a server event is provided by their server. For the canvas element, there is a link to the project of another student which best demonstrates the API in a complete application.
The HTML and Javascript examples are explained at their respective places.
M. Bogdanos (3100123)
March 2015


Navigate
Galleries
Filter
Want Photos?
Choose from these broad subjects
People
Places
Events
Nature
Humanity
Filter by these hash tags
Saint Patrick's aDay
Air Show
Urbana
Skiing
Nightlife
Contact me here
Curtis Blake
303.817.9035
<EMAIL_ADDRESS>Black Snowflake Photography
Photo
!
Collection
Title
Specs
Story
Collection Name
and collection info
Collection Name
and collection info
date: 2/15/2015
camera: Nikon D5500
lens: Nikor 18-55 f3.5 vr2
focal length:20mm
AJ is always having a hard time sitting in the car.
I caught him at a time of relative piece
Black Snowflake Photo Galleries
People
Places


Book Consultation
{{usrName}}
{{usrName}}
{{UsrEmail}}
Profile
Logout
Smart Clinic
Dashboard
Register Patient
Create Session
Book Consultation
List Sessions
List Patients
Diagnosis
{{error}}
Book consultation with doctor : {{DocName}}
Patient
Patient is required
Patient
Session
Book Consultation
Reset
{{cue}}


He unlocked the ancient arcanum of aluminum, discovering a secret duodenum hidden within which had been hidden for eons. [G|D]
In the interregnum between ages, a magnum sized jejunum unearthed and uncovered a great mystery that had never been seen before. [G|D]
From the depths of darkness, a molybdenum-platinum alloy plenum was discovered, unlocking secrets and a knowledge that had been lost for centuries. [G|D]
Exploring the depths of the murky swamps, a forgotten sphagnum was discovered, surrounding a hidden tympanum with a long-forgotten sternum within. [G|D]


Version 2
The "stable release" of FreeRADIUS is version 2. The goal of this version is stability. No new features will be added. We expect to have a steady 3-month release cycle, as minor bugs are fixed.
If your needs are a basic RADIUS server which runs without fail, we recommend the "stable" release. It should run for years without an issue.
Latest Release
2014.03.20 Version .tar.bz2"> .tar.bz2.sig">(sig) has been released. The focus of this release is stability.


When complete, this competition will open on the date set in Milestones.
Complete setup Delete competitionAny work they have started will be permanently deleted. This action cannot be undone.
This will return the submitted assessment back to the assessor. This will allow the assessor to make changes to the assessment and re-submit it.


|
C++ Actor Framework 0.19
|
Base type for asynchronous consumers of an event source. More...
#include <consumer.hpp>
Public Member Functions | |
| virtual void | on_producer_ready ()=0 |
| Called to signal that the producer started emitting items. | |
| virtual void | on_producer_wakeup ()=0 |
| Called to signal to the consumer that the producer added an item to a previously empty source or completed the flow of events. | |
| virtual void | ref_consumer () const noexcept=0 |
| Increases the reference count of the consumer. | |
| virtual void | deref_consumer () const noexcept=0 |
| Decreases the reference count of the consumer and destroys the object if necessary. | |
Related Functions | |
(Note that these are not member functions.) | |
| using | consumer_ptr = intrusive_ptr< consumer > |
| void | intrusive_ptr_add_ref (const consumer *p) noexcept |
| void | intrusive_ptr_release (const consumer *p) noexcept |
Base type for asynchronous consumers of an event source.
|
pure virtualnoexcept |
Decreases the reference count of the consumer and destroys the object if necessary.
Implemented in caf::flow::op::from_resource_sub< Buffer >.
|
pure virtual |
Called to signal that the producer started emitting items.
Implemented in caf::flow::op::from_resource_sub< Buffer >.
|
pure virtual |
Called to signal to the consumer that the producer added an item to a previously empty source or completed the flow of events.
Implemented in caf::flow::op::from_resource_sub< Buffer >.
|
pure virtualnoexcept |
Increases the reference count of the consumer.
Implemented in caf::flow::op::from_resource_sub< Buffer >.


Landmine blast kills soldier
by Zaida Delos ReyesA soldier was killed when he was hit by a landmine allegedly planted by suspected members of New People’s Army (NPA) while on his way back to their patrol base on Sunday in Lopez, Quezon.
The victim was identified as Private Kim A. Veluz, 23, native of San Francisco, Quezon and member of 85th Infantry Battalion of Philippine Army.
According to Col. Norwyn Romeo P. Tolentino, commander of the 201st Infantry Brigade , the incident occurred on Sunday at Barangay Sta. Rosa, Lopez, Quezon.
Accordingly, Private Veluz was wearing civilian clothes and was on his way to his Temporary Patrol Base when the attack was launched by the terrorists belonging to Milisyang Bayan.
During the attack the victim hit the landmine planted by the terrorist and exploded hitting him directly.
The military condemned the act of the rebels adding that it is in violation of the “Mine Ban Treaty” which was signed and ratified by 156 states, including the Philippines, in 1997 at Ottawa, Canada.
“it is unfortunate that a human being has to die in a manner that is internationally considered as inhumane yet continuously being utilized by a rag tag band of terrorists desperate for our people’s attention and relevancy in the community,” Tolentino said.


These documents have been approved by Innovate UK.
This document has been approved by Innovate UK.
We are unable to approve your documents and have returned them to you. A member of Innovate UK will be in touch to discuss our requirements.
We are unable to approve your document and have returned it to you. A member of Innovate UK will be in touch to discuss our requirements.
These documents have been returned to the project team, the following reason was given;
This document has been returned to the project team, the following reason was given;
Only the Project Manager can upload and submit additional documents to support your grant application.
These documents are:
- the collaboration agreement
- the exploitation plan
You should review these documents with the other partners in the project.
Only the Project Manager can upload and submit the exploitation plan to support your grant application.
The documents submitted below are now being reviewed. We will contact the Project Manager if we need any further information.
The document submitted below is now being reviewed. We will contact the Project Manager if we need any further information.
Collaboration agreement
The collaboration agreement covers how the consortium will work together on the project. It must be signed by all partners.
What should I include in the collaboration agreement?
This is an agreement between project partners and will cover how the project will operate. It will also include details of how you will exploit the results of the project. Please allow enough time to complete this process before your project start date.
The following partners need to sign this collaboration agreement:
An example of a collaboration agreement can be found on the Lambert Agreement website.
The uploaded collaboration agreement must:
- be in portable document format (PDF)
- be legible at 100% magnification
- be less than 10MB in file size
Awaiting upload by the Project Manager.
Exploitation plan
This is a confirmation of the business plan that your project hopes to achieve. You should describe the partner activities that will exploit the results of the project.
What should I include in the exploitation plan?
This plan will evolve and change during the lifetime of the project. Its aim is to confirm the business case for the project. It should also describe partner activities that will exploit the results of the project so that:
- changes in the commercial environment can be monitored and accounted for
- adequate resources are committed to exploitation
- exploitation can be monitored by the stakeholders
A framework of the exploitation plan is available for download.
The uploaded exploitation plan must:
- be in portable document format (PDF)
- be legible at 100% magnification
- be less than 10MB in file size
Awaiting upload by the Project Manager.
You need to upload the documents and submit them to us.
Your Project Manager needs to upload the documents and submit them to us.
You need to upload the document and submit it to us.
Your Project Manager needs to upload the document and submit it to us.


Toggle navigation
Social data analysis and visualization
Visualization
Machine Learning
The Explainer Notebook
K-means
k2
k3
k4
k5
k6
Burglary
Felony Assault
Grand Larceny
Grand Larceny of Vehicle
Murder and Manslaughter
Rape
Robbery
Predict the most likely crime by each precinct
Click on the precinct to get the most likely crime
Most likely crime of precinct number : X


{% extends "includes/base.html" %} {% block body %}
Welcome to myMaydayPAC. Here you can create your own pledge page so you can track the pledges of your and your friends.
You can create a page or multiple pages for:
On your page, you can upload a video if you wish, or use our default from Professor Lessig. You can also include formatted text, images, and links, using Markdown, which is a simple system for creating pages without having to know any programming. And you can always log back in and change it.
Try it out!
{% else %}Here's a list of all your current pledge pages. Just click on the name in order to visit or edit it, or click on the button below to create another page.


Here's how to upgrade the Circle 2 camera to HomeKit Secure Video
Source: Logitech
HomeKit Secure Video is finally here! The Logitech Circle 2 Camera is the first camera to support the privacy-focused feature, and although it may look scary, the upgrade process is quite easy. All you need is version 3.4.5 or later of the Logi Circle Security Camera app. Here's how to get your camera updated in no time.
How to upgrade your Circle 2 camera to HomeKit Secure Video
- Launch the Logi Circle Security Camera app.
- Tap on the Menu button on the top left of your camera feed.
- Scroll down and tap on Smart Home Integrations. Source: iMore
- Choose Apple HomeKit. You may see a prompt asking you to allow access to your Home if you haven't given this permission previously. You will need to allow access to proceed.
- Tap on Beta: Convert to support HomeKit Secure Video. Source: iMore
- Thoroughly read the warnings about the conversion process, then tap on each of the Checkboxes to indicate that you accept and understand, then tap Upgrade. This process will remove your ability to use your camera with the Logi Circle app and will delete any recordings that you may have made with the Circle Safe subscription service, so be sure to back them up before proceeding.
- Tap Continue once your upgrade is complete. Source: iMore
- Select Remove Camera Now or Remove Camera Later accordingly.
- Tap on OK if you chose to remove your camera from the app to finish. Source: iMore
That's it! Your camera is now using HomeKit Secure Video for all of its recordings and video feeds. From now on, all of your camera's settings will be available in the Home app, such as toggling night vision, and a new timeline will be shown while viewing your camera that shows off all of your recordings.
Advanced options like setting what type of motion events send notifications also reside in the Home app, which takes advantage of image analysis to determine if a car, animal, or person is passing by. With everything moved over to the Home app, you can now delete the Circle 2 app, as it can no longer be used with your camera unless you decide to downgrade, which will involve a call to Logitech's support line.
Awesome accessories
The Logitech Circle 2 Camera isn't just the first camera to support HomeKit Secure Video. It also happens to be one of the best cameras around thanks to features like 1080p video, 2-way audio, and night vision. This camera also works both indoors and out, and it has access to a variety of mounting options making it truly flexible. Here are some of our favorite mounts that give the Circle 2 an edge over its competitors.
Logitech Circle 2 Plug Mount ($30 at Amazon)
Logitech's Circle 2 Plug Mount is a handy option that ditches the wire for a direct to plug connection. This plug and play solution keeps things clean, and also makes it a breeze to move around your home.
Logitech Circle 2 Window Mount ($30 at Amazon)
The Circle 2 Window Mount allows you to attach your camera directly to the glass of a window, giving you a better view of the outside world. This mount uses micro-suction to keep things secure and is easily removable without damaging your window
We may earn a commission for purchases using our links. Learn more.


module cli.profiling
¶
Short summary¶
module onnxcustom.cli.profiling
Command lines for profiling.
Functions¶
function |
truncated documentation |
|---|---|
Converts traces produced by nvprof and saved with format sqlite3 (extension .sql). |
Documentation¶
Command lines for profiling.
- onnxcustom.cli.profiling.nvprof2json(filename, output='', temporary_file='', verbose=1, fLOG=<built-in function print>)¶
Converts traces produced by nvprof and saved with format sqlite3 (extension .sql).
- Parameters
filename – filename
output – output file, if left empty, the result is printed on the standard output
temporary_file – if the file needs to be unzipped, this file will be created to be the unzipped file, it is not cleaned after the unzipping.
verbose – verbosity
fLOG – logging function
- Returns
json (if output is None, the list of events otherwise)
Converts a profile stored by nvprof into json
The sqlite dump is generated with a command line similar to:
nvprof -o gpu_profile.sql python plot_gpu_training.py
The command produces a json file following the Trace Event Format.
<<<
python -m onnxcustom nvprof2json --help
>>>
usage: nvprof2json [-h] [-f FILENAME] [-o OUTPUT] [-t TEMPORARY_FILE] [-v VERBOSE] Converts traces produced by `nvprof` and saved with format `sqlite3` (extension `.sql`). optional arguments: -h, --help show this help message and exit -f FILENAME, --filename FILENAME filename (default: None) -o OUTPUT, --output OUTPUT output file, if left empty, the result is printed on the standard output (default: ) -t TEMPORARY_FILE, --temporary_file TEMPORARY_FILE if the file needs to be unzipped, this file will be created to be the unzipped file, it is not cleaned after the unzipping. (default: ) -v VERBOSE, --verbose VERBOSE verbosity (default: 1)


Software engineer with extensive experience in java projects, using a wide spectrum of technologies, tools and methodologies: jvm, scala, sbt, xml, relational and nosql databases, deployment automation, paas and iaas.
0pt1mates LTD registered in England No 8851502
Unit 11, Hove Business Centre
Fonthill Road, Hove
East Sussex
BN3 6HA


Cyan-Red bias:
Habituation:
External Drive:
Randomness:
There are different ways of projecting different information to an observer’s two eyes. In many psychology and neuroscience laboratories,
liquid crystal glasses are employed that transmit different patterns of light selectively to the two eyes. A much cheaper and
readily available technology simply involves having observers wear glasses with different colored lenses.  The red filter will selectively allow red light to pass into the eye. A red image of equal luminance to a gray
background appears nearly invisible to the left eye because both the red image and the background have an equivalent amount
of red light that passes through the filter and this red light is the only light that passes through the filter. A cyan image
will appear darker than the background in the left eye because it contains very little red light and the background contains red,
blue, and green light. Accordingly, the left eye with the red filter will see cyan images as dark shapes while the right eye with
the cyan filter will see red images as dark shapes.
One felicitous side effect of using red-cyan 3D glasses to present different information to the two eyes is that the observer will
have a phenomenologically salient cue as to whether they are seeing their visual world with their left or right eye. Every patch
of their world, whether or not it contains an object, will appear tinted either red or cyan. If a patch appears to be red, then
this means that the observer is seeing that patch with their left eye, while cyan-tinted patches are being seen with their right
eye. These tints are subtle, lightly colored, and somewhat reminiscent of a halo. Normally, patterns of red- and cyan-appearing
patches will be highly structured in both time and space.
I have incorporated an interactive neural network organized as shown to the right. The image elements (a cyan and red blob) are
shown at the top, and below are two banks of neurons for the left and right eyes. I imagined that the neurons/units within a
bank are organized spatially in two dimensions, such that a cyan object in the upper left portion of the display would activate
the upper-left unit in the left eye (remembering that the cyan dot will be invisible to the eye with the cyan filter in front of it).
Strong activation of this left-eye unit would lead to the subjective impression of a reddish tint in this upper-left region of the space.
Fleshing out this model for me, then, amounted to specifying the kinds of excitatory and inhibitory relations between the units, as
exemplified by the purple and green arrows, adding some randomness to each unit’s activation at each moment, and postulating that units fatigue/habituate
over time to the extent that they are active. Some mechanism like habituation is needed so that once one eye become dominant in terms
of capturing awareness it eventually gives up control, allowing the other eye to become dominant. This alernation of eye dominance
is the hallmark of binocular rivalry.
When you press the "Run Model" button, you will see the moment-to-moment activations of each unit over time, as the units are influenced by
the external display and one another. Each unit is shown as a small box. Cyan and red units for the same location completely overlap each other.
The middle of the box shows what the external display's
color is at the location visible to the unit: gray, cyan, or red. The color of the square frame around a box shows the level of red and cyan unit activitations.
If the frame is strongly cyan, that means that the cyan unit for that location is highly active and the red unit is not active. This means that the model
is predicting that a human would be seeing that location with their right, cyan-tinted eye. So, typically, if a location in the display
is colored cyan, then it will be visible to left eye with the red filter on it, and this will tend to cause the red eye to become activated, and
so there will be a bright red box around the cyan-filled center.


All Classes
AbstractAction
Action
Address
ApiClient
ApiResponse
Appliance
Appliance.Threshold
ApplianceAction
ApplianceCommand
ApplianceCommand.Command
ApplianceData
ApplianceData.Data
ApplianceData.Measurement
Authentication
Location
LocationAction
LoginAction
OndusService
Room
RoomAction


The CMS for developers. Add content management functionality to any site - plug & play CMS. Manage content like collections, regions, forms and galleries which you can reuse anywhere on your website.
make also sure that $_SERVER['DOCUMENT_ROOT']
exists and is set correctly.
composer create-project aheinze/cockpit cockpit --stability="dev"
Embed Cockpit
Embedding Cockpit is really easy. Just include the following snippet anywhere you want to use Cockpit:
// make cockpit api available
require('path/to/cockpit/bootstrap.php');
Regions
Render regions api:

<?php region("address") ?>

<?=get_region("address") ?>

Collections
Loop over collection data:
<?php foreach(collection("posts")->find(["active"=>1]) as $post): ?>

<?=$post["title"];?>

<?=$post["content"];?>

<?php endforeach; ?>
Please visit http://getcockpit.com/docs - any contributions are welcome: https://github.com/aheinze/cockpit-docs
Please visit and contribute to https://github.com/aheinze/cockpit-i18n
Google group: CockpitCMS
Copyright 2013 Agentejo under the MIT license.
The MIT License (MIT)
Copyright (c) 2013 Agentejo, http://agentejo.com
Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions:
The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software.
 IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.


this class implements the functionality needed for convinient work
with STD container classes.
This class tries to be useful as much, as possible. For example, for
class declaration( and not definition ) it parsers the class name in
order to extract all the information.
|
|
__init__(self,
container_name,
element_type_index,
element_type_typedef,
defaults_remover,
key_type_index=None,
key_type_typedef=None)
container_name - std container name... |
source code
|
|
|
|
|
|
|
get_container_or_none(self,
type)
returns reference to the class declaration or None |
source code
|
|
|
|
is_my_case(self,
type)
checks, whether type is STD container or not |
source code
|
|
|
|
class_declaration(self,
type)
returns reference to the class declaration |
source code
|
|
|
|
|
|
|
|
|
|
element_type(self,
type)
returns reference to the class value\mapped type declaration |
source code
|
|
|
|
key_type(self,
type)
returns reference to the class key type declaration |
source code
|
|
|
|
|