dimitri/blog
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Switch to dark mode

Browse source
This commit is contained in:
Dimitri Lozeve 2021-02-04 21:02:02 +01:00
parent e4aab38353
commit b6609b3380
6 changed files with 151 additions and 86 deletions
Download patch file Download diff file Expand all files Collapse all files

3
css/default.css
View file

@ -1,5 +1,6 @@
body { body {
background: #fafafa; background-color: #1c1c1c/* #1d2228 */;
color: #eeeeee;
} }
header { header {

186
css/syntax.css
View file

@ -2,67 +2,67 @@
/* pygments style */ /* pygments style */
a.sourceLine { display: inline-block; line-height: 1.25; } /* a.sourceLine { display: inline-block; line-height: 1.25; } */
a.sourceLine { pointer-events: none; color: inherit; text-decoration: inherit; } /* a.sourceLine { pointer-events: none; color: inherit; text-decoration: inherit; } */
a.sourceLine:empty { height: 1.2em; } /* a.sourceLine:empty { height: 1.2em; } */
.sourceCode { overflow: visible; } /* .sourceCode { overflow: visible; } */
code.sourceCode { white-space: pre; position: relative; } /* code.sourceCode { white-space: pre; position: relative; } */
div.sourceCode { margin: 1em 0; } /* div.sourceCode { margin: 1em 0; } */
pre.sourceCode { margin: 0; } /* pre.sourceCode { margin: 0; } */
@media screen { /* @media screen { */
div.sourceCode { overflow: auto; } /* div.sourceCode { overflow: auto; } */
} /* } */
@media print { /* @media print { */
code.sourceCode { white-space: pre-wrap; } /* code.sourceCode { white-space: pre-wrap; } */
a.sourceLine { text-indent: -1em; padding-left: 1em; } /* a.sourceLine { text-indent: -1em; padding-left: 1em; } */
} /* } */
pre.numberSource a.sourceLine /* pre.numberSource a.sourceLine */
{ position: relative; left: -4em; } /* { position: relative; left: -4em; } */
pre.numberSource a.sourceLine::before /* pre.numberSource a.sourceLine::before */
{ content: attr(title); /* { content: attr(title); */
position: relative; left: -1em; text-align: right; vertical-align: baseline; /* position: relative; left: -1em; text-align: right; vertical-align: baseline; */
border: none; pointer-events: all; display: inline-block; /* border: none; pointer-events: all; display: inline-block; */
-webkit-touch-callout: none; -webkit-user-select: none; /* -webkit-touch-callout: none; -webkit-user-select: none; */
-khtml-user-select: none; -moz-user-select: none; /* -khtml-user-select: none; -moz-user-select: none; */
-ms-user-select: none; user-select: none; /* -ms-user-select: none; user-select: none; */
padding: 0 4px; width: 4em; /* padding: 0 4px; width: 4em; */
color: #aaaaaa; /* color: #aaaaaa; */
} /* } */
pre.numberSource { margin-left: 3em; border-left: 1px solid #aaaaaa; padding-left: 4px; } /* pre.numberSource { margin-left: 3em; border-left: 1px solid #aaaaaa; padding-left: 4px; } */
div.sourceCode /* div.sourceCode */
{ } /* { } */
@media screen { /* @media screen { */
a.sourceLine::before { text-decoration: underline; } /* a.sourceLine::before { text-decoration: underline; } */
} /* } */
code span.al { color: #ff0000; font-weight: bold; } /* Alert */ /* code span.al { color: #ff0000; font-weight: bold; } /\* Alert *\/ */
code span.an { color: #60a0b0; font-weight: bold; font-style: italic; } /* Annotation */ /* code span.an { color: #60a0b0; font-weight: bold; font-style: italic; } /\* Annotation *\/ */
code span.at { color: #7d9029; } /* Attribute */ /* code span.at { color: #7d9029; } /\* Attribute *\/ */
code span.bn { color: #40a070; } /* BaseN */ /* code span.bn { color: #40a070; } /\* BaseN *\/ */
code span.bu { } /* BuiltIn */ /* code span.bu { } /\* BuiltIn *\/ */
code span.cf { color: #007020; font-weight: bold; } /* ControlFlow */ /* code span.cf { color: #007020; font-weight: bold; } /\* ControlFlow *\/ */
code span.ch { color: #4070a0; } /* Char */ /* code span.ch { color: #4070a0; } /\* Char *\/ */
code span.cn { color: #880000; } /* Constant */ /* code span.cn { color: #880000; } /\* Constant *\/ */
code span.co { color: #60a0b0; font-style: italic; } /* Comment */ /* code span.co { color: #60a0b0; font-style: italic; } /\* Comment *\/ */
code span.cv { color: #60a0b0; font-weight: bold; font-style: italic; } /* CommentVar */ /* code span.cv { color: #60a0b0; font-weight: bold; font-style: italic; } /\* CommentVar *\/ */
code span.do { color: #ba2121; font-style: italic; } /* Documentation */ /* code span.do { color: #ba2121; font-style: italic; } /\* Documentation *\/ */
code span.dt { color: #902000; } /* DataType */ /* code span.dt { color: #902000; } /\* DataType *\/ */
code span.dv { color: #40a070; } /* DecVal */ /* code span.dv { color: #40a070; } /\* DecVal *\/ */
code span.er { color: #ff0000; font-weight: bold; } /* Error */ /* code span.er { color: #ff0000; font-weight: bold; } /\* Error *\/ */
code span.ex { } /* Extension */ /* code span.ex { } /\* Extension *\/ */
code span.fl { color: #40a070; } /* Float */ /* code span.fl { color: #40a070; } /\* Float *\/ */
code span.fu { color: #06287e; } /* Function */ /* code span.fu { color: #06287e; } /\* Function *\/ */
code span.im { } /* Import */ /* code span.im { } /\* Import *\/ */
code span.in { color: #60a0b0; font-weight: bold; font-style: italic; } /* Information */ /* code span.in { color: #60a0b0; font-weight: bold; font-style: italic; } /\* Information *\/ */
code span.kw { color: #007020; font-weight: bold; } /* Keyword */ /* code span.kw { color: #007020; font-weight: bold; } /\* Keyword *\/ */
code span.op { color: #666666; } /* Operator */ /* code span.op { color: #666666; } /\* Operator *\/ */
code span.ot { color: #007020; } /* Other */ /* code span.ot { color: #007020; } /\* Other *\/ */
code span.pp { color: #bc7a00; } /* Preprocessor */ /* code span.pp { color: #bc7a00; } /\* Preprocessor *\/ */
code span.sc { color: #4070a0; } /* SpecialChar */ /* code span.sc { color: #4070a0; } /\* SpecialChar *\/ */
code span.ss { color: #bb6688; } /* SpecialString */ /* code span.ss { color: #bb6688; } /\* SpecialString *\/ */
code span.st { color: #4070a0; } /* String */ /* code span.st { color: #4070a0; } /\* String *\/ */
code span.va { color: #19177c; } /* Variable */ /* code span.va { color: #19177c; } /\* Variable *\/ */
code span.vs { color: #4070a0; } /* VerbatimString */ /* code span.vs { color: #4070a0; } /\* VerbatimString *\/ */
code span.wa { color: #60a0b0; font-weight: bold; font-style: italic; } /* Warning */ /* code span.wa { color: #60a0b0; font-weight: bold; font-style: italic; } /\* Warning *\/ */
/* breezeDark style */ /* breezeDark style */
@ -130,3 +130,67 @@ code span.wa { color: #60a0b0; font-weight: bold; font-style: italic; } /* Warni
/* code span.va { color: #27aeae; } /\* Variable *\/ */ /* code span.va { color: #27aeae; } /\* Variable *\/ */
/* code span.vs { color: #da4453; } /\* VerbatimString *\/ */ /* code span.vs { color: #da4453; } /\* VerbatimString *\/ */
/* code span.wa { color: #da4453; } /\* Warning *\/ */ /* code span.wa { color: #da4453; } /\* Warning *\/ */
/* zenburn style */
a.sourceLine { display: inline-block; line-height: 1.25; }
a.sourceLine { pointer-events: none; color: inherit; text-decoration: inherit; }
a.sourceLine:empty { height: 1.2em; }
.sourceCode { overflow: visible; }
code.sourceCode { white-space: pre; position: relative; }
div.sourceCode { margin: 1em 0; }
pre.sourceCode { margin: 0; }
@media screen {
div.sourceCode { overflow: auto; }
}
@media print {
code.sourceCode { white-space: pre-wrap; }
a.sourceLine { text-indent: -1em; padding-left: 1em; }
}
pre.numberSource a.sourceLine
{ position: relative; left: -4em; }
pre.numberSource a.sourceLine::before
{ content: attr(title);
position: relative; left: -1em; text-align: right; vertical-align: baseline;
border: none; pointer-events: all; display: inline-block;
-webkit-touch-callout: none; -webkit-user-select: none;
-khtml-user-select: none; -moz-user-select: none;
-ms-user-select: none; user-select: none;
padding: 0 4px; width: 4em;
color: #cccccc;
}
pre.numberSource { margin-left: 3em; border-left: 1px solid #303030; padding-left: 4px; }
div.sourceCode
{ }
@media screen {
a.sourceLine::before { text-decoration: underline; }
}
code span.al { color: #ffcfaf; } /* Alert */
code span.an { color: #7f9f7f; font-weight: bold; } /* Annotation */
code span.at { } /* Attribute */
code span.bn { color: #dca3a3; } /* BaseN */
code span.bu { } /* BuiltIn */
code span.cf { color: #f0dfaf; } /* ControlFlow */
code span.ch { color: #dca3a3; } /* Char */
code span.cn { color: #dca3a3; font-weight: bold; } /* Constant */
code span.co { color: #7f9f7f; } /* Comment */
code span.cv { color: #7f9f7f; font-weight: bold; } /* CommentVar */
code span.do { color: #7f9f7f; } /* Documentation */
code span.dt { color: #dfdfbf; } /* DataType */
code span.dv { color: #dcdccc; } /* DecVal */
code span.er { color: #c3bf9f; } /* Error */
code span.ex { } /* Extension */
code span.fl { color: #c0bed1; } /* Float */
code span.fu { color: #efef8f; } /* Function */
code span.im { } /* Import */
code span.in { color: #7f9f7f; font-weight: bold; } /* Information */
code span.kw { color: #f0dfaf; } /* Keyword */
code span.op { color: #f0efd0; } /* Operator */
code span.ot { color: #efef8f; } /* Other */
code span.pp { color: #ffcfaf; font-weight: bold; } /* Preprocessor */
code span.sc { color: #dca3a3; } /* SpecialChar */
code span.ss { color: #cc9393; } /* SpecialString */
code span.st { color: #cc9393; } /* String */
code span.va { } /* Variable */
code span.vs { color: #cc9393; } /* VerbatimString */
code span.wa { color: #7f9f7f; font-weight: bold; } /* Warning */

42
css/tufte.css
View file

@ -227,29 +227,29 @@ a:visited {
text-shadow: unset; text-shadow: unset;
} }
a:link, .tufte-underline, .hover-tufte-underline:hover { /* a:link, .tufte-underline, .hover-tufte-underline:hover { */
text-decoration: none; /* text-decoration: none; */
background: -webkit-linear-gradient(#fffff8, #fffff8), -webkit-linear-gradient(#fffff8, #fffff8), -webkit-linear-gradient(currentColor, currentColor); /* background: -webkit-linear-gradient(#fffff8, #fffff8), -webkit-linear-gradient(#fffff8, #fffff8), -webkit-linear-gradient(currentColor, currentColor); */
background: linear-gradient(#fffff8, #fffff8), linear-gradient(#fffff8, #fffff8), linear-gradient(currentColor, currentColor); /* background: linear-gradient(#fffff8, #fffff8), linear-gradient(#fffff8, #fffff8), linear-gradient(currentColor, currentColor); */
-webkit-background-size: 0.05em 1px, 0.05em 1px, 1px 1px; /* -webkit-background-size: 0.05em 1px, 0.05em 1px, 1px 1px; */
-moz-background-size: 0.05em 1px, 0.05em 1px, 1px 1px; /* -moz-background-size: 0.05em 1px, 0.05em 1px, 1px 1px; */
background-size: 0.05em 1px, 0.05em 1px, 1px 1px; /* background-size: 0.05em 1px, 0.05em 1px, 1px 1px; */
background-repeat: no-repeat, no-repeat, repeat-x; /* background-repeat: no-repeat, no-repeat, repeat-x; */
text-shadow: 0.03em 0 #fffff8, -0.03em 0 #fffff8, 0 0.03em #fffff8, 0 -0.03em #fffff8, 0.06em 0 #fffff8, -0.06em 0 #fffff8, 0.09em 0 #fffff8, -0.09em 0 #fffff8, 0.12em 0 #fffff8, -0.12em 0 #fffff8, 0.15em 0 #fffff8, -0.15em 0 #fffff8; /* text-shadow: 0.03em 0 #fffff8, -0.03em 0 #fffff8, 0 0.03em #fffff8, 0 -0.03em #fffff8, 0.06em 0 #fffff8, -0.06em 0 #fffff8, 0.09em 0 #fffff8, -0.09em 0 #fffff8, 0.12em 0 #fffff8, -0.12em 0 #fffff8, 0.15em 0 #fffff8, -0.15em 0 #fffff8; */
background-position: 0% 93%, 100% 93%, 0% 93%; /* background-position: 0% 93%, 100% 93%, 0% 93%; */
} /* } */
@media screen and (-webkit-min-device-pixel-ratio: 0) { /* @media screen and (-webkit-min-device-pixel-ratio: 0) { */
a:link, .tufte-underline, .hover-tufte-underline:hover { /* a:link, .tufte-underline, .hover-tufte-underline:hover { */
background-position-y: 87%, 87%, 87%; /* background-position-y: 87%, 87%, 87%; */
} /* } */
} /* } */
a:link::selection, /* a:link::selection, */
a:link::-moz-selection { /* a:link::-moz-selection { */
text-shadow: 0.03em 0 #b4d5fe, -0.03em 0 #b4d5fe, 0 0.03em #b4d5fe, 0 -0.03em #b4d5fe, 0.06em 0 #b4d5fe, -0.06em 0 #b4d5fe, 0.09em 0 #b4d5fe, -0.09em 0 #b4d5fe, 0.12em 0 #b4d5fe, -0.12em 0 #b4d5fe, 0.15em 0 #b4d5fe, -0.15em 0 #b4d5fe; /* text-shadow: 0.03em 0 #b4d5fe, -0.03em 0 #b4d5fe, 0 0.03em #b4d5fe, 0 -0.03em #b4d5fe, 0.06em 0 #b4d5fe, -0.06em 0 #b4d5fe, 0.09em 0 #b4d5fe, -0.09em 0 #b4d5fe, 0.12em 0 #b4d5fe, -0.12em 0 #b4d5fe, 0.15em 0 #b4d5fe, -0.15em 0 #b4d5fe; */
background: #b4d5fe; /* background: #b4d5fe; */
} /* } */
/* Sidenotes, margin notes, figures, captions */ /* Sidenotes, margin notes, figures, captions */
img { img {

2
posts/ising-apl.org
View file

@ -136,7 +136,7 @@ Ising←{' ⌹'[1+1=({10 U ⍵}⍣⍵)L ⍺]}
Final output, with a $80\times 80$ random lattice, after 50000 update Final output, with a $80\times 80$ random lattice, after 50000 update
steps: steps:
#+BEGIN_SRC apl #+BEGIN_SRC default
80ising.Ising 50000 80ising.Ising 50000
⌹⌹⌹⌹ ⌹⌹⌹⌹⌹⌹⌹⌹⌹⌹ ⌹⌹⌹⌹⌹⌹ ⌹⌹⌹⌹⌹ ⌹⌹⌹⌹ ⌹⌹⌹⌹⌹⌹⌹⌹⌹⌹⌹ ⌹⌹⌹⌹ ⌹⌹⌹⌹⌹⌹⌹⌹⌹⌹ ⌹⌹⌹⌹⌹⌹ ⌹⌹⌹⌹⌹ ⌹⌹⌹⌹ ⌹⌹⌹⌹⌹⌹⌹⌹⌹⌹⌹
⌹⌹⌹⌹ ⌹⌹⌹⌹⌹⌹ ⌹⌹⌹⌹⌹ ⌹⌹⌹⌹⌹ ⌹⌹⌹⌹⌹⌹ ⌹⌹⌹⌹⌹⌹⌹⌹⌹⌹⌹⌹⌹⌹ ⌹⌹⌹⌹ ⌹⌹⌹⌹⌹⌹ ⌹⌹⌹⌹⌹ ⌹⌹⌹⌹⌹ ⌹⌹⌹⌹⌹⌹ ⌹⌹⌹⌹⌹⌹⌹⌹⌹⌹⌹⌹⌹⌹

2
posts/lie-theory.org
View file

@ -193,7 +193,7 @@ logarithmic map providing the inverse operation.
(red). We can see how each element of the Lie algebra is wrapped on (red). We can see how each element of the Lie algebra is wrapped on
the manifold via the exponential map. Figure from the manifold via the exponential map. Figure from
cite:sola2018_micro_lie_theor_state_estim_robot.] cite:sola2018_micro_lie_theor_state_estim_robot.]
#+ATTR_HTML: :width 500px #+ATTR_HTML: :width 500px :style background-color: #ffffff;
[[../images/lie_exponential.svg]] [[../images/lie_exponential.svg]]
If all this piqued your interest, you can read a very short (only 14 If all this piqued your interest, you can read a very short (only 14

2
posts/operations-research-references.org
View file

@ -213,7 +213,7 @@ to start!) If you'd rather use Python, you can use Google's [[https://developers
or [[https://github.com/coin-or/pulp][PuLP]] for linear programming. or [[https://github.com/coin-or/pulp][PuLP]] for linear programming.
[fn:jump] {-} [fn:jump] {-}
#+ATTR_HTML: :width 250px #+ATTR_HTML: :width 250px :style background-color: #cccccc;
[[file:/images/or_references/jump.svg]] [[file:/images/or_references/jump.svg]]