--- title: "AWS IAM Giveth And Taketh Away" output: blogdown::html_page: toc: false toc_depth: 1 fig_width: 8 dev: "svg" author: "Houston Haynes" date: '2020-08-11T15:59:43+05:30' featuredpath: img featured: AWS_Elemental.png ogfeatured: H3_og_wide_AWS_Elemental.png emblem: cloud.png description: Tailoring permissions to Manage Elemental Media Channels draft: false tags: - AWS - Elemental - Media - Streaming categories: - Sidebar weight: editor_options: chunk_output_type: inline ---
{{% url-link "Elemental" "https://www.elemental.com/" %}} is a highly versatile media streaming platform, and it dovetails well to long-standing Amazon services. This sidebar is about how I configured a “viewer+” role for all resources in and around it. This would provide minimal permissions, from S3 to CloudFront, for behind-the-scenes visibility into how each channel is configured. And while the role is primarily considered a read resource I also included the ability to Start, Stop, edit Channel Schedules and Invalidate CloudFront caching, which became an interesting coda to this process.
The original intent was to set up a profile that could be used by a micro-service to expose the various elements in the “stack” within a custom admin panel. The developers used AWS Console initially, but I wanted to redirect everyone to a behind-the-scenes page to have a cleaner interface and also ‘smooth wall’ extraneous resources from view - to focus on the media delivery pipeline. So this set of policies would eventually land in production to provide a survey of AWS Elemental settings for a global “virtual cinema” delivery system run by support staff and used by developers for Level III support.
One of the primitives I wanted to address from the outset was the principal of least privilege. Since I come from a regulated systems background I have fairly conservative reflexes when outlining roles and responsibilities. And also with major studio partners and their security requirements, I wanted to be double-sure that the proper constraints were in place to assure partners that only the right individuals had access to media resources.
The first iteration started with simply creating custom read permissions to the services (and in the case of S3, to specific buckets) and that didn’t work. The user could log into the console but none of the resources could be viewed even with view permissions in place. So I went to an older permissions model used ages ago when I first started with AWS, which is to provision default full read and write permission and then subtract write permissions out with separate DENY Policies… per below…
{{% fancybox-dark-theme-ok "/img" "AWS_Group_Permissions.png" %}}
You’ll see that the full ReadWrite is in place for all services except for CloudFront, which has a boilerplate ReadOnly permission. One wrinkle here is that they also needed the CreateInvalidation permission in case there was the need to clear the CloudFront cache at the restart of a channel.
{{% fancybox-dark-theme-ok "/img" "AWS_IAM_Deny.png" %}}
{
"Version": "2012-10-17",
"Statement": [
{
"Sid": "VisualEditor0",
"Effect": "Deny",
"Action": [
"cloudfront:CreatePublicKey",
"cloudfront:DeleteFieldLevelEncryptionConfig",
"cloudfront:UpdatePublicKey",
"cloudfront:TagResource",
"cloudfront:DeleteCloudFrontOriginAccessIdentity",
"cloudfront:CreateStreamingDistributionWithTags",
"cloudfront:CreateStreamingDistribution",
"cloudfront:CreateFieldLevelEncryptionProfile",
"cloudfront:CreateDistributionWithTags",
"cloudfront:UpdateStreamingDistribution",
"cloudfront:CreateDistribution",
"cloudfront:DeleteFieldLevelEncryptionProfile",
"cloudfront:UpdateFieldLevelEncryptionConfig",
"cloudfront:CreateInvalidation",
"cloudfront:DeletePublicKey",
"cloudfront:CreateCloudFrontOriginAccessIdentity",
"cloudfront:DeleteStreamingDistribution",
"cloudfront:UpdateFieldLevelEncryptionProfile",
"cloudfront:UpdateDistribution",
"cloudfront:UpdateCloudFrontOriginAccessIdentity",
"cloudfront:DeleteDistribution",
"cloudfront:CreateFieldLevelEncryptionConfig",
"cloudfront:UntagResource"
],
"Resource": "*",
"Condition": {
"BoolIfExists": {
"aws:MultiFactorAuthPresent": "true"
}
}
},
{
"Sid": "VisualEditor1",
"Effect": "Deny",
"Action": [
"medialive:StartMultiplex",
"medialive:UpdateInput",
"medialive:DeleteChannel",
"medialive:UpdateChannel",
"medialive:UpdateReservation",
"medialive:UpdateMultiplex",
"medialive:PurchaseOffering",
"medialive:CreateMultiplex",
"medialive:UpdateInputDevice",
"medialive:CreateTags",
"medialive:DeleteTags",
"medialive:CreateInput",
"medialive:UpdateChannelClass",
"medialive:DeleteMultiplex",
"medialive:UpdateInputSecurityGroup",
"medialive:DeleteReservation",
"medialive:StopMultiplex",
"medialive:DeleteInput",
"medialive:DeleteInputSecurityGroup",
"medialive:CreateChannel",
"medialive:CreateInputSecurityGroup"
],
"Resource": "*",
"Condition": {
"BoolIfExists": {
"aws:MultiFactorAuthPresent": "true"
}
}
},
{
"Sid": "VisualEditor2",
"Effect": "Deny",
"Action": [
"mediapackage-vod:DeleteAsset",
"mediapackage-vod:CreatePackagingGroup",
"mediapackage-vod:DeletePackagingConfiguration",
"mediapackage-vod:CreateAsset",
"mediapackage-vod:CreatePackagingConfiguration",
"mediapackage-vod:DeletePackagingGroup"
],
"Resource": "*",
"Condition": {
"BoolIfExists": {
"aws:MultiFactorAuthPresent": "true"
}
}
},
{
"Sid": "VisualEditor3",
"Effect": "Deny",
"Action": [
"s3:CreateAccessPoint",
"s3:PutAnalyticsConfiguration",
"s3:PutAccelerateConfiguration",
"s3:DeleteObjectVersion",
"s3:ReplicateTags",
"s3:RestoreObject",
"s3:DeleteAccessPoint",
"s3:CreateBucket",
"s3:ReplicateObject",
"s3:PutEncryptionConfiguration",
"s3:DeleteBucketWebsite",
"s3:AbortMultipartUpload",
"s3:PutBucketTagging",
"s3:PutLifecycleConfiguration",
"s3:UpdateJobPriority",
"s3:PutBucketAcl",
"s3:PutObjectTagging",
"s3:DeleteObject",
"s3:DeleteBucket",
"s3:PutBucketVersioning",
"s3:PutObjectAcl",
"s3:DeleteObjectTagging",
"s3:PutBucketPublicAccessBlock",
"s3:PutAccountPublicAccessBlock",
"s3:PutMetricsConfiguration",
"s3:PutReplicationConfiguration",
"s3:PutObjectVersionTagging",
"s3:PutObjectLegalHold",
"s3:UpdateJobStatus",
"s3:DeleteObjectVersionTagging",
"s3:PutBucketCORS",
"s3:DeleteBucketPolicy",
"s3:BypassGovernanceRetention",
"s3:PutInventoryConfiguration",
"s3:PutObject",
"s3:PutBucketNotification",
"s3:ObjectOwnerOverrideToBucketOwner",
"s3:PutBucketWebsite",
"s3:PutBucketRequestPayment",
"s3:PutObjectRetention",
"s3:PutBucketLogging",
"s3:PutObjectVersionAcl",
"s3:PutBucketPolicy",
"s3:DeleteAccessPointPolicy",
"s3:PutBucketObjectLockConfiguration",
"s3:CreateJob",
"s3:PutAccessPointPolicy",
"s3:ReplicateDelete"
],
"Resource": "*",
"Condition": {
"BoolIfExists": {
"aws:MultiFactorAuthPresent": "true"
}
}
}
]
}
I also still put in DENY Write permissions for CloudFront in case a “real” user is mistakenly assigned into a group that gave more permissions to them than simply CreateInvalidation. Again, this is just a reflexive abundance of caution. There is three other “write” permission that we needed within MediaLive, which are:
These are “write” permissions, but all of these fall within the “good faith actor” purview of the role, allowing media managers to do general house-keeping of channels without direct access to (or ability to remove/delete/download) partner-provided media resources.
{{% fancybox-dark-theme-ok "/img" "AWS_IAM_MediaLiveWrite.png" %}}
Along those lines MFA is used for all Groups in any AWS account I build. We also implemented CloudTrail to monitor which user was accessing various resources. Because of that, we also had to provision the ability for users to manage their password and MFA device pairing in the AWS Console.
{{% fancybox-dark-theme-ok "/img" "AWS_IAM_Deny2.png" %}}
Below is the “AllowMFAManagement” Policy which actually covers password and MFA management.
{
"Version": "2012-10-17",
"Statement": [
{
"Sid": "AllowViewAccountInfo",
"Effect": "Allow",
"Action": [
"iam:GetAccountPasswordPolicy",
"iam:GetAccountSummary",
"iam:ListVirtualMFADevices"
],
"Resource": "*"
},
{
"Sid": "AllowManageOwnPasswords",
"Effect": "Allow",
"Action": [
"iam:ChangePassword",
"iam:GetUser"
],
"Resource": "arn:aws:iam::*:user/${aws:username}"
},
{
"Sid": "AllowManageOwnAccessKeys",
"Effect": "Allow",
"Action": [
"iam:CreateAccessKey",
"iam:DeleteAccessKey",
"iam:ListAccessKeys",
"iam:UpdateAccessKey"
],
"Resource": "arn:aws:iam::*:user/${aws:username}"
},
{
"Sid": "AllowManageOwnSigningCertificates",
"Effect": "Allow",
"Action": [
"iam:DeleteSigningCertificate",
"iam:ListSigningCertificates",
"iam:UpdateSigningCertificate",
"iam:UploadSigningCertificate"
],
"Resource": "arn:aws:iam::*:user/${aws:username}"
},
{
"Sid": "AllowManageOwnSSHPublicKeys",
"Effect": "Allow",
"Action": [
"iam:DeleteSSHPublicKey",
"iam:GetSSHPublicKey",
"iam:ListSSHPublicKeys",
"iam:UpdateSSHPublicKey",
"iam:UploadSSHPublicKey"
],
"Resource": "arn:aws:iam::*:user/${aws:username}"
},
{
"Sid": "AllowManageOwnGitCredentials",
"Effect": "Allow",
"Action": [
"iam:CreateServiceSpecificCredential",
"iam:DeleteServiceSpecificCredential",
"iam:ListServiceSpecificCredentials",
"iam:ResetServiceSpecificCredential",
"iam:UpdateServiceSpecificCredential"
],
"Resource": "arn:aws:iam::*:user/${aws:username}"
},
{
"Sid": "AllowManageOwnVirtualMFADevice",
"Effect": "Allow",
"Action": [
"iam:CreateVirtualMFADevice",
"iam:DeleteVirtualMFADevice"
],
"Resource": "arn:aws:iam::*:mfa/${aws:username}"
},
{
"Sid": "AllowManageOwnUserMFA",
"Effect": "Allow",
"Action": [
"iam:DeactivateMFADevice",
"iam:EnableMFADevice",
"iam:ListMFADevices",
"iam:ResyncMFADevice"
],
"Resource": "arn:aws:iam::*:user/${aws:username}"
},
{
"Sid": "DenyAllExceptListedIfNoMFA",
"Effect": "Deny",
"NotAction": [
"iam:CreateVirtualMFADevice",
"iam:EnableMFADevice",
"iam:GetUser",
"iam:ListMFADevices",
"iam:ListVirtualMFADevices",
"iam:ResyncMFADevice",
"sts:GetSessionToken"
],
"Resource": "*",
"Condition": {
"BoolIfExists": {
"aws:MultiFactorAuthPresent": "false"
}
}
}
]
}
If the user logs in before/without setting MFA then they won’t see any resources, and AWS Console has a prompt to that effect. Again, this is to satisfy partner security requirements for access to studio film assets, but I also believe that it’s a good general habit.
As the astute viewer might have caught in one of the screen grabs, the DENY Policy is labeled as “staging” which means it’s designed for access to pre-production resources. While that policy is currently in place for all tiers, eventually there will be a separate “production” instance of this Group, using Tags to differentiate which resource is visible to which User/Group.
And while CloudTrail tracks individual users as they work within the AWS account, when a service account is used some visibility into individual user access is lost. That has put some work on the road map to enhance the logging within the buffering service that the assigned Group would use, in order to track which user performed an action through the micro-service. This is all part of a strategy to create a proper “walled garden” in which actors can operate and their actions can remain within agreed-to guidelines with media partners. As it stands here, this is good starting point for working well within the AWS IAM harness.


User experience design (UXD or UED) is the process of enhancing user satisfaction by improving the usability, accessibility, and pleasure provided in the interaction between the user and the product. wikipedia definition does a good job of explaining.
HistoryThe field of user experience design has roots in human factors and ergonomics, a field that, since the late 1940s, has focused on the interaction between human users, machines, and the contextual environments to design systems that address the user's experience. With the proliferation of workplace computers in the early 1990s, user experience became an important concern for designers. It was Donald Norman, a user experience architect, who coined and brought the term user experience to wider knowledge. This video gives a good overview.
Elements of user experience designVisual design graphic design, communication design, or visual communication. The purpose of visual design is to use visual elements like colors, images, and symbols to convey a message to its audience. Fundamentals of Gestalt psychology and visual perception give a cognitive perspective on how to create effective visual communication. see this explains the distinction well.
Information architectureInformation architecture is the art and science of structuring and organizing the information in products and services, supporting usability and findability.
InformationIn the context of information architecture, information is separate from both knowledge and data, and lies nebulously between them. It is information about objects. The objects can range from websites, to software applications, to images et al. It is also concerned with metadata: terms used to describe and represent content objects such as documents, people, process, and organizations.
Structuring, organization, and labelingStructuring is reducing information to its basic building units and then relating them to each other. Organization involves grouping these units in a distinctive and meaningful manner. Labeling means using appropriate wording to support easy navigation and findability.


--- layout: archive title: Zulip Chat Archive permalink: /stream/217875-Is-there-code-for-X?/topic/add_left_cancel_monoid.html ---
I can't find the name of the structure in which addition is left-cancellative, like add_left_cancel_semigroup
, but with a zero that plays well with the addition, like in an add_monoid
. My natural guess would be add_left_cancel_monoid
, but this doesn't exist. I just want to cover ℕ
and groups, in fact, so any typeclass containing the two and with the two above properties would be enough for me.
By the way, this kind of question would not make sense with a structure like the one for topological spaces, with a rather small spine with the main players, and mixins to add all kinds of properties. I wish the algebraic hierarchy would also be like this...
Why not just define it? It's not difficult and you get all the theorems for free
class add_left_cancel_monoid A extends add_left_cancel_semigroup A, add_monoid A
add instances for groups and nat and you are ready to go
Sure, but then I will also need to add an instance for nnreal
, and maybe some other guy I am not thinking of.
only if you need it
With mixins, there would be no need to define a new class.
I'm not convinced that this is actually saving much in this instance
what I described seems pretty easy
And the natural place for it is in core...
No, you can do that anywhere
there is no requirement that this be in core
mathlib does this in a few places, inserting new classes in the middle of the hierarchy
Sure, I am just saying that the natural place is in core, in init/algebra/groups.lean
, close to add_monoid
and add_left_cancel_semigroup
.
maybe, but that isn't a reason to complain about it, that's an organizational decision
Actually it seems that the winds are blowing to take more of the algebraic hierarchy out of core anyway
I don't want to be dismissive about mixins, but it is a complicated issue that affects many things and I think that any reinvestigation should be carefully thought out; single examples aren't enough unless the difference is really stark
{% endraw %}Last updated: Apr 24 2020 at 19:02 UTC


Collection
-
countBy {{array4CountBy | json}} by Math.floor
=>
{{array4CountBy | countBy: floor | json}}
reference
-
countBy {{object4CountBy | json}} by Math.floor
=>
{{object4CountBy | countBy: floor | json}}
reference
-
every {{array4Every | json}} by ['active', false]
=>
{{array4Every | every: ['active', false] | json}}
reference
-
every {{object4Every | json}} by ['active', false]
=>
{{object4Every | every: ['active', false] | json}}
reference
-
filter {{array4Filter | json}} by {{inactive}}
=>
{{array4Filter | filter: inactive | json}}
reference
-
find {{array4Find | json}} by {{youngerThan40}}
=>
{{array4Find | find: youngerThan40 | json}}
reference
-
findLast {{array4FindLast | json}} by {{odd}}
=>
{{array4FindLast | findLast: odd | json}}
reference
-
flatMap {{array4FlatMap | json}} by {{duplicate}}
=>
{{array4FlatMap | flatMap: duplicate | json}}
reference
-
flatMapDeep {{array4FlatMapDeep | json}} by {{deepDuplicate}}
=>
{{array4FlatMapDeep | flatMapDeep: deepDuplicate | json}}
reference
-
flatMapDepth {{array4FlatMapDepth | json}} by {{deepDuplicate}}, 2
=>
{{array4FlatMapDepth | flatMapDepth: deepDuplicate: 2 | json}}
reference
-
forEach {{array4ForEach | json}} by {{logValue}}
=>
{{array4ForEach | forEach: logValue | json}}
reference
-
forEach {{object4ForEach | json}} by {{logKey}}
=>
{{object4ForEach | forEach: logKey | json}}
reference
-
forEachRight {{array4ForEachRight | json}} by {{logValue}}
=>
{{array4ForEachRight | forEachRight: logValue | json}}
reference
-
groupBy {{array4GroupBy | json}} by Math.floor
=>
{{array4GroupBy | groupBy: floor | json}}
reference
-
includes {{object4Includes | json}} by 1
=>
{{object4Includes | includes: 1 | json}}
reference
-
includes {{array4Includes | json}} by 1, 2
=>
{{array4Includes | includes: 1: 2 | json}}
reference
-
includes 'abcd' by 'ab'
=>
{{'abcd' | includes: 'ab' | json}}
reference
-
invokeMap {{array4InvokeMap | json}} by 'sort'
=>
{{array4InvokeMap | invokeMap: 'sort' | json}}
reference
-
invokeMap {{array4InvokeMap2 | json}} by String.prototype.split, ''
=>
{{array4InvokeMap2 | invokeMap: split: '' | json}}
reference
-
keyBy {{array4KeyBy | json}} by {{fromObjectCodeProperty}}
=>
{{array4KeyBy | keyBy: fromObjectCodeProperty | json}}
reference
-
keyBy {{array4KeyBy | json}} by 'dir'
=>
{{array4KeyBy | keyBy: 'dir' | json}}
reference
-
map {{array4Map | json}} by {{square}}
=>
{{array4Map | map: square | json}}
reference
-
map {{array4Map2 | json}} by 'user'
=>
{{array4Map2 | map: 'user' | json}}
reference
-
map {{object4Map | json}} by {{square}}
=>
{{object4Map | map: square | json}}
reference
-
orderBy {{array4OrderBy | json}} by ['user', 'age'], ['asc', 'desc']
=>
{{array4OrderBy | orderBy: ['user', 'age']: ['asc', 'desc'] | json}}
reference
-
partition {{array4Partition | json}} by 'active'
=>
{{array4Partition | partition: 'active' | json}}
reference
-
reduce {{array4Reduce | json}} by _.add
=>
{{array4Reduce | reduce: add | json}}
reference
-
reduce {{object4Reduce | json}} by {{groupByValue}}
=>
{{object4Reduce | reduce: groupByValue: {} | json}}
reference
-
reduceRight {{array4ReduceRight | json}} by {{flatten}}
=>
{{array4ReduceRight | reduceRight: flatten: [] | json}}
reference
-
reject {{array4Reject | json}} by 'active'
=>
{{array4Reject | reject: 'active' | json}}
reference
-
sample {{array4Sample | json}}
=>
{{array4Sample | sample | json}}
reference
-
sampleSize {{array4Sample | json}} by 2
=>
{{array4Sample | sampleSize: 2 | json}}
reference
-
sampleSize {{array4Sample | json}} by 7
=>
{{array4Sample | sampleSize: 7 | json}}
reference
-
shuffle {{array4Shuffle | json}}
=>
{{array4Shuffle | shuffle | json}}
reference
-
size {{array4Size | json}}
=>
{{array4Size | size | json}}
reference
-
size {{object4Size | json}}
=>
{{object4Size | size | json}}
reference
-
size {{string4Size | json}}
=>
{{string4Size | size | json}}
reference
-
some {{array4Some | json}} by Boolean
=>
{{array4Some | some: boolean | json}}
reference
-
some {{object4Some | json}} by ['active', false]
=>
{{object4Some | some: ['active', false] | json}}
reference
-
sortBy {{array4SortBy | json}} by ['user', 'age']
=>
{{array4SortBy | sortBy: ['user', 'age'] | json}}
reference


WorldCup 2018
Start
Past Winners
Hall Of Fame
Result
#
Logo
TeamName
Game
Win
Draw
Lose
GF
GA
GD
Pts
ROUND OF 16
QUARTER-FINALS
SEMI-FINALS
FINAL


WITNESS LIST Juvenile Justice & Family Issues Committee April 20, 2005-10:30A HB 1315 Against: Pichinson, Michael (Texas Conference of Urban Counties) On: Capers, Lisa A. (Texas Juvenile Probation Commission) HB 2743 On: Harris, Dwight (Texas Youth Commission) SB 90 - Committee Substitute (CSSB 90) For: Wolf, Laura (Texas Council on Family Violence)


HOME RESUME PROJECTS CONTACT
PROJECT 1
Bus Tracing System-Android
PROJECT 2
Learning Management system for University C#
PROJECT 3
Computer Mini Game in C++


|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
Object org.apache.spark.sql.jdbc.JdbcDialect
public abstract class JdbcDialect
:: DeveloperApi :: Encapsulates everything (extensions, workarounds, quirks) to handle the SQL dialect of a certain database or jdbc driver. Lots of databases define types that aren't explicitly supported by the JDBC spec. Some JDBC drivers also report inaccurate information---for instance, BIT(n>1) being reported as a BIT type is quite common, even though BIT in JDBC is meant for single-bit values. Also, there does not appear to be a standard name for an unbounded string or binary type; we use BLOB and CLOB by default but override with database-specific alternatives when these are absent or do not behave correctly.
Currently, the only thing done by the dialect is type mapping.
getCatalystType
is used when reading from a JDBC table and getJDBCType
is used when writing to a JDBC table. If getCatalystType
returns null
,
the default type handling is used for the given JDBC type. Similarly,
if getJDBCType
returns (null, None)
, the default type handling is used
for the given Catalyst type.
| Constructor Summary | |
|---|---|
JdbcDialect()
|
| Method Summary | |
|---|---|
abstract boolean |
canHandle(String url)
Check if this dialect instance can handle a certain jdbc url. |
scala.Option<DataType> |
getCatalystType(int sqlType,
String typeName,
int size,
MetadataBuilder md)
Get the custom datatype mapping for the given jdbc meta information. |
scala.Option<JdbcType> |
getJDBCType(DataType dt)
Retrieve the jdbc / sql type for a given datatype. |
String |
quoteIdentifier(String colName)
Quotes the identifier. |
| Methods inherited from class Object |
|---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
|---|
public JdbcDialect()
| Method Detail |
|---|
public abstract boolean canHandle(String url)
url
- the jdbc url.
NullPointerException
- if the url is null.public scala.Option<DataType> getCatalystType(int sqlType, String typeName, int size, MetadataBuilder md)
sqlType
- The sql type (see java.sql.Types)typeName
- The sql type name (e.g. "BIGINT UNSIGNED")size
- The size of the type.md
- Result metadata associated with this type.
DataType
)
or null if the default type mapping should be used.public scala.Option<JdbcType> getJDBCType(DataType dt)
dt
- The datatype (e.g. StringType
)
public String quoteIdentifier(String colName)
colName
- (undocumented)
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |


Class: Vertx::Buffer
- Inherits:
-
Object
- Object
- Vertx::Buffer
- Defined in:
- src/main/api_shim/core/buffer.rb
Overview
A Buffer represents a sequence of zero or more bytes that can be written to or read from, and which expands
as necessary to accomodate any bytes written to it.
Buffers are used in many places in vert.x, for example to read/write data to/from NetSocket, AsyncFile,
WebSocket, HttpClientRequest, HttpClientResponse, HttpServerRequest, HttpServerResponse etc.
There are two ways to write data to a Buffer: The first method involves methods that take the form set_XXX.
These methods write data into the buffer starting at the specified position. The position does not have to be inside data that
has already been written to the buffer; the buffer will automatically expand to encompass the position plus any data that needs
to be written. All positions are measured in bytes and start with zero.
The second method involves methods that take the form append-XXX; these methods append data at the end of the buffer.
Methods exist to both set and append all primitive types, String and other instances of Buffer.
Data can be read from a buffer by invoking methods which take the form get_XXX. These methods take a parameter
representing the position in the Buffer from where to read data.
Class Method Summary (collapse)
-
+ (Object) create(initial_size_hint = 0)
Creates a new empty buffer.
-
+ (Object) create_from_str(str, enc = "UTF-8")
Create a new Buffer from a String.
Instance Method Summary (collapse)
-
- (Buffer) append_buffer(buff)
Appends another buffer to the end of this buffer.
-
- (Buffer) append_fixnum(num, bytes)
Appends a FixNum to the end of this buffer.
-
- (Buffer) append_float(num, bytes)
Appends a Float to the end of this buffer.
-
- (Buffer) append_str(str, enc = "UTF-8")
Appends a string to the end of this buffer.
-
- (Buffer) copy
Get a copy of the entire buffer.
-
- (Buffer) get_buffer(pos, end_pos)
Return bytes in the buffer as a Buffer.
-
- (FixNum) get_byte(pos)
Get the byte at position pos in the buffer.
-
- (FixNum) get_fixnum(pos, bytes)
Get the FixNum represented by a sequence of bytes starting at position pos in the buffer.
-
- (Float) get_float(pos, bytes)
Get the Float represented by a sequence of bytes starting at position pos in the buffer.
-
- (String) get_string(pos, end_pos, enc = 'UTF-8')
Return bytes from the buffer interpreted as a String.
-
- (FixNum) length
The length of this buffer, in bytes.
-
- (Buffer) set_buffer(pos, buff)
Sets bytes in this buffer to the bytes of the specified buffer.
-
- (Buffer) set_fixnum(pos, num, bytes)
Sets bytes in the buffer to a representation of a FixNum.
-
- (Buffer) set_float(pos, num, bytes)
Sets bytes in the buffer to a representation of a Float.
-
- (Buffer) set_string(pos, str, enc = 'UTF-8')
Set bytes in the buffer to the string encoding in the specified encoding.
-
- (String) to_s(enc = "UTF-8")
Return a String representation of the buffer.
Class Method Details
+ (Object) create(initial_size_hint = 0)
Creates a new empty buffer. The #length of the buffer immediately after creation will be zero.
to initially allocate to the buffer to prevent excessive automatic re-allocations as data is written to it.
47 48 49 |
# File 'src/main/api_shim/core/buffer.rb', line 47 def Buffer.create(initial_size_hint = 0) Buffer.new(org.vertx.java.core.buffer.Buffer.new(initial_size_hint)) end |
+ (Object) create_from_str(str, enc = "UTF-8")
Create a new Buffer from a String
54 55 56 |
# File 'src/main/api_shim/core/buffer.rb', line 54 def Buffer.create_from_str(str, enc = "UTF-8") Buffer.new(org.vertx.java.core.buffer.Buffer.new(str, enc)) end |
Instance Method Details
- (Buffer) append_buffer(buff)
Appends another buffer to the end of this buffer. The buffer will expand as necessary to accomodate any bytes
written.
128 129 130 131 |
# File 'src/main/api_shim/core/buffer.rb', line 128 def append_buffer(buff) @buffer.appendBuffer(buff._to_java_buffer) self end |
- (Buffer) append_fixnum(num, bytes)
Appends a FixNum to the end of this buffer. The buffer will expand as necessary to accomodate any bytes written.
137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 |
# File 'src/main/api_shim/core/buffer.rb', line 137 def append_fixnum(num, bytes) case bytes when 1 @buffer.appendByte(num) when 2 @buffer.appendShort(num) when 4 @buffer.appendInt(num) when 8 @buffer.appendLong(num) else raise "bytes must be 1, 2, 4, or 8" end self end |
- (Buffer) append_float(num, bytes)
Appends a Float to the end of this buffer. The buffer will expand as necessary to accomodate any bytes written.
157 158 159 160 161 162 163 164 165 166 |
# File 'src/main/api_shim/core/buffer.rb', line 157 def append_float(num, bytes) case bytes when 4 @buffer.appendFloat(num) when 8 @buffer.appendDouble(num) else raise "bytes must be 4 or 8" end end |
- (Buffer) append_str(str, enc = "UTF-8")
Appends a string to the end of this buffer. The buffer will expand as necessary to accomodate any bytes written.
172 173 174 175 |
# File 'src/main/api_shim/core/buffer.rb', line 172 def append_str(str, enc = "UTF-8") @buffer.appendString(str, enc) self end |
- (Buffer) copy
Get a copy of the entire buffer.
241 242 243 |
# File 'src/main/api_shim/core/buffer.rb', line 241 def copy Buffer.new(@buffer.copy()) end |
- (Buffer) get_buffer(pos, end_pos)
Return bytes in the buffer as a Buffer
119 120 121 122 |
# File 'src/main/api_shim/core/buffer.rb', line 119 def get_buffer(pos, end_pos) j_buff = @buffer.getBuffer(pos, end_pos) Buffer.new(j_buff) end |
- (FixNum) get_byte(pos)
Get the byte at position pos in the buffer.
68 69 70 |
# File 'src/main/api_shim/core/buffer.rb', line 68 def get_byte(pos) @buffer.getByte(pos) end |
- (FixNum) get_fixnum(pos, bytes)
Get the FixNum represented by a sequence of bytes starting at position pos in the buffer.
76 77 78 79 80 81 82 83 84 85 86 87 88 89 |
# File 'src/main/api_shim/core/buffer.rb', line 76 def get_fixnum(pos, bytes) case bytes when 1 @buffer.getByte(pos) when 2 @buffer.getShort(pos) when 4 @buffer.getInt(pos) when 8 @buffer.getLong(pos) else raise "bytes must be 1, 2, 4, or 8" end end |
- (Float) get_float(pos, bytes)
Get the Float represented by a sequence of bytes starting at position pos in the buffer.
95 96 97 98 99 100 101 102 103 104 |
# File 'src/main/api_shim/core/buffer.rb', line 95 def get_float(pos, bytes) case bytes when 4 @buffer.getFloat(pos) when 8 @buffer.getDouble(pos) else raise "bytes must be 4 or 8" end end |
- (String) get_string(pos, end_pos, enc = 'UTF-8')
Return bytes from the buffer interpreted as a String
111 112 113 |
# File 'src/main/api_shim/core/buffer.rb', line 111 def get_string(pos, end_pos, enc = 'UTF-8') @buffer.getString(pos, end_pos, enc) end |
- (FixNum) length
The length of this buffer, in bytes.
235 236 237 |
# File 'src/main/api_shim/core/buffer.rb', line 235 def length @buffer.length end |
- (Buffer) set_buffer(pos, buff)
Sets bytes in this buffer to the bytes of the specified buffer. The buffer will expand as necessary to accomodate any bytes written.
219 220 221 222 |
# File 'src/main/api_shim/core/buffer.rb', line 219 def set_buffer(pos, buff) @buffer.setBytes(pos, buff._to_java_buffer) self end |
- (Buffer) set_fixnum(pos, num, bytes)
Sets bytes in the buffer to a representation of a FixNum. The buffer will expand as necessary to accomodate any bytes written.
182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 |
# File 'src/main/api_shim/core/buffer.rb', line 182 def set_fixnum(pos, num, bytes) case bytes when 1 @buffer.setByte(pos, num) when 2 @buffer.setShort(pos, num) when 4 @buffer.setInt(pos, num) when 8 @buffer.setLong(pos, num) else raise "bytes must be 1, 2, 4, or 8" end self end |
- (Buffer) set_float(pos, num, bytes)
Sets bytes in the buffer to a representation of a Float. The buffer will expand as necessary to accomodate any bytes written.
203 204 205 206 207 208 209 210 211 212 213 |
# File 'src/main/api_shim/core/buffer.rb', line 203 def set_float(pos, num, bytes) case bytes when 4 @buffer.setFloat(pos, num) when 8 @buffer.setDouble(pos, num) else raise "bytes must be 4 or 8" end self end |
- (Buffer) set_string(pos, str, enc = 'UTF-8')
Set bytes in the buffer to the string encoding in the specified encoding
229 230 231 232 |
# File 'src/main/api_shim/core/buffer.rb', line 229 def set_string(pos, str, enc = 'UTF-8') @buffer.setString(pos, str, enc) self end |
- (String) to_s(enc = "UTF-8")
Return a String representation of the buffer.
61 62 63 |
# File 'src/main/api_shim/core/buffer.rb', line 61 def to_s(enc = "UTF-8") @buffer.toString(enc) end |


randomSampling Returns a number of random solutions model a model structure nSamples the number of solutions to return (opt, default 1000) replaceBoundsWithInf replace the largest upper bounds with Inf and the smallest lower bounds with -Inf. This is needed in order to get solutions without loops if your model has for example 1000/-1000 as arbitary large bounds. If your model only has "biologically relevant" bounds, then set this to false (opt, default true) supressErrors the program will halt if it has problems finding non-zero solutions which are not involved in loops. This could be because the constraints on the model are too relaxed (such as unlimited glucose uptake) or too strict (such as too many and too narrow constraints) (opt, default false) solutions matrix with the solutions The solutions are generated by maximizing (with random weights) for a random set of three reactions. For reversible reactions it randomly chooses between maximizing and minimizing. Usage: solutions=randomSampling(model, nSamples, replaceBoundsWithInf) Rasmus Agren, 2014-01-08
0001 function solutions=randomSampling(model, nSamples, replaceBoundsWithInf,supressErrors) 0002 % randomSampling 0003 % Returns a number of random solutions 0004 % 0005 % model a model structure 0006 % nSamples the number of solutions to return 0007 % (opt, default 1000) 0008 % replaceBoundsWithInf replace the largest upper bounds with Inf and 0009 % the smallest lower bounds with -Inf. This is 0010 % needed in order to get solutions without loops 0011 % if your model has for example 1000/-1000 as 0012 % arbitary large bounds. If your model only has 0013 % "biologically relevant" bounds, then set this 0014 % to false (opt, default true) 0015 % supressErrors the program will halt if it has problems 0016 % finding non-zero solutions which are not 0017 % involved in loops. This could be because the 0018 % constraints on the model are too relaxed (such 0019 % as unlimited glucose uptake) or too strict 0020 % (such as too many and too narrow constraints) 0021 % (opt, default false) 0022 % 0023 % solutions matrix with the solutions 0024 % 0025 % The solutions are generated by maximizing (with random weights) for a 0026 % random set of three reactions. For reversible reactions it randomly 0027 % chooses between maximizing and minimizing. 0028 % 0029 % Usage: solutions=randomSampling(model, nSamples, replaceBoundsWithInf) 0030 % 0031 % Rasmus Agren, 2014-01-08 0032 % 0033 0034 if nargin<2 0035 nSamples=1000; 0036 end 0037 if nargin<3 0038 replaceBoundsWithInf=true; 0039 end 0040 if nargin<4 0041 supressErrors=false; 0042 end 0043 0044 nRxns=2; %Number of reactions in the objective function in each iteration 0045 0046 %First check that the model is feasible given the constraints 0047 sol=solveLP(model); 0048 if isempty(sol.x) 0049 EM='The model has no feasible solution'; 0050 dispEM(EM); 0051 end 0052 0053 %Simplify the model to speed stuff up a little. Keep original mapping 0054 originalRxns=model.rxns; 0055 model=simplifyModel(model,false,false,true,true); 0056 0057 %Then change the bounds to +/- Inf. This is needed in order to not have 0058 %loops in the solutions 0059 if replaceBoundsWithInf==true 0060 model.ub(model.ub==max(model.ub))=Inf; 0061 model.lb(model.lb==min(model.lb))=-Inf; 0062 end 0063 0064 %Reactions which can be involved in loops should not be optimized 0065 %for. Check which reactions reach an arbitary high upper bound 0066 goodRxns=true(numel(model.rxns),1); 0067 for i=1:numel(model.rxns) 0068 if goodRxns(i)==true 0069 testModel=setParam(model,'eq',model.rxns(i),1000); 0070 sol=solveLP(testModel); 0071 if ~isempty(sol.f) 0072 goodRxns(abs(sol.x)>999)=false; 0073 else 0074 %If the reaction is reversible, also check in that direction 0075 if model.rev(i) 0076 testModel=setParam(model,'eq',model.rxns(i),-1000); 0077 sol=solveLP(testModel); 0078 if ~isempty(sol.f) 0079 goodRxns(abs(sol.x)>999)=false; 0080 end 0081 end 0082 end 0083 end 0084 end 0085 0086 %Reserve space for a solution matrix 0087 sols=zeros(numel(model.rxns),nSamples); 0088 0089 %Main loop 0090 counter=1; 0091 badSolutions=0; 0092 goodRxns=find(goodRxns); 0093 while counter<=nSamples 0094 rxns=randsample(numel(goodRxns),nRxns); 0095 model.c=zeros(numel(model.rxns),1); 0096 multipliers=randsample([-1 1],nRxns,true); 0097 multipliers(model.rev(goodRxns(rxns))==0)=1; 0098 model.c(goodRxns(rxns))=rand(nRxns,1).*multipliers; 0099 sol=solveLP(model); 0100 if any(sol.x) 0101 if abs(sol.f)>10^-8 0102 sols(:,counter)=sol.x; 0103 counter=counter+1; 0104 badSolutions=0; 0105 else 0106 badSolutions=badSolutions+1; 0107 %If it only finds bad solutions then throw an error. 0108 if badSolutions==50 && supressErrors==false 0109 EM='The program is having problems finding non-zero solutions that are not involved in loops. Review the constraints on your model. Set supressErrors to true to ignore this error'; 0110 dispEM(EM); 0111 end 0112 end 0113 end 0114 end 0115 0116 %Map to original model 0117 [~, I]=ismember(model.rxns,originalRxns); 0118 solutions=zeros(numel(originalRxns),nSamples); 0119 solutions(I,:)=sols; 0120 solutions=sparse(solutions); 0121 end 0122 0123 %To use instead of the normal Matlab randsample function. This is in order 0124 %to not depend on the Matlab statistical toolbox. 0125 function I=randsample(n,k,replacement) 0126 if nargin<3 0127 replacement=false; 0128 end 0129 %n can be a integer, which leads to I being sampled from 1:n, or it can 0130 %be a population to sample from. 0131 if numel(n)==1 && isnumeric(n) 0132 n=1:n; 0133 end 0134 %Loop and get random numbers until the list is unique. This is only a 0135 %good option is the number of samples is small compared to the 0136 %population. There are several checks that should be made here, for 0137 %example regarding size and that the number of samples is <=population 0138 %size if replacement==false. This is not the case in randomSampling, so 0139 %such checks are ignored 0140 while true 0141 J=randi(numel(n),[k,1]); 0142 if replacement==true || numel(J)==numel(unique(J)) 0143 I=n(J); 0144 break; 0145 end 0146 end 0147 I=I(:); 0148 end


Reports all
public
constructors in non-
public
classes. Usually there is no reason these constructors have greater visibility than containing classes.


|
| | HessianEvaluation (FunctionalEvaluation< Scalar > const &_fx) |
| |
| | ~HessianEvaluation () |
| |
| const Space< Scalar > & | getDomain () const |
| |
| const ProductSpace< Scalar > & | getProductDomain () const |
| |
| const Space< Scalar > & | getRange () const |
| |
| const ProductSpace< Scalar > & | getProductRange () const |
| |
| ostream & | write (ostream &str) const |
| | report to stream More...
|
| |
| | BlockLinearOp () |
| |
| | BlockLinearOp (const BlockLinearOp< Scalar > &) |
| |
| virtual | ~BlockLinearOp () |
| |
| | LinearOp () |
| |
| | LinearOp (const LinearOp< Scalar > &Op) |
| |
| virtual | ~LinearOp () |
| |
| void | applyOp (Vector< Scalar > const &x, Vector< Scalar > &y) const |
| | This function assigns to the value . More...
|
| |
| void | applyAdjOp (Vector< Scalar > const &x, Vector< Scalar > &y) const |
| | This function assigns to the value . More...
|
| |
| virtual void | applyPlusOp (Vector< Scalar > const &x, Vector< Scalar > &y) const |
| | Apply and increment, like axpy: . More...
|
| |
| virtual void | applyPlusAdjOp (Vector< Scalar > const &x, Vector< Scalar > &y) const |
| | Apply and increment, like axpy: . More...
|
| |
| virtual void | applyOp (Scalar alpha, Vector< Scalar > const &x, Scalar beta, Vector< Scalar > &y) const |
| | Apply and linear combination: . More...
|
| |
| virtual void | applyAdjOp (Scalar alpha, Vector< Scalar > const &x, Scalar beta, Vector< Scalar > &y) const |
| | Adjoint apply and linear combination: . More...
|
| |
| | Operator () |
| |
| | Operator (const Operator< Scalar > &) |
| |
| virtual | ~Operator () |
| |
| virtual ScalarFieldTraits< Scalar >::AbsType | getMaxStep (const Vector< Scalar > &, const Vector< Scalar > &) const |
| | can be overridden to express distance to boundary of domain for operators whose domains are not the whole space. More...
|
| |
| virtual | ~Writeable () |
| |
| void | write (RVLException &e) const |
| | Report state of object to RVLException. More...
|
| |
|
| BlockLinearOp< Scalar > * | cloneBlockLinearOp () const |
| |
| LinearOp< Scalar > * | clone () const |
| |
| void | apply (int i, int j, const Vector< Scalar > &xj, Vector< Scalar > &yi) const |
| |
| void | applyAdj (int i, int j, const Vector< Scalar > &yi, Vector< Scalar > &xj) const |
| |
| virtual void | apply (Vector< Scalar > const &x, Vector< Scalar > &y) const |
| |
| virtual void | applyAdj (const Vector< Scalar > &y, Vector< Scalar > &x) const |
| | applyAdj() is implemented in terms of applyComponentAdj(). More...
|
| |
| void * | operator new (size_t size) |
| | operator new - not available to general public, but available to children who will use it to define a clone method, for example More...
|
| |
| void | applyDeriv (const Vector< Scalar > &, const Vector< Scalar > &dx, Vector< Scalar > &dy) const |
| | implemented derivative method - a linear operator is its own derivative. More...
|
| |
| void | applyAdjDeriv (const Vector< Scalar > &, const Vector< Scalar > &dy, Vector< Scalar > &dx) const |
| | similar to applyDeriv. More...
|
| |
| void | applyDeriv2 (const Vector< Scalar > &, const Vector< Scalar > &, const Vector< Scalar > &, Vector< Scalar > &dy) const |
| | implemented deriv2 method - deriv2 of a linear operator is zero. More...
|
| |
| void | applyAdjDeriv2 (const Vector< Scalar > &, const Vector< Scalar > &, const Vector< Scalar > &, Vector< Scalar > &dx1) const |
| | similar to applyDeriv More...
|
| |
| void | sanity (Vector< Scalar > const &domvec, Vector< Scalar > const &rngvec) const |
| |
| virtual void | apply (const Vector< Scalar > &x, Vector< Scalar > &y) const =0 |
| | 1-jet at a point, accessible only through OperatorEvaluation and subclasses. More...
|
| |
| void * | operator new (size_t size) |
| | operator new - not available to general public, but available to children who will use it to define clone More...
|
| |
| DerivEvaluation< Scalar > * | createDerivEvaluation (OperatorEvaluation< Scalar > &opeval) const |
| | Virtual derivative constructor. More...
|
| |
| Deriv2Evaluation< Scalar > * | createDeriv2Evaluation (OperatorEvaluation< Scalar > &opeval) const |
| | Virtual 2nd derivative constructor. More...
|
| |
|
| static std::shared_ptr< Operator< Scalar > > | clonePtr (Operator< Scalar > const &op) |
| | safe dynamic copy construction More...
|
| |
| static void | export_apply (Operator< Scalar > const &f, const Vector< Scalar > &x, Vector< Scalar > &y) |
| | The export-apply methods make the protected apply methods of any Operator subclass instance available to other Operator subclass instances. More...
|
| |
| static void | export_applyDeriv (Operator< Scalar > const &f, const Vector< Scalar > &x, const Vector< Scalar > &dx, Vector< Scalar > &dy) |
| |
| static void | export_applyAdjDeriv (Operator< Scalar > const &f, const Vector< Scalar > &x, const Vector< Scalar > &dy, Vector< Scalar > &dx) |
| |
| static void | export_applyDeriv2 (Operator< Scalar > const &f, const Vector< Scalar > &x, const Vector< Scalar > &dx0, const Vector< Scalar > &dx1, Vector< Scalar > &dy) |
| |
| static void | export_applyAdjDeriv2 (Operator< Scalar > const &f, const Vector< Scalar > &x, const Vector< Scalar > &dx0, const Vector< Scalar > &dy, Vector< Scalar > &dx1) |
| |
| static Operator< Scalar > * | export_clone (Operator< Scalar > const &op) |
| | export version of clone More...
|
| |
template<class Scalar>
class RVL::HessianEvaluation< Scalar >
The Hessian Evaluation is a lightweight implementation of the LinearOp interface which refers back to a FunctionalEvaluation to implement all methods.
Definition at line 413 of file functional.hh.


Interface Concept & UI Design
Choose your role
Teachers role
Three dificulty levels
let them learn by themselves
We start teaching basic shapes draws
Little video tutorials for the kids
Also lite version for parents
Share with us and others
Publish your kid's work
Kid's role
Create and share!
The could help other kids to finish their draws
Desplegable Menu
Thank you! :)
Click to change views.


Welcome to Chile's
Current Reservations and Waiting List
Reservation
Home
Current Reservations
Waiting List


Samir Gadkari
Data Scientist with experience in the Internet Of Things.
Software/Firmware Engineer for 20 years. Bringing the same problem solving skills to the data world.
Physically in Silicon Valley
Electronically at:
github
LinkedIn
resume
Email
Blogs:
Extremely Imbalanced Data - Fraud Detection
Dealing with Categorical Data Fast - an example
Health and Wealth of Nations
Crawling the web


Hello there, I'm Joni. A Frontend/Web Developer, Junior Software Developer, UI/UX Designer based in
Tampere, Finland.
My portfolio at the time is a work in progress. I will add more projects here soon.
During my short time at Power I was part of their web developing team and my tasks included developing and maintaining Power Finland's web stores. I worked with JavaScript framework Angular.js and C#.
I worked as a consultant on a few different projects for Vismas customers. During my time at Visma I worked with techonologies such as Javascript/React, Java/Spring Boot framework and Frends integration platform/C#. Later in the year I was a part of the team that developed and maintained the Pirkanmaa Regional Hospital web services.
I did some remote work for this Turku based company. My work included creating views and visualizations for Maplets customers using their admin tools. To succeed in this job, I needed to work with some JavaScript.
At Sinituote my duties included assembly line work, unloading shipments and several other storage related jobs. I also worked there during summers of '07', '08, '10.
Developing, updating and mapping data regarding University's plans on moving to a new campus. In addition I also provided remote assistance in the use of the university's HILL-remote teaching system.
Fabricating web sites to various businesses and customers. Mainly using joomla Content Management System. Worked with HTML & CSS also. My tasks also included computer and device installation and providing customer support.
In addition to spending time in the assembly line I also had a part in providing support and resolving all kinds of IT-related problems.
HERE is a link to a little memory game I made with JavaScript... I'll embed it right here in the near future.
Hotel Beach Resort - A link to a React project I made on my free time.
LyricSearch is another small React project I made while studying React developing.
React eCommerce App is another little webapp I did on my free time studying React.
In addition to being web developer with a side knack for software developing, I enjoy sports and music. Playing and following from the couch. During summer I like to play tennis, football and disc golf etc. During the colder months my sport of choice is floorball. Ice Hockey is a sport that I follow passionately. Especially the NHL.
Then again, if I'm not in the mood for sports, I might pick up my trusty guitar and play a few riffs or watch a good movie or enjoy an episode or two of whatever show is currently on my "binge-list". I spend a lot of my free time studying and experimenting with the latest technology advancements in my fields of expertise.
I also like to play computer and board games with friends.


Minion
Dashboard
Notification History
Contacts
{{> page}}
Developed by
Delta Systems
• New BSD License


- Developer Name:
- {{views.name}}
- Phone:
- {{views.phone}}
- Country:
- {{views.country}}
- State
- {{views.state}}
- City:
- {{views.city}}
- Company:
- {{views.company}}
- Emp.ID:
- {{views.empid}}
- Work Location:
- {{views.location}}
- Designation:
- {{views.designation}}
- E-mail:
- {{views.email}}


It’s the 2nd installment of the Crypto Industry News. Thank you for taking the time to join me again and feel free to leave a comment below! Today we look at Overstock’s tZERO launching an ICO next month, an analyst makes call on CNBC that Bitcoin’s marketcap will surpass Apple and The Bitgive Foundation has launched Givetrack.
Overstock’s tZERO is Launching an Initial Coin Offering Next Month
Patrick Byrne, the outspoken leader of Overstock, announced at the Money 20/20 conference that a subsidy of his company that goes by T0 will be launching an ICO next month.
Byrne went on to say that this sale would run from November 15 until December 31. He also announced the sale will be administered as a Simple Agreement for Future Tokens (SAFT) project. This allows accredited investors to participate bringing the potential for a very large funding potential. Filecoin went through the same process and raised $200 million earlier this year. Byrne has stated, “From what I am hearing, we are going to raise a fortune – $200-$500m easily.”
Last month T0 made an announcement they would be working with the Argon Group and RenGen in order to launch an Alternative Trading System. It appears that the T0 coin will be used as a mechanism similar to Ethereum’s gas.
Bitcoin to Top Apple Market Cap?
CNBC recently had Ronnie Moas, the founder and director of Standpoint Research, on Capital Connection. There he stated that “People need to start taking this seriously because today bitcoin caught up with Goldman Sachs, Within five years, it’s going to catch Apple which has (a more than) $800 billion market cap.”
Speaking like someone who actually understands Bitcoin, Moas went on to say that “You have a supply-demand equation here that is mind-boggling to me.” He continued to say that “If 1% of that $200 trillion (combined global markets of gold, stocks, bonds and cash) finds its way into cryptocurrency in the next 10 years, you will be looking at a $2 trillion valuation, 12x what it is today, and that will drive bitcoin price above $50,000.”
This isn’t the first time that Moas has been bullish on bitcoin. He correctly called that Bitcoin would rise to $5,000 within a few months back in June.
Source: https://www.cnbc.com/2017/10/24/bitcoin-market-cap-to-overtake-apple-in-five-years-analyst.html
BitGive Foundation Goes Live with GiveTrack
Connie Gallippi, the founder of BitGive, has announced at the Money 20/20 conference they have launched GiveTrack. GiveTrack is a platform that will allow registered non-profits to have users contribute bitcoin and track those donations movements in real time.
“What we have built is really just a way to make it easier for charities and donors to interact with Bitcoin,” said Gallippi. “We are not doing anything fancy or new with the tech; we are simply making it usable for donors to contribute and then to watch the money move.”
Source: https://bitcoinmagazine.com/articles/bitgive-launches-bitcoin-donation-platform-givetrack/
This page is synchronized from the post: ‘tZERO ICO, Bitcoin Bigger than Apple?, GiveTrack Launches - Crypto Industry News 10/24/17’


-
Android application.
-
An Assiciable Input Method may need to visit your address book to complish
the assiciation when you type your friend's name instead of phone number
when you call to your friend. The Input Method should be allowed to
visit your address book but should be prohibited to be abused such as
leaking your address book to a stranger.


Attach.io
Some of our customers describe Attach as Dropbox + Google Analytics in one. Like Dropbox, you upload your documents and share them with a link. Like Google Analytics, Attach tells you everything that happens to your document after you’ve shared it.
Disclaimer: For use by insurance agents only.
Some examples of what Attach tracks on documents:
- When it’s opened
- Who opens it
- What pages they visit
- Where they spend their time
- What links they click on
- How they flow through the document
- Who they share it with
Salespeople are using Attach throughout their sales process with documents like sales decks, case studies, or proposals. They use the insight from Attach to better prioritize their sales pipeline, strike when the irons hot and tailor their communication for maximum impact.


Xebia
Home
Add Quiz
Edit Quiz Manager Site
Admin Panel
Home
Add Quiz
Edit Quiz Manager Site
Quiz Name
Name
Confirm
Login
Email ID
Password


The server should, on startup, bind itself to port 674, on ipv6 if available, and ipv4 if not. If both fail, it'll open a different socket, erm, somewhere. Originally, it tried UNIX domain sockets, but I never got around to writing the utilities that would make this useful.
Erm. Look, you probably just want to email me, and say "Oi! Write the bleeding docs!".
But basically, it'll use SASL defaults, until you stick stuff in /vendor.infotrope.acapd/site/sasl/ telling it not to.
Loosely, these mean that you'll need to create a SASL user called "admin" in the /etc/sasldb2 for now, and login using telnet in order to make everything work the way you want.
For example, to look at the default configuration, and tweak the SASL configuration, do:
$ su - # saslpasswd2 admin Password: xxx Again (for verification): xxx $ telnet localhost 674 Trying <IP_ADDRESS>... Connected to localhost. Escape character is '^]'. * ACAP (IMPLEMENTATION "Infotrope ACAP Server, version 0.1.3, Copyright 2002-2004 Dave Cridland<EMAIL_ADDRESS>(SASL "NTLM" "LOGIN" "CRAM-MD5" "PLAIN" "DIGEST-MD5" "ANONYMOUS") (XUNIQUE) (STARTTLS) . AUTHENTICATE "LOGIN" + {9} Username: "admin" + {9} Password: "xxx" . OK "You're logged in as admin. Frooby." . SEARCH "/vendor.infotrope.acapd/site/" DEPTH 0 RETURN ("*") ALL // Scan current config . ENTRY "" (("dataset.acl" ("$owner rwixa")) ("modtime" "20040927143240007") ("entry" "")) . ENTRY "fallback" (("modtime" "20040927143240050") ("entry" "fallback") ("vendor.infotrope.acapd.transport.address" "674") ("vendor.infotrope.acapd.transport.family" "tcp") ("vendor.infotrope.acapd.network.family" "ipv6") ("vendor.infotrope.acapd.network.address" "::0")) // This is the fallback listening socket it's using - it's the one it decided to use in the absence of any other. . MODTIME "20040929094321000" . OK "From<PHONE_NUMBER>.955727 to<PHONE_NUMBER>.975130 - Search took 19ms." . STORE ("/vendor.infotrope.acapd/site/sasl/log_level" "vendor.infotrope.acapd.value" "9") // Set SASL log_level to 9 (max) . STORE ("/vendor.infotrope.acapd/site/sasl/pwcheck_method" "vendor.infotrope.acapd.value" "saslauthd auxprop") ("/vendor.infotrope.acapd/site/sasl/auxprop_plugin" "vendor.infotrope.acapd.value" "sasldb") // Use Cyrus SASL Authd and auxprop for passwords, use only sasldb for auxprop requests, making both these changes atomically (both or neither) . STORE ("/vendor.infotrope.acapd/site/sasl/DIGEST-MD5/reauth_timeout" "vendor.infotrope.acapd.value" "5") // Let DIGEST-MD5 cache authentications, for faster reauthentication, for 5 minutes. . STORE ("/vendor.infotrope.acapd/site/high-port" "vendor.infotrope.acapd.network.family" "ipv4" "vendor.infotrope.acapd.network.address" "<IP_ADDRESS>" "vendor.infotrope.acapd.transport.family" "tcp" "vendor.infotrope.acapd.transport.address" "9000") // Listen to port 9000 on INADDR_ANY.
As long as the ordinary user can access the SASL files, this will work. I do testing by chmod 0666 /etc/sasldb and running it with my normal user. However, you'd be barking mad to do this in production.


public enum PassportState extends java.lang.Enum<PassportState>
| Modifier and Type | Method and Description |
|---|---|
static PassportState |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static PassportState[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final PassportState IN_REQ_HEADERS_RECEIVED
public static final PassportState IN_REQ_CONTENT_RECEIVED
public static final PassportState IN_REQ_LAST_CONTENT_RECEIVED
public static final PassportState IN_REQ_REJECTED
public static final PassportState IN_REQ_READ_TIMEOUT
public static final PassportState IN_REQ_CANCELLED
public static final PassportState OUT_REQ_HEADERS_SENDING
public static final PassportState OUT_REQ_HEADERS_SENT
public static final PassportState OUT_REQ_HEADERS_ERROR_SENDING
public static final PassportState OUT_REQ_CONTENT_SENDING
public static final PassportState OUT_REQ_CONTENT_SENT
public static final PassportState OUT_REQ_CONTENT_ERROR_SENDING
public static final PassportState OUT_REQ_LAST_CONTENT_SENDING
public static final PassportState OUT_REQ_LAST_CONTENT_SENT
public static final PassportState OUT_REQ_LAST_CONTENT_ERROR_SENDING
public static final PassportState IN_RESP_HEADERS_RECEIVED
public static final PassportState IN_RESP_CONTENT_RECEIVED
public static final PassportState IN_RESP_LAST_CONTENT_RECEIVED
public static final PassportState OUT_RESP_HEADERS_SENDING
public static final PassportState OUT_RESP_HEADERS_SENT
public static final PassportState OUT_RESP_HEADERS_ERROR_SENDING
public static final PassportState OUT_RESP_CONTENT_SENDING
public static final PassportState OUT_RESP_CONTENT_SENT
public static final PassportState OUT_RESP_CONTENT_ERROR_SENDING
public static final PassportState OUT_RESP_LAST_CONTENT_SENDING
public static final PassportState OUT_RESP_LAST_CONTENT_SENT
public static final PassportState OUT_RESP_LAST_CONTENT_ERROR_SENDING
public static final PassportState FILTERS_INBOUND_START
public static final PassportState FILTERS_INBOUND_END
public static final PassportState FILTERS_OUTBOUND_START
public static final PassportState FILTERS_OUTBOUND_END
public static final PassportState FILTERS_INBOUND_BUF_START
public static final PassportState FILTERS_INBOUND_BUF_END
public static final PassportState FILTERS_OUTBOUND_BUF_START
public static final PassportState FILTERS_OUTBOUND_BUF_END
public static final PassportState ORIGIN_CONN_ACQUIRE_START
public static final PassportState ORIGIN_CONN_ACQUIRE_END
public static final PassportState ORIGIN_CONN_ACQUIRE_FAILED
public static final PassportState MISC_IO_START
public static final PassportState MISC_IO_STOP
public static final PassportState SERVER_CH_DISCONNECT
public static final PassportState SERVER_CH_CLOSE
public static final PassportState SERVER_CH_EXCEPTION
public static final PassportState SERVER_CH_IDLE_TIMEOUT
public static final PassportState SERVER_CH_ACTIVE
public static final PassportState SERVER_CH_INACTIVE
public static final PassportState SERVER_CH_THROTTLING
public static final PassportState SERVER_CH_REJECTING
public static final PassportState SERVER_CH_SSL_HANDSHAKE_COMPLETE
public static final PassportState ORIGIN_CH_CONNECTING
public static final PassportState ORIGIN_CH_CONNECTED
public static final PassportState ORIGIN_CH_DISCONNECT
public static final PassportState ORIGIN_CH_CLOSE
public static final PassportState ORIGIN_CH_EXCEPTION
public static final PassportState ORIGIN_CH_ACTIVE
public static final PassportState ORIGIN_CH_INACTIVE
public static final PassportState ORIGIN_CH_IDLE_TIMEOUT
public static final PassportState ORIGIN_CH_POOL_RETURNED
public static final PassportState ORIGIN_CH_READ_TIMEOUT
public static final PassportState ORIGIN_CH_IO_EX
public static final PassportState ORIGIN_RETRY_START
public static PassportState[] values()
for (PassportState c : PassportState.values()) System.out.println(c);
public static PassportState valueOf(java.lang.String name)
name
- the name of the enum constant to be returned.java.lang.IllegalArgumentException
- if this enum type has no constant with the specified namejava.lang.NullPointerException
- if the argument is null


The California Health Data Project is a statewide effort funded by the California HealthCare Foundation’s Free the Data initiative.
There’s a vast amount of health and health care data collected by the State of California and now there’s a new effort to get these data to the people and organizations that can use them. The project is bringing together the California Health and Human Services Agency (CHHS), local governments, and, most importantly, the community — providers, civic hackers, advocacy groups — to ensure this valuable information is finding its way into the hands of people and organizations that can put it to good use.


24 Mali soldiers and 17 jihadists die in clashes in east
Twenty-four Malian soldiers and 17 jihadists fighters were killed in clashes in the east of the country, the army said, as security in the west African nation deteriorates further.
Mali and Niger forces were carrying out a joint operation when a patrol was attacked Monday by “terrorists” near the northeastern town of Tabankort, the army said on social media.
According to the military the total toll was “24 dead, 29 injured and material damage” while 17 of the jihadists were killed and a hundred more suspects captured.
The prisoners are in the hands of Niger soldiers, the statement said.
Related Articles
Mali president on the ropes as jihadist revolt mounts
Oct 24, 2019 16,942 0
Zaha goal puts Ivory Coast in last eight
Jul 9, 2019 8,132 0
Mali village attack death toll revised down to 35
Jun 13, 2019 11,116 0
More than 100 villagers safe despite Mali attack
Jun 12, 2019 6,665 32
In an earlier statement, which gave a lower death toll, the army said French and Niger forces took part in a counterattack.
Monday’s action was another heavy loss for the army, which lost a hundred soldiers in two jihadist attacks in a month in the autumn.
Northern Mali fell into the hands of jihadists in 2012 before the militants were forced out by a French-led military intervention.
Since then, however, the border regions of Mali, Niger and Burkina Faso have become the theatre of repeated clashes with jihadist fighters.
Mali’s army has been struggling to contain the Islamist insurgency despite help from African neighbours, MINUSMA, the 13,000-strong UN peacekeeping mission in Mali, and former colonial power in the region France.
French Prime Minister Edouard Philippe in a visit to neighbouring Senegal on Monday, called on all west African states to help tackle jihidist groups operating in the Sahel.
“One thing is certain: jihadist groups will benefit, as soon as they can, from our weaknesses, from our lack of coordination or from our lack of commitment or training,” said Philippe, at the opening of the Dakar International Forum on Peace and Security.
French President Emmanuel Macron has pledged to take decisions “in the coming weeks” on how France can help tackle jihadist violence in the Sahel.
He said progress had been made “on the security situation” and decisions would be announced on revamping the G5 regional cooperation force in Mali, Burkina Faso and Niger.
France earlier this month also announced their troops had killed a top jihadist leader in Mali, described by the defence ministry as the second most-wanted terrorist in the Sahel.
Moroccan Ali Maychou belonged to the Group to Support Islam and Muslims (GSIM) in Mali, which has claimed responsiblity for some of the biggest attacks in the Sahel. AFP


{% for i in range(music_files_number) %}
{{ i+1 }}) {{ music_files[i] }}
{% endfor %}
Upload a File
0


MapCircle QML Type
The MapCircle type displays a geographic circle on a Map. More...
| Import Statement: | import QtLocation 5.3 |
| Since: | Qt Location 5.5 |
Properties
- border
- border.width : int
- border.color : color
- center : coordinate
- color : color
- opacity : real
- radius : real
Detailed Description
The MapCircle type displays a geographic circle on a Map, which consists of all points that are within a set distance from one central point. Depending on map projection, a geographic circle may not always be a perfect circle on the screen: for instance, in the Mercator projection, circles become ovoid in shape as they near the poles. To display a perfect screen circle around a point, use a MapQuickItem containing a relevant Qt Quick type instead.
 To change its appearance, use the color, border.color and border.width properties.
Internally, a MapCircle is implemented as a many-sided polygon. To calculate the radius points it uses a spherical model of the Earth, similar to the atDistanceAndAzimuth method of the coordinate type. These two things can occasionally have implications for the accuracy of the circle's shape, depending on position and map projection.
Note: Dragging a MapCircle (through the use of MouseArea) causes new points to be generated at the same distance (in meters) from the center. This is in contrast to other map items which store their dimensions in terms of latitude and longitude differences between vertices.
Performance
MapCircle performance is almost equivalent to that of a MapPolygon with the same number of vertices. There is a small amount of additional overhead with respect to calculating the vertices first.
Like the other map objects, MapCircle is normally drawn without a smooth appearance. Setting the opacity property will force the object to be blended, which decreases performance considerably depending on the graphics hardware in use.
Example Usage
The following snippet shows a map containing a MapCircle, centered at the coordinate (-27, 153) with a radius of 5km.
Map { MapCircle { center { latitude: -27.5 longitude: 153.0 } radius: 5000.0 color: 'green' border.width: 3 } }
Property Documentation
This property is part of the border group property. The border property holds the width and color used to draw the border of the circle. The width is in pixels and is independent of the zoom level of the map.
The default values correspond to a black border with a width of 1 pixel. For no line, use a width of 0 or a transparent color.
center : coordinate |
This property holds the central point about which the circle is defined.
See also radius.
This property holds the fill color of the circle when drawn. For no fill, use a transparent color.
This property holds the opacity of the item. Opacity is specified as a number between 0 (fully transparent) and 1 (fully opaque). The default is 1.
An item with 0 opacity will still receive mouse events. To stop mouse events, set the visible property of the item to false.
This property holds the radius of the circle, in meters on the ground.
See also center.


Backup & restore
Edit (pull request)Scope of the tool
The purpose of this tool is to snapshot Alien4Cloud data and restore a previous snapshot.
The backup and restore tool is responsible to backup alien4cloud data:
- Alien4Cloud database (Elasticsearch)
- User uploaded content like CSAR, Artifacts, Plugins
But Alien4Cloud distribution binaries (excluding plugins) and configuration files won’t be backed up.
Download
Configurations
Unzip the downloaded archive, and edit the file path_to_unzipped_tool/config/config.yml.
config.yml
elasticsearch:
# Name of your elasticsearch cluster
cluster_name: alien4cloud
# Addresses of elasticsearch cluster nodes
addresses: localhost:9300,<IP_ADDRESS>:9300
# Where Alien4Cloud's backup files are stored
backup.files_dir: /opt/alien4cloud/backups/files
# Where Alien4Cloud's files are stored, backup operation will copy data from alien4cloud.dir to backup.files_dir and restore will do inversely
alien4cloud.dir: /opt/alien4cloud/data
Configure Elasticsearch
The backup relies on the snapshot capability of Elaticsearch. In order to be able to use this feature, Elasticsearch variable ‘path.repo’ must to be defined on all elasticsearch cluster nodes.
path.repo: /home/elasticsearch/backups
Restart elasticsearch so that the new configuration is taken into account :
sudo /etc/init.d/elasticsearch restart
Configure shared file system (optional)
- Mount shared file system between all your elasticsearch cluster nodes. Here’s an example with sshfs :
# On the file server machine where elasticsearch backups will be hosted
sudo adduser elasticsearch
# Copy key file that enable ssh login for this user
sudo -u elasticsearch mkdir /home/elasticsearch/.ssh
sudo -u elasticsearch cp authorized_keys /home/elasticsearch/.ssh
# Create the shared remote folder that will be used for elasticsearch backups
sudo -u elasticsearch mkdir /home/elasticsearch/backups
# On elasticsearch machines
# Install sshfs
sudo apt-get install sshfs
# Create backup folders
sudo -u elasticsearch mkdir -p /home/elasticsearch/backups
# Mount the remote folder
sudo sshfs -o allow_other -o uid=$(id -u elasticsearch) -o gid=$(id -g elasticsearch) -o IdentityFile=/home/elasticsearch/key.pem elasticsearch@<IP_ADDRESS>:/home/elasticsearch/backups /home/elasticsearch/backups
# Test that elasticsearch can write to the backups folder
sudo -u elasticsearch touch /home/elasticsearch/backups/test.txt
sudo -u elasticsearch rm /home/elasticsearch/backups/test.txt
Backup
To backup Alien4Cloud, from the root directory of the unzipped tool, perform the command:
./backup-restore-tool.sh -backup -n yourBackupName
For more commands and options, you can have the help doc displayed:
./backup-restore-tool.sh -help
Restore
Alien4Cloud and ElasticSearch states
We recommend to stop Alien4Cloud before performing the restore. ElasticSearch MUST be up and running. Alien4Cloud should be restarted once the restoration process is completed. This is quite trivial to do when running in a classical production setup where elasticsearch process is independant from Alien4Cloud ( See advanced configuration for more details ).
However, if running in an embedded configuration, you can’t stop Alien4Cloud without stopping ElasticSearch. Then, just make sure the plateform is not used during the process.

Backup/snapshot access rights
The Elasticsearch backup directory (path.repo: /home/elasticsearch/backups) must be accessible by the ElasticSearch process in order to be able to restore the data.
To restore Alien4Cloud, from the root directory of the unzipped tool, perform the command:
./backup-restore-tool.sh -restore -n yourBackupName
Once data is restored, you can restart Alien4Cloud server if needed.
Edit (pull request)


|
Under J2EE, there are two main mechanisms that can be used to specify configuration values for a servlet or group of servlets.
Modjy can be configured with both context and servlet parameters. At runtime, modjy starts with an empty parameter set. It then reads the values of all context parameters, and adds them to the set of configured values. It then reads all of the servlet parameters, and adds them to the set. This means that servlet-scope parameters take precedence over context-scope parameters. Consider the following configuration:
<web-app> <context-param> <param-name>log_level</param-name> <param-value>info</param-value> </context-param> <servlet> <servlet-name>modjy</servlet-name> <servlet-class>com.xhaus.modjy.ModjyJServlet</servlet-class> <init-param> <param-name>log_level</param-name> <param-value>debug</param-value> </init-param> </servlet> </web-app>
In the above example, the value log_level=info is configured as a context parameter, which means that all servlets in that context (i.e. defined in that web.xml file) will inherit that value for log_level, if it is not specifically opverwritten. In the <servlet> definition, the value log_level=debug is specified, meaning that this specific servlet (which may be one of many in the servlet context) will be configured with a value of debug, over-riding the context-level value info.
When configuring modjy with file and directory names, you will sometimes need to configure paths that are relative to the servlet context root. The context root is a standard directory hierarchy for J2EE servlets, which is used to contain support resources for the servlet context.
If you wish to specify a relative path to modjy, then place a $ symbol at the beginning of the path. For example, if you want to configure the app_directory parameter to be a directory my_apps_dir, contained within the context root (i.e. at the same level as WEB-INF), then configure the value as follows.
<servlet> <servlet-name>modjy</servlet-name> <servlet-class>com.xhaus.modjy.ModjyJServlet</servlet-class> <init-param> <param-name>app_directory</param-name> <param-value>$/my_apps_dir</param-value> </init-param> </servlet>
Modjy servlet parameters are set as either <context-param> or <init-param> name-value pairs in the servlet configuration, e.g. in web.xml. The following is the list of parameters that modjy understands.
Note that the values of all modjy initialisation parameters are provided to the application in the WSGI environment, under keys named modjy.param.param-name
| Param-name | Value | Description | Default |
|---|---|---|---|
| python.home | A string giving the pathname to the local jython installation. | This is used to indicate to the jython interpreter embedded in modjy where to find the jython installation on the local machine. For more detail on why this property should be set, and how the value is used, see The Jython Registry. | None |
| python.* | A string giving a value for the relevant jython property. | Any parameter whose name begins with "python." is set in the java.util.Properties used to initialize the jython interpreter inside modjy. For example, values can be set for the following jython parameters: python.path, python.cachedir, etc. For more detail on the jython properties that can be set and what they mean, see The Jython Registry. | None |
| app_import_name | A string giving a name which can be imported to give an application callable | This parameter specifies the python importable name of a WSGI application, including a fully qualified package name. This can be used, for example, to import WSGI handlers from web frameworks. If you specify a name such as some_framework.web.handlers.WSHIHandler, then some_framework will be imported, web will be imported from some_framework, handlers will be import from web, and finally WSGIHandler will be imported from handlers. Being last in the path WSGIHandler will then be treated as the WSGI application callable. If a value is specified for this parameter, it will used in preference to the app_directory/app_filename/app_callable_name triplet mechanism described below. See the documentation for how modjy locates application callable objects for further details. | None |
| app_directory | A string giving a path to the directory where application source files are located. | You may wish to keep your application source files outside the modjy servlet/context directory. In that case, you should specify the name of the application directory with this parameter. If you do not specify a value for this parameter, it defaults to the servlet context root directory. If a value is provided for the app_import_name, described above, then this parameter will be ignored. | servlet context root |
| app_filename | A string giving the python filename which contains the callable. | This parameter can be used to change the filename which modjy uses to locate the file which contains the definition of the application callable. For example, this parameter could be set to '__wsgi_app__.py', in which case all application objects will need to be contained in files called '__wsgi_app__.py'. This process of locating callables is described under Locating the application callable. If a value is provided for the app_import_name, described above, then this parameter will be ignored. | application.py |
| app_callable_name | A string giving the name of python callable which is the WSGI application object. | This parameter tells modjy the name of the application callable object inside the application source file. For more information, see How modjy locates application callable objects. If a value is provided for the app_import_name, described above, then this parameter will be ignored. | handler |
| callable_query_name | A string giving the name of the query parameter from which the callable name for this request should be taken. | This parameter tells modjy to extract the name of the application callable object from a query parameter in the request URI. For more information, see How modjy locates application callable objects. If the value of this parameter is not changed from its default value of None, callable names will never be extracted from the request query string. Example: if the value of this parameter was set to python_object, then a request for a URI like this /index?python_object=my_callable will tell modjy to look for a callable named my_callable as the application callable. | None |
| cache_callables | 0 == no caching, 1 == cache callables | This parameter tells modjy whether or not it should cache any callables it creates. Caching of callable objects is described under How modjy locates application callable objects. | 1 |
| reload_on_mod | 0 == do not reload source, 1 == reload when source has been modified | This parameter tells modjy whether or not it should check to see if the python source file containing the application callable has been modified since the last time it was loaded. This is a useful flag for interactive development purposes. However, enabling the flag comes at a cost, which is that modjy must check the modification time of the application source file on every single request. When your application has been fully debugged and running in production, you will probably want to disable this flag. This flag has no effect when the 'cache_callables' parameter is false, i.e. caching is disabled, since a disabled cache means that application source is reloaded for every single request. | 0 |
| multithread | 0 == access to callables should be synchronized, 1 == application may be called more than once simultaneously from multiple threads. | This parameter has an identical meaning to the WSGI variable 'wsgi.multithread'. If your application object is not thread-safe, you should set this flag to zero, thus ensuring that the application will only ever be called from one thread at a time. This is achieved by exclusively locking and unlocking the application callable before and after each request, so that the application services only one request at a time. This could cause considerable slowdown in a situation where multiple simultaneous calls are received for the same application. | 1 |
| log_class | The name of the class which should be used for logging. | If you wish to write your own logger class, create a new class in modjy_log, and change the value of this configuration parameter to its name. | modjy_logger |
| initial_env | This parameter is used to set initial environment variables in the WSGI environment. | A single name value pair is set by separating the name and value with a colon i.e. :. Multiple name value pairs can be set by separating them with a semi-colon, i.e. ;. For example, if you wish to set the variable myAppString to STRING_VAL and myAppInteger to 42, then use the following value for this parameter: myAppString: STRING_VAL ; myAppInteger: 42. All names values are stored in the environment as strings. | info |
| log_level | debug, info, warn, error, fatal | The level of diagnostic output that should be logged. There is currently only one type of logger supported in modjy: the modjy_logger class. This class provides very basic logging functionality, sending all messages to the J2EE ServletContext.log method. | info |
| exc_handler | standard, testing | The name of the class which be used to handle exceptions that occur while running applications. The standard handler simply re-raises the exception to be caught by the servlet container. The testing handler is there for two reasons: 1. To provide debugging information in development and testing phases, and 2. To illustrate how to create customised exception handlers. | standard |
| packages | semicolon-separated list of java package names to be added. | See below under Using external java packages. | None |
| classdirs | semicolon-separated list of directories containing java packages and classes. | Adds each of the named directories to the list of places checked by jython for java packages and classes. | None |
| extdirs | semicolon-separated list of directories containing java packages and classes. | Forces jython to scan all .jar and .zip files in each of the named directories for java packages and classes. | None |
When using an external java package, it is not sufficient to simply add the package jar to the classpath. The name of the package must also be declared to jython. This can be done in one of two ways
import sys sys.add_package('org.apache.xerces') sys.add_package('org.apache.xalan').
If you don't believe the above, based on your experiences with the org.python.util.PyServlet class, take a look at the source for PyServlet.java: it explicitly adds the necessary javax.servlet packages.


UFC exec responds to bizarre question from Russian reporter: ‘No, we won’t have children fighting in the UFC’
by Lewis MckeeverOnly in Russia.
At Saturday’s UFC Fight Night 163 post-fight press conference in Moscow, UFC executive Dave Shaw was asked about the possibility of children — yes, you heard that right, children — fighting in the Octagon.
The reporter only felt it necessary to ask, given the UFC’s decision to add women to its roster after Dana White had previously shot down the idea in 2011 (because, you know, women and children fighting in the Octagon is totally the same thing).
Check out the video below.
“The UFC used to say they would never have women fighting. Now they have women fighting sometimes on the main cards. So will there ever be kids fighting in the UFC? Cause there are kids’ fights in other challenges,” the reporter asked (h/t BJPenn.com).
“Children fighting in the UFC? No, we won’t have children fighting in the UFC,” Shaw responded.
The UFC’s Fight Night event in Moscow this past Saturday saw top-five ranked featherweight contender Zabit Magomedsharipov cruise to a unanimous decision against No. 11-ranked Calvin Kattar. With the win, Magomedsharipov believes he should be next in line to fight the winner of Max Holloway vs. Alexander Volkanovski at UFC 245.


Click on a specific endpoint to see a list of functions contained. Click on a function name to see a list of parameters. Use 'Test' button to test API live. As the majority of function will require authentication, you may use login form at the bottom of this page to log in. This document was last updated on: [TIMESTAMP].
Toggle all


--- layout: page title: Lean Prover Zulip Chat Archive permalink: archive/113488general/46194implicitarguments.html ---
Is there any way to tell lean to show all the implicit arguments in an error message?
For example, sometimes when rewrite fails, I would want to know if there are different implicit args that caused the rewrite to fail
Or in a type mismatch error
Sometimes it shows all the implicit arguments sometimes it doesn't
set_option pp.all true
will show you everything... that might be too much though...
set_option pp.implicit true
before the declaration.
Aah, there you go.
Thanks
There are other pp
options that autocomplete should show you. all
is difficult to read.


What You’re Seeing:
This demo shows an example of a dense optical flow. It uses the Farnebäck’s algorithm to estimate the motion of every pixel in the image from frame to frame. Although motion is computed for every pixel, it’s only displayed every 16 pixels, both horizontally and vertically.
How It Works:
Farnebäck’s algorithm estimates the motion for subregions on several different scales. Then on a pixel level, it estimates the pixel’s motion within the region by attempting to minimize the value of a set of simultaneous equations.
What It’s Used For:
Optical flow is an important part of digital video compression. Video compressors can store much less data by indicating that subsequent frames of video can be produced by simply moving around regions from the preceding frame.
Try and Notice:
Move your hand or head around and watch the image the lines track the motion. Also notice how slowly the screen updates. Computing motion for every pixel on the screen is lots of work! See the Lucas-Kanade demo for another, faster approach to tracking the flow of motion.
Learn More:
Optical flow on Wikipedia
Credit:
Based on the OpenCV Farnebäck example.


What do you want to do?
Add a comp question
Add a link
Add world wide link
View links erd
view guide on links db


{% extends 'base.html' %} {% block content %}
What can you learn from the High Priestess this week?
This card represents yin energy, intuition, spiritual enlightenment, and wisdom.
Where do you need to apply this newfound wisdom in your life?
Anything lacking clarity at this moment?
If so, sit with self (meditate) with no distractions and listen.
Be open to divine guidance at all times.
Dream time is significant as well. Start keeping a journal if you haven't already.


| ZotWeb | paper-conference | |
| Src Url | [[Poltronieri]], [[Hanska]] (2019) | |
Artificial Intelligence (AI) and art share a common past, where artists employed AI algorithms to generate art. This paper explores the early days of AI-generated images, using Harold Cohen's AARON software as a paradigm of symbolic AI creative systems, and contextualizes the use of modern neural network technologies to create visual artworks. It discusses the methodologies and strategies used to make art using AI in the 1960s, comparing them to new AI algorithms. The discussion focuses on GOFAI (Good Old Fashioned Artificial Intelligence) and GANs (Generative Adversarial Networks) as the main technologies used in distinct historical periods to generate images. Vilém Flusser's conception of technical images provides a conceptual framework for examining the qualities and attributes of AI-generated images.
From GOFAI to GANs
Citer: (Poltronieri & Hänska, 2019)
FTag: Poltronieri-et-Hanska-2019
APA7: Poltronieri, F. A., & Hänska, M. (2019). Technical Images and Visual Art in the Era of Artificial Intelligence: From GOFAI to GANs. Proceedings of the 9th International Conference on Digital and Interactive Arts, 1–8. https://doi.org/10.1145/3359852.3359865
AI creative systems, and contextualizes the use of modern neural net work technologies to create visual artworks. It discusses the methodologies and strategies used to make art using AI in the 1960s, comparing them to new AI algorithms.
[[AIConcept]]
[[AIConcept]]
[...] the new NVIDIA Style Gan takes 41 days to train using the Flickr -Faces -HQ (FFHQ ) dataset — a high -quality 70k images dataset of human faces — at 1024x1024 resolution using one Tesla V100 GPU and six days to train the same dataset and resolution using eight Tesla V100 GPUs in paralle
[[AITraining]]
[1] Fabrizio Poltronieri, Alex H eilmair . 2013. Der Zufall und die Symmetriebrechung der synthetischen Bilder . In Michael Hanke, Steffi Winkler . Vom Begri ff zum Bild: Medienkultur nach Vilém Flusser , Tectum Wissenscha ft sverlag, Berlin .
[2] Fabrizio Poltronieri . 2018. Visual Th eogonies: Ch ance, control and automation in algorithmic art . Journal of Gaming & Virtual Worlds , 3 (Oct. 2018), 287 – 293. h tt ps://doi.org/ 10.1386/jgvw.10.3.287_3 . [3] Fabrizio Poltronieri . 2014. Communicology, appatatus, and Post - history:Vilém Flusser’s concepts applied to video game s and gami fi cation . In Mathias Fuchs et al . Rethinking Gami fi cation , meson press , Lüneburg .
[[ConceptLadderOfAbstraction]]
Figure 1:The Flusserian Ladder of Abstraction. Starting from the concrete world, there follows a negative sequence of abstraction where one reaches a peak, represented by dimensionless calculations that form the synthetic images.


Alleged fraud: I’ve never laundered money in my life —Air Peace boss, Onyema
by Maureen Ihua-MaduenyiMaureen Ihua-Maduenyi
The Chief Executive Officer of Air Peace, Mr. Allen Onyema, on Saturday, denied all the allegations of fraud levelled against him by the US.
In his reactions to the indictment of bank fraud and money laundering for moving more than $20m from Nigeria through United States bank accounts in a scheme allegedly involving false documents based on the purchase of airplanes, Onyema said that he had never laundered money in his life and every transfer made to the US for aircraft purchase had been done through the Central Bank of Nigeria LC regime.
He said, “I confirm to you that all allegations are false and are in no way in line with my character as a person and as a businessman whose only aim has been to build Nigeria and improve wellbeing.
“As the press statement clearly stated, these are indictments that only contain charges.
“I am innocent of all charges and the US government will find no dirt on me because I have never conducted business with any illegalities.”
“I never laundered money in my life, neither have I committed bank fraud anywhere in the world. Every Kobo I transferred to the US for aircraft purchase went through the Central Bank of Nigeria LC regime and all were used for the same purpose.
“The American companies that received the funds are still in business. I never took a penny from any US bank or Nigerian bank.
“I am willing to defend my innocence in the US courts,” Onyema said.
Onyema said his lawyers had taken over the case.


| new_function {rlang} | R Documentation |
This constructs a new function given its three components: list of arguments, body code and parent environment.
new_function(args, body, env = caller_env())
args |
A named list of default arguments. Note that if you
want arguments that don't have defaults, you'll need to use the
special function alist, e.g. |
body |
A language object representing the code inside the
function. Usually this will be most easily generated with
|
env |
The parent environment of the function, defaults to the
calling environment of |
f <- function(x) x + 3 g <- new_function(alist(x = ), quote(x + 3)) # The components of the functions are identical identical(formals(f), formals(g)) identical(body(f), body(g)) identical(environment(f), environment(g)) # But the functions are not identical because f has src code reference identical(f, g) attr(f, "srcref") <- NULL # Now they are: stopifnot(identical(f, g))


GKSU(1) User Commands GKSU(1) NAME gksu - GTK+ frontend for su and sudo SYNOPSIS gksu gksu [-u <user>] [options] <command> gksudo [-u <user>] [options] <command> DESCRIPTION This manual page documents briefly gksu and gksudo gksu is a frontend to su and gksudo is a frontend to sudo. Their primary purpose is to run graphical commands that need root without the need to run an X terminal emulator and using su directly. Notice that all the magic is done by the underlying library, libgksu. Also notice that the library will decide if it should use su or sudo as backend using the /apps/gksu/sudo-mode gconf key, if you call the gksu command. You can force the backend by using the gksudo command, or by using the --sudo-mode and --su-mode options. If no command is given, the gksu program will display a small window that allows you to type in a command to be run, and to select what user the program should be run as. The other options are disregarded, right now, in this mode. OPTIONS --debug, -d Print information on the screen that might be useful for diagnos‐ ing and/or solving problems. --user <user>, -u <user> Call <command> as the specified user. --disable-grab, -g Disable the "locking" of the keyboard, mouse, and focus done by the program when asking for password. --prompt, -P Ask the user if they want to have their keyboard and mouse grabbed before doing so. --preserve-env, -k Preserve the current environments, does not set $HOME nor $PATH, for example. --login, -l Make this a login shell. Beware this may cause problems with the Xauthority magic. Run xhost to allow the target user to open win‐ dows on your display! --description <description|file>, -D <description|file> Provide a descriptive name for the command to be used in the default message, making it nicer. You can also provide the abso‐ lute path for a .desktop file. The Name key for will be used in this case. --message <message>, -m <message> Replace the standard message shown to ask for password for the argument passed to the option. Only use this if --description does not suffice. --print-pass, -p Ask gksu to print the password to stdout, just like ssh-askpass. Useful to use in scripts with programs that accept receiving the password on stdin. --su-mode, -w Force gksu to use su(1) as its backend for running the programs. --sudo-mode, -S Force gksu to use sudo(1) as its backend for running the programs. SEE ALSO su(1), sudo(1) gksu version 2.0.x August 2006 GKSU(1)


C | |
| cmat [Owl_fft] | |
| color [Owl_plot] | |
D | |
| dsmat [Owl_plot] | |
| dsmat [Owl_regression] | |
| dsmat [Owl_linalg] | |
E | |
| elt [Owl_sparse_complex] | |
| elt [Owl_dense_complex] | |
| elt_array [Owl_types.Sparse_complex] | |
| elt_array [Owl_types.Sparse_real] | |
| elt_array [Owl_types.Dense_complex] | |
| elt_array [Owl_types.Dense_real] | |
H | |
| handle [Owl_plot] | |
I | |
| int_array [Owl_types.Sparse_complex] | |
| int_array [Owl_types.Sparse_real] | |
| int_array [Owl_types.Dense_complex] | |
| int_array [Owl_types.Dense_real] | |
L | |
| legend_position [Owl_plot] | |
M | |
| mat [Owl_dense_complex] | |
| mat [Owl_dense_real] |
Type of dense matrices.
|
| mat_struct [Owl_types.Dense_complex] |
structure definition for dense matrix, refer to gsl_matrix_double.h
|
| mat_struct [Owl_types.Dense_real] |
structure definition for dense matrix, refer to gsl_matrix_double.h
|
| mblk_struct [Owl_types.Dense_complex] | |
| mblk_struct [Owl_types.Dense_real] | |
P | |
| pp_el_default [Owl_pretty] |
Type of references for default printers of elements
|
| pp_el_ovec [Owl_pretty] |
Type of pretty-printers for OCaml-vectors
|
| pp_labeled_mat [Owl_pretty] |
Type of pretty-printers for labeled matrices
|
| pp_labeled_vec [Owl_pretty] |
Type of pretty-printers for labeled vectors
|
| pp_lmat [Owl_pretty] |
Type of pretty-printers for string labeled matrices
|
| pp_lvec [Owl_pretty] |
Type of pretty-printers for string labeled vectors
|
| pp_mat [Owl_pretty] |
Type of standard pretty-printers for matrices
|
| pp_omat [Owl_pretty] |
Type of pretty-printers for OCaml-matrices of a given element type
|
| pp_ovec [Owl_pretty] |
Type of pretty-printers for OCaml-vectors of a given element type
|
| pp_vec [Owl_pretty] |
Type of standard pretty-printers for column vectors
|
R | |
| rmat [Owl_fft] | |
S | |
| spmat [Owl_sparse_complex] | |
| spmat [Owl_sparse_real] |
Type of sparse matrices.
|
| spmat_record [Owl_types.Sparse_complex] |
record definition for sparse matrix
|
| spmat_record [Owl_types.Sparse_real] |
record definition for sparse matrix
|
| spmat_struct [Owl_types.Sparse_real] | |
T | |
| t [Owl_toplevel] | |
| t [Owl_pretty.Context] | |
| tail [Owl_stats] | |
V | |
| vec_record [Owl_types.Dense_complex] |
define the vector record
|
| vec_record [Owl_types.Dense_real] |
define the vector record
|
| vec_struct [Owl_types.Dense_complex] |
structure definition for vector, refer to gsl_vector_double.h
|
| vec_struct [Owl_types.Dense_real] |
structure definition for vector, refer to gsl_vector_double.h
|
| vector [Owl_regression] |


This is a little toy that takes the Amen Break and chops it up into slices of different lengths and offsets, playing the slices in random order at a certain bpm and running the whole thing through a filter. You can get very different beats just by adjusting these few settings.
Made with timbre.js and QuickSettings. Shout out to the Web Audio API. I have only tested this in desktop Chrome.


Choose a sedan for its
affordability and excellent
feul economy. Ideal for
cruising in the city or on
your next road trip.
Take an SUV for its spacious
interior, power, and
versatility. Perfect for your
next family vacation and
off-road advebtrures.
Cruise in the best car brands
whitout the bloated prices.
Enjoy the enhanced comfort
of a luxury rental and arrive
in style.


A lightweight and easy-to-use jQuery progress bar plugin that visualizes the percentage value by filling the background color of your favorite SVG image.


Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
Y
M
me
- Variable in class android.CSLite.
Home
media_player
- Static variable in class android.CSLite.
Radio
MessageReceiver
- Class in
android.CSLite
The Broadcast recevier that interprets text messages from the game.
MessageReceiver()
- Constructor for class android.CSLite.
MessageReceiver
mine
- Variable in class android.CSLite.
Game
Mine
- Class in
android.CSLite
A mine
Mine(String)
- Constructor for class android.CSLite.
Mine
Make a new mine
MINE_DAMAGE
- Static variable in class android.CSLite.
Home
MINE_ID
- Static variable in class android.CSLite.
Home
MINE_PROB
- Static variable in class android.CSLite.
Home
mines
- Static variable in class android.CSLite.
Game
mines
- Variable in class android.CSLite.
OptData
mines
- Variable in class android.CSLite.
Options
mortar
- Variable in class android.CSLite.
Game
MORTAR_BLAST_RADIUS
- Static variable in class android.CSLite.
Home
MORTAR_ID
- Static variable in class android.CSLite.
Home
MORTAR_MAX_DAMAGE
- Static variable in class android.CSLite.
Home
MORTAR_PROB
- Static variable in class android.CSLite.
Home
MORTAR_VELOCITY
- Static variable in class android.CSLite.
Home
mortars
- Variable in class android.CSLite.
OptData
mortars
- Variable in class android.CSLite.
Options
MOVE_OUT
- Static variable in class android.CSLite.
Radio
mr
- Variable in class android.CSLite.
Game
myLocationManager
- Variable in class android.CSLite.
Game
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
Y


Tetr.js Play Sprint Play Dig Race Controls Settings
Click on the control you want to change, then press any key.