2. Linear Regression¶
2.1. Model¶
given a dataset \(\left \{ (x^{(1)},y^{(1)}),...,(x^{(n)},y^{(n)}) \right \} \), where \(x^{(i)} \in \mathbb{R}^{d},\ y^{(i)} \in \mathbb{R}\).
linear regression is trying to model \(y^{(i)}\) from \(x^{(i)}\) by a linear model:
for the sake of simplicity, we set \(x_{0}^{(i)}=1,\ x^{(i)} = (x_{0}^{(i)},...,x_{d}^{(i)}),\ \theta=(\theta_{0},...,\theta_{d})\), then:
2.2. Loss Function¶
given \(\hat{y}=(h_{\theta}^{(1)},...,h_{\theta}^{(n)}),\ y=(y^{(1)},...,y^{(n)})\).
we want to approximate \(y\) by \(\hat{y}\), or equivalent to say, we want to minimize the distance between \(\hat{y}\) and \(y\).
using euclidean distance, we derive the loss function for linear regression:
2.3. Gradient Descent¶
after defining model and loss function, our goal now is to find the model that minimize the loss function:
to minimize the loss function, we can set
but to find the analytic solution of this equation is usually impossible.
alternatively, we can init \(\theta\) randomly, then iteratively move \(\theta\) towards the direction that makes \(J(\theta)\) smaller.
remmenber the oposite direction of gradient is the fastest direction that makes functions smaller, we derive gradient descent:
\(\alpha > 0\) is called the learning rate
appendix: proof of opposite gradient as fastest descent
for all \(l\in \mathbb{R}^{d}, \left \| l \right \| =1\)
equality obtained only if \(l\) is in the opposite direction of \(\nabla{J(\theta )}\)
import numpy as np
X = 2 * np.random.rand(100, 1)
y = 4 + 3 * X + np.random.randn(100, 1)
X_new = np.array([[0], [2]])
"""LinearRegression actually uses SVD to get pseudoinverse, based on scipy.linalg.lstsq()"""
from sklearn.linear_model import LinearRegression
lin_reg = LinearRegression()
lin_reg.fit(X, y)
lin_reg.intercept_, lin_reg.coef_
(array([4.0134073]), array([[3.00194802]]))
y_predict = lin_reg.predict(X_new)
y_predict
array([[ 4.0134073 ],
[10.01730333]])
import matplotlib.pyplot as plt
plt.plot(X_new, y_predict, "r-", linewidth=2, label="Predictions")
plt.plot(X, y, "b.")
plt.xlabel("$x_1$", fontsize=18)
plt.ylabel("$y$", rotation=0, fontsize=18)
plt.legend(loc="upper left", fontsize=14)
plt.axis([0, 2, 0, 15])
plt.show()
2.3.1. stochastic gradient descent¶
in practice, to update \(\theta\) by gradient descent(concretely batch gradient descent), at each step, we need to calculate all sample’s gradient, too slow.
to fix this problem, we can only use one sample’s gradient at a time, choose that sample randomly:
from sklearn.linear_model import SGDRegressor
sgd_reg = SGDRegressor(max_iter=1000, tol=1e-3, penalty=None, eta0=0.1)
sgd_reg.fit(X, y.ravel())
sgd_reg.intercept_, sgd_reg.coef_
(array([4.02841216]), array([3.02324524]))
2.3.2. mini-batch gradient descent¶
sgd too random, batch gradient descent too slow, we can use some(not one, not all) samples at a time:
2.4. update rule of linear regression¶
for linear regression, we have:
so we have the update rule for linear regression:
combine all dimensions, we have:
2.4.1. matrix form¶
define \(X = [(x^{(1)})^{T},...,(x^{(n)})^{T}]\), then we can write \(J(\theta)\) in matrix form:
we then have:
here we use
1.\(a^{T}b=b^{T}a\), obvious.
2.\(\nabla{a^{T}x}=a\), obvious.
3.\(\nabla{x^{T}Ax} = (A + A^{T})x\), proof:
finally, we get the matrix form of the update rule:
2.5. analytic solution¶
from above, we have:
so the equation of zero gradient change to:
if \(X^{T}X\) is invertible:
if \(X^{T}X\) is not invertible, the equation also have solution. proof:
on one hand \(X\theta = 0 \Rightarrow X^{T}X\theta=0\)
on the other hand \(X^{T}X\theta=0 \Rightarrow \theta^{T}X^{T}X\theta=0 \Rightarrow (X\theta)^{T}X\theta=0 \Rightarrow X\theta=0\)
so \(X\theta=0 \Leftrightarrow X^{T}X\theta=0\), that is to say \(null(X^{T}X)=null(X)\)
we easily derive from the above that \(rank(X^{T}X) = rank(X) = rank(X^{T})\)
but \(range(X^{T}X) \subseteq range(X^{T})\), so we must have \(range(X^{T}X)=range(X^{T})\)
X_b = np.c_[np.ones((100, 1)), X]
theta_best = np.linalg.inv(X_b.T.dot(X_b)).dot(X_b.T).dot(y)
theta_best
array([[4.0134073 ],
[3.00194802]])
2.6. geometric interpretation of the linear regression¶
consider the linear space \(S = span\left \{ columns\ of\ X \right \}\), linear combination of \(S\) could be write as \(X\theta\), then:
\(X\theta\) is the projection of \(y\) on \(S \Leftrightarrow\) \(X\theta - y\) orthogonal with \(S \Leftrightarrow\) orthogonal with \(columns\ of\ X \Leftrightarrow X^{T}(X\theta - y)=0\)
so linear regression could be interpret as finding the projection of \(y\) on \(S\).
2.7. probabilistic interpretation¶
assume targets and inputs are related via:
where \(\epsilon^{(i)}\) is the error term, assume that \(\epsilon^{(i)}\) are distributed IID according to Gaussian with mean 0 and variance \(\sigma^{2}\), i.e the density of \(\epsilon^{(i)}\) is given by:
this implies:
we should denote that \(\theta\) is not a random variable.
given \(X\) and \(\theta\), what is the probability of \(y\)? we call it the likelihood function:
for the above assumptions:
we should choose \(\theta\) so as to make the data as high probability as possible, i.e we should choose \(\theta\) to maxmize \(L(\theta)\), this is called maximum likelihood. one step further:
so we maximize the log likelihood, this is simpler.
hence, maximizing \(l(\theta)\) gives the same answer as minimizing
so linear regression \(\Leftrightarrow \) maximum likelihood given Gaussian error
2.8. regularization¶
to lower variance \(\Rightarrow \) to limit model’s complexity \(\Rightarrow \) to prevent the absolute value of parameters to be too large \(\Rightarrow \) we add punishment term concerning the absolute value of parameters on \(J(\theta)\)
choose \(\lambda{\left \| \theta \right \|}_{2}^{2}\) as the punishment term:
\(\lambda\) is the regularization hyperparameter, linear regression with \(l_{2}\) loss is ridge regression.
otherwise, if we choose \(\lambda{\left \| \theta \right \|}_{1}\) as the punishment term:
that is called lasso regression.
2.9. probabilistic interpretation of regularization¶
as before, we assume:
in bayes perspective, we can also assume \(\theta \sim N(0, \sigma_{0})\), that is:
by bayes rule:
thus we have maximum a posteriori estimation(MAP):
that is exactly minimize:
with \(\lambda=\frac{\sigma^{2}}{2\sigma_{0}^{2}}\)
in one word:
linear regression \(\Leftrightarrow \) maximum likelihood estimation(MLE) where noise is guassian.
ridge regression \(\Leftrightarrow \) maximum a posteriori estimation(MAP) where noise and prior are guassian.
from sklearn.linear_model import Ridge
ridge_reg = Ridge(alpha=1, solver="cholesky", random_state=42)
ridge_reg.fit(X, y)
ridge_reg.predict([[1.5]])
array([[8.46777839]])
"""set SGDRegressor penalty=l2"""
sgd_reg = SGDRegressor(penalty="l2", max_iter=1000, tol=1e-3, random_state=42)
sgd_reg.fit(X, y.ravel())
sgd_reg.predict([[1.5]])
array([8.63160742])
2.10. Lasso¶
"""use Lasso or set SGDRegressor penalty=l1"""
from sklearn.linear_model import Lasso
lasso_reg = Lasso(alpha=0.1)
lasso_reg.fit(X, y)
lasso_reg.predict([[1.5]])
array([8.34961266])
"""combination of ridge and lasso"""
from sklearn.linear_model import ElasticNet
elastic_net = ElasticNet(alpha=0.1, l1_ratio=0.5)
elastic_net.fit(X, y)
elastic_net.predict([[1.5]])
array([8.2272819])
2.11. Polynomial Regression¶
m = 100
X = 6 * np.random.rand(m, 1) - 3
y = 0.5 * X**2 + X + 2 + np.random.randn(m, 1)
plt.plot(X, y, "b.")
plt.xlabel("$x_1$", fontsize=18)
plt.ylabel("$y$", rotation=0, fontsize=18)
plt.axis([-3, 3, 0, 10])
plt.show()
from sklearn.preprocessing import PolynomialFeatures
poly_features = PolynomialFeatures(degree=2, include_bias=False)
X_poly = poly_features.fit_transform(X)
lin_reg = LinearRegression()
lin_reg.fit(X_poly, y)
lin_reg.intercept_, lin_reg.coef_
(array([2.07532595]), array([[0.86616713, 0.50615805]]))
X_new=np.linspace(-3, 3, 100).reshape(100, 1)
X_new_poly = poly_features.transform(X_new)
y_new = lin_reg.predict(X_new_poly)
plt.plot(X, y, "b.")
plt.plot(X_new, y_new, "r-", linewidth=2, label="Predictions")
plt.xlabel("$x_1$", fontsize=18)
plt.ylabel("$y$", rotation=0, fontsize=18)
plt.legend(loc="upper left", fontsize=14)
plt.axis([-3, 3, 0, 10])
plt.show()
"""using pipeline"""
from sklearn.preprocessing import StandardScaler
from sklearn.pipeline import Pipeline
def polynomial_regression(degree, include_bias=True):
return Pipeline([
("poly_features", PolynomialFeatures(degree=degree, include_bias=False)),
("std_scaler", StandardScaler()),
("lin_reg", LinearRegression()),
])
poly_reg = polynomial_regression(degree=2)
poly_reg.fit(X, y)
X_new = np.linspace(-3, 3, 100).reshape(100, 1)
y_new = poly_reg.predict(X_new)
plt.plot(X, y, "b.")
plt.plot(X_new, y_new, "r-", linewidth=2, label="Predictions")
plt.xlabel("$x_1$", fontsize=18)
plt.ylabel("$y$", rotation=0, fontsize=18)
plt.legend(loc="upper left", fontsize=14)
plt.axis([-3, 3, 0, 10])
plt.show()


Sed id magna vitae eros sagittis euismod.
West coast classic dish.
Fresh live lobster cooked to culinary perfection.
The epitemy of what a perfect salmon can taste like
Assortment of grilled fish.
choice of las vegas rolls,california rolls,
Perfecty fried calamari with lemon slices and garlic.
Fresh Crab from local fishermen
Cooked shrimp handed on a iron skillet.
Kid friendly fried fish seerved with fries.
"The food is soooooo good! almost tradition to go here now."
+01<PHONE_NUMBER>
<EMAIL_ADDRESS>Fisherman's Wharf, San Francisco, CA 94133


Hare are some recent statistics from reputile. If you want bigger numbers reach out to me on github ;).
{{ len .lists }}
{{ .entries }}
7 days
The following blacklist sources are currently integrated into reputile. If you know of any others or want a description changed, please create an issue on github for it.
{{ range .lists }}


1-16 loss to Switzerland ends horror week for Gibraltar's U19s
by BeSoccerGibraltar Under-19s may have had the worst week in football, as a 16-1 loss to Switzerland took their tally of goals conceded to 43.
Gibraltar Under-19s suffered a 16-1 defeat to 10-man Switzerland in qualifying for the European Under-19 Championship on Tuesday, rounding off a week in which they have conceded 43 goals.
Following on from a 14-0 loss to Austria and a 13-0 defeat at the hands of Ireland on November 14 and 16 respectively, Gibraltar will have been hoping for a change in fortune in the meeting with the Swiss. But the youngsters suffered more of the same as Switzerland raced into a 5-0 lead by the 33rd minute - Brighton and Hove Albion's Lorent Tolaj helping himself to a hat-trick - in Strasswalchen, Austria.
Featured links
- Pochettino sacked as Tottenham manager
- The latest football transfers news and rumours
- Who has the most free-kicks goals: Messi or Cristiano?
- Luis Enrique returns to Spain national team
A red card for Switzerland's Noel Wetz enabled Craig Galliano to convert the resulting penalty and give Gibraltar one thing to be pleased about, considering it was their first goal in 11 games, ending a run which stretched back to 2015. Yet any hopes Galliano's goal would spark a miracle comeback were ended within a minute as Tolaj got his fourth before Felix Mambimbi's penalty paved the way for a further 11 Switzerland goals in the second half.
Tolaj scored three to take his total to seven, substitute Darian Males claimed a hat-trick and Orges Bunjaku also netted his third goal, with Ilan Sauter and Simon Sohm getting in on the act as Switzerland scored six goals in the final 13 minutes.


AWS::Logs::LogStream
The AWS::Logs::LogStream
resource creates an Amazon CloudWatch Logs log stream in a log
group. A log stream represents the sequence of events coming from an application instance
or
resource that you are monitoring. For more information, see Monitoring Log Files in the
Amazon CloudWatch User Guide.
Topics
Syntax
To declare this entity in your AWS CloudFormation template, use the following syntax:
JSON
{ "Type" : "AWS::Logs::LogStream", "Properties" : { "LogGroupName" :
String
, "LogStreamName" :String
} }
YAML
Type: AWS::Logs::LogStream Properties: LogGroupName:
String
LogStreamName:String
Properties
LogGroupName
-
The name of the log group where the log stream is created.
Required: Yes
Type: String
Update requires: Replacement
LogStreamName
-
The name of the log stream to create. The name must be unique within the log group.
Required: No
Type: String
Update requires: Replacement
Return Values
Ref
When the logical ID of this resource is provided to the Ref
intrinsic function, Ref
returns the resource name, such as
MyAppLogStream
.
For more information about using the Ref
function, see Ref.
Example
The following example creates a CloudWatch Logs log stream named MyAppLogStream
in
the exampleLogGroup
log group.
JSON
"LogStream": { "Type": "AWS::Logs::LogStream", "Properties": { "LogGroupName" : "exampleLogGroup", "LogStreamName": "MyAppLogStream" } }
YAML
LogStream: Type: AWS::Logs::LogStream Properties: LogGroupName: "exampleLogGroup" LogStreamName: "MyAppLogStream"


(2014-11-21 05:28:20 UTC)
ruby lint.rb unstable ../unstable/packages/coq:contrib:lin-alg/coq:contrib:lin-alg.dev
The package is valid.
Dry install with the current Coq version:
opam install -y --dry-run coq:contrib:lin-alg.dev coq.dev
[NOTE] Package coq is already installed (current version is dev). The following actions will be performed: - install coq:contrib:lin-alg.dev === 1 to install === =-=- Synchronizing package archives -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= =-=- Installing packages =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= Building coq:contrib:lin-alg.dev: coq_makefile -f Make -o Makefile make -j4 make install Installing coq:contrib:lin-alg.dev.
Dry install without Coq, to test if the problem was incompatibility with the current Coq version:
true
opam install -y --deps-only coq:contrib:lin-alg.dev
opam install -y --verbose coq:contrib:lin-alg.dev
The following actions will be performed: - install coq:contrib:lin-alg.dev === 1 to install === =-=- Synchronizing package archives -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= [coq:contrib:lin-alg] Fetching git://clarus.io/lin-alg#trunk Initialized empty Git repository in /home/bench/.opam/packages.dev/coq:contrib:lin-alg.dev/.git/ [master (root-commit) 867cf29] opam-git-init warning: no common commits From git://clarus.io/lin-alg * [new branch] trunk -> opam-ref * [new branch] trunk -> origin/trunk LICENSE LinAlg/Lin_trafos.v LinAlg/Linear_Algebra_by_Friedberg_Insel_Spence.v LinAlg/algebraic_span_facts.v LinAlg/alt_build_vecsp.v LinAlg/bases.v LinAlg/bases_finite_dim.v LinAlg/bases_from_generating_sets.v LinAlg/direct_sum.v LinAlg/lin_comb_facts.v LinAlg/lin_combinations.v LinAlg/lin_dep_facts.v LinAlg/lin_dependence.v LinAlg/maxlinindepsubsets.v LinAlg/replacement_corollaries.v LinAlg/replacement_theorem.v LinAlg/spans.v LinAlg/subspace_bases.v LinAlg/subspace_dim.v LinAlg/subspaces.v LinAlg/vecspaces_verybasic.v Make Makefile README description examples/Matrices.v examples/Matrix_multiplication.v examples/antisymmetric_matrices.v examples/infinite_sequences.v examples/symmetric_matrices.v examples/trivial_spaces.v examples/up_lo_triang_mat.v examples/vecspace_Fn.v examples/vecspace_Mmn.v examples/vecspace_functionspace.v extras/Equality_structures.v extras/Inter_intersection.v extras/Matrix_related_defs.v extras/before_after.v extras/finite_misc.v extras/matrix_algebra.v extras/restrict.v extras/ring_module.v filesInOrder first_page.v install.sh support/Map2.v support/Map_embed.v support/algebra_omissions.v support/arb_intersections.v support/cast_between_subsets.v support/cast_seq_lengths.v support/concat.v support/concat_facts.v support/conshdtl.v support/const.v support/counting_elements.v support/distinct.v support/distinct_facts.v support/distribution_lemmas.v support/empty.v support/equal_syntax.v support/finite.v support/finite_subsets.v support/has_n_elements.v support/modify_seq.v support/more_syntax.v support/mult_by_scalars.v support/omit.v support/omit_facts.v support/pointwise.v support/random_facts.v support/seq_equality.v support/seq_equality_facts.v support/seq_set.v support/seq_set_facts.v support/seq_set_seq.v support/subseqs.v support/sums.v support/sums2.v HEAD is now at a0463da Fix LinAlg =-=- Installing packages =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= Building coq:contrib:lin-alg.dev: coq_makefile -f Make -o Makefile make -j4 make install Warning: in option -R, ../../Sophia-Antipolis/Algebra/ is not a subdirectory of the current directory Warning: install rule assumes that -R/-Q . _ is the only -R/-Q optionWarning: install rule assumes that -R/-Q . _ is the only -R/-Q optionWarning: -R/-Q options don't have a correct common prefix, install-doc will put anything in $INSTALLDEFAULTROOT "coqdep" -c -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg "first_page.v" > "first_page.v.d" || ( RV=$?; rm -f "first_page.v.d"; exit ${RV} ) "coqdep" -c -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg "support/equal_syntax.v" > "support/equal_syntax.v.d" || ( RV=$?; rm -f "support/equal_syntax.v.d"; exit ${RV} ) "coqdep" -c -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg "support/more_syntax.v" > "support/more_syntax.v.d" || ( RV=$?; rm -f "support/more_syntax.v.d"; exit ${RV} ) "coqdep" -c -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg "LinAlg/vecspaces_verybasic.v" > "LinAlg/vecspaces_verybasic.v.d" || ( RV=$?; rm -f "LinAlg/vecspaces_verybasic.v.d"; exit ${RV} ) coqdep: "opendir" failed on "../../Sophia-Antipolis/Algebra/": No such file or directory coqdep: "opendir" failed on "../../Sophia-Antipolis/Algebra/": No such file or directory "coqdep" -c -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg "support/finite.v" > "support/finite.v.d" || ( RV=$?; rm -f "support/finite.v.d"; exit ${RV} ) "coqdep" -c -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg "examples/vecspace_Fn.v" > "examples/vecspace_Fn.v.d" || ( RV=$?; rm -f "examples/vecspace_Fn.v.d"; exit ${RV} ) coqdep: "opendir" failed on "../../Sophia-Antipolis/Algebra/": No such file or directory coqdep: "opendir" failed on "../../Sophia-Antipolis/Algebra/": No such file or directory "coqdep" -c -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg "support/Map2.v" > "support/Map2.v.d" || ( RV=$?; rm -f "support/Map2.v.d"; exit ${RV} ) coqdep: "opendir" failed on "../../Sophia-Antipolis/Algebra/": No such file or directory coqdep: "opendir" failed on "../../Sophia-Antipolis/Algebra/": No such file or directory "coqdep" -c -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg "examples/vecspace_functionspace.v" > "examples/vecspace_functionspace.v.d" || ( RV=$?; rm -f "examples/vecspace_functionspace.v.d"; exit ${RV} ) "coqdep" -c -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg "examples/Matrices.v" > "examples/Matrices.v.d" || ( RV=$?; rm -f "examples/Matrices.v.d"; exit ${RV} ) coqdep: "opendir" failed on "../../Sophia-Antipolis/Algebra/": No such file or directory coqdep: "opendir" failed on "../../Sophia-Antipolis/Algebra/": No such file or directory "coqdep" -c -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg "examples/vecspace_Mmn.v" > "examples/vecspace_Mmn.v.d" || ( RV=$?; rm -f "examples/vecspace_Mmn.v.d"; exit ${RV} ) coqdep: "opendir" failed on "../../Sophia-Antipolis/Algebra/": No such file or directory "coqdep" -c -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg "LinAlg/alt_build_vecsp.v" > "LinAlg/alt_build_vecsp.v.d" || ( RV=$?; rm -f "LinAlg/alt_build_vecsp.v.d"; exit ${RV} ) "coqdep" -c -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg "examples/infinite_sequences.v" > "examples/infinite_sequences.v.d" || ( RV=$?; rm -f "examples/infinite_sequences.v.d"; exit ${RV} ) coqdep: "opendir" failed on "../../Sophia-Antipolis/Algebra/": No such file or directory "coqdep" -c -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg "support/algebra_omissions.v" > "support/algebra_omissions.v.d" || ( RV=$?; rm -f "support/algebra_omissions.v.d"; exit ${RV} ) "coqdep" -c -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg "support/arb_intersections.v" > "support/arb_intersections.v.d" || ( RV=$?; rm -f "support/arb_intersections.v.d"; exit ${RV} ) coqdep: "opendir" failed on "../../Sophia-Antipolis/Algebra/": No such file or directory coqdep: "opendir" failed on "../../Sophia-Antipolis/Algebra/": No such file or directory "coqdep" -c -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg "LinAlg/subspaces.v" > "LinAlg/subspaces.v.d" || ( RV=$?; rm -f "LinAlg/subspaces.v.d"; exit ${RV} ) coqdep: "opendir" failed on "../../Sophia-Antipolis/Algebra/": No such file or directory coqdep: "opendir" failed on "../../Sophia-Antipolis/Algebra/": No such file or directory "coqdep" -c -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg "examples/antisymmetric_matrices.v" > "examples/antisymmetric_matrices.v.d" || ( RV=$?; rm -f "examples/antisymmetric_matrices.v.d"; exit ${RV} ) "coqdep" -c -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg "examples/symmetric_matrices.v" > "examples/symmetric_matrices.v.d" || ( RV=$?; rm -f "examples/symmetric_matrices.v.d"; exit ${RV} ) coqdep: "opendir" failed on "../../Sophia-Antipolis/Algebra/": No such file or directory "coqdep" -c -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg "examples/up_lo_triang_mat.v" > "examples/up_lo_triang_mat.v.d" || ( RV=$?; rm -f "examples/up_lo_triang_mat.v.d"; exit ${RV} ) "coqdep" -c -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg "support/seq_set.v" > "support/seq_set.v.d" || ( RV=$?; rm -f "support/seq_set.v.d"; exit ${RV} ) coqdep: "opendir" failed on "../../Sophia-Antipolis/Algebra/": No such file or directory coqdep: "opendir" failed on "../../Sophia-Antipolis/Algebra/": No such file or directory "coqdep" -c -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg "support/seq_set_seq.v" > "support/seq_set_seq.v.d" || ( RV=$?; rm -f "support/seq_set_seq.v.d"; exit ${RV} ) "coqdep" -c -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg "support/empty.v" > "support/empty.v.d" || ( RV=$?; rm -f "support/empty.v.d"; exit ${RV} ) coqdep: "opendir" failed on "../../Sophia-Antipolis/Algebra/": No such file or directory coqdep: "opendir" failed on "../../Sophia-Antipolis/Algebra/": No such file or directory coqdep: "opendir" failed on "../../Sophia-Antipolis/Algebra/": No such file or directory "coqdep" -c -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg "support/conshdtl.v" > "support/conshdtl.v.d" || ( RV=$?; rm -f "support/conshdtl.v.d"; exit ${RV} ) "coqdep" -c -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg "support/concat.v" > "support/concat.v.d" || ( RV=$?; rm -f "support/concat.v.d"; exit ${RV} ) coqdep: "opendir" failed on "../../Sophia-Antipolis/Algebra/": No such file or directory "coqdep" -c -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg "support/const.v" > "support/const.v.d" || ( RV=$?; rm -f "support/const.v.d"; exit ${RV} ) coqdep: "opendir" failed on "../../Sophia-Antipolis/Algebra/": No such file or directory "coqdep" -c -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg "support/omit.v" > "support/omit.v.d" || ( RV=$?; rm -f "support/omit.v.d"; exit ${RV} ) coqdep: "opendir" failed on "../../Sophia-Antipolis/Algebra/": No such file or directory "coqdep" -c -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg "support/pointwise.v" > "support/pointwise.v.d" || ( RV=$?; rm -f "support/pointwise.v.d"; exit ${RV} ) coqdep: "opendir" failed on "../../Sophia-Antipolis/Algebra/": No such file or directory "coqdep" -c -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg "support/modify_seq.v" > "support/modify_seq.v.d" || ( RV=$?; rm -f "support/modify_seq.v.d"; exit ${RV} ) coqdep: "opendir" failed on "../../Sophia-Antipolis/Algebra/": No such file or directory "coqdep" -c -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg "support/mult_by_scalars.v" > "support/mult_by_scalars.v.d" || ( RV=$?; rm -f "support/mult_by_scalars.v.d"; exit ${RV} ) coqdep: "opendir" failed on "../../Sophia-Antipolis/Algebra/": No such file or directory "coqdep" -c -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg "support/Map_embed.v" > "support/Map_embed.v.d" || ( RV=$?; rm -f "support/Map_embed.v.d"; exit ${RV} ) coqdep: "opendir" failed on "../../Sophia-Antipolis/Algebra/": No such file or directory "coqdep" -c -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg "support/subseqs.v" > "support/subseqs.v.d" || ( RV=$?; rm -f "support/subseqs.v.d"; exit ${RV} ) coqdep: "opendir" failed on "../../Sophia-Antipolis/Algebra/": No such file or directory "coqdep" -c -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg "support/sums.v" > "support/sums.v.d" || ( RV=$?; rm -f "support/sums.v.d"; exit ${RV} ) coqdep: "opendir" failed on "../../Sophia-Antipolis/Algebra/": No such file or directory "coqdep" -c -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg "support/sums2.v" > "support/sums2.v.d" || ( RV=$?; rm -f "support/sums2.v.d"; exit ${RV} ) coqdep: "opendir" failed on "../../Sophia-Antipolis/Algebra/": No such file or directory "coqdep" -c -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg "support/distinct.v" > "support/distinct.v.d" || ( RV=$?; rm -f "support/distinct.v.d"; exit ${RV} ) coqdep: "opendir" failed on "../../Sophia-Antipolis/Algebra/": No such file or directory "coqdep" -c -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg "support/cast_seq_lengths.v" > "support/cast_seq_lengths.v.d" || ( RV=$?; rm -f "support/cast_seq_lengths.v.d"; exit ${RV} ) coqdep: "opendir" failed on "../../Sophia-Antipolis/Algebra/": No such file or directory "coqdep" -c -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg "support/seq_equality.v" > "support/seq_equality.v.d" || ( RV=$?; rm -f "support/seq_equality.v.d"; exit ${RV} ) coqdep: "opendir" failed on "../../Sophia-Antipolis/Algebra/": No such file or directory "coqdep" -c -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg "support/concat_facts.v" > "support/concat_facts.v.d" || ( RV=$?; rm -f "support/concat_facts.v.d"; exit ${RV} ) coqdep: "opendir" failed on "../../Sophia-Antipolis/Algebra/": No such file or directory "coqdep" -c -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg "support/seq_equality_facts.v" > "support/seq_equality_facts.v.d" || ( RV=$?; rm -f "support/seq_equality_facts.v.d"; exit ${RV} ) coqdep: "opendir" failed on "../../Sophia-Antipolis/Algebra/": No such file or directory "coqdep" -c -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg "support/distribution_lemmas.v" > "support/distribution_lemmas.v.d" || ( RV=$?; rm -f "support/distribution_lemmas.v.d"; exit ${RV} ) coqdep: "opendir" failed on "../../Sophia-Antipolis/Algebra/": No such file or directory coqdep: "opendir" failed on "../../Sophia-Antipolis/Algebra/": No such file or directory "coqdep" -c -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg "support/seq_set_facts.v" > "support/seq_set_facts.v.d" || ( RV=$?; rm -f "support/seq_set_facts.v.d"; exit ${RV} ) "coqdep" -c -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg "support/omit_facts.v" > "support/omit_facts.v.d" || ( RV=$?; rm -f "support/omit_facts.v.d"; exit ${RV} ) "coqdep" -c -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg "support/distinct_facts.v" > "support/distinct_facts.v.d" || ( RV=$?; rm -f "support/distinct_facts.v.d"; exit ${RV} ) coqdep: "opendir" failed on "../../Sophia-Antipolis/Algebra/": No such file or directory coqdep: "opendir" failed on "../../Sophia-Antipolis/Algebra/": No such file or directory coqdep: "opendir" failed on "../../Sophia-Antipolis/Algebra/": No such file or directory "coqdep" -c -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg "support/cast_between_subsets.v" > "support/cast_between_subsets.v.d" || ( RV=$?; rm -f "support/cast_between_subsets.v.d"; exit ${RV} ) coqdep: "opendir" failed on "../../Sophia-Antipolis/Algebra/": No such file or directory coqdep: "opendir" failed on "../../Sophia-Antipolis/Algebra/": No such file or directory "coqdep" -c -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg "LinAlg/lin_combinations.v" > "LinAlg/lin_combinations.v.d" || ( RV=$?; rm -f "LinAlg/lin_combinations.v.d"; exit ${RV} ) "coqdep" -c -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg "LinAlg/spans.v" > "LinAlg/spans.v.d" || ( RV=$?; rm -f "LinAlg/spans.v.d"; exit ${RV} ) "coqdep" -c -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg "LinAlg/algebraic_span_facts.v" > "LinAlg/algebraic_span_facts.v.d" || ( RV=$?; rm -f "LinAlg/algebraic_span_facts.v.d"; exit ${RV} ) coqdep: "opendir" failed on "../../Sophia-Antipolis/Algebra/": No such file or directory "coqdep" -c -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg "LinAlg/lin_comb_facts.v" > "LinAlg/lin_comb_facts.v.d" || ( RV=$?; rm -f "LinAlg/lin_comb_facts.v.d"; exit ${RV} ) coqdep: "opendir" failed on "../../Sophia-Antipolis/Algebra/": No such file or directory "coqdep" -c -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg "LinAlg/direct_sum.v" > "LinAlg/direct_sum.v.d" || ( RV=$?; rm -f "LinAlg/direct_sum.v.d"; exit ${RV} ) coqdep: "opendir" failed on "../../Sophia-Antipolis/Algebra/": No such file or directory "coqdep" -c -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg "LinAlg/lin_dependence.v" > "LinAlg/lin_dependence.v.d" || ( RV=$?; rm -f "LinAlg/lin_dependence.v.d"; exit ${RV} ) coqdep: "opendir" failed on "../../Sophia-Antipolis/Algebra/": No such file or directory coqdep: "opendir" failed on "../../Sophia-Antipolis/Algebra/": No such file or directory "coqdep" -c -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg "LinAlg/lin_dep_facts.v" > "LinAlg/lin_dep_facts.v.d" || ( RV=$?; rm -f "LinAlg/lin_dep_facts.v.d"; exit ${RV} ) "coqdep" -c -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg "support/random_facts.v" > "support/random_facts.v.d" || ( RV=$?; rm -f "support/random_facts.v.d"; exit ${RV} ) coqdep: "opendir" failed on "../../Sophia-Antipolis/Algebra/": No such file or directory "coqdep" -c -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg "support/finite_subsets.v" > "support/finite_subsets.v.d" || ( RV=$?; rm -f "support/finite_subsets.v.d"; exit ${RV} ) coqdep: "opendir" failed on "../../Sophia-Antipolis/Algebra/": No such file or directory "coqdep" -c -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg "support/has_n_elements.v" > "support/has_n_elements.v.d" || ( RV=$?; rm -f "support/has_n_elements.v.d"; exit ${RV} ) coqdep: "opendir" failed on "../../Sophia-Antipolis/Algebra/": No such file or directory "coqdep" -c -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg "support/counting_elements.v" > "support/counting_elements.v.d" || ( RV=$?; rm -f "support/counting_elements.v.d"; exit ${RV} ) coqdep: "opendir" failed on "../../Sophia-Antipolis/Algebra/": No such file or directory "coqdep" -c -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg "LinAlg/bases.v" > "LinAlg/bases.v.d" || ( RV=$?; rm -f "LinAlg/bases.v.d"; exit ${RV} ) coqdep: "opendir" failed on "../../Sophia-Antipolis/Algebra/": No such file or directory coqdep: "opendir" failed on "../../Sophia-Antipolis/Algebra/": No such file or directory "coqdep" -c -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg "LinAlg/bases_from_generating_sets.v" > "LinAlg/bases_from_generating_sets.v.d" || ( RV=$?; rm -f "LinAlg/bases_from_generating_sets.v.d"; exit ${RV} ) "coqdep" -c -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg "LinAlg/replacement_theorem.v" > "LinAlg/replacement_theorem.v.d" || ( RV=$?; rm -f "LinAlg/replacement_theorem.v.d"; exit ${RV} ) coqdep: "opendir" failed on "../../Sophia-Antipolis/Algebra/": No such file or directory "coqdep" -c -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg "LinAlg/replacement_corollaries.v" > "LinAlg/replacement_corollaries.v.d" || ( RV=$?; rm -f "LinAlg/replacement_corollaries.v.d"; exit ${RV} ) coqdep: "opendir" failed on "../../Sophia-Antipolis/Algebra/": No such file or directory coqdep: "opendir" failed on "../../Sophia-Antipolis/Algebra/": No such file or directory "coqdep" -c -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg "LinAlg/bases_finite_dim.v" > "LinAlg/bases_finite_dim.v.d" || ( RV=$?; rm -f "LinAlg/bases_finite_dim.v.d"; exit ${RV} ) coqdep: "opendir" failed on "../../Sophia-Antipolis/Algebra/": No such file or directory "coqdep" -c -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg "LinAlg/maxlinindepsubsets.v" > "LinAlg/maxlinindepsubsets.v.d" || ( RV=$?; rm -f "LinAlg/maxlinindepsubsets.v.d"; exit ${RV} ) "coqdep" -c -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg "LinAlg/subspace_dim.v" > "LinAlg/subspace_dim.v.d" || ( RV=$?; rm -f "LinAlg/subspace_dim.v.d"; exit ${RV} ) coqdep: "opendir" failed on "../../Sophia-Antipolis/Algebra/": No such file or directory "coqdep" -c -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg "LinAlg/subspace_bases.v" > "LinAlg/subspace_bases.v.d" || ( RV=$?; rm -f "LinAlg/subspace_bases.v.d"; exit ${RV} ) coqdep: "opendir" failed on "../../Sophia-Antipolis/Algebra/": No such file or directory "coqdep" -c -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg "LinAlg/Linear_Algebra_by_Friedberg_Insel_Spence.v" > "LinAlg/Linear_Algebra_by_Friedberg_Insel_Spence.v.d" || ( RV=$?; rm -f "LinAlg/Linear_Algebra_by_Friedberg_Insel_Spence.v.d"; exit ${RV} ) coqdep: "opendir" failed on "../../Sophia-Antipolis/Algebra/": No such file or directory coqdep: "opendir" failed on "../../Sophia-Antipolis/Algebra/": No such file or directory "coqdep" -c -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg "LinAlg/Lin_trafos.v" > "LinAlg/Lin_trafos.v.d" || ( RV=$?; rm -f "LinAlg/Lin_trafos.v.d"; exit ${RV} ) "coqdep" -c -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg "examples/trivial_spaces.v" > "examples/trivial_spaces.v.d" || ( RV=$?; rm -f "examples/trivial_spaces.v.d"; exit ${RV} ) coqdep: "opendir" failed on "../../Sophia-Antipolis/Algebra/": No such file or directory "coqdep" -c -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg "examples/Matrix_multiplication.v" > "examples/Matrix_multiplication.v.d" || ( RV=$?; rm -f "examples/Matrix_multiplication.v.d"; exit ${RV} ) coqdep: "opendir" failed on "../../Sophia-Antipolis/Algebra/": No such file or directory coqdep: "opendir" failed on "../../Sophia-Antipolis/Algebra/": No such file or directory "coqdep" -c -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg "extras/ring_module.v" > "extras/ring_module.v.d" || ( RV=$?; rm -f "extras/ring_module.v.d"; exit ${RV} ) coqdep: "opendir" failed on "../../Sophia-Antipolis/Algebra/": No such file or directory "coqdep" -c -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg "extras/Inter_intersection.v" > "extras/Inter_intersection.v.d" || ( RV=$?; rm -f "extras/Inter_intersection.v.d"; exit ${RV} ) "coqdep" -c -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg "extras/finite_misc.v" > "extras/finite_misc.v.d" || ( RV=$?; rm -f "extras/finite_misc.v.d"; exit ${RV} ) coqdep: "opendir" failed on "../../Sophia-Antipolis/Algebra/": No such file or directory "coqdep" -c -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg "extras/restrict.v" > "extras/restrict.v.d" || ( RV=$?; rm -f "extras/restrict.v.d"; exit ${RV} ) coqdep: "opendir" failed on "../../Sophia-Antipolis/Algebra/": No such file or directory coqdep: "opendir" failed on "../../Sophia-Antipolis/Algebra/": No such file or directory "coqdep" -c -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg "extras/Matrix_related_defs.v" > "extras/Matrix_related_defs.v.d" || ( RV=$?; rm -f "extras/Matrix_related_defs.v.d"; exit ${RV} ) coqdep: "opendir" failed on "../../Sophia-Antipolis/Algebra/": No such file or directory "coqdep" -c -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg "extras/before_after.v" > "extras/before_after.v.d" || ( RV=$?; rm -f "extras/before_after.v.d"; exit ${RV} ) coqdep: "opendir" failed on "../../Sophia-Antipolis/Algebra/": No such file or directory "coqdep" -c -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg "extras/matrix_algebra.v" > "extras/matrix_algebra.v.d" || ( RV=$?; rm -f "extras/matrix_algebra.v.d"; exit ${RV} ) "coqdep" -c -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg "extras/Equality_structures.v" > "extras/Equality_structures.v.d" || ( RV=$?; rm -f "extras/Equality_structures.v.d"; exit ${RV} ) coqdep: "opendir" failed on "../../Sophia-Antipolis/Algebra/": No such file or directory coqdep: "opendir" failed on "../../Sophia-Antipolis/Algebra/": No such file or directory coqdep: "opendir" failed on "../../Sophia-Antipolis/Algebra/": No such file or directory "coqc" -q -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg extras/Equality_structures "coqc" -q -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg extras/matrix_algebra "coqc" -q -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg extras/before_after "coqc" -q -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg extras/Matrix_related_defs Warning: Cannot open ../../Sophia-Antipolis/Algebra/ Warning: Cannot open ../../Sophia-Antipolis/Algebra/ Warning: Cannot open ../../Sophia-Antipolis/Algebra/ Warning: Cannot open ../../Sophia-Antipolis/Algebra/ File "./extras/Equality_structures.v", line 20, characters 0-34: Error: Cannot find library seq_equality_facts in loadpath File "./extras/before_after.v", line 20, characters 0-26: Error: Cannot find library omit_facts in loadpath Makefile:298: recipe for target 'extras/before_after.vo' failed make: *** [extras/before_after.vo] Error 1 make: *** Waiting for unfinished jobs.... Makefile:298: recipe for target 'extras/Equality_structures.vo' failed make: *** [extras/Equality_structures.vo] Error 1 File "./extras/Matrix_related_defs.v", line 20, characters 0-24: Error: Cannot find library Matrices in loadpath File "./extras/matrix_algebra.v", line 21, characters 0-24: Error: Cannot find library Matrices in loadpath make: *** [extras/matrix_algebra.vo] Error 1 Makefile:298: recipe for target 'extras/matrix_algebra.vo' failed make: *** [extras/Matrix_related_defs.vo] Error 1 Makefile:298: recipe for target 'extras/Matrix_related_defs.vo' failed [ERROR] The compilation of coq:contrib:lin-alg.dev failed. Removing coq:contrib:lin-alg.dev. rm -R /home/bench/.opam/system/lib/coq/user-contrib/lin-alg rm: cannot remove '/home/bench/.opam/system/lib/coq/user-contrib/lin-alg': No such file or directory #=== ERROR while installing coq:contrib:lin-alg.dev ===========================# # opam-version 1.2.0 # os linux # command make -j4 # path /home/bench/.opam/system/build/coq:contrib:lin-alg.dev # compiler system (4.01.0) # exit-code 2 # env-file /home/bench/.opam/system/build/coq:contrib:lin-alg.dev/coq:contrib:lin-alg-19871-d2c37b.env # stdout-file /home/bench/.opam/system/build/coq:contrib:lin-alg.dev/coq:contrib:lin-alg-19871-d2c37b.out # stderr-file /home/bench/.opam/system/build/coq:contrib:lin-alg.dev/coq:contrib:lin-alg-19871-d2c37b.err ### stdout ### # ...[truncated] # "coqdep" -c -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg "extras/matrix_algebra.v" > "extras/matrix_algebra.v.d" || ( RV=$?; rm -f "extras/matrix_algebra.v.d"; exit ${RV} ) # "coqdep" -c -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg "extras/Equality_structures.v" > "extras/Equality_structures.v.d" || ( RV=$?; rm -f "extras/Equality_structures.v.d"; exit ${RV} ) # "coqc" -q -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg extras/Equality_structures # "coqc" -q -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg extras/matrix_algebra # "coqc" -q -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg extras/before_after # "coqc" -q -R "../../Sophia-Antipolis/Algebra/" Algebra -R "." LinAlg extras/Matrix_related_defs # Makefile:298: recipe for target 'extras/before_after.vo' failed # Makefile:298: recipe for target 'extras/Equality_structures.vo' failed # Makefile:298: recipe for target 'extras/matrix_algebra.vo' failed # Makefile:298: recipe for target 'extras/Matrix_related_defs.vo' failed ### stderr ### # ...[truncated] # Error: Cannot find library omit_facts in loadpath # make: *** [extras/before_after.vo] Error 1 # make: *** Waiting for unfinished jobs.... # make: *** [extras/Equality_structures.vo] Error 1 # File "./extras/Matrix_related_defs.v", line 20, characters 0-24: # Error: Cannot find library Matrices in loadpath # File "./extras/matrix_algebra.v", line 21, characters 0-24: # Error: Cannot find library Matrices in loadpath # make: *** [extras/matrix_algebra.vo] Error 1 # make: *** [extras/Matrix_related_defs.vo] Error 1 'opam install -y --verbose coq:contrib:lin-alg.dev' failed.
Data not available in this bench.
true


Welcome to Kotori Web JUnit Runner(ktrwjr)
Sample Project
You can specify the log time zone to display on ktrwjr.
You can apply your favorite jQueryUI theme.
(If you use themes other than the default, you must download the theme and put them into your project.)


All code and examples in three.js are written using Mr.doob's Code Style.
Of course you are free to use whatever style you prefer for your own work, but
if you are adding code to the library or examples then you must follow this guide.
You can find details
here.


--- page: 'reference-detail' title: 'ons.orientation' name: 'ons.orientation' collection: 'objects' reference: true docCategory: 'js' componentCategory: util ---
Utility methods for orientation detection.
| Signature | Description |
|---|---|
| isPortrait() | Returns whether the current screen orientation is portrait or not. |
| isLandscape() | Returns whether the current screen orientation is landscape or not. |
| on(eventName, listener) | Add an event listener. |
| once(eventName, listener) | Add an event listener that's only triggered once. |
| off(eventName, [listener]) | Remove an event listener. If the listener is not specified all listeners for the event type will be removed. |
| Name | Description |
|---|---|
| change | Fired when the device orientation changes. |
Returns whether the current screen orientation is portrait or not.
Returns: Will be true if the current orientation is portrait mode.
Returns whether the current screen orientation is landscape or not.
Returns: Will be true if the current orientation is landscape mode.
Add an event listener.
| Name | Type | Description |
|---|---|---|
| eventName | String | Name of the event. |
| listener | Function | Function to execute when the event is triggered. |
Add an event listener that's only triggered once.
| Name | Type | Description |
|---|---|---|
| eventName | String | Name of the event. |
| listener | Function | Function to execute when the event is triggered. |
Remove an event listener. If the listener is not specified all listeners for the event type will be removed.
| Name | Type | Description |
|---|---|---|
| eventName | String | Name of the event. |
| listener | Function | Function to execute when the event is triggered. |
Fired when the device orientation changes.
| Name | Type | Description |
|---|---|---|
| event | Object | Event object. |
| event.isPortrait | Boolean | Will be true if the current orientation is portrait mode. |


and here we are
In the beginning there was Ian. Then there was O bruit qui court, which is a nice enough restaurant, and quickly there was a direct translation - The Noise Who Runs. Then there was all the songs for a debut The Noise Who Runs album, swiftly followed by a lot more songs, more than enough for a second The Noise Who Runs Album. Then there was an unfathomable plan to pay 200€ a month to release all those songs individually, with the spurious logic that if you make an album it's kind of out of date and you are writing different and more interesting things when you have to promote it. This terrible thing an album causes an artist would obviously be remedied by taking 26 existing songs and releasing individually, once a month, for just over a two-year period.
By this point, the parting of the ways across the Atlantic, there was Felipe with his guitar, and even, before Felipe, there was Gérald with his bass. And just in time for Christmas, there was Julien. And Julien came with his drumsticks and technology and the album began to be finished. And then there was Coronavirus, although everyone seems to have opted for the "COVID-19" moniker, desperate, since they are all experts enough and that they are all still "bored of experts" anyway, to demonstrate their understanding and awareness of all things in using numbers in a name to sound scientifically informed.
 Like World War One (and therefore WWII by a knock-on default really) catalysed greater equality of rights and programmes of social welfare, the global shutdown in the wake of Coronavirus would shift the window of opportunity to a wider view, more panoramic, looking forward several generations, dozens of lifetimes, and repurpose the present industries and workforces to employment specifically designed to move to a green economy and tackle and arrest the irreversible climate change that, if, as will happen, the governments of the world don't demand this with immediate effect, will shortly threaten every single person on the planet - it's just a few short years of doing nothing away.
And so there was So It Goes. And then were was a first EP planned. And songs were written or resurrected, recorded, sent back and forth via WeTransfer. And during this time, a second EP was planned as the initial surrealism of confinement became weirdly existential as you contemplated the absurdity of billions of people all being at home, more or less alone. And songs were written or resurrected, recorded, sent back and forth via WeTransfer, and here we are. This is the first release by The Noise Who Runs, and the first of three, well, let's call them, The Coronaviral EPs. Yes, not so very long ago, upon completion of EP1 - The First of Two Sides of a Double-headed Coin - a third EP was planned. Three are good. You can't do things without triangles. And three is one of the sacred magic numbers. These are 1, 3, 7, 10 and 12. Personally, I like the number 82 best of all.


On February 26th, we won net neutrality so that no company or government can control what we see and do on the Internet.
On February 27th, to properly honor what we did together, we sent a message to every goliath monopoly, government, and institution of power in the world. If you mess with the Internet, the Internet will mess with you -- and we will always win.
Our messenger: a 2,000 sq ft Grumpy Cat towed by an airplane.


Never Been Kissed
Directed by Raja Gosnell
Written by Abby Kohn and Marc Silverstein
Starring Drew Barrymore, David Arquette, John C. Reilly, Michael Vartan, Molly Shannon, and Octavia Spencer
As Reviewed by James Brundage
Theory on Film: As the year goes on, the number of bad films progressively gets smaller. The chances that a bad sounding will be good increase, and the chances that a good sounding film will be bad decrease. This only applies during the non-summer months. During the summer months, anything that will make money is put onto the table, and thus my thesis is null and void during that time period.
Now it is April. The movies that I have groaned at the previews of (i.e. The Wachowski Brothers' The Matrix) end up being ten to twenty times better than I expect. Scratch that. Remembering my algebra, a negative number times a positive number is still negative. Hence the movies are better than I expected by being good at all.
Never Been Kissed is a classic example. After watching the terrible duo of Ever After and The Wedding Singer, the last two films with her in them that I have seen, I have been tempted to find the girl from ET and do to her what was done to her in Scream. So, when Never Been Kissed came around, I expected to see a terrible film that I would have more fun perfecting my crackpot aim with the light weight missile weapon known as the popcorn kernel - a much harder object to hurl than is displayed in the movies.
What I found instead was a popcorn film plot with two very gifted writers and an excellent performance by someone who hasn't given an excellent performance in three years. Basically, Never Been Kissed follows Josie Gellar (Drew Barrymore), a 25-year-old copy editor for the Chicago Sun Times. For those not familiar with the newspaper world, that roughly translates as 30 Grand a year and no respect.
Josie is fairly unattractive, loves correct grammar and women's business suits (her constant correcting of incorrect grammar is the perfect touch put in by writer Abby Kohn and Marc Silverstein). Oh, yeah, she's a virgin who has never been kissed. Well, she's been kissed, but not with the kind of magic that we find more in movies than in life. Another nod to the writers: she describes the first kiss in such terms as would put Juliet on the balcony to shame.
By some miracle of her psychotic editor-in-chief, Josie is sent as an undercover reported into the midst of the den of lions known as High School. Her goal: to find out about kids today. Of course, since she was nicknamed Josie Grosie when she really went to high school, things don't go too well for her. Her only friends are Cynthia (Octavia Spencer), a member of a Calculus team known as "The Denominators", and her English teacher Sam Coulson (Michael Vartan). Formula to the core, we all know that she falls in love with the teacher.
The funny thing about the movie is that it has humor on both levels.  For the rest of us, the geeks, the twentysomethings who have finally realized what a charade High School was, people with an IQ over 120, you are treated with wonderful tidbits of humor such as the Calc team getting pi slightly wrong and the Shakespeare class quote from Henry VI instead of As You Like It, the subject of the class.
The performance by Barrymore actually shows that talent may be genetic (her father was a terrific actor), because she actually makes me care about a character, something that I normally do the exact opposite of.
Her basically pitiful High School experiences contrasted with her current (and eventually very successful) experiences are shown through a well done series of flashbacks (the director takes care to overlight and use grainy films in the flashback scenes, to give it the 80s look it deserves), and we actually get to see Drew Barrymore, a girl stalked since 5 by some person or another, successfully act very unpopular.
It's not a film that lives in the box. Instead, it lives in two boxes simultaneously. One box is the "oh-that's-so-sweet" High School audience, it's target, and the other is the twentysomethings who may truly enjoy it. So, if you fall into either category a or b, see the film.
The review above was posted to the
rec.arts.movies.reviews newsgroup (de.rec.film.kritiken for German reviews).
The Internet Movie Database accepts no responsibility for the contents of the
review and has no editorial control. Unless stated otherwise, the copyright
belongs to the author.
Please direct comments/criticisms of the review to relevant newsgroups.
Broken URLs inthe reviews are the responsibility of the author.
The formatting of the review is likely to differ from the original due
to ASCII to HTML conversion.
Related links: index of all rec.arts.movies.reviews reviews


Photo Slideshow Demo
Enter interval value in ms:
Select a path:
Select the mode:
Local File System
Remote File System (url)


Mason:
Thank you. Now the souls of my family can rest in peace... The fire of revenge that has driven me mad is finally extinguished... Please give this letter to
Ascalon
. Tell him that my family and I are finally at peace.


{% extends 'ontrack_app/base.html' %} {% block body_block %}
If you can, wear something that covers your nose and mouth in places where it's hard to stay away from other people. There are some places where you must wear a face covering, such as:
To help yourself stay well:


Machine Learning: 2016-2017
|
Lecturer |
|
|
Degrees |
Schedule B2 (CS&P) — Computer Science and Philosophy Schedule B2 — Computer Science Schedule B2 — Mathematics and Computer Science |
|
Term |
Michaelmas Term 2016 (16 lectures) |
Overview
Machine learning techniques enable us to automatically extract features from data so as to solve predictive tasks, such
as speech recognition, object recognition, machine translation, question-answering, anomaly detection, medical diagnosis and
prognosis, automatic algorithm configuration, personalisation, robot control, time series forecasting, and much more. Learning
systems adapt so that they can solve new tasks, related to previously encountered tasks, more efficiently.
This
course will introduce the field of machine learning, in particular focusing on the core concepts of supervised and unsupervised
learning. In supervised learning we will discuss algorithms which are trained on input data labelled with a desired output,
for instance an image of a face and the name of the person whose face it is, and learn a function mapping from the input to
the output. Unsupervised learning aims to discover latent structure in an input signal where no output labels are available,
an example of which is grouping web-pages based on the topics they discuss. Students will learn the algorithms which underpin
many popular machine learning techniques, as well as developing an understanding of the theoretical relationships between
these algorithms. The practicals will concern the application of machine learning to a range of real-world problems.
Prerequisites
Machine learning is a mathematical discipline and it is helpful to have a good background in linear algebra, calculus, probability and algorithms. If you have not take the following courses (or their equivalents) you should talk to the instructor prior to registering for the class.
- Continuous Mathematics
- Linear Algebra
- Design and Analysis of Algorithms
Syllabus
|
Reading list
- Kevin P. Murphy. Machine Learning: A Probabilistic Perspective. MIT Press 2012
- Christopher M. Bishop. Pattern Recognition and Machine Learning. Springer 2007
- Trevor Hastie, Robert Tibshirani, Jerome Friedman. The Elements of Statistical Learning. Springer 2011


Plugin Information |
|---|
View Qy Wechat Notification on the plugin site for more information. |
Description
This plugin is used to notification.
Usage
Freestyle Job Usage
Change Log
Version 1.0.0 (2019-07-23)
- First release.
Attachments:
image2019-4-25_10-42-4.png (image/png)


Python LoopsThe flow of the programs written in any programming language is sequential by default. Sometimes we may need to alter the flow of the program. The execution of a specific code may need to be repeated several numbers of times. For this purpose, The programming languages provide various types of loops which are capable of repeating some specific code several numbers of times. Consider the following diagram to understand the working of a loop statement. Why we use loops in python?The looping simplifies the complex problems into the easy ones. It enables us to alter the flow of the program so that instead of writing the same code again and again, we can repeat the same code for a finite number of times. For example, if we need to print the first 10 natural numbers then, instead of using the print statement 10 times, we can print inside a loop which runs up to 10 iterations. Advantages of loopsThere are the following advantages of loops in Python.
There are the following loop statements in Python.
Next TopicPython For Loop
|
Python LoopsThe flow of the programs written in any programming language is sequential by default. Sometimes we may need to alter the flow of the program. The execution of a specific code may need to be repeated several numbers of times. For this purpose, The programming languages provide various types of loops which are capable of repeating some specific code several numbers of times. Consider the following diagram to understand the working of a loop statement. Why we use loops in python?The looping simplifies the complex problems into the easy ones. It enables us to alter the flow of the program so that instead of writing the same code again and again, we can repeat the same code for a finite number of times. For example, if we need to print the first 10 natural numbers then, instead of using the print statement 10 times, we can print inside a loop which runs up to 10 iterations. Advantages of loopsThere are the following advantages of loops in Python.
There are the following loop statements in Python.
Next TopicPython For Loop
|
Python LoopsThe flow of the programs written in any programming language is sequential by default. Sometimes we may need to alter the flow of the program. The execution of a specific code may need to be repeated several numbers of times. For this purpose, The programming languages provide various types of loops which are capable of repeating some specific code several numbers of times. Consider the following diagram to understand the working of a loop statement. Why we use loops in python?The looping simplifies the complex problems into the easy ones. It enables us to alter the flow of the program so that instead of writing the same code again and again, we can repeat the same code for a finite number of times. For example, if we need to print the first 10 natural numbers then, instead of using the print statement 10 times, we can print inside a loop which runs up to 10 iterations. Advantages of loopsThere are the following advantages of loops in Python.
There are the following loop statements in Python.
Next TopicPython For Loop
|
Python LoopsThe flow of the programs written in any programming language is sequential by default. Sometimes we may need to alter the flow of the program. The execution of a specific code may need to be repeated several numbers of times. For this purpose, The programming languages provide various types of loops which are capable of repeating some specific code several numbers of times. Consider the following diagram to understand the working of a loop statement. Why we use loops in python?The looping simplifies the complex problems into the easy ones. It enables us to alter the flow of the program so that instead of writing the same code again and again, we can repeat the same code for a finite number of times. For example, if we need to print the first 10 natural numbers then, instead of using the print statement 10 times, we can print inside a loop which runs up to 10 iterations. Advantages of loopsThere are the following advantages of loops in Python.
There are the following loop statements in Python.
Next TopicPython For Loop
|


§89-10.6 Schools; waiver of policies, rules, or procedures. Any school may initiate a waiver from policies, rules, or procedures, including collective bargaining agreements, as provided for in section 302A-1126. [L 1993, c 364, pt of §11; am L 1994, c 272, §23; am L 1996, c 89, §6; am L 2004, c 51, §21]


{{+bindTo:partials.standard_nacl_api}}
| struct | PP_ArrayOutput |
| A structure that defines a way for the browser to return arrays of data to the plugin. More... | |
| struct | PP_VideoPicture |
| Struct describing a decoded video picture. More... | |
| struct | PP_VideoPicture |
| Struct describing a decoded video picture. More... | |
| struct | PP_VideoProfileDescription |
| Supported video profile information. More... | |
| struct | PP_VideoProfileDescription |
| Supported video profile information. More... | |
| struct | PP_AudioProfileDescription |
| Supported audio profile information. More... | |
| struct | PP_BitstreamBuffer |
| Struct describing a bitstream buffer. More... | |
| struct | PP_AudioBitstreamBuffer |
| Struct describing an audio bitstream buffer. More... | |
| struct | PP_CompletionCallback |
PP_CompletionCallback is a common mechanism for supporting potentially asynchronous calls in browser interfaces. More... | |
| struct | PP_DirectoryEntry |
| struct | PP_FileInfo |
The PP_FileInfo struct represents all information about a file, such as size, type, and creation time. More... | |
| struct | PP_InputEvent_Key |
The PP_InputEvent_Key struct represents a key up or key down event. More... | |
| struct | PP_InputEvent_Character |
The PP_InputEvent_Character struct represents a typed character event. More... | |
| struct | PP_InputEvent_Mouse |
The PP_InputEvent_Mouse struct represents all mouse events except mouse wheel events. More... | |
| struct | PP_InputEvent_Wheel |
The PP_InputEvent_Wheel struct represents all mouse wheel events. More... | |
| struct | PP_Point |
| The PP_Point structure defines the integer x and y coordinates of a point. More... | |
| struct | PP_FloatPoint |
| The PP_FloatPoint structure defines the floating-point x and y coordinates of a point. More... | |
| struct | PP_Rect |
The PP_Rect struct contains the size and location of a 2D rectangle. More... | |
| struct | PP_FloatRect |
The PP_FloatRect struct contains the size and location of a 2D rectangle. More... | |
| struct | PP_Size |
The PP_Size struct contains the size of a 2D rectangle. More... | |
| struct | PP_FloatSize |
The PP_FloatSize struct contains the size of a 2D rectangle. More... | |
| struct | PP_TouchPoint |
The PP_TouchPoint struct represents all information about a single touch point, such as position, id, rotation angle, and pressure. More... | |
| union | PP_VarValue |
| The PP_VarValue union stores the data for any one of the types listed in the PP_VarType enum. More... | |
| struct | PP_Var |
The PP_VAR struct is a variant data type and can contain any value of one of the types named in the PP_VarType enum. More... | |
| struct | PP_GamepadSampleData |
| The data for one gamepad device. More... | |
| struct | PP_GamepadsSampleData |
| The data for all gamepads connected to the system. More... | |
| struct | PP_HostResolver_Hint |
PP_HostResolver_Hint represents hints for host resolution. More... | |
| struct | PP_ImageDataDesc |
The PP_ImageDataDesc structure represents a description of image data. More... | |
| struct | PP_NetAddress_IPv4 |
| All members are expressed in network byte order. More... | |
| struct | PP_NetAddress_IPv6 |
| All members are expressed in network byte order. More... |


ANCOP International Canada, Inc. is a duly registered Canadian charity dedicated to uplift the lives of poor families in developing countries through shelter, child education, and humanitarian relief.
In 2014, The Tessa Beauchamp Foundation began sponsoring three children from the village of Avanai in the Philippines by providing funds to ANCOP. The children will be provided with a better education and will receive ongoing healthcare.
My name is ANTHONY JAMES. I am 9 years old. I have 2 brothers. My father works as a Salesman while my mother is a plain housewife. I wish to become a Pilot someday.
Educational Level/Course: Grade III
Dialect Spoken: Tagalog
Hobbies/Sports: Singing, playing basketball
My name is DOROTHY MATALANG. I am 12 years old. I have 1 brother and 1 sister. My father works as a security guard while my mother is a plain housewife. I wish to become an accountant someday.
Educational Level/Course: Grade 8
Dialect Spoken: Tagalog
Hobbies/Sports: Singing, playing guitar
My name is IRRIZ GLEEN. I am 8 years old. I have 1 sister. My father works as a Taxi driver while my mother is a plain housewife. I wish to become an Engineer someday.
Educational Level/Course: Grade III
Dialect Spoken: Tagalog
Special Circumstance: Top 7 in class
Hobbies/Sports: Reading, acting, playing basketball


A reading from the first Letter of Saint Paul to the Thessalonians
We would not have you ignorant, brethren, concerning those who are
asleep, that you may not grieve as others do who have no hope.  For this we declare to you by the word of the
Lord, that we who are alive, who are left until the coming of the Lord, shall
not precede those who have fallen asleep. For the Lord himself
will descend from heaven with a cry of command, with the archangel's call, and
with the sound of the trumpet of God. And the dead in Christ will rise first;
then we who are alive, who are left, shall be caught up together with them in
the clouds to meet the Lord in the air; and so we shall always be with the
Lord. Therefore comfort one another with these words.
The word of the Lord
RESPONSORIAL PSALM Psalm 96:1 and 3.4-5.11-12.13 (R. 13b)
R. The Lord comes to judge the earth.
O sing a new song to the LORD; sing to the LORD
all the earth. Tell among the nations his glory, and his wonders among all the
peoples.
R. The Lord comes to judge the earth.
For the LORD is great and highly to be praised, to be
feared above all gods. For the gods of the nations are naught. It was the
LORD who made the heavens.
R. The Lord comes to judge the earth.
Let the heavens rejoice and earth be glad; let the sea and all within it
thunder praise. Let the land and all it bears rejoice.
R. The Lord comes to judge the earth.
Then will all the trees of the wood shout for joy at the presence of the
LORD, for he comes, he comes to judge the earth. He will judge the world with
justice; he will govern the peoples with his truth.
R. The Lord comes to judge the earth.
FIRST READING 1 Corinthians 2:1-5
I proclaimed to you Christ crucified.
A reading from the first Letter of Saint Paul to the Corinthians
When I came to you, brethren, I did not come proclaiming to you the
testimony of God in lofty words or wisdom. For I decided to
know nothing among you except Jesus Christ and him crucified. And I was with
you in weakness and in much fear and trembling; and my speech and my message
were not in plausible words of wisdom, but in demonstration of the Spirit and
of power, that your faith might not rest in the wisdom of men but in the power
of God.
The word of the Lord
RESPONSORIAL PSALM
Psalm 119:<IP_ADDRESS>.101.102 (R. 97a)
R. O Lord, how I love your law!
O LORD, how I love your law: my meditation all the
day!
R. O Lord, how I love your law!

R. O Lord, how I love your law!
I have more insight than all who teach me, for I
ponder your decrees.
R. O Lord, how I love your law!
I have gained more understanding than my elders,
for I keep your precepts.
R. O Lord, how I love your law!
I keep my feet from evil path, to obey your word.
R. O Lord, how I love your law!
I have not turned away from your decrees; you
yourself have taught me.
R. O Lord, how I love your law!
R. Alleluia. The Spirit of the Lord is upon me; he has sent me to preach good news to the poor. R. Alleluia.
GOSPEL Luke 4:16-30
“He has sent me to preach good news to the poor... No prophet is acceptable in his own country.”
A reading from the holy Gospel according to Luke
At that time: Jesus came to
The Gospel of the Lord


Go surgery
A goroutine and its innards
12 October 2018
Emmanuel Odeke
Orijtech, Inc.
Emmanuel Odeke
Orijtech, Inc.
at MOST GOMAXPROCS or by default the number of CPUs available
never freed but kept in a pool
never freed but kept in a pool of already created Gs
int fib(int n) { if (n < 2) return n; int x = spawn fib(n-1); int y = spawn fib(n-2); sync; return x + y; }
The Cilk compiler would then rewrite those statements, schedule the operations
in parallel and finally on reaching "sync" it would ensure "x" and "y" returned results.
#include <stdio.h> #include <stdlib.h> #include <pthread.h> void *th_fib(void *arg); int fib(int n) { if (n < 2) return n; pthread_t t1, t2; int n_1 = n-1, n_2 = n-2; pthread_create(&t1, NULL, th_fib, &n_1); pthread_create(&t2, NULL, th_fib, &n_2); int *x, *y; pthread_join(t1, (void **)&x); pthread_join(t2, (void **)&y); int result = *x + *y; free(x); free(y); return result; }
void *th_fib(void *arg) { int *n = (int *)arg; int *result = malloc(sizeof(int)); *result = fib(*n); return (void *)result; }
Please note that this is a verbatim translation of the recursive Fibonacci program
func fib(n int) int { if n < 2 { return n } ch := make(chan int) go fibGo(n-1, ch) go fibGo(n-2, ch) x := <-ch y := <-ch return x + y } func fibGo(n int, ch chan int) { ch <- fib(n) }
That's the Go program
A goroutine can be in either of these states:
- Running: _Grunning, _Gscanrunning
- Runnable: _Grunnable, _Gscanrunnable
- Stack being copied: _Gcopystack
- Waiting: _Gwaiting, _Gscanwaiting -- blocked in the runtime and not executing any user code
- In the midst of a syscall: _Gsyscall, _Gscansyscall -- not executing user code
- Idle: _Gidle: just got allocated and is uninitialized
- Dead: _Gdead -- currently unused; perhaps just exited or it has just been initialized and not executing user code
func properFsync(fd int) { syscall.Syscall(syscal.SYS_FCNTL, uintptr(fd), syscall.F_FULLFSYNC, 0) }
When performing a long running call such as waiting on a channel operation or
during garbage collection, when reading memory statistics. Perhaps after a gopark
call
func waitForIt(ch <-chan os.Signal) { sig := <-ch // After we've received the signal log it then exit // ... }
func hello() { return hello() }
goroutine is available to do work now. Transition initiated by goready
package main import ( "sync" "time" ) func main() { var wg sync.WaitGroup for i := 0; i < 10; i++ { wg.Add(1) go func(id int, wgg *sync.WaitGroup) { defer wgg.Done() _ = 10 <-time.After(100 * time.Millisecond) }(i, &wg) } wg.Wait() }
- firstly load argc, argv - Invoke ASM: runtime·rt0_go - Create the first G: runtime·g0 - Create the first M: runtime·m0 - m->g0 = g0 - g-> m = m0
Function invocation via value and not a pointer
package main type deviceRegister struct { i1 int i2 int64 i3 int i4 uint64 s string bitmap [256]int i5 int32 i6 int f1 [2]float64 ch1 [512]byte ch0 [180]byte i7 int64 i8 int } func main() { go func(_ deviceRegister) {}(deviceRegister{}) }
As per https://golang.org/pkg/runtime/#hdr-Environment_Variables
GODEBUG=schedtrace=<TIME_IN_MS>,scheddetail=1
package main import ( "sync" "time" ) func main() { spinSleep := func(wg *sync.WaitGroup) { defer wg.Done() for { <-time.After(500 * time.Millisecond) } } var wg sync.WaitGroup for i := 0; i < 10; i++ { wg.Add(1) go spinSleep(&wg) } wg.Wait() }
if stackTraceForAllGoroutines == false, print only stack trace for calling function
package main import ( "bytes" "fmt" "runtime" "time" ) func leakDetector() { buf := make([]byte, 2048) for { n := runtime.Stack(buf, true) splits := bytes.Split(buf[:n], []byte("\n\n")) for i, split := range splits { fmt.Printf("#%d:\n%s\n", i, split) } <-time.After(2 * time.Second) // Reuse the buffer for next refresh copy(buf[len(buf)-n:n], bytes.Repeat([]byte{0x00}, n)) } }
Already Independently implemented in the net/http tests by Brad Fitzpatrick
package main import ( "bytes" "fmt" "runtime" "time" ) func doWork() { for { <-time.After(1 * time.Second) } _ = 1 + 1 } func main() { for i := 0; i < 10; i++ { go doWork() } leakDetector() } func parseStackSections(section []byte) { // Fill in the function to parse goroutine information } func leakDetector() { buf := make([]byte, 2048) for { n := runtime.Stack(buf, true) splits := bytes.Split(buf[:n], []byte("\n\n")) for i, split := range splits { fmt.Printf("#%d:\n%s\n", i, split) } <-time.After(2 * time.Second) // Reuse the buffer for next refresh copy(buf[len(buf)-n:n], bytes.Repeat([]byte{0x00}, n)) } }


--- layout: post title: JavaScript Libraries Are Almost Never Updated Once Installed date: '2020-01-29T14:21:00.001+05:30' author: Sahil Rajput tags: modified_time: '2020-01-29T14:21:21.643+05:30' blogger_id: tag:blogger.com,1999:blog-5250005448924290719.post-3584324506169407620 blogger_orig_url: https://www.jaadujinn.ml/2020/01/javascript-libraries-are-almost-never.html ---


| DOSE: |
20 mg |
|
4-AcO-DMT |
|
| |
|
smoked |
Various |
(plant material) |
Substances: 4-AcO-DMT (20mgs), Cannabis, California Poppy resin, tobacco (This was a homemade pipe blend), and later into the experience, a high potency White Lotus extract (moderate dose).
Mindset: Great mood, even a little abnormally good for me, but I will get into that.
Medications: None
Setting: Woodland area around lake and best friend’s house
Background: I have vast experience with Entheogens and other psychoactives. This was my third time with this one. This experience was written about a 20mg experiment, but I have also tested it at 10mgs and 14mgs.
Intro: To start out on a non-technical basis, “Wow!” That is the first thing that I would say at the mention of this wonderful and most extraordinary Entheogen. Despite the references to DMT, I was still under the impression that this one wouldn’t be too far from Psilocybin or Psilocin. At lower doses it can be, but at 20mgs, there are quite a few differences noted.
Background (an elaboration of the above “background”): As a small comment, for those that are not familiar with me, I am very experienced with Entheogens and Empathogens, both natural (ranging from basic Psilocybes, Mescaline Cacti, to Salvia), semi-synthetics (LSD, MDA, MDMA, and many of Alexander Shulgin’s designs; highlights on 2C-E, DOM, 4-HO-MiPT, and Methylone), and the synthetics (mostly Ketamine and DXM, though I have tried PCP when I was young). As I matured, my fondness of the dissociatives dwindled to nothing.
Prelude: With my lower dose experiments, I found this compound to be of great interest. It had no rough edges, and everything about it is so smooth. There are only a couple psychedelics that have this unique effect, and I can see that there are definitely people who will desire this for pure recreation. Although, I am not the recreational type when it comes to this classification of drugs. On the following occasion, I decided to try the higher dose of 20mgs because that is all I had enough for, leaving my partner with 16mgs.
Story: To start, I was with my best friend “J,” who is a major part of my trip report collection. We had dosed at a friend’s house in quite rough snow conditions and preceded to drive to the top of the hill that leads to his house. It was only a ten minute drive, so that wasn’t a problem. We had no intentions on driving under the influence. From this point, we filled up my Tobacco pipe with a mixture of Tobacco, California Poppy resin, and Cannabis, and started to walk down the hill. We had no intended destination, but I had figured that we would probably end up at his house to listen to music for a little bit during the peak.
As we smoked our pipe blend, we both began noticing pronounced effects including a general feeling of warmth resonating from inside and some slight flickering and twinkling in the visual field. It was a good twenty minute walk to the house where the effects had manifested rapidly on the way. We weren’t even off the hill yet, and we were stopping to gaze into the woodlands, noticing the glare of the trees. There are a good few streams that run through the area, and we also noticed the extreme sensitivity to sound. There was both distortion and clarity. I had promised “J” that there would be some fascinating visuals and possibly visions on this one, but at first he was a bit unsure. However, I quickly gave him the answer he hoped to hear; that this is one of those compounds that makes you feel like you didn’t take enough at first before it propels you into a new world.
It was getting heavy once we got to the flat road at the bottom of the hill. The visuals were starting to get very unique. Some of it reminded me of the effects of its closest relatives, but there were also some very different effects. There were a great deal of reds in the auras of things and vine-like patterns that creep and crawl. The body feelings were still comforting and warm, yet intense. There is a strong desire to sit down which reveals a lack of strong stimulation unlike something like LSD. There also was present, a strangeness unknown, that we both were only vaguely familiar with through mild Yopo experiments. DMT-like thought patterns, perceptual shifts, and visual phenomena are there.
By the time we were almost to “J’s” house, most of the full effects had developed. Complete time distortion, escaping the grasp of reality and reaching the unknown, visuals far beyond the gentle color patterns and mild perceptual changes, and a body feeling divine, unlike anything I have experienced. There was some fear and uncertainty at this level, though both to me, loveable characteristics of entheogens. Once inside, into the “white light,” we were immersed in the ways and sways of this compound. We decided to put on the Yes album “Extended Versions” and see what would come about with the addition of progressive music.
“J” was pacing back and forth, apprehensive about sitting down, while I laid there on one of the couches comfortably enveloped in vision. “J” was like, “it’s been following me the whole way down the hill, and I know it will catch up with me if I sit down,” though he eventually did. I remember seeing patterns of white, blue, and gold at one distinct point, but everything was shifting so rapidly that it was hard to remember specific patterns and textures even though they were so thick I could swim in it. However, at the very peak of my experience, things became much more surreal.
I began to see a white, marble fountain, intricately designed, with a background of velvet textures and astounding color patterns made of purples and blues. Something divine was felt as this fountain was held and tipped ever so softly towards me, creating a mist that I could feel upon my face. Then it began to splash, and I could see a blinding white light inside the top of the structure. Immediately after that, I felt the warmest glow I have ever felt radiate through my entire body. It was as if I was being held by the Creator Himself. I looked over at “J” and I could tell he had a similar vision and identical experience after it. The music had definitely fueled this, as I remember the sound making me immobile. It felt wonderful.
After this moment of mystical beauty, we decided to start walking back to where we started. The view outside was quite different at this point. It was vivid, surreal, and filled with glowing visuals/visions. We had both stopped at a spot to admire the woods surrounding us, yet there was a living spirit there that had allured us: an image of “J’s” pregnant girlfriend. He started explaining it (what he saw, how he felt, etc..), and I began to see my own imagery of the miracle and beauty of birth/death. It was astounding. Of course what he felt was much more intimate.
As we approached the start of the hill, there were visual phenomena that was so distorted that it almost looked like we were in an entirely different place than we were. It appeared as if there was a house with all its outside lights on across the lake (no one lives on the opposite side of the lake), though it ended up being the last house before we turned up the hill I believe. This “glitch” in perception was particularly strange considering “J” has lived there his entire life, and I know the place almost as well as he does.
Walking up the hill consisted of a few stops for visual awakenings and listening, but there was nothing that really stood out other than the sound of water as we could hear the gentle streams down over the hill. Sound was amazing. The effect of this substance, for me, both distorts sound and clarifies it, as I mentioned earlier. It is one of those things that seems to draw my attention to a “what is that?,” to a moment of wondering and imagining, and then to a “well, that’s just the creek,” moving on to what you were previously doing. This process seems to drag out into eternity at the 20mg level.
Finally, when we got to the car, we sat and smoked tobacco for a while and conversed. We were gazing across a hill on to someone’s house in the distance at the snowfall that had started. There seemed to be a rainbow of color across the precipitation that was already on the ground and an illumination of light in the falling snow. There was definitely a spiritual feeling in the wind. We decided to wait a while before driving back, but eventually we did when we felt sober enough even though it is a short drive.
[Erowid Note: Driving while intoxicated or tripping is dangerous and irresponsible because it endangers other people. Don't do it!]
For a while “J” felt as if this was one of those experiences that run up to the twelve hour mark. He even asked me, but I assured him that it seems to last slightly longer than a typical mushroom experience and proceeds to decline rapidly into somewhat of an LSD-like afterglow after the incredibly intense DMT-like peak. We ended the night relaxed and reflected on what had transpired.
Before I had written this far, I had also shared an experience with my new girlfriend “L” (first time with a psychedelic), and I thought it should be mentioned. I ingested 14mgs, while I gave her 12mgs. On my part, everything was still consistent with previous dosages, but she was quite intrigued. The substance proved to be perfect for her first time experiencing something like that, considering she used to be too reluctant to go far beyond alcohol, Cannabis, or an occasional Opioid. I believe that this was something far more intimate and genuine for her.
To close, I cannot think of a compound that has so much warmth and just plain good nature, despite the intensity of 4-AcO-DMT. It provides everything I could ask for in a psychedelic without any adverse effects. With 20mgs, I expected slight side effects and the fear of God, but what I got was nothing but enlightenment, illumination, and comfort.
Experience Reports are the writings and opinions of the individual authors who submit them.
Some of the activities described are dangerous and/or illegal and none are recommended by Erowid.


Yes, we have a gallery of photos here.
Reserve your flower panels at least 30-40 days prior to event.
Yes, we require a deposit at least 5 days after contract is signed by both parties.
Yes, the delivery fee is included in your contract price.
Unfortunately, we do not offer self set up.
Cash, Credit/Debit card, Cashier’s Check, or Money Order.
Our standard panel size is 4'x8'. The standard panel for a full backdrop is 8x8. For even larger panels, we offer attachments of 2' for 10'x10' and 12'x12'. Custom orders are welcome as well.
We offer a creative approach to your ideas and will work with you to map out your perfect paper floral backdrop or decoration. Anything from arches, to wall panels, to table settings, and even life size paper flower frames and pop up letters. Come to us with any visions, and we would love to turn it into a reality.
Our prices range from $200 to $3000. For a specific quote, contact us.


{% extends 'layout/base.html' %} {%- block title %}Forbidden{% endblock %} {%- block content %}
Your client does not have permission to get URL {{ request.path }} from this server.


Instantly deploy a membership platform that increases
user engagement
and
customer lifetime value
through gamification and interactive content.
Request a demo
Social Feed
Friends
Notifications
Commenting
Gamification
Interactive Content
Customization
Analytics


College Life
👍🏼
I graduated from Texas A&M University as a member of the class of 2014, with a BS in Psychology and a 3.52 GPA. While I was at A&M, I was a involved in various leadership organizations, and even helped to co-found a service organization
called HEAT.
Past Work
📈
After graduation, I worked as a Financial Guidance Consultant at Fidelity Investments. After a year on the job, I was offered a position as the Director of Sales and Customer Relations at the start-up digital marketing firm, Lyvly. Overall,
I've worked for over 3 years in client-facing positions.
Current Interests
🔍
My current fascination lies in how code is beginning to converge with art. Not in the sense that someone will use an illustrator to create content, but instead that people who never saw themselves as artists are now able to create marvelous
works with the power of JavaScript and CSS.


#include <Network.h>
Definition at line 14 of file Network.h.
◆ Network()
| Network::Network |
( |
void |
| ) |
|
Definition at line 6 of file Network.cpp.
8 Serial.println(
"Failed to configure!");
12 while( WiFi.status() != WL_CONNECTED) {
15 Serial.print(WiFi.localIP());
◆ ~Network()
| Network::~Network |
( |
void |
| ) |
|
Definition at line 19 of file Network.cpp.
23 printf(
"Call Destructor Netowrk Class\n");
◆ ReceivePacket()
| int Network::ReceivePacket |
( |
char * |
buff, |
|
|
const unsigned int |
len |
|
) |
| |
- Parameters
-
- Returns
- int(0:No error, 1:no receive, -1:buff over)
Definition at line 47 of file Network.cpp.
51 Serial.print(
"packetsize:");Serial.println(packetSize);
55 if(packetSize <= len){
56 memset(buff, 0x00, len);
57 int len =
m_wifiUdp.read(buff, packetSize);
59 Serial.print(
"receive data:");Serial.println(buff);
◆ SendPacket()
| void Network::SendPacket |
( |
const char * |
buff, |
|
|
const unsigned int |
len |
|
) |
| |
Definition at line 27 of file Network.cpp.
30 for(
int i=0;i<len;i++){
◆ m_gateway
◆ m_ip
◆ m_my_port
◆ m_pass
◆ m_pc_addr
| const byte* Network::m_pc_addr = PC_ADDR |
|
private |
◆ m_pc_port
| const int Network::m_pc_port = PC_PORT |
|
private |
◆ m_ssid
| const char* Network::m_ssid = SSID |
|
private |
◆ m_subnet
◆ m_wifiUdp
| WiFiUDP Network::m_wifiUdp |
|
private |
The documentation for this class was generated from the following files:


Tsunamis Worldwide 1950 - 2014
Options
Year
Range of Years:
Magnitude
Magnitude Range:
Earthquake
Volcano
Landslide


UVic exchange students return to Canada from Hong Kong
Eight University of Victoria students on exchange programs in Hong Kong have returned to Canada, the university says.
The students were studying with three partner universities in Hong Kong, including Hong Kong University, City University of Hong Kong and the Chinese University of Hong Kong, UVic said in a statement.
The three institutions are closed for the remainder of the semester due to civil unrest, and are working to provide electronic alternatives so students can complete their coursework.
UVic students who were planning to study in Hong Kong beginning in January are discussing alternatives.
The University of British Columbia says it has cancelled its second term for exchange students in Hong Kong while it ensures the remainder of its students in region can get out.
The university said 31 of its students were attending four universities in Hong Kong, where protests have grown increasingly violent, and now 20 of them have left the area.
Vice-president for student affairs Ainsley Carry said the remaining 11 students are safe and accounted for, with six having firm departure plans, two working on travel plans and three staying in the area with family.
— With a file from The Canadian Press


An error occurred while processing the status change request. Please contact Foobar++ development team.
The order is cancelled. A notification has been sent to the user making the order.
The order is being prepared. A notification has been sent to the user making the order.
The order is now ready for pick up. A notification has been sent to the user making the order.
The order is now delivered. The customers will be able to leave a rating for the order being delivered. Please check the ratings page later.


THE MUTTON FEAST.
AN old tradition--the particulars of which I have failed to recover--says that a flock of sheep were blown from the Gwithian Sands over into St Ives Bay, and that the St Ives fishermen caught them,-- believing them to be a new variety of fish,--either in their nets, or with hook and line, and brought them ashore as their night's catch.
I learn that Mr Fortescue Hitchins, some fifty or sixty years since, wrote a "copy of verses" on this tradition, but I have never seen this production.


{% extends "blogwebsite/header.html" %} {% block content %} {% load staticfiles %} Projects What I worked on {% for post in object_list %}
Posted On {{post.date|date:"Y-m-d"}}


Equichore
Equichore
Equitable chore distribution
In any household, chore distribution between family members or roommates is more often than not, inequitable. Many times, one person is tasked by default to do the overwhelming majority of housework. Sometimes, this person is an unspoken designation decided by gender, sometimes by career demands and sometimes because people can be jerks. This is not fair! This is not equitable! This is what Equichore endeavors to correct.
This section will contain a lot more angsty text but, I'm tapped for ideas right now.
Tired of being "The Nag"?
We prefer the term, Chorehorse 🐴
The Chorehorse™ is the overburdened, overworked, underappreciated household member who doesn't want to do it all by themselves. Sometimes, there is more than one Chorehorse in a household.
The Chorehorse has tried everything to get other household members to do their fair share: hinting, incentivising, begging and pleading.
To the other household members, the Chorehorse is just being a nag.
Equichore
does the nagging for you!
The Chorehorse ...er, we mean "an account administrator" just needs to set the frequency and type of push notifications that go to other household members devices, and their devices will remind them of their responsibilities. The notifications continue until the assigned chores are done.
Click below to sign up for Equichore!
Got a No-Clean-Tween at home?
We gotcha 😒
Those scowly little twerps. The eyerolls. The attitudes. Ugh!
Good thing we have parental controls on their devices, am I right?
- Pry the device out of their grubby little hands or, nab it while they're sleeping
- Install the Equichore Kids App on their device using the codes provided when you sign up
- Make sure they don't have access to their settings to block Equichore's notifications (those parental controls we mentioned earlier)
- Won't they be annoyed when those repeating notifications to complete their assigned chore keep interrupting while they're trying to game, make a video, chat or whatever else they want to do until the chore's actually been completed?
- Until YOU, the parent/caretaker/final-worder, approve the chore as officially "complete", they keep getting notifications
- Wring your hands while smirking and chortle the evilist of chortles, BWAHAHAHAHA!
😈
Click below to sign up for Equichore and make your kids miserable!
See examples of how we annoy the living daylights out of your kids until they comply
We're big on protecting your right to privacy (and especially, your surly boogerhead's privacy). Read about how serious we are here.
Heading
Donec sed odio dui. Etiam porta sem malesuada magna mollis euismod. Nullam id dolor id nibh ultricies vehicula ut id elit. Morbi leo risus, porta ac consectetur ac, vestibulum at eros. Praesent commodo cursus magna.
Heading
Duis mollis, est non commodo luctus, nisi erat porttitor ligula, eget lacinia odio sem nec elit. Cras mattis consectetur purus sit amet fermentum. Fusce dapibus, tellus ac cursus commodo, tortor mauris condimentum nibh.
Heading
Donec sed odio dui. Cras justo odio, dapibus ac facilisis in, egestas eget quam. Vestibulum id ligula porta felis euismod semper. Fusce dapibus, tellus ac cursus commodo, tortor mauris condimentum nibh, ut fermentum massa justo sit amet risus.
First featurette heading. It’ll blow your mind.
Donec ullamcorper nulla non metus auctor fringilla. Vestibulum id ligula porta felis euismod semper. Praesent commodo cursus magna, vel scelerisque nisl consectetur. Fusce dapibus, tellus ac cursus commodo.
Oh yeah, it’s that good. See for yourself.
Donec ullamcorper nulla non metus auctor fringilla. Vestibulum id ligula porta felis euismod semper. Praesent commodo cursus magna, vel scelerisque nisl consectetur. Fusce dapibus, tellus ac cursus commodo.
And lastly, this one. Checkmate.
Donec ullamcorper nulla non metus auctor fringilla. Vestibulum id ligula porta felis euismod semper. Praesent commodo cursus magna, vel scelerisque nisl consectetur. Fusce dapibus, tellus ac cursus commodo.


Use
Reqres
for testing... [AXIOS custom instance]
Get Resource
Resource Not Found
Create Resource
Unsuccessful Create Resource
Delayed Response


Home
Services
Careers
About
Contact
(current)
Expedite Flatbed Motor Carrier
Raleigh, NC
CONTACT
Mail
PO BOX 37367
Raleigh, NC 27627
Phone
1-844-408-8282
E-Mail
Daily Operations
General Inquiries


| Fig 1 |
Modeled habitat suitability on the island of Borneo for the ... |
| Fig 2 |
Modeled habitat suitability on the island of Borneo for the ... |
| Fig 3 |
Projected changes in important Bioclim variables on the isla ... |
| Fig 4 |
Frequency histogram of elevational range (ER) for 134 Nepent ... |


latkProcessing
Classes
Latk
LatkFrame
LatkLayer
LatkPoint
LatkStroke
QuillLoader
QuillStroke
TiltLoader
TiltStroke


--- subject: Important details ---
Hi {\{firstname\}}
I'm a little bit in a hurry because I'm in a joining partnership meeting. Could you please enter your bank details at this given link for the representation so we can get started.
Thanks
N
PS Make it quick!
Chief Executive
Ext 220


Here's a sample of what I've produced over the last several months.
Angular group capstone. Discover Nashville.
Phaser game. Oscar becomes Wizard of Oz.
First app I've hosted on Google Play Store.
Ironic dating website for serial killers.
Angular capstone project. Rehab RUG tool.
Ionic game. White blood cell shoots viruses.
Angular website exercise and cal tracker.
First ever phaser game. Collect stars.
Phaser clone of the hit mobile game.


Civil War fort gives visitors close look at Union occupation
SAVANNAH, Ga. (AP) - The National Park Service is giving visitors an inside look at the life of Union soldiers occupying a captured Confederate fort on the Georgia coast during the Civil War.
Veterans Day weekend events at Fort Pulaski National Monument include reenactors taking on the roles of troops in the 48th New York Volunteer Infantry Regiment. The regiment was stationed at Fort Pulaski east of Savannah for a year after it was seized from Confederate troops in 1862. The Union soldiers stayed ready for a counter attack that never came.
Weekend visitors will see how the soldiers performed drills, as well as cannon and weapon firing demonstrations. Exhibits throughout the park include photographs of the 48th New York Volunteers during their time at Fort Pulaski.
Sign up for Daily Newsletters
Copyright © 2019 The Washington Times, LLC.
Please read our comment policy before commenting.