11
11
< body >
12
12
< script > document . body . className = "js" ; </ script >
13
13
14
- < a href ="https://github.com/sentient-lang " class ="github-corner " aria-label ="View source on Github "> < svg width ="85 " height ="85 " viewBox ="0 0 250 250 " style ="fill:#cccccc; color:#fff; position: absolute; top: 0; border: 0; right: 0; " aria-hidden ="true "> < path d ="M0,0 L115,115 L130,115 L142,142 L250,250 L250,0 Z "> </ path > < path d ="M128.3,109.0 C113.8,99.7 119.0,89.6 119.0,89.6 C122.0,82.7 120.5,78.6 120.5,78.6 C119.2,72.0 123.4,76.3 123.4,76.3 C127.3,80.9 125.5,87.3 125.5,87.3 C122.9,97.6 130.6,101.9 134.4,103.2 " fill ="currentColor " style ="transform-origin: 130px 106px; " class ="octo-arm "> </ path > < path d ="M115.0,115.0 C114.9,115.1 118.7,116.5 119.8,115.4 L133.7,101.6 C136.9,99.2 139.9,98.4 142.2,98.6 C133.8,88.0 127.5,74.4 143.8,58.0 C148.5,53.4 154.0,51.2 159.7,51.0 C160.3,49.4 163.2,43.6 171.4,40.1 C171.4,40.1 176.1,42.5 178.8,56.2 C183.1,58.6 187.2,61.8 190.9,65.4 C194.5,69.0 197.7,73.2 200.1,77.6 C213.8,80.2 216.3,84.9 216.3,84.9 C212.7,93.1 206.9,96.0 205.4,96.6 C205.1,102.4 203.0,107.8 198.3,112.5 C181.9,128.9 168.3,122.5 157.7,114.1 C157.9,116.9 156.7,120.9 152.7,124.9 L141.0,136.5 C139.8,137.7 141.6,141.9 141.8,141.8 Z " fill ="currentColor " class ="octo-body "> </ path > </ svg > </ a > < style > .github-corner : hover .octo-arm {animation : octocat-wave 560ms ease-in-out}@keyframes octocat-wave{0% , 100%{transform : rotate (0 )}20% , 60% {transform : rotate (-25deg )}40% , 80% {transform : rotate (10deg )}}@media (max-width : 500px ){.github-corner : hover .octo-arm {animation : none}.github-corner .octo-arm {animation : octocat-wave 560ms ease-in-out}}</ style >
14
+ < a target ="_blank " href ="https://github.com/sentient-lang " class ="github-corner " aria-label ="View source on Github "> < svg width ="85 " height ="85 " viewBox ="0 0 250 250 " style ="fill:#cccccc; color:#fff; position: absolute; top: 0; border: 0; right: 0; " aria-hidden ="true "> < path d ="M0,0 L115,115 L130,115 L142,142 L250,250 L250,0 Z "> </ path > < path d ="M128.3,109.0 C113.8,99.7 119.0,89.6 119.0,89.6 C122.0,82.7 120.5,78.6 120.5,78.6 C119.2,72.0 123.4,76.3 123.4,76.3 C127.3,80.9 125.5,87.3 125.5,87.3 C122.9,97.6 130.6,101.9 134.4,103.2 " fill ="currentColor " style ="transform-origin: 130px 106px; " class ="octo-arm "> </ path > < path d ="M115.0,115.0 C114.9,115.1 118.7,116.5 119.8,115.4 L133.7,101.6 C136.9,99.2 139.9,98.4 142.2,98.6 C133.8,88.0 127.5,74.4 143.8,58.0 C148.5,53.4 154.0,51.2 159.7,51.0 C160.3,49.4 163.2,43.6 171.4,40.1 C171.4,40.1 176.1,42.5 178.8,56.2 C183.1,58.6 187.2,61.8 190.9,65.4 C194.5,69.0 197.7,73.2 200.1,77.6 C213.8,80.2 216.3,84.9 216.3,84.9 C212.7,93.1 206.9,96.0 205.4,96.6 C205.1,102.4 203.0,107.8 198.3,112.5 C181.9,128.9 168.3,122.5 157.7,114.1 C157.9,116.9 156.7,120.9 152.7,124.9 L141.0,136.5 C139.8,137.7 141.6,141.9 141.8,141.8 Z " fill ="currentColor " class ="octo-body "> </ path > </ svg > </ a > < style > .github-corner : hover .octo-arm {animation : octocat-wave 560ms ease-in-out}@keyframes octocat-wave{0% , 100%{transform : rotate (0 )}20% , 60% {transform : rotate (-25deg )}40% , 80% {transform : rotate (10deg )}}@media (max-width : 500px ){.github-corner : hover .octo-arm {animation : none}.github-corner .octo-arm {animation : octocat-wave 560ms ease-in-out}}</ style >
15
15
16
16
< div class ="main ">
17
17
< header >
@@ -28,6 +28,13 @@ <h4>What is Sentient?</h4>
28
28
< li > < a href ="/intro/experimental "> Experimental</ a > </ li >
29
29
</ ul >
30
30
31
+ < h4 > Recorded media</ h4 >
32
+ < ul >
33
+ < li > < a target ="_blank " href ="https://pusher.com/sessions/meetup/ember-london/say-hello-to-sentient "> Introductory talk</ a > </ li >
34
+ < li > < a target ="_blank " href ="http://whyarecomputers.com/4 "> Why are computers</ a > </ li >
35
+ < li > < a target ="_blank " href ="https://github.com/computationclub/computationclub.github.io/wiki/Sentient-Beta-Launch "> Launch party</ a > </ li >
36
+ </ ul >
37
+
31
38
< h4 > Example programs</ h4 >
32
39
< ul >
33
40
< li > < a href ="/examples/subset-sum "> Subset sum</ a > </ li >
@@ -37,13 +44,12 @@ <h4>Example programs</h4>
37
44
< li > < a href ="/examples/disjoint-rectangles "> Disjoint rectangles</ a > </ li >
38
45
< li > < a href ="/examples/self-enumerating-pangram "> Self-enumerating pangram</ a > </ li >
39
46
< li > < a href ="/examples/power-concatenation "> Power concatenation</ a > </ li >
40
- < li > < a href ="http://makercasts.org/articles/gchq-christmas-puzzle "> Nonogram (article)</ a > </ li >
41
- < li > < a href ="https://whichdigitalblog.com/2017/02/28/sentient-sudoku-solver/ "> Sudoku (article)</ a > </ li >
47
+ < li > < a target =" _blank " href ="http://makercasts.org/articles/gchq-christmas-puzzle "> Nonogram (article)</ a > </ li >
48
+ < li > < a target =" _blank " href ="https://whichdigitalblog.com/2017/02/28/sentient-sudoku-solver/ "> Sudoku (article)</ a > </ li >
42
49
43
50
<!-- TODO: re-write these examples on this site -->
44
- < li > < a href ="http://sentient-lang.github.io/sentient-lang/examples/threeColour/ "> Three-colour numbers</ a > </ li >
45
- < li > < a href ="http://mudge.name/sentient-isbn/ "> Book numbers</ a > </ li >
46
-
51
+ < li > < a target ="_blank " href ="http://sentient-lang.github.io/sentient-lang/examples/threeColour/ "> Three-colour numbers</ a > </ li >
52
+ < li > < a target ="_blank " href ="http://mudge.name/sentient-isbn/ "> Book numbers</ a > </ li >
47
53
</ ul >
48
54
49
55
< h4 > Getting started</ h4 >
@@ -123,13 +129,14 @@ <h4>Supported Solvers</h4>
123
129
124
130
< h4 > Syntax Highlighters</ h4 >
125
131
< ul >
126
- < li > < a href ="https://github.com/sentient-lang/vim-sentient "> Vim</ a > </ li >
127
- < li > < a href ="https://github.com/sentient-lang/prism-sentient "> Prism</ a > </ li >
132
+ < li > < a target =" _blank " href ="https://github.com/sentient-lang/vim-sentient "> Vim</ a > </ li >
133
+ < li > < a target =" _blank " href ="https://github.com/sentient-lang/prism-sentient "> Prism</ a > </ li >
128
134
</ ul >
129
135
130
136
< h4 > Miscellaneous</ h4 >
131
137
< ul >
132
- < li > < a href ="https://sentient-lang.github.io/sentient-lang/examples/executionModel/ "> Execution model</ a > </ li >
138
+ < li > < a target ="_blank " href ="https://sentient-lang.github.io/sentient-lang/examples/executionModel/ "> Execution model</ a > </ li >
139
+ < li > < a target ="_blank " href ="https://github.com/computationclub/computationclub.github.io/wiki/The-New-Turing-Omnibus-Chapter-34-Satisfiability-%28also-featuring%3A-Sentient%29 "> SAT and Sentient</ a > </ li >
133
140
</ ul >
134
141
</ nav >
135
142
@@ -145,7 +152,7 @@ <h4>Miscellaneous</h4>
145
152
< footer >
146
153
< p >
147
154
Copyright © 2016,
148
- < a href ="https://twitter.com/cpatuzzo "> Chris Patuzzo</ a > ,
155
+ < a target =" _blank " href ="https://twitter.com/cpatuzzo "> Chris Patuzzo</ a > ,
149
156
MIT License
150
157
</ p >
151
158
</ footer >
0 commit comments