LaTeX customization¶
The latex target does not benefit from pre-prepared themes like the html target does (see HTML theming support).
Basic customization¶
It is achieved via usage of the Options for LaTeX output as described in The build configuration file. For example:
# inside conf.py
latex_engine = 'xelatex'
latex_elements = {
'fontpkg': r'''
\setmainfont{DejaVu Serif}
\setsansfont{DejaVu Sans}
\setmonofont{DejaVu Sans Mono}
''',
'preamble': r'''
\usepackage[titles]{tocloft}
\cftsetpnumwidth {1.25cm}\cftsetrmarg{1.5cm}
\setlength{\cftchapnumwidth}{0.75cm}
\setlength{\cftsecindent}{\cftchapnumwidth}
\setlength{\cftsecnumwidth}{1.25cm}
''',
'fncychap': r'\usepackage[Bjornstrup]{fncychap}',
'printindex': r'\footnotesize\raggedright\printindex',
}
latex_show_urls = 'footnote'
If the size of the 'preamble'
contents becomes inconvenient, one may move
all needed macros into some file mystyle.tex
of the project source
repertory, and get LaTeX to import it at run time:
'preamble': r'\input{mystyle.tex}',
# or, if the \ProvidesPackage LaTeX macro is used in a file mystyle.sty
'preamble': r'\usepackage{mystyle}',
It is needed to set appropriately :confval:`latex_additional_files`, for example:
latex_additional_files = ["mystyle.tex"]
The LaTeX style file options¶
The sphinxsetup interface¶
The 'sphinxsetup'
key of :confval:`latex_elements` provides a convenient
interface to the package options of the Sphinx style file:
latex_elements = {
'sphinxsetup': 'key1=value1, key2=value2, ...',
}
- some values may be LaTeX macros, then the backslashes must be Python-escaped, or the whole must be a Python raw string,
- LaTeX boolean keys require lowercase
true
orfalse
values, - spaces around the commas and equal signs are ignored, spaces inside LaTeX macros may be significant.
If non-empty, it will be passed as argument to the \sphinxsetup
macro
inside the document preamble, like this:
\usepackage{sphinx}
\sphinxsetup{key1=value1, key2=value2,...}
New in version 1.5.
It is possible to insert further uses of the \sphinxsetup
LaTeX macro
directly into the body of the document, via the help of the raw
directive. This is what is done for this documentation, for local styling
of this chapter in the PDF output:
.. raw:: latex
\begingroup
\sphinxsetup{%
verbatimwithframe=false,
VerbatimColor={named}{OldLace},
TitleColor={named}{DarkGoldenrod},
hintBorderColor={named}{LightCoral},
attentionborder=3pt,
attentionBorderColor={named}{Crimson},
attentionBgColor={named}{FloralWhite},
noteborder=2pt,
noteBorderColor={named}{Olive},
cautionborder=3pt,
cautionBorderColor={named}{Cyan},
cautionBgColor={named}{LightCyan}}
at the start of the chapter and:
.. raw:: latex
\endgroup
at its end.
Note
The colors above are made available via the svgnames
option of
the “xcolor” package:
latex_elements = {
'passoptionstopackages': r'\PassOptionsToPackage{svgnames}{xcolor}',
}
The available styling options¶
hmargin, vmargin
The dimensions of the horizontal (resp. vertical) margins, passed as
hmargin
(resp.vmargin
) option to thegeometry
package. The default is1in
, which is equivalent to{1in,1in}
. Example:'sphinxsetup': 'hmargin={2in,1.5in}, vmargin={1.5in,2in}, marginpar=1in',
Japanese documents currently accept only the one-dimension format for these parameters. The
geometry
package is then passed suitable options to get the text width set to an exact multiple of the zenkaku width, and the text height set to an integer multiple of the baselineskip, with the closest fit for the margins.Hint
For Japanese
'manual'
docclass with pointsize11pt
or12pt
, use thenomag
extra document class option (cf.'extraclassoptions'
key of :confval:`latex_elements`) or so-called TeX “true” units:'sphinxsetup': 'hmargin=1.5truein, vmargin=1.5truein, marginpar=5zw',
New in version 1.5.3.
marginpar
The
\marginparwidth
LaTeX dimension, defaults to0.5in
. For Japanese documents, the value is modified to be the closest integer multiple of the zenkaku width.New in version 1.5.3.
verbatimwithframe
- default
true
. Boolean to specify ifcode-block
s and literal includes are framed. Setting it tofalse
does not deactivate use of package “framed”, because it is still in use for the optional background colour. verbatimwrapslines
- default
true
. Tells whether long lines incode-block
’s contents should wrap. verbatimhintsturnover
default
false
. Iftrue
, code-blocks display “continued on next page”, “continued from previous page” hints in case of pagebreaks.New in version 1.6.3: the default will change to
true
at 1.7 and horizontal positioning of continuation hints (currently right aligned only) will be customizable.parsedliteralwraps
default
true
. Tells whether long lines in :dudir:`parsed-literal`’s contents should wrap.New in version 1.5.2: set this option value to
false
to recover former behaviour.inlineliteralwraps
default
true
. Allows linebreaks inside inline literals: but extra potential break-points (additionally to those allowed by LaTeX at spaces or for hyphenation) are currently inserted only after the characters. , ; ? ! /
. Due to TeX internals, white space in the line will be stretched (or shrunk) in order to accomodate the linebreak.New in version 1.5: set this option value to
false
to recover former behaviour.verbatimvisiblespace
- default
\textcolor{red}{\textvisiblespace}
. When a long code line is split, the last space character from the source code line right before the linebreak location is typeset using this. verbatimcontinued
A LaTeX macro inserted at start of continuation code lines. Its (complicated…) default typesets a small red hook pointing to the right:
\makebox[2\fontcharwd\font`\x][r]{\textcolor{red}{\tiny$\hookrightarrow$}}
Changed in version 1.5: The breaking of long code lines was added at 1.4.2. The default definition of the continuation symbol was changed at 1.5 to accomodate various font sizes (e.g. code-blocks can be in footnotes).
TitleColor
- default
{rgb}{0.126,0.263,0.361}
. The colour for titles (as configured via use of package “titlesec”.)
Warning
Colours set via 'sphinxsetup'
must obey the syntax of the
argument of the color/xcolor
packages \definecolor
command.
InnerLinkColor
- default
{rgb}{0.208,0.374,0.486}
. A colour passed tohyperref
as value oflinkcolor
andcitecolor
. OuterLinkColor
- default
{rgb}{0.216,0.439,0.388}
. A colour passed tohyperref
as value offilecolor
,menucolor
, andurlcolor
. VerbatimColor
- default
{rgb}{1,1,1}
. The background colour forcode-block
s. The default is white. VerbatimBorderColor
- default
{rgb}{0,0,0}
. The frame color, defaults to black. verbatimsep
- default
\fboxsep
. The separation between code lines and the frame. verbatimborder
- default
\fboxrule
. The width of the frame aroundcode-block
s. shadowsep
- default
5pt
. The separation between contents and frame for :dudir:`contents` and :dudir:`topic` boxes. shadowsize
- default
4pt
. The width of the lateral “shadow” to the right. shadowrule
- default
\fboxrule
. The width of the frame around :dudir:`topic` boxes. noteBorderColor
,hintBorderColor
,importantBorderColor
,tipBorderColor
- default
{rgb}{0,0,0}
(black). The colour for the two horizontal rules used by Sphinx in LaTeX for styling a :dudir:`note` type admonition.
Note
The actual colour names declared to “color” or “xcolor” are prefixed with “sphinx”.
noteborder
,hintborder
,importantborder
,tipborder
- default
0.5pt
. The width of the two horizontal rules.
warningBorderColor
,cautionBorderColor
,attentionBorderColor
,dangerBorderColor
,errorBorderColor
- default
{rgb}{0,0,0}
(black). The colour for the admonition frame.
warningBgColor
,cautionBgColor
,attentionBgColor
,dangerBgColor
,errorBgColor
- default
{rgb}{1,1,1}
(white). The background colours for the respective admonitions. warningBorder
,cautionBorder
,attentionBorder
,dangerBorder
,errorBorder
- default
1pt
. The width of the frame. AtStartFootnote
- default
\mbox{ }
. LaTeX macros inserted at the start of the footnote text at bottom of page, after the footnote number. BeforeFootnote
default
\leavevmode\unskip
. LaTeX macros inserted before the footnote mark. The default removes possible space before it (else, TeX could insert a linebreak there).New in version 1.5.
HeaderFamily
- default
\sffamily\bfseries
. Sets the font used by headings.
LaTeX macros and environments¶
Here are some macros from the package file sphinx.sty
and class files
sphinxhowto.cls
, sphinxmanual.cls
, which have public names
thus allowing redefinitions. Check the respective files for the defaults.
Macros¶
text styling commands
\sphinx<foo>
with<foo>
being one ofstrong
,bfcode
,email
,tablecontinued
,titleref
,menuselection
,accelerator
,crossref
,termref
,optional
.New in version 1.4.5: Use of
\sphinx
prefixed macro names to limit possibilities of conflict with LaTeX packages.more text styling:
\sphinxstyle<bar>
with<bar>
one ofindexentry
,indexextra
,indexpageref
,topictitle
,sidebartitle
,othertitle
,sidebarsubtitle
,theadfamily
,emphasis
,literalemphasis
,strong
,literalstrong
,abbreviation
,literalintitle
,codecontinued
,codecontinues
.New in version 1.5: these macros were formerly hard-coded as non customizable
\texttt
,\emph
, etc…New in version 1.6:
\sphinxstyletheadfamily
which defaults to\sffamily
and allows multiple paragraphs in header cells of tables.New in version 1.6.3:
\sphinxstylecodecontinued
and\sphinxstylecodecontinues
.by default the Sphinx style file
sphinx.sty
executes the command\fvset{fontsize=\small}
as part of its configuration offancyvrb.sty
. This may be overriden for example via\fvset{fontsize=auto}
which will let code listings use the ambient font size. Refer tofancyvrb.sty
’s documentation for further keys.New in version 1.5.
the table of contents is typeset via
\sphinxtableofcontents
which is a wrapper (whose definition can be found insphinxhowto.cls
or insphinxmanual.cls
) of standard\tableofcontents
.Changed in version 1.5: formerly, the meaning of
\tableofcontents
was modified by Sphinx.the
\maketitle
command is redefined by the class filessphinxmanual.cls
andsphinxhowto.cls
.
Environments¶
a :dudir:`figure` may have an optional legend with arbitrary body elements: they are rendered in a
sphinxlegend
environment. The default definition issues\small
, and ends with\par
.New in version 1.5.6: formerly, the
\small
was hardcoded in LaTeX writer and the ending\par
was lacking.for each admonition type
<foo>
, the used environment is namedsphinx<foo>
. They may be\renewenvironment
‘d individually, and must then be defined with one argument (it is the heading of the notice, for exampleWarning:
for :dudir:`warning` directive, if English is the document language). Their default definitions use either the sphinxheavybox (for the first listed directives) or the sphinxlightbox environments, configured to use the parameters (colours, border thickness) specific to each type, which can be set via'sphinxsetup'
string.Changed in version 1.5: use of public environment names, separate customizability of the parameters, such as
noteBorderColor
,noteborder
,warningBgColor
,warningBorderColor
,warningborder
, …the :dudir:`contents` directive (with
:local:
option) and the :dudir:`topic` directive are implemented by environmentsphinxShadowBox
.New in version 1.4.2: former code refactored into an environment allowing page breaks.
Changed in version 1.5: options
shadowsep
,shadowsize
,shadowrule
.the literal blocks (via
::
orcode-block
), are implemented usingsphinxVerbatim
environment which is a wrapper ofVerbatim
environment from packagefancyvrb.sty
. It adds the handling of the top caption and the wrapping of long lines, and a frame which allows pagebreaks. Inside tables the used environment issphinxVerbatimintable
(it does not draw a frame, but allows a caption).Changed in version 1.5:
Verbatim
keeps exact same meaning as infancyvrb.sty
(also under the nameOriginalVerbatim
);sphinxVerbatimintable
is used inside tables.New in version 1.5: options
verbatimwithframe
,verbatimwrapslines
,verbatimsep
,verbatimborder
.the bibliography uses
sphinxthebibliography
and the Python Module index as well as the general index both usesphinxtheindex
; these environments are wrappers of thethebibliography
and respectivelytheindex
environments as provided by the document class (or packages).Changed in version 1.5: formerly, the original environments were modified by Sphinx.
Miscellany¶
the section, subsection, … headings are set using titlesec’s
\titleformat
command.for the
'manual'
docclass, the chapter headings can be customized using fncychap’s commands\ChNameVar
,\ChNumVar
,\ChTitleVar
. Filesphinx.sty
has custom re-definitions in case of fncychap optionBjarne
.Changed in version 1.5: formerly, use of fncychap with other styles than
Bjarne
was dysfunctional.check file
sphinx.sty
for more…
Hint
As an experimental feature, Sphinx can use user-defined template file for
LaTeX source if you have a file named _templates/latex.tex_t
in your
project.
New in version 1.5: currently all template variables are unstable and undocumented.
Additional files longtable.tex_t
, tabulary.tex_t
and
tabular.tex_t
can be added to _templates/
to configure some aspects
of table rendering (such as the caption position).
New in version 1.6: currently all template variables are unstable and undocumented.


de.fhg.iml.packer.test.ds
Class TestTourTransport
java.lang.Object
de.fhg.iml.packer.test.ds.TestPackageSet
de.fhg.iml.packer.test.ds.TestTourTransport
- All Implemented Interfaces:
- PackageSet, TourTransport
public class TestTourTransport
- extends TestPackageSet
- implements TourTransport
- Author:
- hschneid
|
Method Summary |
TourTransport |
divide(int packageCount)
Creates a new set by dividing the package count of this set into two
fractions. |
int |
getLoadingLocation()
Returns the index of the tour location where the packages are loaded. |
int |
getUnloadingLocation()
Returns the index of the tour location where the packages are unloaded. |
| Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
TestTourTransport
public TestTourTransport(int loading,
int unloading)
- Parameters:
loading
- unloading
-
TestTourTransport
public TestTourTransport(int loading,
int unloading,
PackageType pt)
- Parameters:
loading
- unloading
- pt
-
TestTourTransport
public TestTourTransport(int loading,
int unloading,
PackageType pt,
int packageCount)
- Parameters:
loading
- unloading
- pt
- packageCount
-
divide
public TourTransport divide(int packageCount)
- Description copied from interface:
PackageSet
- Creates a new set by dividing the package count of this set into two
fractions.
Preconditions:
PackageSet.isDividable()
returns true
.
- The specified new package count is greater than zero.
- The specified new package count is less than the original package
count.
- Specified by:
divide
in interface PackageSet
- Specified by:
divide
in interface TourTransport
- Overrides:
divide
in class TestPackageSet
- Parameters:
packageCount
- The package count of the new transport.
- Returns:
- A copy of this transport containing the specified package count.
getLoadingLocation
public int getLoadingLocation()
- Description copied from interface:
TourTransport
- Returns the index of the tour location where the packages are loaded.
- Specified by:
getLoadingLocation
in interface TourTransport
- Returns:
- The zero based index of the loading location.
getUnloadingLocation
public int getUnloadingLocation()
- Description copied from interface:
TourTransport
- Returns the index of the tour location where the packages are unloaded.
- Specified by:
getUnloadingLocation
in interface TourTransport
- Returns:
- The zero based index of the unloading location.


Content
Accessible typography
Font size
The most fundamental provision for accessible type is font size. The body font-size
must be
- Reasonably large by default
- Adjustable by different means
GEL type sizes for body text range between 15 and and 18 pixels, depending on the screen dimensions. Although these are prescribed in terms of pixels, they should always be set in relative units such as em
s and rem
s.
The reason for this is that a not insignificant number of users (about the same number as there are Microsoft Edge users) adjust the default font size at a browser or operating system level. Text set in px
does not honor that setting.
Accordingly, the root font-size
should be set as a percentage of the user's chosen size, and all other sizes should be relative to this one.
:root {
font-size: 100%; /* the default value; this line is not needed */
}
h2 {
@include gel-typography("trafalgar"); /* translates to 2rem */
}
small {
@include gel-typography("brevier") /* translates to 0.8125rem */;
}
Use font sizes in the scale smaller than 'Body Copy' sparingly, and only for supplementary, tangential information. A live demonstration of the type scale is available for comparison.
Pinch zoom
In addition, be sure not to suppress zooming by touch on handheld devices. This prohibits users from being able to increase font size, along with the size of any other media on the page.  Many of these, including the mandate not to justify text, are covered under WCAG 1.4.8 Visual Presentation. Despite this success criterion belonging to the AAA level, you should adhere closely to the advice. Visually dyslexic readers in particular will benefit.
Justified text (text aligned along both margins) is achieved by varying the spacing between words, disrupting the regularity of the layout and increasing cognitive strain. Instead, align text along the left hand side. Since this is the default behavior in most browsers the following should not be necessary.
p {
text-align: left;
}
Measure
A measure (line length) that is too long makes it difficult for readers to scan back and find the next line in order to continue. WCAG 1.4.8 Visual Presentation recommends a measure of no more than 80 characters, but between 60 and 70 is better still.
The measure must be:
- Set using an appropriate unit
- Allowed to decrease in accordance with the width of its containing element
A measure set in pixels is not relative to font-size
, permitting measure to lengthen as the font-size
is decreased. Instead, measure should be set in ch
. 1ch
is roughly equal to the width of one character. Set the value using max-width
to allow text wrapping.
p {
max-width: 65ch;
}
Leading and white space
WCAG 1.4.8 Visual Presentation recommends a leading (line height) for body text of no less than 1.5. However, this should be treated as a baseline since—as recommended by The Elements Of Typographic Style—the leading should be chosen to suit the metrics of the font.
It's most important that the line-height
is not hard-coded using the px
unit, since this restricts it from adjusting automatically in accordance with font-size
. The following uses the unitless multiplier 1.5
meaning "1.5 times the font size".
p {
line-height: 1.5;
}
A value in rem
s is also acceptable, as prescribed automatically when using the gel-typography
mixin.
The most efficient way to manage white space between successive blocks of text while maintaining a good vertical rhythm is to make each space a multiple of the line height. Typically, paragraphs are spaced using one whole line. In the following example, successive paragraphs receive a margin of 1.5em
to separate them.
p + p {
margin-top: 1.5rem;
}
Cognition depends heavily on a sense of belonging, so ensure that related elements are separated with more white space than those that are unrelated. For example, the white space between a preceding section and a heading should be greater than the white space between the heading and the first paragraph of its own section.
h2 {
margin-top: 3rem; /* two lines; maintains vertical rhythm */
margin-bottom: 1.5rem;
}
All caps
Text set in all caps (text-transform: uppercase
) is harder to read because the characters become similarly 'square' in their occupation of space, and harder to differentiate. Many screen readers also have a habit of interpreting any all-caps text as acronyms, reading words out letter-by-letter. It should, therefore, be avoided in almost all cases.
Acronyms and initialisms must appear in all-caps. Improve their legibility by increasing their letter-spacing
by something in the order of 10%, as suggested in The Elements Of Typographic Style:
abbr {
letter-spacing: 0.1em;
}
Do not increase the letter-spacing
of sentence-case text. The BBC Reith font is designed for optimal legibility without adjusting the tracking.
Links
It is important that links are clearly differentiated from surrounding text. As mandated by WCAG 1.4.1 Use of color this means not differentiating links by color alone. Not all people can (accurately) perceive color differences, and not all devices and screens accurately convey color.
Lean on established convention by providing an underline, using either text-decoration: underline
or a border. Where text-decoration
is employed, you can increase legibility by preventing the line from intersecting the font's descenders. Note that some browsers now support text-decoration-skip: ink
by default.
p a {
text-decoration: underline;
text-decoration-skip: ink;
}
Do not underline text of any other variety, lest it is mistaken for a link. Highlight
text using a background color instead.
Contrast
It's imperative there is sufficient contrast between foreground text and backgrounds, in line with WCAG 1.4.3 Contrast.
There are a number of tools for calculating the contrast ratio, including the Color Contrast Analyzer software maintained by The Paciello Group.
Avoid placing text over complex images such as photographs. Even where the contrast is sufficient, the intersection of characters with complex background shapes and lines impedes legibility.
Unicode and emoji
The support for unicode differs wildly between platforms, with handheld devices tending to support smaller subsets of unicode points. Where a point is not supported, a square fallback symbol (with a confusing resemblance to a checkbox in some contexts) appears instead.
In general, avoid unicode symbols in favor of SVG-based icons. Icon fonts in particular should be avoided since they tend to map their icons to esoteric / undesignated unicode points. Where users, such as those with dyslexia, override the author's font settings with a user stylesheet, the icons give way to fallback 'missing glyph' symbols.
Note that screen readers will ignore some unicode points, and interpret others in unexpected ways. For example, the × symbol frequently used for close buttons can be announced as "times". If you are to use this relatively well supported unicode point, be sure to provide an overriding aria-label
(1) or—where there is an accompanying text label—hide the symbol with aria-hidden
(2).

<button aria-label="close">×</button>

<button>
×
Close
</button>
Emoji are rendered via unicode as well, but are more likely to be perceived as images. Some CMSs and social media platforms even replace the code point with their own image. Where the character is used, it's important to present it as an image, with an accompanying text alternative.
☃
This exposes the character as an image in the accessibility tree, enabling screen readers to identify it as such.


Survey Questions
About You
What is your name?
Please provide a link to a photo of yourself
Question 1.
Being active and getting outdoors is critical to my happiness
1 Stongly Disagree
2
3
4
5 Strongly Agree
Select an option
Question 2.
I'd rather wait for the movie to come out than to read the book
1 Stongly Disagree
2
3
4
5 Strongly Agree
Select an option
Question 3.
Being at big events with lots of people excites and energizes me.
1 Stongly Disagree
2
3
4
5 Strongly Agree
Select an option
Question 4.
I identify as a foodie.
1 Stongly Disagree
2
3
4
5 Strongly Agree
Select an option
Question 5.
Travel is extremely important to me.
1 Stongly Disagree
2
3
4
5 Strongly Agree
Select an option
Question 6.
I care more about the quality of the nachos at the Super Bowl party than the outcome of the game.
1 Stongly Disagree
2
3
4
5 Strongly Agree
Select an option
Question 7.
I value order and punctuality of spontaneity.
1 Stongly Disagree
2
3
4
5 Strongly Agree
Select an option
Question 8.
I prefer my weekends to include alochol.
1 Stongly Disagree
2
3
4
5 Strongly Agree
Select an option
Question 9.
A day at the museum sounds more fun than a day at the ball field
1 Stongly Disagree
2
3
4
5 Strongly Agree
Select an option
Question 10.
Politics fascinate me.
1 Stongly Disagree
2
3
4
5 Strongly Agree
Select an option
Submit
Your Best Match IS
×


Melissa Wimberly
Home
About
Projects
Blog
Contact
A Beginner's Blog For Beginners
October 9,2014
Chefs In The Kitchen
The Breakdown Of git vs. GitHub
Learning Styles
Arrays and Hashes
Tech Issues
Enumerable - Methods
Feedback
Ruby Classes
Stereotype Threat
OOP Concepts
Values
JavaScript
Conflict
Tech
Good Questions


{{ shipping_address.name }} {{ shipping_address.phone_number }}
{{ shipping_address.address }}
{{ shipping_address.city }} {{ shipping_address.state }} {{ shipping_address.pin_code }}


{{tagline_error}}
Place URL of the images here to change your profile and cover images.
{{error_verify}}


jewish_art_will_deutsch_hebrew_national_hot_dogs_jews_judaism.jpg http://store.notesfromthetribe.com/product/jewish-art-8-5-x11-kosher-hot-dog-print
Things That Are Unique To Jews #4080:As far as I know we are the only religion with our own brand of hot dog.


What fraction of Guardian news articles that contain the word sexism also mention technology?
How has this percentage changed over time?
What fraction of Guardian news articles that contain the word sexism also mention facebook?
Note that it is unclear how many of these mentions refer to company culture vs. use of the product itself.
What fraction of Guardian news articles that contain the word sexism also mention google?
Note that it is unclear how many of these mentions refer to the company culture vs. use of the product itself.
Also, the co-occurence of these terms does not necessarily imply a negative article.


Intel says chip supply for personal computers remains tight
Intel Corp said on Wednesday it has not been able to keep up with the increasing demand for CPUs and said supply remained "extremely tight" in its personal computer business.
REUTERS: Intel Corp said on Wednesday it was increasing its reliance on contract chip manufacturers to ramp up supply of chips used in personal computers as the company struggles with shipment delays amid higher demand.
Intel said supply remained "extremely tight" even though it has expanded its manufacturing capacity and increased second-half PC chip supply by double digits compared with the first half.
"Despite our best efforts, we have not yet resolved this challenge," the chipmaker said in a letter, in which it also apologised to its customers and partners for the delays.
Intel had said in October that demand in the PC business was outstripping its ability to add capacity and it was considering outside chip makers.
Shares of the chipmaker, which reaffirmed its forecast for the fourth quarter, were down 1per cent in after-market trading.
(Reporting by Ambhini Aishwarya in Bengaluru; Editing by Arun Koyyur)


RT @sweetlew: Awesome new AJAX monitoring from @newrelic. The team continues to build awesome software!
3/13/2014, 12:02:22 PM
Favs: 0
Retweets: 0
link--- layout: tweet ---
RT @sweetlew: Awesome new AJAX monitoring from @newrelic. The team continues to build awesome software!
3/13/2014, 12:02:22 PM
Favs: 0
Retweets: 0
link


| PostgreSQL 9.0.10 Documentation | ||||
|---|---|---|---|---|
| Prev | Up | Chapter 35. Extending SQL | Next |
PostgreSQL data types are divided into base types, composite types, domains, and pseudo-types.
Base types are those, like int4, that are implemented below the level of the SQL language (typically in a low-level language such as C). They generally correspond to what are often known as abstract data types. PostgreSQL can only operate on such types through functions provided by the user and only understands the behavior of such types to the extent that the user describes them. Base types are further subdivided into scalar and array types. For each scalar type, a corresponding array type is automatically created that can hold variable-size arrays of that scalar type.
Composite types, or row types, are created whenever the user creates a table. It is also possible to use CREATE TYPE to define a "stand-alone" composite type with no associated table. A composite type is simply a list of types with associated field names. A value of a composite type is a row or record of field values. The user can access the component fields from SQL queries. Refer to Section 8.15 for more information on composite types.
A domain is based on a particular base type and for many purposes is interchangeable with its base type. However, a domain can have constraints that restrict its valid values to a subset of what the underlying base type would allow.
Domains can be created using the SQL command CREATE DOMAIN. Their creation and use is not discussed in this chapter.
There are a few "pseudo-types" for special purposes. Pseudo-types cannot appear as columns of tables or attributes of composite types, but they can be used to declare the argument and result types of functions. This provides a mechanism within the type system to identify special classes of functions. Table 8-24 lists the existing pseudo-types.
Four pseudo-types of special interest are anyelement, anyarray, anynonarray, and anyenum, which are collectively called polymorphic types. Any function declared using these types is said to be a polymorphic function. A polymorphic function can operate on many different data types, with the specific data type(s) being determined by the data types actually passed to it in a particular call.
Polymorphic arguments and results are tied to each other and are resolved to a specific data type when a query calling a polymorphic function is parsed. Each position (either argument or return value) declared as anyelement is allowed to have any specific actual data type, but in any given call they must all be the same actual type. Each position declared as anyarray can have any array data type, but similarly they must all be the same type. If there are positions declared anyarray and others declared anyelement, the actual array type in the anyarray positions must be an array whose elements are the same type appearing in the anyelement positions. anynonarray is treated exactly the same as anyelement, but adds the additional constraint that the actual type must not be an array type. anyenum is treated exactly the same as anyelement, but adds the additional constraint that the actual type must be an enum type.
Thus, when more than one argument position is declared with a polymorphic type, the net effect is that only certain combinations of actual argument types are allowed. For example, a function declared as equal(anyelement, anyelement) will take any two input values, so long as they are of the same data type.
When the return value of a function is declared as a polymorphic type, there must be at least one argument position that is also polymorphic, and the actual data type supplied as the argument determines the actual result type for that call. For example, if there were not already an array subscripting mechanism, one could define a function that implements subscripting as subscript(anyarray, integer) returns anyelement. This declaration constrains the actual first argument to be an array type, and allows the parser to infer the correct result type from the actual first argument's type. Another example is that a function declared as f(anyarray) returns anyenum will only accept arrays of enum types.
Note that anynonarray and anyenum do not represent separate type variables; they are the same type as anyelement, just with an additional constraint. For example, declaring a function as f(anyelement, anyenum) is equivalent to declaring it as f(anyenum, anyenum): both actual arguments have to be the same enum type.
A variadic function (one taking a variable number of arguments, as in Section 35.4.5) can be polymorphic: this is accomplished by declaring its last parameter as VARIADIC anyarray. For purposes of argument matching and determining the actual result type, such a function behaves the same as if you had written the appropriate number of anynonarray parameters.


The funLBM algorithm allows to simultaneously cluster the rows and the columns of a data matrix where each entry of the matrix is a function or a time series.
| Version: | 1.0 |
| Depends: | fda, parallel, funFEM, R (≥ 3.1.0) |
| Published: | 2018-07-27 |
| Author: | Charles Bouveyron and Julien Jacques |
| Maintainer: | Charles Bouveyron <charles.bouveyron at math.cnrs.fr> |
| License: | GPL-2 | GPL-3 [expanded from: GPL (≥ 2)] |
| NeedsCompilation: | no |
| CRAN checks: | funLBM results |
| Reference manual: | funLBM.pdf |
| Package source: | funLBM_1.0.tar.gz |
| Windows binaries: | r-devel: funLBM_1.0.zip, r-release: funLBM_1.0.zip, r-oldrel: funLBM_1.0.zip |
| OS X binaries: | r-release: funLBM_1.0.tgz, r-oldrel: funLBM_1.0.tgz |
Please use the canonical form https://CRAN.R-project.org/package=funLBM to link to this page.


Welcome to MountWizzard4!¶
MW4 is a general utility for 10micron users for improving the workflow for astronomy work. It runs on Windows11, Windows10 (Win7 should be fine, but it will be not tested), Mac OSX (beginning from 10.12 to 11.x) including M1 variants if Rosetta is used and Linux (Ubuntu from 16.04 to 20.04). If you have some knowledge around Raspberry Pi’s and other SOC, you might be able to install MW4 on a RPi3+, RPi4.
Before starting¶
First let us have a look to the basic architecture: MW4 is an application installed on your external computer which is connected to the mount computer via an IP connection. The best choice is to use a wired connection. As the 10micron mounts also support a serial line, please be reminded MW4 does not! Many of the features are handled on the mount computer itself and MW4 does the GUI frontend for the user by using the command protocol provided by 10micron.
The basic idea is that MW4 will try to generate “digital twin” for the mount. All parameter changes for the mount will be sent to it and changes of it’s state are polled to make status visible in MW4. Therefore regular polling of data is needed.
Overview¶
Beside this documentation there is a youtube channel available with descriptions, previews, explanations:
https://www.youtube.com/channel/UCJD-5qdLEcBTCugltqw1hXA
For full operation MW4 supports several frameworks: INDI / INDIGO, ASCOM, Alpaca and in addition Sequence Generator Pro and N.I.N.A. as camera device.
Known limitations¶
MW4 does support python 3.8 - 3.10 right now. The reason for that is the lack of precompiled packages. Some features are limited to windows as they need the original 10micron updater program for execution.
On windows please check if you are working in a 32bit or 64bit environment. You need to choose the ASCOM setup (drivers etc.) and the python install accordingly.
If you are using the 10micron updater features on windows, MW4 remote controls the updater application. Please do not interrupt this automation.
Reporting issues¶
To have an eye on your setup here are some topics which you could check:
Mount connection available and stable. Wifi might have performance problems. Look for right network settings in mount and local setup.
Good counter check is review settings, status bars, message window if something is going wrong.
To improve quality and usability any feedback is highly welcome! To maintain a good transparency and professional work for my, please respect the following recommendations how to feed back.
Note
Please report issues / bugs here:
https://github.com/mworion/MountWizzard4/issues.
And if you have feature requests discussions or for all other topics of interest there is a good place to start here:
In case of a bug report please have a good description (maybe a screenshot if it‘s related to GUI) and add the log file(s). Normally you just could drop the log file (or PNG in case of a screen shot) directly to the webpage issues on GitHub. In some cases GitHub does not accept the file format (unfortunately for example FITs files). I this case, please zip them and drop the zipped file. This will work. If you have multiple files, please don‘t zip them to one file! I need them separated and zipped causes more work.
If changes are made due to a feedback, new releases will have a link to the closed issues on GitHub.


I've been a student for most of my life. I know how it feels to not know something one day and dive into it the next. After all, it wasn't that long ago that I began my journey with programming in Ruby. While I've done many different things in my time (from being a professional musician to working for a book publisher to working at a biology lab to tutoring elementary and high school students), a recurring feature of all of my ventures has been the constant learning curve. My enthusiasm for being a student, one who constantly looks for new things to learn, is my greatest asset. I prefer not to continue doing the same routine work, when there are opportunities to learn new and better ways.
Any engineering team needs people who can take a project and make it their own, while paying keen attention to the needs of the product manager and, ultimately, the end consumer. I have a history of conceiving and executing projects, proving my ability to take ownership and responsibility for the product. My extensive history of communication with stakeholders of all sorts, from senior administrators to customers to orchestra conductors, shows my empathy and ability to see through others' eyes, including clients.
Panorama's engineer position feeds into my interests on multiple levels. As a company in the education field, the industry is fitting; as a member of a valued team, I have confidence that the learning curve will remain sharp; as a novel approach to bringing data to education, the innovation plays into my ambition for positive change in the world. The benefits for me will be returned to Panorama manifold as my contributions will be fueled by sustained and inspired vigor. While analyzing data can be useful, the real value comes in applying the data to real problems. I deeply admire Panorama's dual mission of interpreting student outcomes in data and then bringing that data back to schools so that they can improve practices.
I've done a lot of things and lived a lot of places. I'm a web developer currently learning all I can about the various technologies. I expect this won't change.
In my free time I play board games. I play too much Go. My ranking is AGA 4 kyu and KGS 5 kyu. I also play Diplomacy.
I have done a few small student projects. The most recent one is a Mood and Sentiment Analyzer, the code of which can be found here. I gave a couple talks about the Mood and Sentiment Analyzer in New Haven, CT and New York City. It has no web presence yet. The other one is Saint Tracker
Code for these projects (and others!) can be found on my Github page. Feel free to check it out!
I work with the following programming languages and technologies:
I also speak a little Turkish and German. I play classical double bass and viola da gamba.
Intern
APCO Worldwide, Istanbul, Turkey, 2014
Co-founder
Tularan, New Haven, CT, 2014
Tealeaf Academy
Online Ruby on Rails Development Bootcamp, 2015.
Yale University, New Haven, CT.
Master of Arts in International Relations, 2014.
Oberlin College, Oberlin, OH.
Bachelor of Arts in Art History, 2007.
Oberlin Conservatory of Music, Oberlin, OH.
Bachelor of Music in Double Bass Performance, 2007.
I welcome all forms of communication. I will even give you my physical address if you agree to send me mail with a carrier pigeon.


SingluarityNET & OpenCog Graphs Demo
SingluarityNET & OpenCog Graphs Demo
Click to from script
(copy of https://github.com/opencog/atomspace/blob/master/opencog/atoms/value/atom_types.script)
Click to from file
Click to from file
Click to or from file
Click to
rooted from file
Click to for
from file (if provided)
or text (if entered)
Slicing mode:
Node radius:
Layout - threshold:
balance:
directions:
Filter:
Range:


Click is a Python package for creating beautiful command line interfaces in a composable way with as little amount of code as necessary. It’s the “Command Line Interface Creation Kit”.


Welcome to the Apache Shiro Community!
We have a great user and developer community and hope that you become an active participant.
Our community is here to help you learn about Shiro, figure out how to do what you need, identify and fix any bugs, and improve Shiro so that it continues to be a powerful and useful software project.
Community Forums - Need help? For users that prefer to use forums over mailing lists, we use Nabble
Mailing Lists - Need help, but hate forums? Lists for Users, Developers and Committers!
Articles - Read up on the latest discussions, guides, and how-tos created by members of our community
News - Stay up to date on the latest Shiro news
Events - Check out the next Shiro events and see if there’s something near you to attend
Contribute and Commit!
Apache Shiro is a non-profit project and relies on your help and contributions in order to evolve and improve.
At the Shiro project we make it easy for anyone to join our great community and lend a hand. We welcome any help you can offer inlcuding help with documentation, identifying bugs, providing answers on the user mailing list, and providing helpful code improvements.
How to Contribute - Join our community and help make Apache Shiro even better
Developer Resources - Helpful information for anyone providing project help as a committer or contributor
Issue Tracker - Once you’re ready to contribute, this is a good place to see what needs to get done
Donate to ASF - Shiro is a project under the Apache Software Foundation, a non-profit that relies on donations and community support


Clipping paths restrict drawing to a particular area of the canvas. Think of clipping paths as masks - areas where the mask is empty show through, while areas where the mask is opaque do not.
Any path can be a clipping path. You simply draw the path as normal and then call the context's clip() function to create one.


DNN® ( formerly DotNetNuke® ) is the leading open source web content management platform (CMS) in the Microsoft ecosystem. The product is used to build professional looking and easy-to-use commercial websites, social intranets, community portals, or partner extranets. Containing dynamic content of all types, DNN sites are easy to deploy and update. The DNN Platform has been downloaded more than 8 million times and powers more than 750,000 websites globally. A community of more than 1 million members forms a powerful support network.
Thousands of free and commercial extensions, apps and skins are available at the DNN Store that make extending a DNN site fast and affordable.
In addition to robust content management, the free, open source DNN Platform includes the following built-in features:


The OPC Connection and Tag Status section contains channels that provide basic status information back to the user on the tag and OPC connection status.
The channels are:
Total Tags: Contains the total number of OPC tags being read and written.
Bad Tags: Contains the total number of OPC tags that have a status other than Good.
Good Tags: Contains the total number of OPC tags that have a Good status.
Poll Engine Error Code: Returns an error code if there is a problem with the OPC connection.


The Sound of Fractions (SoF) is a new way to approach teaching fractions to students. We use music and rhythm to capture students' interest and challenge mathematical questions to them that they can answer musically using rhythms.
SoF utilizes several key components to help students begin to understand the system of fractions:
Music


Scholarships
In 2016, Bike & Build continued to grow its Scholarship Program, offering 3 full cross-country scholarships, 1 full Drift scholarship, and 1 partial cross-country scholarship.
-
Hao Mach
(CUS) –
Chris Webber Memorial Scholarship
“The best part about Bike & Build is the ability to be present every moment… I have so many vivid and distinct memories that I wouldn't have had the opportunity to create without Bike & Build.”
-
Edgar Agudelo
(P2S) –
Patrick Zuza Scholarship
“It is amazing to see how a group of individuals united in a cause greater than themselves can make such a difference... I am extremely grateful to the Bike & Build Scholarship Program for giving me the chance to take advantage of such an amazing trip and volunteer opportunity.”
-
Anna Michel
(SC2SC) –
Bike & Build Scholarship
“Bike and Build has inspired me to look at seemingly impossible tasks in a new way, and has allowed me to see future challenges as entirely possible.”
-
Iyanna Williams
(Coastal Drift) –
Bike & Build Scholarship
“I learned that life can bring challenges, but with the right attitude and support team, anything is possible. I learned that I was much stronger and more capable than I thought and if I truly put my mind to something I can do it.”
-
Elliot Chen
(NC2SD) –
Margaret Lowe Scholarship
“Bike & Build taught me it is okay to ask others for help when you need it… My favorite part of the trip looking back on it now was all the struggles and triumphs that brought my team closer together.”


--- layout: post title: 'HP: We Learned the Hard Way our Old Support Model Didn’t Scale' date: '2012-03-14T20:42:16-07:00' tags: tumblr_url: http://alexhwilliams.tumblr.com/post/19329080616/hp-we-learned-the-hard-way-our-old-support-model ---
http://bit.ly/weMalJ


|
| | Builder (TDropZone component) |
| |
| virtual TBuilder | GetTargetFromEvent (Action< JFunction > action) |
| | Returns a custom data object associated with the DOM node that is the target of the event. By default this looks up the event target in the Ext.dd.Registry, although you can override this method to provide your own custom lookup. More...
|
| |
| virtual TBuilder | OnContainerDrop (Action< JFunction > action) |
| | Called when the DropZone determines that a Ext.dd.DragSource has been dropped on it, but not on any of its registered drop nodes. The default implementation returns false, so it should be overridden to provide the appropriate processing of the drop event if you need the drop zone itself to be able to accept drops. It should return true when valid so that the drag source's repair action does not run. More...
|
| |
| virtual TBuilder | OnContainerOver (Action< JFunction > action) |
| | Called while the DropZone determines that a Ext.dd.DragSource is being dragged over it, but not over any of its registered drop nodes. The default implementation returns this.dropNotAllowed, so it should be overridden to provide the proper feedback if necessary. More...
|
| |
| virtual TBuilder | OnNodeDrop (Action< JFunction > action) |
| | Called when the DropZone determines that a Ext.dd.DragSource has been dropped onto the drop node. The default implementation returns false, so it should be overridden to provide the appropriate processing of the drop event and return true so that the drag source's repair action does not run. More...
|
| |
| virtual TBuilder | OnNodeEnter (Action< JFunction > action) |
| | Called when the DropZone determines that a Ext.dd.DragSource has entered a drop node that has either been registered or detected by a configured implementation of getTargetFromEvent. This method has no default implementation and should be overridden to provide node-specific processing if necessary. More...
|
| |
| virtual TBuilder | OnNodeOut (Action< JFunction > action) |
| | Called when the DropZone determines that a Ext.dd.DragSource has been dragged out of the drop node without dropping. This method has no default implementation and should be overridden to provide node-specific processing if necessary. More...
|
| |
| virtual TBuilder | OnNodeOver (Action< JFunction > action) |
| | Called while the DropZone determines that a Ext.dd.DragSource is over a drop node that has either been registered or detected by a configured implementation of getTargetFromEvent. The default implementation returns this.dropNotAllowed, so it should be overridden to provide the proper feedback.  If a group is specified, then this object will only interact with other drag drop objects in the same group (defaults to undefined). More...
|
| |
| virtual TBuilder | DropAllowed (string dropAllowed) |
| | The CSS class returned to the drag source when drop is allowed (defaults to "x-dd-drop-ok"). More...
|
| |
| virtual TBuilder | DropNotAllowed (string dropNotAllowed) |
| | The CSS class returned to the drag source when drop is not allowed (defaults to "x-dd-drop-nodrop"). More...
|
| |
| virtual TBuilder | OverClass (string overClass) |
| | The CSS class applied to the drop target element while the drag source is over it (defaults to ""). More...
|
| |
| virtual TBuilder | ContainerScroll (bool containerScroll) |
| | True to register this container with the Scrollmanager for auto scrolling during drag operations. More...
|
| |
| virtual TBuilder | NotifyDrop (Action< JFunction > action) |
| | The function a Ext.dd.DragSource calls once to notify this drop target that the dragged item has been dropped on it. This method has no default implementation and returns false, so you must provide an implementation that does something to process the drop event and returns true so that the drag source's repair action does not run. More...
|
| |
| virtual TBuilder | NotifyEnter (Action< JFunction > action) |
| | The function a Ext.dd.DragSource calls once to notify this drop target that the source is now over the target. This default implementation adds the CSS class specified by overClass (if any) to the drop element and returns the dropAllowed config value. This method should be overridden if drop validation is required. More...
|
| |
| virtual TBuilder | NotifyOut (Action< JFunction > action) |
| | The function a Ext.dd.DragSource calls once to notify this drop target that the source has been dragged out of the target without dropping. This default implementation simply removes the CSS class specified by overClass (if any) from the drop element. More...
|
| |
| virtual TBuilder | NotifyOver (Action< JFunction > action) |
| | The function a Ext.dd.DragSource calls continuously while it is being dragged over the target. This method will be called on every mouse movement while the drag source is over the drop target. This default implementation simply returns the dropAllowed config value. More...
|
| |


| Charges | Amount |
| {{#equal type "subscription"}}Subscription to {{plan.name}} (£{{#divide amount 100 2}}{{/divide}}/{{plan.interval}}){{else}}{{description}}{{/equal}} | £ {{#divide amount 100 2}}{{/divide}} |
| Subtotal: | £ {{#divide invoice.subtotal 100 2}}{{/divide}} |
| Discount: | £ {{percent invoice.subtotal invoice.discount.coupon.percent_off 2}} |
| Total: | £ {{#divide invoice.total 100 2}}{{/divide}} |
| Amount paid: | £ {{#if invoice.paid}}{{#divide invoice.total 100 2}}{{/divide}}{{else}}0.00{{/if}} |


Hacklab Cosenza / Centro di Ricerca su Tecnologia e Innovazione
The BOOT environment variable is set using the boot system [location]
command in global config mode. show bootvar
can be used to display its content.
If bootstrap fails because of missing/damaged system files, the bootloader has a CLI mode for recovery purposes.
The switch:
prompt will appear in the terminal emulator, and commands to operate on the flash file system will become available (format, reinstallation, etc).
Cisco switches have two kind of LEDs:
Available LEDs mode are:
LEDs can be off, or lighted up in green and amber colours. They can also be solid or blinking, and they can alternate between colours with different timings.
All these combinations are used to provide a specific message. Using the STAT LED as an example:
A L3 switch has an SVI, Switch Virtual Interface that allows for remote management.
The SVI on a Cisco Switch is VLAN1.
VLANs can be thought of as groups of ports. By default, every switch port is a member of VLAN1.
To communicate with a remote network, a switch SVI must be activated and assigned an IP address and a default gateway. This doesn't mean routing functions are available.
Obviously, this must first be setup from a console connection...
## Create VLAN ##
S1(config)# vlan [vlan_id]
## Create an alias for the VLAN ##
S1(config-vlan)# name [vlan_name]
S1(config-vlan)# exit
## Make a port member of the specified VLAN ##
S1(config)# interface [interface_id]
S1(config-if)# switchport access vlan [vlan_id]
S1(config-if)# exit
## Assign IP address and defgw
S1(config-if)# interface vlan [vlan_id]
S1(config-if)# ip address [ip_address] [subnet_mask]
S1(config-if)# no shutdown
S1(config-if)# exit
S1(config)# ip default-gateway [defgw_ip]
S1(config)# end
S1# copy run start
Half-Duplex: unidirectional transmission; TX and RX cannot occur simultaneously; collisions are possible; typically seen in legacy hardware; 50-60% bandwidth efficiency.
Full-Duplex: Bidirectional transmission; simultaneous TX+RX; enabled in Ethernet LANs by switches; 100% bandwidth efficiency.
A device operating in full-duplex has a micro collision domain composed of the device itself, and is said to be collison-free.
10Gb Ethernet operates only in full-duplex mode.
Switch(config-if)# duplex [auto|half|full]
Switch(config-if)# speed [auto|10|100|1000]
are used to set the duplex and speed of a port.
If a port capable of 10/100/1000 speeds is operating in:
The recommended (default) settings is auto
for both duplex and speed. If autonegotiation fails, or incompatible settings are entered, there will be connectivity issues.
Fiber optics Ethernet such as 100BASE-FX ports always operates at one predefined speed in full-duplex mode.
Automatic medium-dependent interface crossover is able to detect the type of Ethernet cable in use (straight/crossover) and "rewire" the internal circuit of the port to adapt to it.
To enable the feature on a switch port, the command mdix auto
is entered in interface configuration mode.
When mdix auto
is set, speed
and duplex
must also be set to auto
for the feature to work as intented.
Auto-MDIX is enabled by default on newer switches, but not available at all on older ones. To display the current status:
S1# show controllers ethernet-controller fa0/0 phy | include Auto-MDIX
Auto-MDIX : On [AdminState=1 Flags=0x00056248]
show mac-address-table
displays the switch CAM table.show interfaces [interface-id]
display verbose status and stats information for every port.R1# show interfaces fa0/1
FastEthernet0/1 is up, line protocol is up
Hardware is MV96340 Ethernet, address is 001e.7ae0.4741 (bia 001e.7ae0.4741)
Internet address is <IP_ADDRESS>/24
MTU 1500 bytes, BW 100000 Kbit, DLY 100 usec,
reliability 255/255, txload 1/255, rxload 1/255
Encapsulation ARPA, loopback not set
Keepalive set (10 sec)
Full-duplex, 100Mb/s, 100BaseTX/FX
ARP type: ARPA, ARP Timeout 04:00:00
Last input 00:00:00, output 00:00:05, output hang never
Last clearing of "show interface" counters never
Input queue: 0/75/0/0 (size/max/drops/flushes); Total output drops: 0
Queueing strategy: fifo
Output queue: 0/40 (size/max)
5 minute input rate 43000 bits/sec, 86 packets/sec
5 minute output rate 0 bits/sec, 0 packets/sec
155406 packets input, 9677011 bytes
Received 151563 broadcasts, 0 runts, 0 giants, 0 throttles
3 input errors, 3 CRC, 0 frame, 0 overrun, 0 ignored
0 watchdog
0 input packets with dribble condition detected
155509 packets output, 67569 bytes, 0 underruns
8 output errors, 1790 collisions, 10 interface resets
0 babbles, 235 late collision, 0 deferred
0 lost carrier, 0 no carrier
0 output buffer failures, 0 output buffers swapped out
The show interfaces [interface_id]
output first line reports the current status for the interface and line protocol.
Based on the output, following considerations are possible:
Input errors are those found in received frames.
Output errors are those that blocked a transmission.
MAC Flooding attacks exploit the limited size of the MAC table, by sending a switch an enormous amount of frames with fake source MAC addresses.
This causes the switch to register useless associations in the MAC table and eventually fill it.
When it happens, the switch enters a fail-open mode and starts broadcasting every frame to every port.
The attacker can now intercept all traffic!
To mitigate this attack is necessary to configure port security.
There are 2 kind of common security attacks on DHCP:
Mitigating DHCP attacks involves configuring port security and using the anti-DHCP snooping feature in Cisco IOS.
Analyzing a system in search of vulnerabilities that can be exploited is a process called (security) auditing.
When someone legitimately attack your/his own system to test its strength, a penetration testing is being performed.
There are network security tools that administrators can use to test their networks for vulnerabilities. Many are FOSS!
A lot of enterprises hire security firm to audit their systems, often on a regular basis (with very strict contract clauses!)
To perform auditing, it requires professionals with skills in networking, programming, operatins systems, protocols, specialized software tools.
Switch(config)# interface range [type/first - last]
Switch(config-if)# shutdown
It is a simple but very effective application of the least privilege principle of information security.
It limits the ports allowed to respond to DHCP requests.
# Enables DHCP Snooping globally
S1(config)# ip dhcp snooping
# By default, it is inactive on every VLAN
# To enable it for a VLAN range:
S1(config)# ip dhcp snooping vlan [first_id]-[last_id]
# Configure a port as trusted or untrusted
S1(config)# interface [type] [slot/number]
S1(config-if)# ip dhcp snooping trust
# Optional: limit the rate of DHCP requests to prevent DHCP starvation
S1(config-ig)# ip dhcp snooping limit rate [max_requests]
Port Security is about restricting amount and specific MAC addresses allowed to communicate through a swich port.
A security violation takes place if an unauthorized MAC tries to access it or if the maximum number of MACs is reached.
Based on how they're learned and stored, they can be:
Sticky Secure MAC addresses are a mix between static and dynamic: they are automatically added to the switch running configuration until the max amount is reached.
Action to be taken if a security violation is detected:
[no] shutdown
commands. Link and line protocol changed to down. Port status appear as err-disabled
or SecureShutdown
in show commands.These are the default configuration concerning port security features on a Cisco switch.
To enable port security on a specific port:
Switch(config-if)# switchport mode access
Switch(config-if)# switchport port-security
To set a maximun number of allowed MACs on a port:
Switch(config-if)# switchport port-security maximum [value]
To set the violation mode of a port:
Switch(config-if)# switchport port-security violation [protect | restrict | shutdown]
To add a static/sticky secure address to a port:
Switch(config-if)# switchport port-security mac-address [mac_address]
Switch(config-if)# switchport port-security mac-address sticky [mac_address]
Enable sticky learning on a port (disable with no
):
Switch(config-if)# switchport port-security mac-address sticky
Output for a port with freshly-enabled port security:
Switch# show port-security [interface interface_id]
Port Security : Enabled
Port Status : Secure-down
Violation Mode : Shutdown
Aging Time : 0 mins
Aging Type : Absolute
SecureStatic Address Aging : Disabled
Maximum MAC Addresses : 1
Total MAC Addresses : 0
Configured MAC Addresses : 0
Sticky MAC Addresses : 0
Last Source Address:Vlan : 001b.d41b.a4d8:10
Security Violation Count : 0
To show all the secure MAC addresses on a switch, their type and aging information:
Switch# show port-security address
Secure Mac Address Table
----------------------------------------------------------------
Vlan Mac Address Type Ports Remaining Age (mins)
---- ----------- ---- ----- --------------------
1 0004.00d5.285d SecureDynamic Fa0/18 -
1 0025.83e6.4015 SecureSticky Fa0/19 -
----------------------------------------------------------------


Apply for a Passport
Find Cheapest Gas Prices
Shop Government Auctions
Replace Personal Records
MORE SERVICES
Find Government Jobs
Change Your Address
News
News from our Blog
Learn about U.S. space programs and NASA from our blog
Health News from Our Blog
Family News from Our Blog
Science News from Our Blog
Safety News from Our Blog
More Blog Posts
Explore U.S. history, documents, museums, arts, and more from our blog
Explore Topics
Jobs and Education
Family, Home, and Community
Public Safety and Law
Health and Nutrition
Travel and Recreation
Money and Taxes
Environment, Energy, and Agriculture
Benefits and Grants
Defense and International
Consumer Protection
Consumer Publications
Reference and General Government
History, Arts, and Culture
Voting and Elections
Science and Technology
Business and Economy
Government Sales and Auctions
Public Service and Volunteerism
Government Performance
Find Government Agencies
All Government
A-Z Index of the United States Government
Federal Government
Executive Branch
Judicial Branch
Legislative Branch
State, Local, and Tribal
State Government
Local Government
Tribal Government
Contact Government
U.S. Congress and White House
Contact Government
Elected Officials
Agency Contacts
Contact Us
FAQs
MORE CONTACTS
Governor and State Legislators
E-mail Alerts
E-mail
Print
Share
RSS
You Are Here
Home
>
About Us
> Developer Resources
Verify federal U.S. government social media accounts
Verify federal U.S. government social media accounts
Contact Your Government
FAQs
E-mail Us
Chat
Phone
Apps Challenges
Browse Challenges
Find government sponsored apps challenges by prize amount, topic, and deadline.
Page Last Reviewed or Updated: February 01, 2012
Connect with Government
Facebook
Twitter
Mobile
YouTube
Our Blog


PageRank by power method with no matrix operations.
x = pagerankpow(G) is the PageRank of the graph G. [x,cnt] = pagerankpow(G) also counts the number of iterations. There are no matrix operations. Only the link structure of G is used with the power method. PMTKauthor Cleve Moler PMTKurl http://www.mathworks.com/moler/ncm/pagerankpow.m
function [x,cnt] = pagerankpow(G) % Link structure if nargin == 0; [x, cnt] = pagerankpow(rand(10) > 0.8); return end [n,n] = size(G); for j = 1:n L{j} = find(G(:,j)); % set of links coming into node j c(j) = length(L{j}); % in-degree end p = .85; delta = (1-p)/n; x = ones(n,1)/n; z = zeros(n,1); cnt = 0; while max(abs(x-z)) > .0001 z = x; x = zeros(n,1); for j = 1:n if c(j) == 0 x = x + z(j)/n; else x(L{j}) = x(L{j}) + z(j)/c(j); end end x = p*x + delta; cnt = cnt+1; end end
ans = 0.0332 0.0847 0.1593 0.1292 0.1876 0.0878 0.1118 0.0332 0.1129 0.0603


{% from 'results/games/team.html' import team with context %}
{% from 'results/games/score.html' import score %}
{% from 'results/games/proba.html' import proba %}
{% for date in dates %}
{{date}}
{% for index, game in stats.games[stats.games.date == date].iterrows() %}


{% load i18n %} {% if retry %}
{% blocktrans trimmed %} Our attempt to execute your Payment via PayPal has failed. Please try again or contact us. {% endblocktrans %}
{% else %}{% blocktrans trimmed %} We're waiting for an answer from PayPal regarding your payment. Please contact us, if this takes more than a few hours. {% endblocktrans %}
{% endif %}


Emailing all who have signed up...
Emailed {{currentAnnouncement.delivered}} recipients.
By {{ann.user_name}}, posted on {{ann.post_date | date:"MMM dd, yyyy @ hh:mm a"}}


Proudly powered by Pelican and Python. Theme by hndr.
Textures by Subtle Pattern. Font Awesome by Dave Grandy.


[gecode-users] Arbitrary big numbers?
Christian Schulte
cschulte at kth.se
Thu Aug 3 20:55:58 CEST 2017
In fact, going to a fixed size, being it close to 64 bit or even 128 bit is not hard, it is just very tedious.
One of the biggest mistakes I did when starting Gecode was assuming that choosing int as the base datatype for integer variables is a good choice. Of course, it is not. One should have chosen an abstract datatype instead so that changing to larger types is easy... Now, figuring out which is really an int and what ought be the base type for an integer variable would mean sifting through 200 KLOC code… Yuck!

Cheers
Christian
--
Christian Schulte, <http://www.gecode.org/~schulte> www.gecode.org/~schulte
Professor of Computer Science, KTH, <mailto:cschulte at kth.se> cschulte at kth.se
Expert Researcher, SICS, cschulte at sics.se
From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf Of Slav
Sent: Wednesday, August 2, 2017 23:26
To: Kish Shen <kish.shen at gmail.com>
Cc: users at gecode.org
Subject: Re: [gecode-users] Arbitrary big numbers?
Thank you very much for your thorough explanation.
Having infinite numbers may be a perfectionistic drive, but 2^51 integer limit is more than enough for my current problem.
That work you do, guys, with CLP and modeling is beauty in a nutshell. Wish you all the best.
2017-08-03 0:32 GMT+04:00 Kish Shen <kish.shen at gmail.com <mailto:kish.shen at gmail.com> >:
Hi Slav,
I guess I should first state that I have been working as a developer for ECLiPSe since 1998, and what I say here is personal and from an ECLiPSe perspective.
>How just an interface can be able to have numbers bigger than underlying library?
I am not sure what you mean by 'just an interface', but as the slides in your link describe, ECLiPSe is a programming language. It has an interface to Gecode, which will allow you to use Gecode in a program written in ECLiPSe, with essentially the same syntax as the native finite domain solvers of ECLiPSe, such as the interval solver (ic) described in the slides you linked to.
ECLiPSe supports big integers if it was built with GMP. However, you can only use these integers when you are performing your arithmetic operations in ECLiPSe. You cannot use such integers when you are using an external solver such as Gecode. In fact, you cannot use big integers even with the native finite domain solvers of ECLiPSe
(the intervals in lib(ic) are represented using (C floating point type) double, and the integer range is the range of integers that can be precisely represented with a double).
.
On a more general point, one of the reasons why ECLiPSe does not support big integers even for native finite domain solvers is that in practice, modelling finite domain problems with very large ranges is not likely to be an effective way of solving such problems. This is our experience with ECLiPSe, I guess Christian or other people on this mailing list may have a different view.
Cheers,
Kish Shen
On Wed, Aug 2, 2017 at 8:01 PM, Christian Schulte <cschulte at kth.se <mailto:cschulte at kth.se> > wrote:
Gecode is but one of the solvers to which Eclipse has an interface. Christian
--
Christian Schulte, <http://www.gecode.org/~schulte> www.gecode.org/~schulte
Professor of Computer Science, KTH, <mailto:cschulte at kth.se> cschulte at kth.se
Expert Researcher, SICS, cschulte at sics.se <mailto:cschulte at sics.se>
From: Slav [mailto:slavmfm at gmail.com <mailto:slavmfm at gmail.com> ]
Sent: Wednesday, August 2, 2017 19:38
To: cschulte at kth.se <mailto:cschulte at kth.se>
Cc: users at gecode.org <mailto:users at gecode.org>
Subject: Re: [gecode-users] Arbitrary big numbers?
Thank for your answer :)
If so, I cannot understand that <http://gki.informatik.uni-freiburg.de/teaching/ws1415/csp/csp11.pdf> "ECLiPSe Integers can be as large as fits into memory, e.g.: 123 0 -27<PHONE_NUMBER>81724" , but Wikipedia says <https://en.wikipedia.org/wiki/ECLiPSe> that:
ECLiPSe interfaces to external solvers, in particular the Gecode solver library
How just an interface can be able to have numbers bigger than underlying library?
2017-08-02 0:24 GMT+04:00 Christian Schulte <cschulte at kth.se <mailto:cschulte at kth.se> >:
Hi, unfortunately there is no support for this. We know that this is high on the wish list of many but… I think somebody has tried, if I recall correctly, though. Guido, do you have any details.
Cheers
Christian
--
Christian Schulte, www.gecode.org/~schulte <http://www.gecode.org/~schulte>
Professor of Computer Science, KTH, cschulte at kth.se <mailto:cschulte at kth.se>
Expert Researcher, SICS, cschulte at sics.se <mailto:cschulte at sics.se>
From: users-bounces at gecode.org <mailto:users-bounces at gecode.org> [mailto:users-bounces at gecode.org <mailto:users-bounces at gecode.org> ] On Behalf Of Slav
Sent: Tuesday, August 1, 2017 20:23
To: users at gecode.org <mailto:users at gecode.org>
Subject: [gecode-users] Arbitrary big numbers?
Hello. I am modeling algorithm to hardware mapping with Gecode. Standard Int::Limits::max is too small because I want to target systems with more than 2^31 memory.
Is there a way to get use of arbitrary-precision arithmetic with Gecode or at least 64-bits integers?
I know that Gecode can be built with MPIR or GMP support, but seems those are just for trigonometric operations?
Thanks in advance :)
_______________________________________________
Gecode users mailing list
users at gecode.org <mailto:users at gecode.org>
https://www.gecode.org/mailman/listinfo/gecode-users
_______________________________________________
Gecode users mailing list
users at gecode.org <mailto:users at gecode.org>
https://www.gecode.org/mailman/listinfo/gecode-users
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gecode.org/pipermail/users/attachments/20170803/4300a2ca/attachment.html>
More information about the users
mailing list


Data in Public Policy (DIPP) is a student organization at the University of Chicago Harris School for Public Policy founded to build analytical skills and expertise among Harris students in open-source data platforms, foster a professional relationship with the data and tech community in Chicago, and to generally serve as a resource for Harris students interested in the intersection of data and public policy. Created informally in Fall 2012, DIPP launched as an official Harris Student Organization in Fall 2013.
DiPP Newsletter
We send a weekly newsletter announcing DiPP events, Data in the News, Hack Harris tutorials and workshops, job opportunities, and other ways to get involved.
This Website
We developed this website ourselves on the GitHub platform using Jekyll and Hyde. You can help us make it better by finding us on GitHub and reading our wiki on how to contribute.
Join Us
To receive our newsletter and learn about upcoming events, job opportunities, tutorials, and more, sign up here. You can also follow us on Twitter.
Executive Board
Laura Bowen
Jonathan Giuffrida, a second-year MPP student at Harris, is interested in the policy around new health technologies, as well as using data analysis and programming to improve the way policy is implemented. He has two rabbits and enjoys baking.
Laura Meyer is a second-year MPP student at Harris. She is interested in how we can use data and technology to better monitor and evaluate education and international development programs. She enjoys traveling the world (often in search of new data), procrasti-baking, and photography.
Aaron Rosenbergis a South Side Chicago native and dual degree student (Public Policy/Business) interested in using data in political organizing. He is currently learning R and Python, and likes biking, the Simpsons, crossword puzzles, and salad.
Sarah Sajewski is an MPP student at Harris. She is especially interested in health policy and all things data. When not wrestling with Harris homework, she enjoys procrasti-baking, particularly pie.
Andi Widianto is an MPP student at Harris. He is interested in how to turn data into innovative solutions to challenging social problems. To relieve stress, Andi enjoys doing household chores.


Clears the object reference and makes it invalid.
Notice, this will not delete the object!
Object reference in.
Object reference out.


To have a variable that allows users to select the time they want to get the answer, I had to use thymeleaf and redirects.
Here is the method added in the basic math controller:
@GetMapping("/jumpToDestination")
public String jumpToDestination(RedirectAttributes redirect) {
//redirecting to another controller with the time value
redirect.addFlashAttribute("time", timeBetweenEquations);
switch(destination) {
case 0: return "redirect:/addition/timed";
case 1: return "redirect:/subtraction/timed";
case 2: return "redirect:/multiplication/timed";
case 3: return "redirect:/division/timed";
default: return "redirect:/addition/timed";
}
}
So no matter what page I am redirecting to, the variable time will be sent as well. I used a flash attribute to send the object.
Notice also that there is a redirect: before the URL is put. This is because this links goes to another page right after and I needed to send the value.
Cant use static variables because there is 1 unique copy, which would make users be able to see someone else's score I believe.
Here is the method in some operation controller:
@GetMapping("/timed")
public String examTimed(@ModelAttribute("time") int time, Model model) {
//gets the time value from the basic math controller /selectTime
model.addAttribute("timeVal", time);
return "randomMathDivisionExamTimed";
}
So here in this second method I am getting the time value from the previous method. The model object is initially not containing any object.
I add the time value to the model before sending it to the frontend.
Note that this method will make the page /timed not able to show without the model attribute time. Java Spring will show an error in that case.
Now in the frontend, I got the value with thymeleaf.


RIGHT EDUCATION DAILY
Menu
Home
About
Product
FAQs
Gallery
Contact
GALLERY
CLASSROOM
TEACHERS
KIDS
ACTIVITIES


--- layout: archive title: Zulip Chat Archive permalink: /stream/113489-new-members/topic/Documentation.3A.20citations.2Fbibliography.html ---
Hi, is there any standard way to include citations/have some kind of bibliography in Lean? That is, when I am formalising a theory/theorem and I want to leave some explaining words for the reader and references to the literature, what is the right way to do this in Lean?
Also slightly more general: are there any best practices for documenting one's formalisations?
Mathlib does not really have many comments in, and this has always been a source of some sadness to me. However there are some. There are sometimes a bunch of comments in between /-
and -/
in mathlib files with references. I'll dig one out for you.
That's way more than average. Compare with Coq, where many of the files I've looked at seem to have a huge comment at the top explaining what is going on.
I am trying to copy the Coq philosophy in my work, e.g. https://github.com/leanprover-community/lean-perfectoid-spaces/blob/4d4746673c88730987a3a1a93614ad5f8a73144c/src/valuation/basic.lean#L12 , but there are still plenty of files in that repo that don't have extensive documentation (sometimes because they are not quite finished, but often because we've not got around to it yet).
Let me try a clearer message: @Kevin Kappelmann currently this aspect of mathlib is a disaster. Please do your best to document what you are doing, and include as many references to actual books or paper as you can in the comments. Everybody will be grateful
Thank you Kevin & Patrick. So basically, there is no standard yet if I understand correctly.
I am quite concerned about lacking explanations and references in ITPs, but it does not seem a priority for most people I have spoken to so far. I would really like to have an understandable library of mathematical knowledge rather than a huge collection of opaque proofs; for otherwise, I see problems arising in the near future, in particular concerning search and automation.
Yes -- make your own rules, and show the community how it can be done. Put extensive comments wherever you think is best. Let's change the status quo.
Patrick has done some spectacular work enabling you to write Lean files with LaTeX comments, and the LaTeX comments are displayed in LaTeX in a browser.
Patrick has done some spectacular work enabling you to write Lean files with LaTeX comments, and the LaTeX comments are displayed in LaTeX in a browser.
That sounds great. Where can I read more about this?
A PhD student at Imperial, @Mohammad Pedramfar , is working on getting a local install of Lean in a browser to make this even better -- people might be able to edit code live.
There's a Lean+LaTeX thread here somewhere
I should point out that some people already try to change that: have a look at proof comments in https://github.com/leanprover-community/mathlib/pull/900/files (although I wish @Sebastien Gouezel could also include a reference to the book he is following)
http://pat.perso.ens-lyon.org/M1P1/ is an example of Patrick's work. Click on the grey squares to see the Lean state at that point.
There are various results one can achieve. The link indicated by Kevin is when you ask to see only the math and tactic state
https://www.math.u-psud.fr/~pmassot/lean/ is another style
where you can show Lean code by clicking on text
https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/Lean.20.2B.20LaTeX.3F/near/156681378 is a history of the project. You'll find a link to Patrick's repo in there I'm sure
https://www.math.u-psud.fr/~pmassot/enseignement/math114/cours4.html is using yet another layout, with prominent Lean code
All of this is done by simply writing LaTeX comments as comments within the Lean code and using a clever python script.
Note that I added support for commutative diagrams using tikzcd a few days ago
Did you announce that and I missed it, or are you just announcing it now? Is this because of your teaching?
Damn, that's pretty nice! :fire:
I have this idea of writing some introductory analysis "textbook" in formally verified Lean + LaTeX
but it's on a big pile of ideas which I have for this software
Until then, liberally sprinkle comments through your code and feel free to write some in LaTeX :D
Did you announce that and I missed it, or are you just announcing it now? Is this because of your teaching?
I didn't announce it. It comes from my teaching of course. But I'm horribly late in everything I have to do, including grading stuff and writing lecture notes
I did quotients last week, so I badly needed commutative diagrams
It is great that teaching is guiding the development of this project. It makes it a more complete project -- it somehow guarantees usefulness.
Is it a good idea to do something like this:
/-- The famous proof of Fermat's last theorem following /cite{wiles1995modular}. -/ theorem fermats_last_theorem (a b c n: ℕ+) : n>2 → a^n + b^n ≠ c^n := sorry -- The bibliography /- \begin{filecontents}{bibliography.bib} @article{wiles1995modular, title={Modular elliptic curves and Fermat's last theorem}, author={Wiles, Andrew}, journal={Annals of mathematics}, volume={141}, number={3}, pages={443--551}, year={1995}, publisher={JSTOR} } \end{filecontents} -/
?
That's the sort of thing that, were Patrick not teaching so much at the time, he could just edit his python script to handle in about 20 minutes :-)
You should also cite Taylor-Wiles though ;-)
Haha, I, unsurprisingly, am not gonna formalise this particular theorem as my first project :D
mathscinet spits out
@article {MR1333035, AUTHOR = {Wiles, Andrew}, TITLE = {Modular elliptic curves and {F}ermat's last theorem}, JOURNAL = {Ann. of Math. (2)}, FJOURNAL = {Annals of Mathematics. Second Series}, VOLUME = {141}, YEAR = {1995}, NUMBER = {3}, PAGES = {443--551}, ISSN = {0003-486X}, MRCLASS = {11G05 (11D41 11F11 11F80 11G18)}, MRNUMBER = {1333035}, MRREVIEWER = {Karl Rubin}, DOI = {10.2307/2118559}, URL = {https://doi.org/10.2307/2118559}, }
for the Wiles paper
You don't need the filecontents
lines. The day a script will generate documentation from mathlib it will handle this. I do think that include BibTeX entries like this is useful. Even without any computer parsing it will help readers. And it can't do any harm
Haha, I, unsurprisingly, am not gonna formalise this particular theorem as my first project :D
Maybe you could do the Langlands--Tunnell theorem as your first project then; I think it's all downhill from there.
Haha, I, unsurprisingly, am not gonna formalise this particular theorem as my first project :D
Maybe you could do the Langlands--Tunnell theorem as your first project then; I think it's all downhill from there.
by simp [langlands_tunnell]
you say?
Well, once the AI community has got better theorem provers (give then ten years, so I heard last week at AITP) then that should work fine :-)
I think that there is a great need for standards in this area. Perhaps the Formal Abstracts people will propose some relevant standards, but there does not seem to be anything useful at https://github.com/formalabstracts as yet. I also think that metadata should be accessible to Lean, to enable better search tools. Perhaps we could implement something like this?
/- import metadata ... theorem fermats_last_theorem : ... fermats_last_theorem.references := [ {key := "MR1333035", comment :="This is the original paper"}, {key := "MR1605709", comment := "This is the book"} ] fermats_last_theorem.keywords := ["Fermat","Diophantine equations"] -/
If and when we start to put real metadata into mathlib, there's no reason to keep it as plain text comments. We should be able to tag theorems with their source, author, etc. in a semantically meaningful way. Then we could e.g. write a program that retrieves all theorems in mathlib coming from Atiyah-Macdonald.
We were experimenting with this at the very start of the formal abstracts project. I'm not sure what they're using now.
I should point out that some people already try to change that: have a look at proof comments in https://github.com/leanprover-community/mathlib/pull/900/files (although I wish Sebastien Gouezel could also include a reference to the book he is following)
Not following any book, sorry, this is just the standard natural proof.
It's not hard to write a custom user attribute which lets you associate strings (DOI, MSC code, etc) to theorems and definitions. Something like this is in formalabstracts/master
, but we haven't really used it.
We are currently working out this very issue in Formal Abstracts. We've gotten in touch with Pieter Belmans of the Stacks project and Kerodon he has kindly allowed me to use his TeX renderer to produce webpages, with specified tags. The idea is that these tags then become central references for citation purposes and the like. Progress is slow as I have a very busy summer ahead but I would tentatively say sometime later in the year for a service which users can contribute to.
This is great news. Don't rush it -- get it right :-) All this Lean code is quite intimidating for mathematicians, but FAbstracts needs to be quite the opposite: we want mathematicians to _use_ it!
As Jesse said, the linking between the formal text and the informal text would then be acheived through the fabstracts
user attribute with a tag parameter. We could add many more bells and whistles to the service such as inline code snippets, a comments app for each tag, user authorization etc.
I also think that metadata should be accessible to Lean, to enable better search tools. Perhaps we could implement something like this?
A lean function to extract metadata from a declaration is in
https://github.com/formalabstracts/formalabstracts/blob/master/src/tactic/metadata.lean
we also have a function to dump this metadata (for [@fabstract]
-marked declarations) into JSON.
Last updated: Apr 24 2020 at 19:02 UTC


{{loadingMessage}}
These settings apply to the behavior and attributes of the DASH 'virtual' account.
They determine the security attributes, the key 'namespace' storage account and a variety of other attributes.
You currently have {{configuration.settings.scaleOutStorage.accounts.length}} accounts out of a possible {{configuration.settings.scaleOutStorage.maxAccounts}}.
This is the list of storage accounts that hold the actual data blobs in the DASH virtual account.
New accounts can be added or created (you cannot delete a data account) and account keys can be updated.
(Coming soon)You can also 'roll over' all of your data account keys to maintain data access security or maintain expiring keys.
|
|
These configuration settings enable this Management Portal and other REST API users to authenticate to the Management API.
The following settings control how and when blobs are replicated. Replicating blobs will improve read throughput, but will cost most for each copy of the blob being saved.
All asynchronous operations (import accounts, blob replication, etc.) use an Azure Storage Queue to manage the list of operations. Leave configuration settings empty to use default values.
The following configuration settings affect a variety of behaviors and operations.


EVEMail-Email Relay Configuration
API Key ID
API Key Verification Code
API Key Character
(ID or Name)
Recipient Organization From Which to Relay EVEMail
(ID or Name)
Recipient Organization #2 From Which to Relay EVEMail (Optional)
(ID or Name)
Destination Email Address


| Recommended Compatible Bulbs | Voltage | Wattage | Socket Type | Color Temp | Lumens | Lifespan | Beam Spread | Listing | Dimmable |
|---|---|---|---|---|---|---|---|---|---|
|
120V 20W HIGH OUTPUT COOL WHITE LED PAR38 |
120V | 20w | Medium Base E26 | Cool White (5000K) | 1000 Lumens | 30,000 Hours | Flood (38°) | RoHS compliant | Yes |
|
120V 20W HIGH OUTPUT WARM WHITE LED PAR38 |
120V | 20w | Medium Base E26 | Warm White (3000K) | 750 Lumens | 30,000 Hours | Flood (38°) | RoHS compliant | Yes |
|
120V 21W COOL WHITE WEATHER-PROOF LED PAR38 |
120V | 21w | Medium Base E26 | Cool White (4000K) | 1200 Lumens | 30,000 Hours | Flood (38°) | UL Listed Suitable for Wet Locations | Full Range |


--- layout: archive title: Zulip Chat Archive permalink: /stream/144837-PR-reviews/topic/.23707.20Automate.20the.20deployment.20of.20nightly.20builds.html ---
This should decrease the emails linked to releases: they are produced once a day and pushed to leanprover-community/mathlib-nightly
.
I'd like to get feedback so that I can merge it quickly and make use of it.
looks alright... does it work?
Yep! I see the million of commits didn't flood your mail box :)
but mathlib-nightly
has 0 releases
That's right. I deleted the test releases and it will start making real ones once it gets merged into master. I don't produce releases on other branches than master
So what is the status of this awesome feature? It is meant to work? Is it usable under Windows (sorry I'm teaching real students).
It was merged, and it at least stopped the flood of emails. There's a release at mathlib-nightly (https://github.com/leanprover-community/mathlib-nightly/releases). No idea beyond that though.
It should release only one per day
I think there is a shell script to automate downloading and installing the built oleans?
Update: what I merged turned out to be broken. I'm now working on a fix.
And yes there is a script. You can get it by following the instructions in the mathlib README
But the script currently has nothing to download, right?
From the README:
Install the update-mathlib script
Linux/OS X/Cygwin/MSYS2/git bash: run the following command in a terminal:
I think this needs to be run from the root of your home directory
Or better, the install script needs to be fixed in order to work from anywhere
Why not putting the .mathlib
inside .lean
?
I tried:
leanpkg new simon
cd simon
leanpkg add https://github.com/leanprover-community/mathlib
update-mathlib
but it answers no olean archive available
Interestingly, if I try leanprover-community/mathlib
in the leanpkg add then I get asked
Username for 'https://github.com':`
Try leanpkg upgrade
first. You'll get the lean-3.4.2
version which has an archive
What made you conclude that it needs to be run from the root of your home directory? Did it create a .profile
file where you ran it?
yes
Ok, I'm fixing that. Thanks!
Can you try again?
leanpkg upgrade
doesn't change the lean-version
, which is very strangely set to lean 3.4.0
by leanpkg new
, but of course this is not related to the current discussion
I still can't get any olean
Could you try creating a new package from scratch?
Also, you should probably have a nicer error message if update-mathlib is run in a project not depending on mathlib
Traceback (most recent call last): File "/home/pmassot/.mathlib/bin/update-mathlib", line 25, in <module> lib = leanpkg['dependencies']['mathlib'] KeyError: 'mathlib'
is not so nice
Also, using .profile
mean you need to either explicitly source it, or logout and log back in
Good point, sorry about all the rough corners
I'm very grateful for your efforts
How do you source it?
source .profile
:) It comes across but thanks for saying so
How does that work?
I don't know everything it does, but it certainly sets environment variables
Does this seem right?
cp update-mathlib.py $HOME/.mathlib/bin/update-mathlib echo "export PATH=\"\$HOME/.mathlib/bin:\$PATH\" " >> $HOME/.profile source $HOME/.profile
this would work only for the current shell
At least on Debian-like distribs, only .bahsrc
is sourced at shell start
and users who run another shell know what they are doing and should be able to adjust
should I change the PATH
variable in .bashrc
instead?
That would be better for Debian/Ubuntu/... users. But I think there is no universal solution. Maybe look at what elan does?
Now I'll go teaching using Lean
Elan does what rustup does IIRC.
i.e. Sebastian just pilfered it from rust.
I also suggest copying the behavior from elan/rustup. In particular, I think elan tells you how it's going to modify .profile
and asks for confirmation, rather than just silently doing it.
Ok, I'm going to need to get back to this
Thanks all to your suggestions!
{% endraw %}Last updated: Apr 24 2020 at 19:02 UTC


"MATTANIAH "gift of Jehovah. (1.) A Levite, son of Heman, the chief of the ninth class of temple singers (1 Chronicles 25:4, 16). (2.) A Levite who assisted in purifying the temple at the reformation under Hezekiah (2 Chronicles 29:13). (3.) The original name of Zedekiah (q.v.), the last of the kings of Judah (2 Kings 24:17). He was the third son of Josiah, who fell at Megiddo. He succeeded his nephew Jehoiakin.
"MATTANIAH "gift of Jehovah. (1.) A Levite, son of Heman, the chief of the ninth class of temple singers (1 Chronicles 25:4, 16).
(2.) A Levite who assisted in purifying the temple at the reformation under Hezekiah (2 Chronicles 29:13).
(3.) The original name of Zedekiah (q.v.), the last of the kings of Judah (2 Kings 24:17). He was the third son of Josiah, who fell at Megiddo. He succeeded his nephew Jehoiakin.


Retargetable Code Generator
Backend Process
TMD: Target Machine Description
Machine Parameters
Data Types
List of Real Registers
Set of Registers
Nonterminals for Registers
Default Register set for Reg Vars
Instruction Definitions
Start Symbol
Example of
defrule
& Code Gen
foreach
Macro Feature
defrule
Form
defrewrite
Form
Java Code
CodeGenerator Methods
%defbuild/%defemit Macro
LIR node in Java
Representation of Assembly Programs
How to add new target machine
Addition of TMD
Extension of Frontend
→ top


{% extends 'bootstrap/base.html' %} {% block content %}
All Cancers Support Group, Aga Khan Universtiy Hospital, 1st Thursday of the month, 2pm to 3.30pm<EMAIL_ADDRESS>All Cancers Support Group, Faraja Cancer Support Trust, Nairobi Place, Mokoyeti West Road (off Langata Road), starts 21st September, 10:00am-12:00pm<EMAIL_ADDRESS>All Cancers Support Group, Kenyatta National Hospital, Radiotherapy Department, 2 Fridays each month, 11:00am.
All Cancers Support Group, Nairobi Hospital Counseling Department, Short Stay Auditorium, 2nd Tuesday of the month, 2:15pm – 4:15pm, 0721 963 465, 0722 281 362. Open to patients, survivors, family members, Nairobi Hospital staff.
Breast Cancer Support Group, Faraja Cancer Support Trust, 4th Tuesday of the month<EMAIL_ADDRESS>Philip Odiyo, Patient Support Manager, Nutrition Volunteers: Asmita Shah, Smita Shah, Rachna Sikka, P.O BOX 39173<EMAIL_ADDRESS>+254 (0) 721 872 909, www.farajacancersupport.org, Facebook: Faraja Cancer Support, Twitter: @FarajaTrust. Provides consultations on nutrition and diet for cancer patients and survivors, free of charge.
Jameson Court, Flat C 2 Ngong Road, Nairobi, +254 (0) 722 369 178/254, +254 (0) 734 369 178, www.radiantlifestylecentre.org. Diet and lIfestyle consultants providing nutrition therapy, health seminars, lifestyle support programmes and counseling.


Cookies help us provide, protect and improve your experience, for example by saving high scores. Third parties also use cookies on our site to tailor ads. By using this site, you consent to this use of cookies.
27 April 2017 - Graphic Settings - Instructions Popup - Food spawn animation - Score announcements - Official Twitter account
21 April 2017 - Revamp visuals - Dash and shoot mechanic - Change log history - Bug fixing - Improvement in overall performance
6 April 2017 - Rotating Instruction text - Fixed bullets starting velocity - Fix soft lock when getting AFK
31 March 2017 - Fixed invisible bullets bug
28 March 2017 - Bullets are now displayed more accurately - Unknown fleets each have a number - Improved feedback when failing to connect with Arena Link - Added message warning of server shutdown
17 March 2017 - Fixed score bug when dying in the Danger Zone - Fixed some visual bugs
16 March 2017 - Fixed some bugs from previous updates
14 March 2017 - Bandwitdh optimisations - New Split and Dash Mechanic ('S' key) - Arena Links - Check the official subreddit for more info
17 February 2017 - Added official Discord server link - Last name used is now saved
14 February 2017 - Client upgrade mechanism - Fixed issue with adblock users not being able to play
13 February 2017 - Client upgrade mechanism
9 February 2017 - Fixed score bug when dying in the Danger Zone
7 February 2017 - Improved ship selection - Added high score display - Fixed bugs
7 February 2017 - Improved ship selection - Added high score display - Fixed bugs
3 February 2017 - Improved mouse deadzone - Changed background - Added high score display
3 February 2017 - Improved mouse deadzone - Changed background