-
Notifications
You must be signed in to change notification settings - Fork 85
Expand file tree
/
Copy path404.html
More file actions
109 lines (86 loc) · 3.8 KB
/
404.html
File metadata and controls
109 lines (86 loc) · 3.8 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
<!DOCTYPE html>
<html lang="en-us">
<head>
<!-- Global Site Tag (gtag.js) - Google Analytics -->
<script async src="https://www.googletagmanager.com/gtag/js?id=UA-107339008-1"></script>
<script>
window.dataLayer = window.dataLayer || [];
function gtag(){dataLayer.push(arguments)};
gtag('js', new Date());
gtag('config', 'UA-107339008-1');
</script>
<link href="http://gmpg.org/xfn/11" rel="profile">
<meta http-equiv="X-UA-Compatible" content="IE=edge">
<meta http-equiv="content-type" content="text/html; charset=utf-8">
<meta name="keywords" content="machine learning, source code, big code, naturalness, software engineering, programming languages">
<title>
404: Page not found · Machine Learning for Big Code and Naturalness
</title>
<!-- Enable responsiveness on mobile devices-->
<meta name="viewport" content="width=device-width, initial-scale=1.0, maximum-scale=1">
<!-- CSS -->
<link rel="stylesheet" href="/public/css/poole.css">
<link rel="stylesheet" href="/public/css/syntax.css">
<link rel="stylesheet" href="/public/css/hyde.css">
<link rel="stylesheet" href="https://fonts.googleapis.com/css?family=PT+Sans:400,400italic,700|Abril+Fatface">
<!-- Icons -->
<link rel="shortcut icon" href="/public/favicon.svg">
<link rel="search" href="/public/opensearchdescription.xml"
type="application/opensearchdescription+xml"
title="ML4Code" />
<script src="https://code.jquery.com/jquery-3.2.1.min.js"
integrity="sha256-hwg4gsxgFZhOsEEamdOYGBf13FyQuiTwlAQgxVSNgt4="
crossorigin="anonymous"></script>
<link rel="stylesheet" type="text/css" href="//cdn.datatables.net/1.10.16/css/jquery.dataTables.min.css">
<script type="text/javascript" charset="utf8" src="//cdn.datatables.net/1.10.16/js/jquery.dataTables.min.js"></script>
</head>
<body class="theme-base-0d layout-reverse">
<a href='/contributing.html' class='ribbon'>Contribute to ML4Code</a>
<div class="sidebar">
<div class="container sidebar-sticky">
<div class="sidebar-about">
<h1>
<a href="/">
Machine Learning for Big Code and Naturalness
</a>
</h1>
<p class="lead">Research on machine learning for source code.</p>
</div>
<nav class="sidebar-nav">
<div class="sidebar-item"><p style="font-size: 12px">Search related work <input type='text' id='searchTarget' size="16"/> <button onClick="search();">Go</button></p></div>
<a class="sidebar-nav-item" href="/papers.html">List of Papers</a>
<a class="sidebar-nav-item" href="/tags.html">Papers by Tag</a>
<a class="sidebar-nav-item" href="/tsne-viz.html">2D Map of Papers</a>
<a class="sidebar-nav-item" href="/topic-viz.html">Topic-based Explorer</a>
<a class="sidebar-nav-item" href="/resources.html">Resources, Courses & Events</a>
<a class="sidebar-nav-item" href="/contributing.html">Contributing</a>
</nav>
<div class="sidebar-item">
<p style="font-size: 12px">Contact <a href="https://miltos.allamanis.com">Miltos Allamanis</a> about this survey or website.
<span style="font-size: 9px">
Made with <a href="https://jekyllrb.com">Jekyll</a> and <a href="https://github.com/poole/hyde">Hyde</a>.
</span></p>
</div>
</div></div>
<script>
$("#searchTarget").keydown(function (e) {
if (e.keyCode == 13) {
search();
}
});
function search() {
try {
ga('send', 'event', 'search', 'search', $("#searchTarget").val());
} finally {
window.location = "/papers.html#" + $("#searchTarget").val();
}
}
</script>
<div class="content container">
<div class="page">
<h1 class="page-title">404: Page not found</h1>
<p class="lead">Sorry, we've misplaced that URL or it's pointing to something that doesn't exist. <a href="">Head back home</a> to try finding it again.</p>
</div>
</div>
</body>
</html>