edu.mit.csail.sdg.alloy4compiler.parser
Class CompSym
java.lang.Object
edu.mit.csail.sdg.alloy4compiler.parser.CompSym
public class CompSym
- extends java.lang.Object
CUP generated class containing symbol constants.
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
AT
public static final int AT
- See Also:
- Constant Field Values
AS
public static final int AS
- See Also:
- Constant Field Values
ANY_ARROW_SOME
public static final int ANY_ARROW_SOME
- See Also:
- Constant Field Values
GT
public static final int GT
- See Also:
- Constant Field Values
ARROW
public static final int ARROW
- See Also:
- Constant Field Values
NOTLTE
public static final int NOTLTE
- See Also:
- Constant Field Values
INTSUB
public static final int INTSUB
- See Also:
- Constant Field Values
ONE_ARROW_ANY
public static final int ONE_ARROW_ANY
- See Also:
- Constant Field Values
ONE2
public static final int ONE2
- See Also:
- Constant Field Values
ENUM
public static final int ENUM
- See Also:
- Constant Field Values
IDEN
public static final int IDEN
- See Also:
- Constant Field Values
SIG
public static final int SIG
- See Also:
- Constant Field Values
EXH
public static final int EXH
- See Also:
- Constant Field Values
INTMIN
public static final int INTMIN
- See Also:
- Constant Field Values
COMMA
public static final int COMMA
- See Also:
- Constant Field Values
SUM
public static final int SUM
- See Also:
- Constant Field Values
RBRACE
public static final int RBRACE
- See Also:
- Constant Field Values
RPAREN
public static final int RPAREN
- See Also:
- Constant Field Values
LONE_ARROW_LONE
public static final int LONE_ARROW_LONE
- See Also:
- Constant Field Values
RUN
public static final int RUN
- See Also:
- Constant Field Values
NOTGTE
public static final int NOTGTE
- See Also:
- Constant Field Values
ALL
public static final int ALL
- See Also:
- Constant Field Values
LT
public static final int LT
- See Also:
- Constant Field Values
INTMUL
public static final int INTMUL
- See Also:
- Constant Field Values
LBRACE
public static final int LBRACE
- See Also:
- Constant Field Values
SOME_ARROW_ANY
public static final int SOME_ARROW_ANY
- See Also:
- Constant Field Values
LPAREN
public static final int LPAREN
- See Also:
- Constant Field Values
SHR
public static final int SHR
- See Also:
- Constant Field Values
NOT
public static final int NOT
- See Also:
- Constant Field Values
TILDE
public static final int TILDE
- See Also:
- Constant Field Values
PART
public static final int PART
- See Also:
- Constant Field Values
SHL
public static final int SHL
- See Also:
- Constant Field Values
NOTEQUALS
public static final int NOTEQUALS
- See Also:
- Constant Field Values
STR
public static final int STR
- See Also:
- Constant Field Values
SHA
public static final int SHA
- See Also:
- Constant Field Values
LONE_ARROW_ONE
public static final int LONE_ARROW_ONE
- See Also:
- Constant Field Values
SOME_ARROW_LONE
public static final int SOME_ARROW_LONE
- See Also:
- Constant Field Values
INTADD
public static final int INTADD
- See Also:
- Constant Field Values
INTDIV
public static final int INTDIV
- See Also:
- Constant Field Values
INTMAX
public static final int INTMAX
- See Also:
- Constant Field Values
NUMBER
public static final int NUMBER
- See Also:
- Constant Field Values
ABSTRACT
public static final int ABSTRACT
- See Also:
- Constant Field Values
INTNEXT
public static final int INTNEXT
- See Also:
- Constant Field Values
SLASH
public static final int SLASH
- See Also:
- Constant Field Values
NO2
public static final int NO2
- See Also:
- Constant Field Values
TOTALORDER
public static final int TOTALORDER
- See Also:
- Constant Field Values
ONE_ARROW_LONE
public static final int ONE_ARROW_LONE
- See Also:
- Constant Field Values
NOTIN
public static final int NOTIN
- See Also:
- Constant Field Values
UNIV
public static final int UNIV
- See Also:
- Constant Field Values
PLUS
public static final int PLUS
- See Also:
- Constant Field Values
FACT
public static final int FACT
- See Also:
- Constant Field Values
LONE
public static final int LONE
- See Also:
- Constant Field Values
ONE
public static final int ONE
- See Also:
- Constant Field Values
MODULE
public static final int MODULE
- See Also:
- Constant Field Values
EXTENDS
public static final int EXTENDS
- See Also:
- Constant Field Values
DOMAIN
public static final int DOMAIN
- See Also:
- Constant Field Values
EXACTLY
public static final int EXACTLY
- See Also:
- Constant Field Values
NONE
public static final int NONE
- See Also:
- Constant Field Values
SOME2
public static final int SOME2
- See Also:
- Constant Field Values
FOR
public static final int FOR
- See Also:
- Constant Field Values
STAR
public static final int STAR
- See Also:
- Constant Field Values
LONE_ARROW_SOME
public static final int LONE_ARROW_SOME
- See Also:
- Constant Field Values
ELSE
public static final int ELSE
- See Also:
- Constant Field Values
FUN
public static final int FUN
- See Also:
- Constant Field Values
DOT
public static final int DOT
- See Also:
- Constant Field Values
AMPERSAND
public static final int AMPERSAND
- See Also:
- Constant Field Values
INT
public static final int INT
- See Also:
- Constant Field Values
LTE
public static final int LTE
- See Also:
- Constant Field Values
SIGINT
public static final int SIGINT
- See Also:
- Constant Field Values
DISJ
public static final int DISJ
- See Also:
- Constant Field Values
EOF
public static final int EOF
- See Also:
- Constant Field Values
THIS
public static final int THIS
- See Also:
- Constant Field Values
INTREM
public static final int INTREM
- See Also:
- Constant Field Values
ANY_ARROW_LONE
public static final int ANY_ARROW_LONE
- See Also:
- Constant Field Values
BUT
public static final int BUT
- See Also:
- Constant Field Values
LONE_ARROW_ANY
public static final int LONE_ARROW_ANY
- See Also:
- Constant Field Values
ALL2
public static final int ALL2
- See Also:
- Constant Field Values
MINUS
public static final int MINUS
- See Also:
- Constant Field Values
SOME_ARROW_SOME
public static final int SOME_ARROW_SOME
- See Also:
- Constant Field Values
SUM2
public static final int SUM2
- See Also:
- Constant Field Values
IN
public static final int IN
- See Also:
- Constant Field Values
OR
public static final int OR
- See Also:
- Constant Field Values
SET
public static final int SET
- See Also:
- Constant Field Values
error
public static final int error
- See Also:
- Constant Field Values
NOTGT
public static final int NOTGT
- See Also:
- Constant Field Values
SEQ
public static final int SEQ
- See Also:
- Constant Field Values
GTE
public static final int GTE
- See Also:
- Constant Field Values
ID
public static final int ID
- See Also:
- Constant Field Values
ONE_ARROW_SOME
public static final int ONE_ARROW_SOME
- See Also:
- Constant Field Values
ONE_ARROW_ONE
public static final int ONE_ARROW_ONE
- See Also:
- Constant Field Values
COLON
public static final int COLON
- See Also:
- Constant Field Values
CHECK
public static final int CHECK
- See Also:
- Constant Field Values
ASSERT
public static final int ASSERT
- See Also:
- Constant Field Values
SOME
public static final int SOME
- See Also:
- Constant Field Values
LONE2
public static final int LONE2
- See Also:
- Constant Field Values
RBRACKET
public static final int RBRACKET
- See Also:
- Constant Field Values
CARET
public static final int CARET
- See Also:
- Constant Field Values
EXPECT
public static final int EXPECT
- See Also:
- Constant Field Values
PLUSPLUS
public static final int PLUSPLUS
- See Also:
- Constant Field Values
STRING
public static final int STRING
- See Also:
- Constant Field Values
RANGE
public static final int RANGE
- See Also:
- Constant Field Values
NO
public static final int NO
- See Also:
- Constant Field Values
SOME_ARROW_ONE
public static final int SOME_ARROW_ONE
- See Also:
- Constant Field Values
AND
public static final int AND
- See Also:
- Constant Field Values
ANY_ARROW_ONE
public static final int ANY_ARROW_ONE
- See Also:
- Constant Field Values
PRIVATE
public static final int PRIVATE
- See Also:
- Constant Field Values
OPEN
public static final int OPEN
- See Also:
- Constant Field Values
BAR
public static final int BAR
- See Also:
- Constant Field Values
NOTLT
public static final int NOTLT
- See Also:
- Constant Field Values
IMPLIES
public static final int IMPLIES
- See Also:
- Constant Field Values
LBRACKET
public static final int LBRACKET
- See Also:
- Constant Field Values
PRED
public static final int PRED
- See Also:
- Constant Field Values
LET
public static final int LET
- See Also:
- Constant Field Values
IFF
public static final int IFF
- See Also:
- Constant Field Values
EQUALS
public static final int EQUALS
- See Also:
- Constant Field Values
HASH
public static final int HASH
- See Also:
- Constant Field Values
CompSym
public CompSym()


Discrete Calculus of Variations Derivation for Crowds
October 31, 2020
Setup here
An agents path through time, $t$ and space, $x = [x_1,x_2]$, denoted as space-time coordinates $q = [x_1,x_2, t]$, is represented by the curve $s$ . This curve is discretized by segments $e$. Each piece-wise constant rod segment encodes a scalar cost for the agent, which for now, is just kinetic energy, or $\frac{1}{2}mv^2$. The goal is to use CoV to find an optimal curve that maximizes total utility for the agent (minimizes kinetic energy over the path).
The discrete Lagrangian for each segment of the rod (just kinetic energy) can be written as
where $m$ is the mass, $x_i$ and $t_i$ are the spatial and time coordinates of the two ends of the piece-wise constant segment. For each segment we can interpolate $q(s) = q_0 + s (q_1 - q_0)$. So, individually for space and time,
and
So, after discretizing the curve, hamilton’s principle of least action can be written as
Discrete CoV requires that the variation for the optimal rod be 0, so
Boundary Conditions
After re-arranging and accounting for B.C.
Since, we don’t want to fix the endpoint of the curve in time (only in space), our boundary condition is a bit funny, $\delta t_{n} = unknown$, which means that $D_3 L(\Delta s, q_{n -1}, q_n) = 0$ wrt $t_n$.
So we get the regular boundary conditions $\delta q_0 = 0$ (since it is known), $\delta x_n = 0$ (since its known), and finally, since $\delta t_n = ?$,
which means that the agent should stop by $t_n$.
Minimizing the functional
Since variation $\delta S = 0$ at the optimal function, we know the gradients
are zero. This will need to be done component-wise, since $q = [x, t]$.
then
so
which means that the kinetically optimal path for the agent is to have constant velocity until it reaches the end position. Which makes sense.


{% extends "base.html" %} {% load i18n %} {% load static %} {% block Content %}
You must verify you phone number in settings in order to use it for MFA


DropboxApi
Library for communicating with Dropbox API v2.
Installation
Add this line to your application's Gemfile:
gem 'dropbox_api'
And then execute:
$ bundle
Or install it yourself as:
$ gem install dropbox_api
Documentation
Please, refer to this gem's custom Dropbox API documentation. Most of the time you'll be checking the available endpoints.
Unfortunately, the documentation at RubyDoc.info is disrecommended because it lacks some nice features that have been added with YARD plugins:
- Each endpoint includes its tests right below the description, this works as an example of its usage.
- All endpoints are shown as methods of the
Client
class, just as you will use them.
Basic set up
Authorize your application
Dropbox uses OAuth, in order to use this library from your application you'll have to get an authorization code.
Once you have it, just pass it on client initialization:
DropboxApi::Client.new("VofXAX8D...")
#=> #<DropboxApi::Client ...>
Or set it as an ENV variable called DROPBOX_OAUTH_BEARER
, for example:
ENV["DROPBOX_OAUTH_BEARER"] = "VofXAX8D..."
DropboxApi::Client.new
#=> #<DropboxApi::Client ...>
The official documentation on the process to get an authorization code is here, it describes the two options listed below.
Option A: Get your access token from the website
For a quick test, you can obtain an access token from the App Console in Dropbox's website. Select from My apps your application, you may need to create one if you haven't done so yet. Under your application settings, find section OAuth 2, there is a button to generate an access token.
Option B: OAuth2 Code Flow
This is typically what you will use in production, you can obtain an authorization code with a 3-step process:
# 1. Get an authorization URL.
authenticator = DropboxApi::Authenticator.new(CLIENT_ID, CLIENT_SECRET)
authenticator.auth_code. #=> "https://www.dropbox.com/..."
# 2. Log into Dropbox and authorize your app. You need to open the
# authorization URL in your browser.
# 3. Exchange the authorization code for a reusable access token (not visible
# to the user).
access_token = authenticator.auth_code.get_token(CODE) #=> #<OAuth2::AccessToken ...>`
access_token.token #=> "VofXAX8D..."
# Keep this token, you'll need it to initialize a `DropboxApi::Client` object:
client = DropboxApi::Client.new(access_token: access_token)
# For backwards compatibility, the following also works:
client = DropboxApi::Client.new(access_token.token)
Integration with Rails
If you have a Rails application, you might be interested in this setup guide.
Using refresh tokens
Access tokens are short-lived by default (as of September 30th, 2021), applications that require long-lived access to the API without additional interaction with the user should use refresh tokens.
The process is similar but a token refresh might seamlessly occur as you
perform API calls. When this happens you'll need to store the
new token hash if you want to continue using this session, you can use the
on_token_refreshed
callback to do this.
# 1. Get an authorization URL, requesting offline access type.
authenticator = DropboxApi::Authenticator.new(CLIENT_ID, CLIENT_SECRET)
authenticator.auth_code.(token_access_type: 'offline')
# 2. Log into Dropbox and authorize your app. You need to open the
# authorization URL in your browser.
# 3. Exchange the authorization code for a reusable access token
access_token = authenticator.auth_code.get_token(CODE) #=> #<OAuth2::AccessToken ...>`
# You can now use the access token to initialize a DropboxApi::Client, you
# should also provide a callback function to store the updated access token
# whenever it's refreshed.
client = DropboxApi::Client.new(
access_token: access_token,
on_token_refreshed: lambda { |new_token_hash|
# token_hash is a serializable Hash, something like this:
# {
# "uid"=>"440",
# "token_type"=>"bearer",
# "scope"=>"account_info.read account_info.write...",
# "account_id"=>"dbid:AABOLtA1rT6rRK4vajKZ...",
# :access_token=>"sl.A5Ez_CBsqJILhDawHlmXSoZEhLZ4nuLFVRs6AJ...",
# :refresh_token=>"iMg4Me_oKYUAAAAAAAAAAapQixCgwfXOxuubCuK_...",
# :expires_at=>1632948328
# }
SomewhereSafe.save(new_token_hash)
}
)
Once you've gone through the process above, you can skip the steps that require
user interaction in subsequent initializations of DropboxApi::Client
. For
example:
# 1. Initialize an authenticator
authenticator = DropboxApi::Authenticator.new(CLIENT_ID, CLIENT_SECRET)
# 2. Retrieve the token hash you previously stored somewhere safe, you can use
# it to build a new access token.
access_token = OAuth2::AccessToken.from_hash(authenticator, token_hash)
# 3. You now have an access token, so you can initialize a client like you
# would normally:
client = DropboxApi::Client.new(
access_token: access_token,
on_token_refreshed: lambda { |new_token_hash|
SomewhereSafe.save(new_token_hash)
}
)
Performing API calls
Once you've initialized a client, for example:
client = DropboxApi::Client.new("VofXAX8D...")
#=> #<DropboxApi::Client ...>
You can perform an API call like this:
result = client.list_folder "/sample_folder"
#=> #<DropboxApi::Results::ListFolderResult>
result.entries
#=> [#<DropboxApi::Metadata::Folder>, #<DropboxApi::Metadata::File>]
result.has_more?
#=> false
The instance of Client
we've initialized is the one you'll be using to
perform API calls. You can check the class' documentation to find
all available endpoints.
Large file uploads
If you need to upload files larger than 150MB the default #upload
endpoint
won't work. Instead, you need to start a upload session and upload
the file in small chunks.
To make this easier, the method upload_by_chunks
will handle this for you,
example:
client = DropboxApi::Client.new("VofXAX8D...")
#=> #<DropboxApi::Client ...>
File.open("large_file.avi") do |f|
client.upload_by_chunks "/remote_path.txt", f
end
Check out the method documentation to find out all available options.
Accessing Team Folders
In order to access your team scope you need to add the namespace_id to you request headers. This can be done using the middlewere layer as per the below:
client = DropboxApi::Client.new("VofXAX8D...")
#=> #<DropboxApi::Client ...>
client.namespace_id = client.get_current_account.root_info.root_namespace_id
client.list_folder('')
#=> Now returns the team folders
You could unset the namespace ID at any point afterwards with just:
client.namespace_id = nil
Dependencies
This gem depends on oauth2 and faraday.
It has official support for Ruby versions 2.x
.
Development
After checking out the repo, run bin/setup
to install dependencies. Then, run
bin/console
for an interactive prompt that will allow you to experiment.
Testing
I recommend you to use a test account other than your main one.
We use VCR to record the HTTP calls to Dropbox, however we sometimes need to
regenerate the cassettes. Let's take list_folder
as an example to show what
would be the procedure to do so:
Manually delete the existing cassettes in
spec/fixtures/vcr_cassettes/list_folder/*.yml
.Run the task to build the scaffolding in your Dropbox account so the tests will pass. If it doesn't exist you may need to write it yourself, check the
DropboxScaffoldBuilder
class to find all existing scaffold builders.DROPBOX_OAUTH_BEARER=YOUR_AUTH_BEARER rake test:build_scaffold[list_folder]
Note that you'll have to type
rake test:build_scaffold\[list_folder\]
if you usezsh
.You can build all available scaffolds with just
rake test:build_scaffold
.Run the tests and the cassettes will be written:
DROPBOX_OAUTH_BEARER=YOUR_AUTH_BEARER rspec spec/endpoints/files/list_folder_spec.rb
The OAuth bearer shouldn't have been recorded in the cassette and it should've been filtered. However, you may want to double check before pushing your updates to Github.
Tip: you can simply run export DROPBOX_OAUTH_BEARER=YOUR_AUTH_BEARER
at
the beginning of your work session so you don't need to prefix it in every
command line.
Contributing
Any help will be much appreciated. The easiest way to help is to implement one
or more of the endpoints that are still pending. To see how the
endpoints are implemented, check out the lib/dropbox_api/endpoints
folder.


TO_CHAR
TO_CHAR converts a time stamp or numeric expression to a character-string data format.
Syntax
TO_CHAR (timestamp_expression | numeric_expression , 'format')
Arguments
- timestamp_expression
-
An expression that results in a TIMESTAMP or TIMESTAMPTZ type value or a value that can implicitly be coerced to a time stamp.
- numeric_expression
-
An expression that results in a numeric data type value or a value that can implicitly be coerced to a numeric type. For more information, see Numeric Types. TO_CHAR inserts a space to the left of the numeral string.
Note
TO_CHAR does not support 128-bit DECIMAL values.
- format
-
The format for the new value. For valid formats, see Datetime Format Strings and Numeric Format Strings.
Return Type
VARCHAR
Examples
The following example converts each STARTTIME value in the EVENT table to a string that consists of hours, minutes, and seconds.
select to_char(starttime, 'HH12:MI:SS') from event where eventid between 1 and 5 order by eventid; to_char ---------- 02:30:00 08:00:00 02:30:00 02:30:00 07:00:00 (5 rows)
The following example converts an entire time stamp value into a different format.
select starttime, to_char(starttime, 'MON-DD-YYYY HH12:MIPM') from event where eventid=1; starttime | to_char ---------------------+--------------------- 2008-01-25 14:30:00 | JAN-25-2008 02:30PM (1 row)
The following example converts a time stamp literal to a character string.
select to_char(timestamp '2009-12-31 23:15:59','HH24:MI:SS'); to_char ---------- 23:15:59 (1 row)
The following example converts a number to a character string.
select to_char(-125.8, '999D99S'); to_char --------- 125.80- (1 row)
The following example subtracts the commission from the price paid in the sales table. The difference is then rounded up and converted to a roman numeral, shown in the to_char column:
select salesid, pricepaid, commission, (pricepaid - commission) as difference, to_char(pricepaid - commission, 'rn') from sales group by sales.pricepaid, sales.commission, salesid order by salesid limit 10; salesid | pricepaid | commission | difference | to_char ---------+-----------+------------+------------+----------------- 1 | 728.00 | 109.20 | 618.80 | dcxix 2 | 76.00 | 11.40 | 64.60 | lxv 3 | 350.00 | 52.50 | 297.50 | ccxcviii 4 | 175.00 | 26.25 | 148.75 | cxlix 5 | 154.00 | 23.10 | 130.90 | cxxxi 6 | 394.00 | 59.10 | 334.90 | cccxxxv 7 | 788.00 | 118.20 | 669.80 | dclxx 8 | 197.00 | 29.55 | 167.45 | clxvii 9 | 591.00 | 88.65 | 502.35 | dii 10 | 65.00 | 9.75 | 55.25 | lv (10 rows)
The following example adds the currency symbol to the difference values shown in the to_char column:
select salesid, pricepaid, commission, (pricepaid - commission) as difference, to_char(pricepaid - commission, 'l99999D99') from sales group by sales.pricepaid, sales.commission, salesid order by salesid limit 10; salesid | pricepaid | commission | difference | to_char --------+-----------+------------+------------+------------ 1 | 728.00 | 109.20 | 618.80 | $ 618.80 2 | 76.00 | 11.40 | 64.60 | $ 64.60 3 | 350.00 | 52.50 | 297.50 | $ 297.50 4 | 175.00 | 26.25 | 148.75 | $ 148.75 5 | 154.00 | 23.10 | 130.90 | $ 130.90 6 | 394.00 | 59.10 | 334.90 | $ 334.90 7 | 788.00 | 118.20 | 669.80 | $ 669.80 8 | 197.00 | 29.55 | 167.45 | $ 167.45 9 | 591.00 | 88.65 | 502.35 | $ 502.35 10 | 65.00 | 9.75 | 55.25 | $ 55.25 (10 rows)
The following example lists the century in which each sale was made.
select salesid, saletime, to_char(saletime, 'cc') from sales order by salesid limit 10; salesid | saletime | to_char ---------+---------------------+--------- 1 | 2008-02-18 02:36:48 | 21 2 | 2008-06-06 05:00:16 | 21 3 | 2008-06-06 08:26:17 | 21 4 | 2008-06-09 08:38:52 | 21 5 | 2008-08-31 09:17:02 | 21 6 | 2008-07-16 11:59:24 | 21 7 | 2008-06-26 12:56:06 | 21 8 | 2008-07-10 02:12:36 | 21 9 | 2008-07-22 02:23:17 | 21 10 | 2008-08-06 02:51:55 | 21 (10 rows)
The following example converts each STARTTIME value in the EVENT table to a string that consists of hours, minutes, seconds, and time zone.
select to_char(starttime, 'HH12:MI:SS TZ') from event where eventid between 1 and 5 order by eventid; to_char ---------- 02:30:00 UTC 08:00:00 UTC 02:30:00 UTC 02:30:00 UTC 07:00:00 UTC (5 rows) (10 rows)


Posted by Neil Seward on December 2, 2019
Posted by Neil Seward on September 15th, 2019
Posted by Neil Seward on August 15th, 2018
Posted by Neil Seward on December 2, 2018
Posted by Neil Seward on September 10, 2018
Posted by Neil Seward on November 15th, 2017
Posted by Neil Seward on March 13th, 2017
Posted by Neil Seward on November 8th, 2016
Posted by Neil Seward on November 2nd, 2016
Posted by Neil Seward on August 15th, 2016
Posted by Neil Seward on February 15th, 2016
Posted by Neil Seward on September 24, 2015
Posted by Neil Seward on March 1, 2015


|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
| Class Summary | |
|---|---|
| CompletedCategory | Describes a completed category. |
| CompletedCategory.Label | Human-readable label. |
| CompletedCategory.Scheme | Scheme (domain). |
| CompletedCategory.Term | Term. |
| DocumentEntry | Describes a document entry. |
| DocumentFeed | Describes a document feed. |
| DocumentSource | Describes a document source. |
| GlossariesElement | Describes a glossaries element. |
| GlossaryEntry | Describes a glossary entry. |
| GlossaryEntryLink | Describes a glossary entry link. |
| GlossaryEntryLink.Rel | Link relation type. |
| GlossaryFeed | Describes a glossary feed. |
| GttLink | Extends the base Link class with Gtt extensions. |
| GttNamespace | Namespace definitions related to Google Translator Toolkit API. |
| HiddenCategory | Describes a hidden category. |
| HiddenCategory.Label | Human-readable label. |
| HiddenCategory.Scheme | Scheme (domain). |
| HiddenCategory.Term | Term. |
| NumberOfSourceWords | Describes a number of source words. |
| PercentComplete | Describes a percent complete. |
| ScopeEntry | Describes a scope entry. |
| SourceLanguage | Describes a source language. |
| TargetLanguage | Describes a target language. |
| TmEntryLink | Describes a tm entry link. |
| TmEntryLink.Rel | Link relation type. |
| TmsElement | Describes a tms element. |
| TranslationComplete | Describes a translation complete. |
| TranslationMemoryEntry | Describes a translation memory entry. |
| TranslationMemoryFeed | Describes a translation memory feed. |
| Enum Summary | |
|---|---|
| DocumentSource.Type | Type. |
| ScopeEntry.Value | Value. |
|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |


I was wondering how much will be the speed difference between cp
command, rsync
and implementation in python
, go
, lua
and so wrote this code.
Background
python
has two versions one withgevent
and withoutgevent
. Both the version usesshutil
for copying files and directory tree.go
uses https://github.com/opesun/copyrecur for copying recursively.lua
useslfs - LuaFileSystem
module.lfs
has support for creating directory but not for files, in order to copy the files low level file opening and writing to file technique is used.rsync --progress -ah -R
was also added to the test.
Code
Directory chosen for the test has 28
repos which are basically python projects, go repos with git version control. Total size of the directory /Users/kracekumarramaraju/code
is 300M
(du -sh /Users/kracekumarramaraju/code) and destination is external disk which supports USB3.0
.
Python without gevent
import sys
import shutil
def cp(source, dest):
shutil.copytree(source, dest)
if __name__ == "__main__":
if len(sys.argv) != 3:
print("Help")
print("python cp.py source dest is the format")
sys.exit(1)
cp(sys.argv[1], sys.argv[2])
Python with gevent support
import sys
import os
import shutil
import gevent
def cp(source, dest):
shutil.copytree(source, dest)
def cpfile(source, dest):
shutil.copy2(source, dest)
if __name__ == "__main__":
if len(sys.argv) != 3:
print("Help")
print("python cp.py source dest is the format")
os.exit(1)
source, dest = sys.argv[1], sys.argv[2]
os.mkdir(dest)
tasks = []
for name in os.listdir(source):
source_path, dest_path = os.path.join(source, name), os.path.join(dest, name)
if os.path.isdir(source_path):
tasks.append(gevent.spawn(cp, source_path, dest_path))
else:
tasks.append(gevent.spawn(cpfile, source_path, dest_path))
gevent.joinall(tasks)
go
package main
import (
"fmt"
"github.com/opesun/copyrecur"
"log"
"os"
)
func cp(source, dest string) {
err := copyrecur.CopyDir(source, dest)
if err != nil {
log.Fatal(err)
} else {
log.Print("Files copied.")
}
}
func main() {
if len(os.Args) != 3 {
fmt.Println("Syntax: go run cp.go source destination")
os.Exit(1)
}
cp(os.Args[1], os.Args[2])
fmt.Println("cp.go completed")
}
lua
require "lfs"
function cp(source, dest)
-- body
for filename in lfs.dir(source) do
if filename ~= '.' and filename ~= '..' then
local source_path = source .. '/' .. filename
local attr = lfs.attributes(source_path)
--print(attr.mode, path)
if type(attr) == "table" and attr.mode == "directory" then
local dest_path = dest .. "/" .. filename
lfs.mkdir(dest_path)
cp(source_path, dest_path)
else
local f = io.open(source_path, "rb")
local content = f:read("*all")
f:close()
local w = io.open(dest .. "/" .. filename, "wb")
w:write(content)
w:close()
end
end
end
end
if #arg == 2 then
cp(arg[1], arg[2])
else
print("Syntax:")
print("lua lua.go source dest")
end
rsync --progress -ah -R
.
Plain cp
command.
Tests
Shell script to run the tests.
echo "source directory size"
du -sh /Users/kracekumarramaraju/code
echo "cp.py - Python without gevent"
time python cp.py /Users/kracekumarramaraju/code /Volumes/My\ Passport/test/1
du -sh /Volumes/My\ Passport/test/1
echo "cp-gevent.py - Python with gevent"
time python cp-gevent.py /Users/kracekumarramaraju/code /Volumes/My\ Passport/test/2
du -sh /Volumes/My\ Passport/test/2
echo "alias cp='rsync --progress -ah' - Rsync"
time cp -R /Users/kracekumarramaraju/code /Volumes/My\ Passport/test/3
du -sh /Volumes/My\ Passport/test/3
echo "Plain cp command"
time /bin/cp -R /Users/kracekumarramaraju/code /Volumes/My\ Passport/test/4
du -sh /Volumes/My\ Passport/test/4
echo "cp.go - cp in Go lang"
time go run cp.go /Users/kracekumarramaraju/code /Volumes/My\ Passport/test/5
du -sh /Volumes/My\ Passport/test/5
echo "cp.lua - cp in lua"
time lua cp.lua /Users/kracekumarramaraju/code /Volumes/My\ Passport/test/6
du -sh /Volumes/My\ Passport/test/6
Results
➜ cp-tests ./test.sh
source directory size
300M /Users/kracekumarramaraju/code
cp.py - Python without gevent
real 1m23.354s
user 0m1.818s
sys 0m5.032s
302M /Volumes/My Passport/test/1
cp-gevent.py - Python with gevent
real 1m24.212s
user 0m1.772s
sys 0m4.748s
302M /Volumes/My Passport/test/2
alias cp='rsync --progress -ah' - Rsync
real 1m21.145s
user 0m0.230s
sys 0m5.172s
302M /Volumes/My Passport/test/3
Plain cp command
real 1m24.065s
user 0m0.232s
sys 0m5.174s
302M /Volumes/My Passport/test/4
cp.go - cp in Go lang
2013/06/23 21:04:38 Files copied.
cp.go completed
real 1m27.786s
user 0m1.106s
sys 0m3.369s
302M /Volumes/My Passport/test/5
cp.lua - cp in lua
real 1m19.340s
user 0m1.905s
sys 0m3.893s
302M /Volumes/My Passport/test/6
Conclusion
- Surprisingly
lua
was fastest with1m19.340s
and next one wasrsync
with1m21.145s
. - Slowest one was
go
with1m27.786s
, I expected it to be faster thanpython gevent
. Probably extra time was due to compiling go code. Python
nongevent
version took1m23.354s
andgevent
version took1m24.212s
,gevent
version spent less time inuser
andsystem
space.cp
command took1m24.065s
, which was second slowest.- Since the test was basically I/O there ins’t much difference in speed of all versions.
Further work
- Benchmark 1GB single file transfer using
lua
andrsync
. - Add all features of cp command to any one of the implementation and bench mark.
See also
- Parameterize Python Tests
- “Don’t touch your face” - Neural Network will warn you
- Capture all browser HTTP[s] calls to load a web page
- How long do Python Postgres tools take to load data?
- Debugging Python multiprocessing program with strace
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.


By using this website you agree to my
Policy policy
Edazpotato
I write code and play games.
Follow my social medias please. Thanks.
Tweeter:
@Edazpotato
Discord:
Edaz#5671<PHONE_NUMBER>59584256)
Youtoobe:
Edazpotato


Write a program that calculates the arithmetic mean. The arithmetic mean is a sum of all numbers divided by their total count.
The input format:
Read an integer number n. This is a number of integer values you will receive on the next n lines.
Your program should compute the mean value of those n integers.
The output format:
Print the mean as a float number.


Change Alias
There is a problem that we need to fix. A wonderful serenity has taken possession of my entire soul, like these sweet mornings of spring which I enjoy with my whole heart.
Follow the steps to continue to payment.
This is a yellow callout.
This is a green callout.


Creates a manual snapshot of your stock positions as of today. The month and year are for storage
Exports your current stock positions into csv format
Import stock information from an external source
Updates stock prices manually


Describe your thoughts about the process of preparing the work.
Describe the work of modifying the code to accomplish design objectives. What variables or items did you update? How did you go about the process of experimenting? What resources did you use?
Describe the process of creating the work. How did you customize the work to your theme? What additional research or learning did you seek out to plan and develop the customized version of learned techniques?


How to use
Drag and drop. Connect the blue dots with lines.
Doubleclick to add the annotations.
Click on the text links in the "library" to add the icons to the "Icons" tab.
"Save" the JSON into local file. "Load" JSON from local file.
Also you can have the JSON on a server and you can "load" it from an URL, like
this.
About
This little hack is standing on the shoulders of giants:
The few kilobytes of glue code to make this working together written by Andrew Yourtchenko a while ago in a few evenings.
I've done this mainly because I wanted to try and see what happens and how it looks like.
There are still quite a few relatively cosmetic bugs, but I consider it working "good enough", so most probably won't fix them. If you find something and fix it, feel free to send me the diff to ayourtch [at] gmail, and I'll put it in.
I deliberately coded it in such a way that after the initial loading everything runs only on the client. In any case, if you prefer to be on the safe side, you can download the
tarball and run it locally.


Parliment Elections - Vote Shares
The graphical image tree map showing the vote share by each party in the elections Since Independence
Year : submit Search:


Places that I enjoy!
This is a page about my favorite places
Here is a list of my favorite places
Alaska
Alaska
Idaho
Disneyland


We are seeking a dedicated individual to help to aid in ...
Positions
This job is open for the following positions:- Scientific Software Developer
- Programmer
Salary and compensation will be based on prior work experience.
Background
Background or experience in at least one of the following areas is preferred:
- Data Science
- Data Engineering
- Computer Engineering
- Computer Science
- Applied Mathematics
- Physics
- Nuclear Engineering
- Mechanical Engineering
- Or similar
Expertise
Application Information
Status: This position is currently CLOSED.
Start Date: ASAP
Posting Date: July 1, 2015
Contact: Please send CV or resume to Prof. Scopatz at scopatzATcec.sc.edu.


PLATYPUS(1) BSD General Commands Manual PLATYPUS(1) NAME platypus -- create a macOS application bundle from a command line script. SYNOPSIS platypus [OPTIONS] scriptPath [destinationPath] DESCRIPTION platypus is the command line counterpart to the Platypus Mac application. It creates a macOS application bundle from a command line script. See http://sveinbjorn.org/platypus for details. platypus defaults to creating application bundles, but can also create Platypus profiles that are loadable by both the command line program and the Platypus application. If the scriptPath parameter is '-', script text is read from STDIN. The following option flags are supported (parsed in the order in which they are passed): -O, --generate-profile Create a profile document instead of creating an application bundle. When this option is enabled, the "destinationPath" paramater (i.e. the final argument to the program) should have a .platypus suffix. If the string '-' is provided as destination path, the profile prop- erty list XML will be dumped to STDOUT. -P, --load-profile profilePath Loads all settings from a Platypus profile document. It is still necessary to specify a destination path for the application. Subse- quent arguments can override profile settings. -a, --name appName Specifies the name of the application. This is can be different from the name of the .app bundle itself, and is displayed in the application's menus, "About" window and Info.plist property list. -o, --interface-type interfaceType Specifies the application's interface type, which should be one of the following: 'None' The application does not display any user interface except for Dock icon & menu. 'Progress Bar' The application displays a progress bar while run- ning. 'Text Window' The application displays a window with a text field with all script output. 'Web View' The application displays a window with a web view which renders script output as HTML. 'Status Menu' The application displays a status menu item in the menubar which runs the script and displays its output when clicked. 'Droplet' The application displays a droplet window for dropping files on for processing by the script. The default interface type is 'Text Window'. -i, --app-icon iconPath Specifies a file to use as the icon for the application bundle. The file must be an Apple .icns file. If not specified, the default Platypus app icon will be used. If specified, but left empty (''), no application icon will be set for the app. -Q, --document-icon iconPath Specifies a file to use as icon for the application's documents. Must be an Apple .icns file. -p, --interpreter interpreterPath Sets script interpreter (e.g. /usr/bin/python or /bin/sh). If the interpreter is not specified, the command line tool will try to guess the correct interpreter. If this fails, the default shell interpreter /bin/sh is used. -V, --app-version version Sets the application bundle's version. This is displayed in the Info.plist property list and About window. -u, --author authorName Sets the name of the application author (e.g. "Apple Computer" or "John Smith"). If not specified, this defaults to the current user's full user name. -f, --bundled-file filePath Specifies a file to be bundled with the application. The file will be copied over to the Resources folder of the application bundle, which is the same folder in which the script runs. Any number of files can be bundled in this way. -I, --bundle-identifier bundleIdentifier Sets the application's bundle identifier. An application identifier is a reverse DNS name (e.g. com.apple.iTunes) that uniquely identi- fies the application. If this option is left empty, it will default to an identifier of the format "org.username.appname" (e.g. org.sveinbjorn.Platypus). -A, --admin-privileges This flag makes the application request administrator privileges via Apple's Security Framework (i.e. prompt for a password) and then executes the script with those privileges. For details on the nature of these privileges, see the Apple documentation for the Authoriza- tionExecuteWithPrivileges() in Security.framework. This is not strictly equivalent to running as root. -D, --droppable Makes the application droppable, i.e. capable of receiving dragged and dropped files as arguments to the script. The application bun- dle's property list is modified so that it can receive dropped files in the Dock and Finder. These files are then passed on to the script as arguments. -F, --text-droppable Makes the application text droppable, i.e. makes it accept dragged text snippets, which are then passed to script via STDIN. -N, --service Makes the app register as a Dynamic Service accessible from the Ser- vices application submenu. -B, --background This option causes the application to run in the background so its icon will not appear in the Dock. This is done by registering the application with LaunchServices as a user interface element (LSUIElement). -R, --quit-after-execution This option makes the application quit once the script has been exe- cuted. -X, --suffixes suffixes Only relevant if the application accepts dropped files. This flag specifies the file suffixes (e.g. .txt, .wav) that the application can open. This should be a |-separated string (e.g. "txt|wav|jpg"). -T, --uniform-type-identifiers utis Only relevant if the application accepts dropped files. This flag specifies the Uniform Type Identifiers (UTIs) that the application can open. This should be a |-separated string (e.g. "pub- lic.item|public.folder"). Suffixes are ignored if this flag is used. -U, --uri-schemes schemes Set application as handler for URI schemes. These can be either standard URI schemes such as http or custom URI schemes of your choice. See documentation for details. Multiple items should be a |-separated string (e.g. "ftp|myscheme|someotherscheme"). -Z, --file-prompt Show an Open File dialog when the application launches. -G, --interpreter-args arguments Arguments for the script interpreter. These should be specified as a |-separated string (e.g. '-w|-s|-l'). -C, --script-args arguments Arguments for the script. These should be specified as a |-sepa- rated string (e.g. '-w|-s|-l'). -b, --text-background-color hexColor Set background color of text (e.g. #ffffff). -g, --text-foreground-color hexColor Set foreground color of text (e.g. #000000). -n, --text-font fontName Set font and font size for text view (e.g. 'Monaco 10'). -K, --status-item-kind kind For Status Menu interface type only. Set display kind for Status Menu interface type. This can be "Text" or "Icon". -Y, --status-item-title title For Status Menu interface type only. Set the display title for the status item in Status Menu interface type. -L, --status-item-icon imagePath For Status Menu interface type only. Set the icon image for the status item in Status Menu interface type. Must be an image file in one of the formats supported by the Cocoa APIs (e.g. PNG, JPEG, TIFF etc.) -c, --status-item-sysfont For Status Menu interface type only. Makes menu use system font instead of user-defined styling. -d, --symlink A symlink to the original script is created inside the application bundle instead of copying the script over. Symlinks are also created to any bundled files. -l, --optimize-nib Strip the bundled application nib file to reduce its size. Makes the nib uneditable. Only works if Apple's XCode is installed. -y, --overwrite Overwrite any pre-existing files or folders in destination path. -v, --version Print the version of this program -h, --help Print help and usage string Exits 0 on success, and >0 if an error occurs. FILES /usr/local/bin/platypus program binary /usr/local/share/platypus/ScriptExec executable binary /usr/local/share/platypus/MainMenu.nib nib file for app /usr/local/share/platypus/PlatypusDefault.icns default icon EXAMPLES platypus -P myProfile.platypus ~/Desktop/MyApplication.app platypus -o 'Text Window' script.pl PerlScript.app platypus -a 'My App' -p /usr/bin/python myPythonScript.py platypus -D -a MyDroplet -o 'Droplet' ~/droplet.sh AUTHORS Sveinbjorn Thordarson<EMAIL_ADDRESS>Darwin November 25, 2018 Darwin


Overview
Tic Tac Toe
Change Profile Picture
Change Profile Name
Change Password
Log Out
Cancel
Profile Picture
Capture
Set
Capture
Upload
Cancel
Change Password
OK
Incorrect current password
Cancel
Profile Name
OK
Incorrect current password
Cancel
© Veličković Đorđe


Online Quiz Competition
"Learning gives creativity, creativity leads to thinking, thinking provides knowledge, knowledge makes us great ...."
Quiz competitions are always interesting and informative, which provide excitment among the students.
E-Cell successfully conducted an online Quiz Competition on 2nd and 5th June 2020 on topics "Brands" and "Mythology" for creating awareness.
The quiz was designed to test the knowledge of the participants beyond academics.
To provide useful information about brands.
To spread awareness and motivate youth in this lockdown period.
To enhance their critical thinking skills.
Resource Person/Any Other Contributory Organization
Dr. Achala Jain (Co-ordinator Ecell SSTC)
Innovation In Isolation
The year 2020 witnessed a prolonged lockdown and in this due course of time from assignments to classes everything went online. E-Cell too used the online platform to conduct an event "Innovation in Isolation" in this period to engage students in innovation and make this time quite fun for them. The event was organised in four categories being "Cooking", "Art and Craft", "Photography" and "Project Presentation". There were numerous participants each of them presenting something very different and out of the box.
Resource Person/Any Other Contributory Organization
Dr. Achala Jain (Co-ordinator Ecell SSTC)
Aarambh Series
It is a series of interviews with the successful entrepreneurs of chhattisgarh exploring their entrepreneurial journey and their struggles. Our first story is about "NUKKAD : THE TEA CAFE", a place that is known for it's unique style of service and hospitality. The founder and chairperson Mr Priyank Patel had a vision to give an identity to specially abled people of our society which he achieved by years of struggle, hardwork and determination. The objective of this series is to motivate fellow aspiring entrepreneurs so that their will to create an impact in the society through their innovation becomes stronger.
Resource Person/Any Other Contributory Organization
Dr. Achala Jain (Co-ordinator Ecell SSTC)
Speech Competition
Lorem ipsum dolor sit amet consectetur adipisicing elit. Aspernatur, dolore?
Resource Person/Any Other Contributory Organization
Mr Arvind Mishra (Branch Manager BOM, Junwani)
Entrepreneurship Bootcamp
E-Cell organised its first bootcamp in 16th & 17th Oct 2019, the motto of which was to give students an insight into the entrepreneurial ecosystem. Events organised in bootcamp : Case-studies, E-Quiz, One $ venture Case Studies : Our eminent speakers who've their own well stablished start-ups told about their journey and how they coped up with all the challenges they faced along the way. One $ Venture : A contest where in a team had to start their own venture with an investment of a $1 provided by the E-Cell. E-Quiz : An entrepreneurship quiz to check how much the students are aware about the entrepreneurial environment.
Resource Person/Any Other Contributory Organization
Mr Satyam Khandelwaal (Co-founder Buddy4study)
Mr Pranjal Kamra (CE0,FINOLOGY)
Mr Harsh Jain (CEO,EXOSOLAR)
Mr Mohit Sahu (CEO,Blue Banyan technologies)
Ms Rashi Poddar (Co-founder,YOURWHEELER)
Dr. Achala jain (Co-ordinator Ecell SSTC)
What's My Story
This is an interactive session in which the very talented young entrepreneurs share their
experiences with us and tell about all their journey that what it really takes to start and build a
company. Hear u came to know the experiences of real-life entrepreneurs and find out what it
really takes to start and build a company through What’s My Story sessions. You meet them, talk
to them, and explore the unique world of entrepreneurs through their eyes. And, don’t be
surprised if this sparks your emotions and strikes a chord or two in you.
Objectives of a What’s My Story session :-
- Increase awareness of entrepreneurship on campus.
- Inspire and motivate E-cell members to become entrepreneurs.
- Make entrepreneurship relevant and accessible through story telling in an informal space such as the E-cell.
Resource Person/Any Other Contributory Organization
Mr Harsh Jain (CEO,EXOSOLAR)
Workshop on Graphic Designing
E-Cell SSTC organized a workshop on “Graphic Designing” on 14 September 2019 at the
college premises .The objective of the workshop was to give a brief introduction to graphic
designing using Photoshop. Graphic designing is becoming increasingly important in the sales
and marketing of products. Therefore, graphic designers, also referred to as communication
designers, often work closely with people in advertising and promotions, public relations, and
marketing.
E-Cell member enthusiastically participated in the workshop .It was a complete hands-on
session of 3 hours duration with no registration fee. The feedback received from the members
was overwhelming.
Resource Person/Any Other Contributory Organization
Mr Yawan Sahu (Freelance Graphic Designer)
Mr Parth Mishra (Freelance Graphic Designer)
Entrepreneurship Awareness Drive
The event was an awareness drive cum membership drive organized by E-Cell SSTC at the
college premises to create awareness among students of Engineering and Science courses about
various facets of entrepreneurship as an alternative career option and also to highlight the merits
of pursuing such an option.
Students were also given the information about the Entrepreneurship Cell of SSTC ,which is a
club that promotes the business ideas, arrange the necessary aid and act as a bridge to get the
funding from the various agencies. E-Cell SSTC also organizes the various entrepreneurial and
personality development activities with in the campus.
Resource Person/Any Other Contributory Organization
Dr. Achala Jain (Co-ordinator Ecell SSTC)
Awareness drive on Oil and Gas Start-up initiative
On 31 st march 2019 E-CELL SSTC Bhilai organized anawareness drive On “Oil And Gas Start up
initiative “.The event was sponsored by KIIT Technology Business Incubator (KIIT-TBI).
KIIT TBI (Technical Business Incubator, Bhubaneswar) is a well-recognised scientific and
industrial research organization by DSIR and one of the leading and prominent incubator cells of
nation. In order to promote entrepreneurship and to boost innovation KIIT TBI being the
implementing partner along with renowned Oil and Gas Public Sector Undertakings (PSUs) is
providing a holistic platform to the budding entrepreneurs and innovative brains. It is providing a
common portal for short listing of start-ups for funding (Rs. 5-100Cr to individual start-ups) by Oil
and Gas PSUs to engage in incubation support/consultancy services.
Resource Person/Any Other Contributory Organization
Ms Surekha Rautre (KIIT-Bhubneshwar)
Tech Fair
E-Cell organised "Tech Fair" - an exhibition for innovative ideas on 13th March 2019. The Tech Fair was Organised to expose student's science and technology, innovation to industries and to open up prospects of transforming these ideas into startups. The main objective of the fair was to scale up ideas from students and analyse their potential. The fair considered of a number of exhibits. The models displayed in the event are as follows:-
- High Voltage frequency coil (Tesla Coil)
- Dual Channel Transmission Circuit
- Engine Transmission Block
- 3D Printer
- Fire Extinguisher Arduino Robot
Resource Person/Any Other Contributory Organization
Dr. Achala Jain (Co-ordinator Ecell SSTC)
Visit to 36 Inc
On 11 march 2019 E-Cell SSTC organized a trip to 36-Inc Raipur,Chhattisgarh. 36Inc, as a
business Incubator and Accelerator ,welcomes any start-up aspiring to develop their ideas and
turn into reality or desired to scale an existing business.36Inc as a business incubator and
accelerator help start-ups and already existing companies to develop by providing services such
as fund support, management, mentorship, co-working space, technological assistance or
everything that is required for a business to grow.
The objective of the trip was to make the student aware of the various facilities offered by 36-Inc
to the budding start-ups and to give them a chance to interact with the already established start-
ups under the aegis of 36-Inc.
Resource Person/Any Other Contributory Organization
Mr Saurabh Choubey (Manager ,36Inc)
Entrepreneurship Development Program
On 21 st January 2019 E-Cell SSTC Bhilai organized a workshop on “Entrepreneurship
Development Programme”. The workshop was sponsored by CSVTU Bhilai under TEQIP-III.
Entrepreneurship Development Programme (EDP) is a programme which helps in developing the
entrepreneurial abilities. The skills, that are required to run a business successfully, is developed
among the people through this programme. Sometimes, people may have skills but it requires
polishing and incubation. This programme is perfect for them.
Objective
The objective of this programme was to motivate an individual to choose the entrepreneurship as
a career and to prepare the person to exploit the market opportunities for own business
successfully.
Resource Person/Any Other Contributory Organization
Dr. Rajeev Roy (CEO ,36 Inc)
Mr. Rajiv Nair (Dy-incharge MSME Raipur)
Dr. R N Patel(Professor, NIT Raipur)
Mr. Saurabh Choubey(Senior executive, 36 INC)
Entrepreneurship Awareness Drive
The event was an awareness drive cum membership drive organized by E-Cell SSTC at the
college premises to create awareness among students of Engineering and Science courses about
various facets of entrepreneurship as an alternative career option and also to highlight the merits
of pursuing such an option.
Students were also given the information about the Entrepreneurship Cell of SSTC ,which is a
club that promotes the business ideas, arrange the necessary aid and act as a bridge to get the
funding from the various agencies. E-Cell SSTC also organizes the various entrepreneurial and
personality development activities with in the campus.
Resource Person/Any Other Contributory Organization
Dr. Achala Jain (Co-ordinator Ecell SSTC)
One Dollar Venture
This was a fun event in which participants had to Craft a product or service under a specified
budget and had to create profit out of it. This event gave them a chance to be an entrepreneur for
a day and enhance the marketing and strategic abilities.
Objective :-
1. This is a way to experience the rush and thrill for a short span of time .
2. candidate have an opportunity to became an entrepreneur for a few hours and set up our
very first venture.
How it works:-
1. Candidate use a small initial investment to turn them into entrepreneurs!
2. Candidate have only 3 hours to form and run their venture!
3. This is a team activity. You can form teams with your friends; but remember you need to
work well with them.
Resource Person/Any other contributory organization
Mr Harshdeep Singh Gumber
Ms Namrata Jain (Founder,Aculegal Services,Raipur)
What's My Story
This is an interactive session in which the very talented young entrepreneurs share their
experiences with us and tell about all their journey that what it really takes to start and build a
company. Hear u came to know the experiences of real-life entrepreneurs and find out what it
really takes to start and build a company through What’s My Story sessions. You meet them, talk
to them, and explore the unique world of entrepreneurs through their eyes. And, don’t be
surprised if this sparks your emotions and strikes a chord or two in you.
Objectives of a What’s My Story session :-
- Increase awareness of entrepreneurship on campus.
- Inspire and motivate E-cell members to become entrepreneurs.
- Make entrepreneurship relevant and accessible through story telling in an informal space such as the E-cell.
Resource Person/Any other contributory organization
Mr Mohit Sahu(CEO,Blue Banyan Technologies)
Disrupt
Lorem ipsum dolor sit amet consectetur adipisicing elit. Aspernatur, dolore?
Resource Person/Any other contributory organization
Mr Amit Singh (Manager,Wadhwani Foundation- Central region)
Workshop on 3D Printing
Lorem ipsum dolor sit amet consectetur adipisicing elit. Aspernatur, dolore?
Resource Person/Any other contributory organization
Mr Abhishek Singh, CEO ,TECH B,Bhilai (Manufacturer of 3D printers)
Think Out of the Box
Lorem ipsum dolor sit amet consectetur adipisicing elit. Aspernatur, dolore?
Resource Person/Any other contributory organization
Mr Amit Singh (Manager,Wadhwani Foundation- Central region)


{{ partial "head.html" . }}
{{ partial "header.html" . }}Cryptocurrencies are complicated, and NavCoin’s community roadmap is aimed at changing that. As a community, we are laying the foundation for NavCoin to be an industry-leading cryptocurrency by building better money.
The Core Roadmap only showcases protocol related projects which are just the tip of the iceberg when it comes to the NavCoin eco-system. To check out what has been or is being built ontop of the NavCoin protocol, head on over to NavHub and check out the community projects and roadmap there.
Go to NavHub


Same Game
Try to empty the playing area completely, by removing connected groups of two or more squares of the same colour. Then try to score as much as possible, by removing large groups at a time instead of small ones.
Click on a coloured square to highlight the rest of its connected group. The status line will print the number of squares selected, and the score you would gain by removing them. Click again to remove the group; other squares will fall down to fill the space, and if you empty a whole column then the other columns will move up. You cannot remove a single isolated square: try to avoid dead-end positions where all remaining squares are isolated.


Charting Demo Info¶ ↑
This Ruby script run.rb
is a static site
generator. It data mines or text mines a folder of XML Schema files as well
as the MIT License (only for the d3pie charts) and generates statistics on
elements and attributes (the XML Schema) or on words (the License).
The config file: config.xml
stores most of
the websites configuration information and can be easily customized.
A fancy feature is the ability to switch between using all d3pie, Google
Charts, Chart.js or plotly.js based pie charts just by changing the config
entry chart_type
to one of
d3pie
, google
,
chartjs
or
plotly
.
The site config entry chart_type
can be set
to all
which displays all chart types, each
chart type on its own page.
The home page has a selection of both d3pie JavaScript charts and some PNG charts created from using the Python packages Seaborn and Matplotlib.
For all four styles of pie charts we have both
Donut
and Pie
style charts.
The advantage of the d3pie chart is its interactive clickable pie charts pieces.
The advantage of the Google Chart pie chart is its in built ability to create a chart legend.
The advantage of the Chart.js pie chart is its interactive clickable legend.
The plotly.js pie charts are by far the most interactive out of the box.
Even the README.md file is created from the
config.xml
config file.
Demo can be seen here: thebeast.me/charts/


Home
Login
Contact Us
Reservation
About
NOTICE: Per night charge Adults=$60 and Children(under 10)=$30
First name
*
Last name
*
Phone
*
Email
*
Arrival date
*
Departure date
*
Number of adults
*
Number of children
Questions / Comments


Give us a chance to prove we are the best dental practice for you and your family.
We will do our best to match any price you may have received from another dentist.
We will gladly provide a second opinion, call our office to setup a consultation.
We promise to match all reasonable offers!


B.S. in Christian Ministries
I love school and so enjoyed getting my Bachelors degree from an awesome school like liberty.
I'm a husband, Dad, follower of Jesus and a passionate coder. I love making things that have never existed and making them look awesome and fun to use.
Learn moreA blog site built using React and Gatsby Deployed with Netlify. Full SEO optimized and has built in search through Angolia. Also, enabled with Facebook comments.
Check it outA webpage for Reconciled Products LLC a plastics brokerage. Built in JS hosted by Netlify
Check it outI am currently working on a React Native app called Devout. Devout will have several features such as reminders for prayers, fasting, scripture memorization and others. It is still in development. I am working towards finishing in the next month and it being available for download for both iOS and Android.
I am always building something or learning something new. Have a look around
I love school and so enjoyed getting my Bachelors degree from an awesome school like liberty.
A family game night scoreboard built using React. Includes such features as leaderboard, game timer, totalpoints and adding and removing players. Hosted on Heroku. Source code on GitHub
Check it outA fun game I built for my kids. It is Basically Whack-A-Mole with SpongeBob. Built in Javascript.
Check it outA classic web app for searching words in the ESV Bible. Built using Vanilla JavaScript and accessing the ESV API. Hosted on Heroku and source code on GitHub.
Check it out


Educator saves caged puppy from drowning in Illinois lake
CHAMPAIGN, Ill. (AP) - An educator has rescued a caged puppy from drowning in a chilly central Illinois lake.
Bryant Fritz was preparing to fish Saturday in Champaign when he found a black and white puppy submerged in rising water and trapped inside of a dog crate in Kaufman Lake. Fritz says he waded into waist-high, freezing water before reaching the cage.
The middle school science teacher at Next Generation School in Champaign told The News-Gazette on Sunday that he pulled the dog from the water and dragged the crate to the shore. Fritz noted seeing blood and missing skin from her paws.
University of Illinois spokeswoman Chris Beuoy says the puppy has been treated for hypothermia and it’s unclear whether her wounds would require additional treatment.
Information from: The News-Gazette, http://www.news-gazette.com
Sign up for Daily Newsletters
Copyright © 2019 The Washington Times, LLC.
Please read our comment policy before commenting.


--- layout: post status: publish published: true title: Podcast 4.44 - "2012 Had Speed Bumps and Volstads" author: display_name: Corey Fineran login: Corey email<EMAIL_ADDRESS>url: '' author_login: Corey author_email<EMAIL_ADDRESS>wordpress_id: 7971 wordpress_url: http://ivyenvy.com/?p=7971 date: '2012-11-20 21:54:18 +0000' date_gmt: '2012-11-21 03:54:18 +0000' categories: - Starting Pitching - Podcast - Free Agency tags: - Scott Baker - Matt Garza - Zach Putnam - Dioner Navarro - Shawn Camp comments: [] ---
Andy, Corey and Kurt discuss the moves that the Cubs have made so far this off-season, some of which went down this evening. Matt Garza is cleared to resume workouts and we contemplate if he or Samardzija is the #1 starter for the Cubs in 2013.
We each have an entry for the Cubs.com Internet Muscle Flex of the Week and pick a winner for this week's photo caption contest.


Guidance
What children’s settings will need to register, and how Ofsted and the Care Quality Commission (CQC) will manage this registration process.
MS Word Document , 487KB
If you use assistive technology (such as a screen reader) and need a version of this document in a more accessible format, please email<EMAIL_ADDRESS>. Please tell us what format you need. It will help us if you say what assistive technology you use.
PDF , 93.9KB , 21 pages
If you use assistive technology (such as a screen reader) and need a version of this document in a more accessible format, please email<EMAIL_ADDRESS>. Please tell us what format you need. It will help us if you say what assistive technology you use.
This document is agreed joint guidance between Ofsted and the CQC about the registration of children’s settings under the Care Standards Act 2000 and the Health and Social Care Act 2008, including children’s homes that provide health activities. It clarifies what children’s settings will need to register and how Ofsted and CQC will manage this registration process.


{% extends "events/base.html" %} {% block title %}Code Jam 1: Snakes{% endblock %} {% block breadcrumb %}
The theme of the code jam was snakes Participants were assigned a random partner, and used Git to submit code to us. Staff members reviewed the code both during and after the code jam, and provided suggestions for changes and improvements. The best submissions were implemented into our community bot. Winners recieved a special Code Jam Champion title.
Here is the original task description which was posted on the code-jam-1 GitHub repo:
For this code jam, your task will be to create a Snake cog for a Discord.py rewrite bot. You can find the documentation for Discord.py rewrite here. The best cog commands will be added to the official Python Discord bot and made available to everyone on the server. The overall best cog will be awarded custom Code Jam Champion roles, but the best commands from the teams who did not win will also be added to our bot, and any users who write something that ends up in the bot will be awarded Contributor roles on the server.
Your initial task will be to write
get_snek()
. This is the minimum requirement for this contest, and everyone must do it.get_snek()
should be a method that goes online and fetches information about a snake. If you run it without providing an argument, it should fetch information about a random snake, including the name of the snake, a picture of the snake, and various information about it. Is it venomous? Where can it be found? What information you choose to get is up to you.
get_snek()
should also take an optional argument name, which should be a string that represents the name of a snake. For example, the callget_snek('cobra')
should get information about a cobra. name should be case insensitive.If
get_snek('Python')
is called, the method should instead return information about the programming language, but making sure to return the same type of information as for all the other snakes. Fill in this information in any way you want, try to have some fun with it.Once you have finished
get_snek()
, you should make at least two bot commands. The first command,get()
, should simply callget_snek()
with whatever arguments the user provided, and then make a nice embed that it returns to Discord. For example, if the user in the Discord channel says bot.snakes.get('anaconda'), the bot should post an embed that shows a picture of an anaconda and some information about the snake.The second command is entirely up to you. You can choose to use
get_snek
for this command as well, or you can come up with something entirely different. The only requirement is that it is snake related in some way or other. Here is your chance to be creative. It is these commands that will win or lose you this code jam. The best original ideas for these commands will walk away with the victory.
The Winning Team: Team 23, kel and Momo!
These two experts worked together to create what can only be described as a flawless submission. The staff were unable to find a single thing to complain about in the 1100 lines that were committed. Here are some of the features they created for their snake cog:
These features, as well as the best ones from the other teams,
have been implemented into our community bot. Use .snakes
in #sir-lancebot-commands
to play with it.


Appeal after thugs raid Handsworth home and escape with Audi A4 - and 47 inch TV
Police have appealed for help to trace these men after the late-night burglary
by Charlotte Paxton, https://www.facebook.com/charlottepaxtonbm/Thugs raided a city house in the early hours of Halloween - and escaped with a widescreen telly and pricey car.
Now police have appealed for help to trace these men, who were caught on a Ring doorbell CCTV camera.
The burglary happened on Windermere Road, Handsworth , at 4.30am on October 31.
A gang forced entry to the house, before making off with a 47" Panasonic TV and An Audi A4.
CCTV stills show a number of people who police are keen to find, but officers say it is unclear exactly how many men were involved.
The crystal clear images show various men, some with their hoods up and faces covered.
Some of the men left in a getaway car, while other members of the gang fled on foot.
In an appeal, West Midlands Police wrote: "Do you know who any of these men are?
"We are investigating a burglary on Windermere Road in the Handsworth area of Birmingham, at around 4:30am on Thursday, October 31.
"We want to speak to them after they were captured on a doorbell CCTV camera.
"The group forced entry to a house and made off with a 47" Panasonic TV and an Audi A4 car.
"It is unclear how many men were involved, but some of them left in a getaway car and some ran down the road.
"Enquiries continue and anyone with information is asked to contact us via Live Chat at www.west-midlands.police.uk between 8am and midnight, or call 101 anytime.
"To remain anonymous, call Crimestoppers on 0800 555 111. Quote crime reference 20BW/257133R/19."


In-person college classes, K-12 public schools, special events, such as Ohio University’s spring 2020 commencement, bars, tattoo parlors and sit-in dining services have all been temporarily halted as precautionary measures — for what looks to be indefinitely. And, notably, festgoers for spring 2020 will not be permitted to gather.
The novel coronavirus, once a horrific disease with headlines about the other side of the world, is now close to home. As of March 18, Ohio has 88 confirmed cases of the virus across the state — a number that grows each day.
Death of fests
Fest season was set to begin the weekend of March 21. The annual spring party season usually kicks off with Mill Fest. Following more and more news saturated with COVID-19, some students also had apparently organized an impromptu-fest called CoronaFest and created a GroupMe chat with over 2,000 members.
But Brick Life Entertainment, a promotion party group, pulled out of both Corona Fest and Mill Fest, Caity Stegmaier, a DJ with Brick Life, said. Brick Life is known throughout Athens for its social media presence, partying and DJ promotion. Brick Life events can be found almost every week Uptown.
It was a difficult choice for Brick Life to make, Stegmaier said.
“Most (of us at Brick Life) are seniors,” Stegmaier, a senior studying music production, said. “It was tough because (since) last week so much has changed. People have come to us and been in support or not. Even though it’s not completely up to us, it seems like people think we run it all.”
Brick Life made the decision to pull out to guard its name, Stegamaier said. Though embedded in OU’s party culture, Brick Life does not have total control in situations such as these.
Stegmaier also said Brick Life was concerned over partygoers’ safety, both in their health and in partying itself.
“(With the) cap on 100 (people), we didn't know what the Athens Police Department would do (to bust up parties),” she said. “We want to make sure students are still healthy. We want younger students to still be OK.”
Stegmaier said other fests may be possible down the road, pending the state of the pandemic at later times.
Bar halt
Making the adjustment to carryout service only hasn’t been easy for Jackie O’s Brewpub and Public House Restaurant, Michelle Oestrike, vice president of Jackie O’s, said in an email. Jackie O’s has temporarily laid off over half of its staff during one of the busiest times of year for Athens
Both Jackie O’s Brewpub, 22 W. Union St., and Taproom, 25 Campbell St., are open for carryout food and beer. Jackie O’s will even be offering a delivery service out of the Public House starting Thursday.
The best thing people can do to support Jackie O’s is to buy its beer, Oestrike said.
“Please bear with us as we figure out these new systems,” Oestrike said. “We appreciate everyone's support.”
Jackie O’s neighboring bar, The Union, 18 W. Union St., is offering carryout options, too.
“Our main thing (is) we are (effectively) closed,” Adomas Fabin, a bouncer at The Union, said. “We’re not doing shows ... We’re selling any beer that we have in our stock ... at a reduced price.”
People are coming out to buy The Union’s beer, Fabin said. A lot of regulars are coming through as well as local figures from Athens’ scene. The Union is going to sell until it runs out.
“(Our) main thing is helping us get rid of this carryout stuff,” Fabin said. “Not losing, not gaining (money), and putting us in a neutral spot.”
Like Jackie O’s, The Union has let go of some of its staff. Fabin and his fellow staff are filing for unemployment.
The Union is known as somewhat of a haven for musicians and an undisputed spot for locally-grown tunes. But show cancellations and postponements make for a resting period of sorts, Fabin said. The local music scene finds itself in an odd situation right now.
“One good thing this might provide for local music scene (is) time to take a break (and) recalibrate,” Fabin said. “As long as bands keep (a) presence in the scene, I think they'll be fine.”
Fabin himself has had to cancel house shows he booked for fests, including Mill, High, Congo and Palmer. He doesn’t expect a quick return to business as usual, but he thinks The Union will be OK in the long run.
“I think we’ll be fine,” Fabin said. “It’ll be an excitement to come back out.”
Senior sadness
Like many other students set to graduate this May, Zachary Logsdon, a fifth-year studying meteorology, faces uncertainty. At the time of the interview, he didn’t know if he’d walk for spring 2020 commencement — and as of March 18, he won’t since it has postponed until further notice.
As a first generation college student, commencement took on a bigger, more special meaning for him. Logsdon was also disappointed in fest season’s de facto cancellation. As a senior, he wanted his last spring to go out with a bang.
“Everything was ripped away sooner than expected,” Logsdon said.
Logsdon life faces even more uncertainty now, as he is out of a job. As an employee at The Over Hang, 63 N. Court St., Logsdon finds himself out of work.
“I will probably have to go home as well,” Logsdon said. “The bars in general have been slower, sort of uncertain and stressful for all of us.”
Lodgson said he spent time until closing with friends at his favorite Athens bars.
“We all went out to the bars last night until 9 o’clock,” he said. “With no (definite) future, it was kind of a goodbye to the bars as an undergrad.”
Saying goodbye as a senior has been the hardest part of this, he said. The goodbyes he bids to Athens, OU and the bars are abrupt and feel informal.
“We don't really get to have that formal send-off,” he said.
Bobby Corns, a senior studying psychology, moved most of his belongings out of his rental housing March 17. He felt disheartened, like he was driving away without a solid goodbye.
“I'm just hoping that we return to normalcy,” Corns said. “I’m sure that many other seniors would appreciate just getting closure.”
Corns’ last semester didn’t really feel all that different, he said, but he was savoring the time he had left.
“I was trying to not waste a second,” Corns said. “(I was) trying to make a lasting impression, trying to experience Athens for what it is. I knew come May, things would change, but it’s March ... I’m just sad that it feels like it’s been pulled out of my hands.”
Corns was on tour with the Singing Men of Ohio when he heard the news of the transition to online classes. All university travel was to end, and it was time for him to pack up and go home.
For Corns, online classes are a new beast. He’s not sure how they’ll work for him. Classes will begin Monday, March 23.
“Just as a student that's never taken an online class, it's kind of nerve-wracking,” Corns said. “I don't know what to expect ... (I’m) just confused and, like, uncertain.”
Corns also went on one last ride to the bars and restaurants. He’s hoping for one more crawl. Though he agrees with the precautions being taken, he recognizes how utterly confusing and heartbreaking the circumstances are.
“It may not be normal for a while, but those friendships and people you met and people you care about, they'll still be there for you — that’s bigger than OU,” Corns said. “Even though it’s sad and I'm very heartbroken, even though things didn't go the way I thought they would, it's the friendships and education and love for fellow bobcats that unites us.”


Changelog
- Disable unused preloading on Shopify sites in Chromium < 110. Preloads in Chromium < 110 were unused due to Shopify sending a Vary: Accept
header that confused Chromium < 110.
- Add the data-instant-vary-accept
option to disable preloading on Chromium < 110 for sites sending a Vary: Accept
header. (Shopify sites are automatically opted-in and don’t need to specify it.)
- Preload with high priority (fetchPriority=high
) on mouse/touch interactions.
- Fix cross-origin preloading in Chromium (using the non-standard as=document
, which might eventually disappear from Chromium).
- Disable (non-working) cross-origin on non-Chromium browsers.
- Comments in the source code now cover almost everything I know about prefetch
and instant.page’s logic.
- Fix the error “event.target.closest is not a function” that would sometimes trigger in the mouseover event
- Make triggering clicks on mousedown opt-in.
- Fix the detection of opening a new tab when triggering the click on mousedown.
Announcement.
- Triggers the click on mousedown.
- Fix a bug in Firefox for Android that was making the script error out.
Announcement.
- Option to preload every visible links.
- Doesn’t preload links already preloaded.
- Allow it to run on 2G/data saver.
- Links that you stop touching or hovering over don’t have their preloading request aborted anymore.
- The script is now minified.
Announcement.
- Option to preload on mousedown.
- Option to set a custom delay before preloading on hover.
1.3.0 & 1.3.1
- Whitelist mode.
- Easier to use test suite (options are in the page itself rather than being undocumented command line parameters).
- Don’t preload when data saver is enabled.
- Fix HTTP links not being preloaded.
- Preload external urls if a data-instant-allow-external-links
attribute is present in the
, or with a data-instant
attribute on the
element.
- Only preload HTTPS links, and HTTP if not on HTTPS.
- Fix an error on
elements without a href
attribute.
- Add ability to whitelist a link with a data-instant
attribute.
Initial release.
cta-widget


Services
Research, Problem Articulation, Storyboarding, Information Architecture, Interaction Design, Wireframe Production, UI Development
The Project Objective
The objective of this project was simple. I was to create a fictional company and design and develop a live mock of their ecommerce website, while utilizing all the core design practices I had learned over the past year. I began the project by selecting the type of product I wanted sell. I wanted to be fairly specific due to the quarters’ time constraint. I elected to design a site by the name of BimmerUS.com, a BMW auto parts warehouse for the do-it-yourself type. From there, I began to analyze the industry, the competitors and the typical user that may venture onto the site. From this analysis, I planned three key features, which include the ability to filter to your specific vehicle, a sliding banner advertising the product, as well as a touch screen compatible product sliders. I felt as if these features would help ease the process of selecting the products and allow the user to quickly move through the site on into the checkout process.
Note: There is a single path through the live mock. To start, please select "Wheels," filter by VMR and select the V710.
Live MockResearch
When considering the quantity of product ecommerce sites tend to stock, especially in regard to auto parts, I knew that the my design needed to provide the user with enough product per page to meet their wants and needs, while being sure not to overwhelm them with too much at any given time. I began by researching well-established brands such as Amazon, Walmart and Costco to name a few. Each company used very popular web conventions such as the shopping cart, search bar, sign in, wish list, etc. In addition to web conventions, pages were broken up into clearly defined areas from the product link to ads for “today’s deal.”
Technical Specifications
Features
User Needs
I knew the Information Architecture would be bit of a challenge to arrange in a manner that delivered access to each product, while remaining simple to navigate. I needed to appeal to the “browse first, ask later” user, in addition to the search dominant user. I concluded that the bottom up approach would be best suited for this endeavor. I began by creating the company inventory, which I began grouping together by major component such as engine, transmission and suspension. Each of these categories could be accessed from the individual pages, in addition to the utility options. I felt as if this strategy would allow first time visits along with the subsequent visits to remain swift. As the user progressed deeper into the site, especially in regard to the shopping cart, I implemented a breadcrumb navigation in order for the user to know exactly where they were at all times.
I wanted the checkout interaction design experience to match the users' expectations. I chose to stick with the well-known naming convention and sequence of steps. As you can see from the diagram below, each page answers a simple yes or no question, which will direct the user to the next logical step. For instance, if a user did not have an account and would like to avoid creating an account, they are able to easily opt out of the sign up process and continue to the billing/shipping information page where they can then place their order and finally review the order. Users are so accustomed to the constancy of shopping carts on the web today, that swaying to far from that workflow could cause more headache than what it is worth.
When designing the wireframes for BimmerUS, I was really able to focus on the relationships and functionality between the elements on the page. I wanted to establish a sort of hierarchy as it pertained to the product. For instance, on the home page I placed large banners and advertisements near the top in order to catch the users eye as they entered the site. This strategy would allow users to see and hopefully purchase product that they didn’t come to the site for originally. Once the user entered the site, the filter and advertisements would change based off of the selected product. This step really allowed me to hammer out the navigation and how I would present the entire product line BimmerUS offers. The site was built on a 960px 12-column grid, which allowed me to distribute product evenly across the page.
I wanted the site to appeal to the focus audience, males ranging from 25 to 35. A study done in 2003 by Joe Hallock compared color preferences among males and females and that study showed 57% of men saying blue was their favorite color. Taking this into consideration, I chose a color similar to the BMW blue. Since the product BimmerUS offered was exclusive to BMW, I wanted the color palette to also reflect the brand. My goal was to reflect the quality and standard BMW has established over the years and portray that image to the customer.
#2677ae
#fbb03b
#333333
#ffffff
During my search I considered 3 key aspects of a typeface: readability, visual hierarchy, function. I wanted a typeface that had the same clean look as Helvetica, which BMW had a version of. I stumbled upon Museo Sans which, had many similarities to that of Helvetica. Limiting my typeface choice to just one selection helped establish the hierarchy and tone I was seeking. I was able to manipulate the font-size to highlight areas I wanted users to focus on. For instance, banner ads had much larger font sizes than that of headings and descriptions. Though the typeface wasn’t relied upon to meet the overall goal of selling product, it was an integral part of the design.
Typeface
Museo Sans
Font Size
Page ID
The VMR 710 is a 7-spoke mesh wheel with a deep concave face.
24px
Nav/Headings
The VMR 710 is a 7-spoke mesh wheel with a deep concave face.
18px
Body Content
The VMR 710 is a 7-spoke mesh wheel with a deep concave face.
15px
Structure, color, spacing, symmetry, and the amount of text were all carefully considered when building the visual design. I wanted the site to remain simple and familiar in order for customers to feel comfortable moving about the pages. I want them to feel as if they had been there before, even if they were first time visitors. I began by researching eye-tracking studies to carefully place elements in strategic locations, in turn allowing the user to move about the page seamlessly. When deciding upon content to place above the fold, I concluded that ads and specials should take precedence. I concluded that this strategy would improve overall sales and move older product faster in order to make room for the new.
Shop Your Vehicle
Year
Model
Trim
Deals of the Week
#vehicleSelector { width: 855px; overflow: hidden; margin: 0 auto 30px; } #vehicleSelector #vehicleSelectorTitle { height: 40px; float: left; width: 164px; text-align: center; border-radius: 5px 0 0 5px; background-color: #333; } #vehicleSelector #vehicleSelectorTitle h3 { margin-top: 10px; font-size: 17px; color: #fff; } #vehicleSelector #selectorBar { float: left; height: 40px; background-color: #e9eaee; border-radius: 0 5px 5px 0; width: 691px } #vehicleSelector #selectorBar h3 { float: left; font-size: 15px; padding: 11.5px 20px; } #vehicleSelector #selectorBar h3:nth-child(1) { margin-left: 20px } #vehicleSelector #selectorBar select { float: left; height: 34px; margin-top: 3px; width: 140px; }


Winter Game
Loading Assets...
0
0
PAUSED
Slide to Steer
You may put any HTML here. This is dummy copy. It is not meant to be read. It has been placed here solely to demonstrate the look and feel of finished, typeset text. Only for show. He who searches for meaning here will be sorely disappointed.


- What is PolarisHub
-
How to install PolarisHub
- How to run PolarisHub
-
The advantages of PolarisHub
-
The inspiration of PolarisHub
- Future plan
PolarisHub is a free, fast, easy, secure file transfer
tool. The current version is based on Flask (Python), which can
be deployed on all computers with Python. With the command
phub, the PolarisHub will start, and you can
manage your PolarisHub with
GUI of web browser (url:
http://localhost:5000/). You can share your files using url links and
QR Code, whoever in the same network can access your shared
files. You can also gracefully shutdown PolarisHub with
one click!
-
Make sure you have the Python3 and pip properly
installed.
-
Run
$ pip install polarishub_flask
or
$ pip install polarishub_flask==X.X.X
(version code).
- Done!
-
git clone https://github.com/XieGuochao/polarishub_flask.git
-
$ phub
(Run $ phub -h
for more information on
the optional arguments)
$ cd polarishub_flask
-
$ python3 fastrun.py
(Run
$ python3 fastrun.py -h
for more information on the
optional argumetns)
(May use a graph)
-
Fast. Taking the advantage of LAN with almost unlimited
bandwidth, the file transfer using PolarisHub can reach
the speed limit of the network, i.e. X MB/s ~ XX MB/s.
-
Private. PolarisHub is a decentralized
platform, which originally does not provide a cloud center. Therefore,
you own the 100% authority of your files, and no one
can perceive your transfer on the application layer.
-
Secure. PolarisHub is an open-source
project, where everyone can contribute to fix the potential bugs and
there will not be privacy compromise problem.
-
Unlimited size of files. We are no longer worried about
the size of our files, which is restricted by WeChat.
- Fast. The same as indicated above.
-
Free. No limitation of the Apple hardware, we are
building a software that every computer can use!
-
Longer Distance. As long as the transfer is within a
LAN, it can even be done between
the upper campus and the lower campus and across every
classroom and building!
-
Easy Deployment. PolarisHub can be
deployed on every computer installed with Python using
pip. There is no compilation requirement for it.
The inspiration of PolarisHub comes from the annoying experience of using
the current file transfer tools, as discussed above. Therefore, we are
trying to build a software which overcomes all the disadvantages of other
tools, a free, fast, easy, secure tool.
We welcome everyone who is interested in PolarisHub to
join us: Polaris Studio! You can find us on GitHub
https://github.com/XieGuochao/polarishub_flask
or send email to
<EMAIL_ADDRESS>-
Go Version. We are going to refactor
PolarisHub in Golang, which can be compiled
and deployed to every platform without Python.
-
Public Server for host consultation. We are going to
build a public server such that everyone can share their file links (in
local network) on it.
-
More powerful PolarisHub. More features will be added,
such as access password, and etc..
- Guochao Xie
- Senyue Hao
- Yongqi Zhang


A standard wry joke form, often offered in the form of an Obstacle Exposition.
You present a pair of problems with a plan as if the problems are of equal importance. The first problem is relatively minor, and is explained in unwarranted detail. The second problem is so much simpler and more serious that the first problem seems like a silly thing to worry about: "I Broke a Nail. Oh, also, I have terminal cancer."
The archetype for this sort of joke is "If I had bacon, I could have bacon and eggs. If I had eggs."
This joke often overlaps with I Would Say If I Could Say, where a character can't use a common expression because it technically doesn't apply to them, like The Undead claiming to be "breathless with anticipation".
If the less serious problem is instead a list of problems, that's a case of Bread, Eggs, Milk, Squick; if the serious one is a list, it's Arson, Murder, and Jaywalking. A Lopsided Dichotomy is another rhetorical device comparing mundane things to extreme things, but in more of an "or" way than this trope's "and".
Examples:
- The Killing Joke features the Joker telling a joke that uses such a dilemma to Batman. Two men escape from an insane asylum by climbing onto the roof. One jumps to a nearby building, but the other is too scared to follow. The first offers to shine a flashlight across the way, letting the second walk across the beam of light. The second man replies "What do you think I am? Crazy? You'd turn it off when I was half way across!".
- Done with Noodle Implements in an issue of Rat Man. Working on a plan to fight a villain, Rat-man gathers some objects he can use (a pipe, some rags...) but has to abandon the plan when he cannot find the final item: an atom bomb.
- Beyond the Borders: After realizing that she's plural, Rachel laments that she could talk to her internet friends that have more experience with that subject, if only she could find her phone... and also the internet still existed... and also those friends were still alive.note
- In Ch.5 of the Terminator: The Sarah Connor Chronicles fanfic Judge the Sky, Cameron is worried that she may have to pass a Navy physical. Which involves swimming exercises. This is problematic, as: "a) she would be under the intensive examination of a doctor, and b) she did not swim."
- From Meet the Robinsons:
Bowler Hat Guy: Oh, I know! I'll turn him into a duck! Yes, it's so evil! Oh... I don't know how to do that... and I don't really need a duck... this may be harder than I thought.
- A classic example from the Marx Brothers film, Horse Feathers:
Groucho: Have you ever had any experience as a kidnapper?Chico: You bet. You know what I do when I kidnap somebody? First I call 'em up on the telephone, then I send 'em my chauffeur.Groucho: Oh, have you got a chauffeur? What kind of a car have you got?Chico: Oh, I no got a car, I just got a chauffeur.Groucho: Well maybe I'm crazy, but when you have a chauffeur, aren't you supposed to have a car?Chico: Well I had one, but you see it cost too much money to keep a car and a chauffeur so I sold the car.Groucho: Well that shows you how little I know. I would've kept the car and sold the chauffeur.Chico: That's no good. I gotta have a chauffeur to take me to work in the morning.Groucho: Well if you've got no car, how can he take you to work?
- A famous example comes from Butch Cassidy and the Sundance Kid: About to jump from a high precipice into a river below, Sundance points out that he can't swim. "You crazy?"
- The "bacon and eggs" variant shows up in Timothy Zahn's Star Wars novels. "If we had bruallki, we could have bruallki and menkoroo -- if we had some menkoroo."
- Discworld:
- In Wyrd Sisters, Nanny Ogg asks the strolling players (having invited herself to get a lift in their wagon) if they have a light. After the group proffer an array of matches, she asks if anyone happens to have any tobacco. In Maskerade, she does it again, asking the other people (reluctantly) sharing a stagecoach with her if they have "anything to open a bottle a beer", "anything to drink a bottle of beer out of" and finally, "Anybody have a bottle of beer?"
- Men at Arms has a bit where Detritus the troll needs to find something to write on. Then he needs to find something to write with. Then, once he finds something to write with, he needs to find someone who can teach him how to write.
- Unseen Academicals: Everyone is entitled to vote, unless disqualified by reason of age or not being Lord Vetinari.
- Animorphs:
- A couple of books in the series take place on the Hork-Bajir planet, where several deep chasms open down to the molten planetary core. The Arn, a winged species, have cliff dwellings extending partway down these chasms, with very thin walkways. In two separate instances, Andalites have concluded that there is no need to worry about the magma, because the body would probably be disintegrated in mid-fall.
- This seems pretty typical of the Andalite sense of humor (assuming they have one; the jury's still out). Ax makes comments like this all the time. "You're worried that a passing Z-Space craft might collide with our extruded mass and splatter it all over Z-Space? Don't worry. That's impossible. The ship's shields would just disintegrate it."
- Keep Beach City Weird, a spin-off novel from Steven Universe, uses this several times. For example, Guacola, the guacamole soda, is described as "So dense, it [is] like trying to drink a collapsed star! Or a can of fizzy guacamole."
- On Red Dwarf, Kryten was fond of these:
Kryten: What on Earth are we going to do?
Cat: Hey, I got it! We laser our way through!
Kryten: An excellent suggestion, Sir, with just two minor drawbacks. One, we don't have a power source for the lasers, and two, we don't have any lasers.-
Kryten: An excellent and inventive suggestion, sir, with just two tiny drawbacks: A: we don't have any jet-powered rocket pants. And B: there's no such thing as jet-powered rocket pants outside the fictional serial 'Robbie Rocketpants'.
 - On The West Wing, Toby points out that the problem with jokes about the Vice President's mediocrity is that "He doesn't think they're funny, and everyone else doesn't think they're jokes." An earlier episode, "The Fall's Gonna Kill You", referenced the Butch Cassidy exchange. The series uses this joke form in numerous other instances to point out how short their various successes fall of actually fixing massive social injustices.
- An especially long version done in the "Bookshop" sketch from Monty Python's Flying Circus. A customer has put the bookstore clerk through an incredible ordeal in finding a book. Eventually he finds one the customer likes ("Ethel the Aardvark Goes Quantity Surveying") and the clerk slams it onto the counter:
Clerk: There's your book. Now, buy it!Customer: I don't have enough money.Clerk: I'll take a deposit!Customer: I don't have any money.Clerk: I'll take a cheque!Customer: I don't have a chequebook.Clerk: I'll take a blank one!Customer: I don't have a bank account.Clerk: Right! I'll buy it for you! There's your receipt, there's your change, there's money for a taxi on the way home...Customer: Wait! I can't read!Clerk: You can't read? Fine, sit down! Sit! Are you sitting comfortably? Right! "Ethel the Aardvark was hopping down the river valley..."
- The Welcome Wagon uses this in the first verse of "Rice and Beans."
When it's rice and beans, but you've got no beans,
and the rice is getting pretty thin... - In "Drive My Car" by The Beatles, the singer describes a woman asking him to take a job driving her car. In the last verse, he agrees, leading her to admit:
I've got no car and it's breaking my heart,
But I've found a driver and that's a start.
- The Sesame Street newspaper comic strip of the early 1970s had a variation on the "bacon and eggs" archetype: A little girl says, "If I had more light ... I could read a book ... if I had a book ... if I could read."
- Similarly, in Walt Kelley's comic strip Pogo, a slightly-recurring character was a beetle who, whenever she saw something she didn't like, always exclaimed "If I could write I'd write a nasty letter to the mayor, if he could only read."
- In Terror Island the Unity refuses to be complicit in Stephen's scheme in theorem 147 because:
Red/Blue Unity: We are one plumber, not three.Blue/Yellow Unity: And we are not a plumber.
- The Adventures of Dr. McNinja:
- From this strip:
The Doctor: Okay, dinosaur in my office. How could that be... The door should have been locked... Oh! And they are extinct! Dinosaurs are extinct. Dinosaur can't be in the office because it should be extinct.- Later:
Doctor: Oh my god! This warehouse isn't refrigerated! I don't want to know what these patties are made of to allow that. Oh, and an explosive. I can think of a good handful of nicer places to hang out than exploding buildings.

Red Mage: Wait! That is not how we do things around here, buddy. First we have to argue incessantly over semantics. Then one of us has to hurt one or all of us.
- One xkcd strip has, as its alt text, two problems with a recent issue of a homeopathy magazine:
"One, it's spelled 'echinacea', and two, homeopathic medicines are no better than placebos and your entire magazine is a sham."
- In Froot Butch, when asked how RJ apparently lives like a king without a job, RJ informs his girlfriend that he can either never see her again, or be forced to get a job.
- Futurama has a couple examples:
Zoidberg: Oh joy, a coupon! Two oil changes for the price of one! Now if only I could afford the one. And a car...
- Another example:
Leela: (upon seeing Bender stomping a killer whale carcass down a manhole) Bender! Cut it out! First of all, the sewer mutants will be mad. Second, everything else that's horribly wrong with what you're doing!
- Another example:
- Ben 10: Alien Force
Ben: And since I don't have a car ...Kevin: Or a license.Ben: Or a license, I was wondering if you could give us a ride.
- My Little Pony: Friendship Is Magic does this from time to time.  I have false eyelashes! Oh, and I took a bite of the cake.
- From the Gravity Falls episode "The Time-Traveller's Pig", after Dipper tries out one of the rides at Grunkle Stan's Mystery Fair and it crashes.
Dipper: I think the Sky-Tram is broken. Also, most of my bones.


--- layout: page title: Lean Prover Zulip Chat Archive permalink: archive/113488general/33117abba.html ---
What is the fastest way to prove a = b ↔ b = a?
a = b ↔ b = a
Try by split ; cc
by split ; cc
eq_comm


@* * Copyright 2016 HM Revenue & Customs * * Licensed under the Apache License, Version 2.0 (the "License"); * you may not use this file except in compliance with the License. * You may obtain a copy of the License at * * http://www.apache.org/licenses/LICENSE-2.0 * * Unless required by applicable law or agreed to in writing, software * distributed under the License is distributed on an "AS IS" BASIS, * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. * See the License for the specific language governing permissions and * limitations under the License. *@ @(revaluationForm: Form[models.RevaluationDate])(implicit request: Request[_]) @import uk.gov.hmrc.play.views.html._ @import uk.gov.hmrc.play.views.html.helpers._ @import views.html.helpers._ @import play.i18n._ @implicitFormInstance = @{ Some(revaluationForm) } @gmp_main(title = Messages.get("gmp.revaluation.title")) { @views.html.helpers.errorSummary(revaluationForm)