Add research methods lecture

tpetricek · Oct 22, 2024 · 791a868 · 791a868
1 parent e4899ec
commit 791a868
Show file tree

Hide file tree

Showing 13 changed files with 619 additions and 6 deletions.
diff --git a/2024/pl-design/img/research/babel.jpg b/2024/pl-design/img/research/babel.jpg
diff --git a/2024/pl-design/img/research/draconum.jpg b/2024/pl-design/img/research/draconum.jpg
diff --git a/2024/pl-design/img/research/ects.png b/2024/pl-design/img/research/ects.png
diff --git a/2024/pl-design/img/research/hack.png b/2024/pl-design/img/research/hack.png
diff --git a/2024/pl-design/img/research/newton.jpg b/2024/pl-design/img/research/newton.jpg
diff --git a/2024/pl-design/img/research/qr-paper.png b/2024/pl-design/img/research/qr-paper.png
diff --git a/2024/pl-design/img/research/radio.jpg b/2024/pl-design/img/research/radio.jpg
diff --git a/2024/pl-design/img/research/shell.jpg b/2024/pl-design/img/research/shell.jpg
diff --git a/2024/pl-design/img/research/tapl.jpg b/2024/pl-design/img/research/tapl.jpg
diff --git a/2024/pl-design/img/research/transactions.jpg b/2024/pl-design/img/research/transactions.jpg
diff --git a/2024/pl-design/img/research/you.jpg b/2024/pl-design/img/research/you.jpg
diff --git a/2024/pl-design/index.html b/2024/pl-design/index.html
@@ -105,11 +105,11 @@
 			.content.noborder img { border-style:none; }
 			.content.three-column h3, .content.two-column h3 { margin-bottom:30px; margin-top:0px; }
 
-			.largeicons p, .largeicons li { font-size:26pt; }
-			.largeicons h2, .icons h2 { margin-bottom:0px; }
-			.largeicons li, .icons li { list-style-type:none; padding:0px; margin:15px 0px 15px 0px; }
-			.largeicons ul, .icons ul { margin:50px 0px 0px 0px;padding:0px; }
-			.largeicons i.placeholder, .icons i.placeholder { width:65px; display:inline-block; }
+			.animicons p, .animicons li, .largeicons p, .largeicons li { font-size:26pt; }
+			.animicons h2, .largeicons h2, .icons h2 { margin-bottom:0px; }
+			.animicons li, .largeicons li, .icons li { list-style-type:none; padding:0px; margin:15px 0px 15px 0px; }
+			.animicons ul, .largeicons ul, .icons ul { margin:50px 0px 0px 0px;padding:0px; }
+			.animicons i.placeholder, .largeicons i.placeholder, .icons i.placeholder { width:65px; display:inline-block; }
 
 			.title h1 { margin-bottom:40px; }
 			.title h2 { margin-top:-40px; }
@@ -178,11 +178,11 @@ <h2>Programming language design</h2>
 <a href="design.html"><strong>Design</strong> - Learning from architecture and design</a><br />
 <a href="usability.html"><strong>Usability</strong> - Human-centric language design</a><br />
 <a href="semantics.html"><strong>Semantics</strong> - Formal models of programming</a><br />
+<a href="research.html"><strong>Assignment</strong> - &amp; How to do programming language research</a><br />
 <strong>Types</strong> - Mathematics and engineering of types<br />
 <strong>Beyond</strong> - Unexpected perspectives on types<br />
 <strong>Paradigms</strong> - History and philosophy of programming<br />
 <strong>Close</strong> - Close look at past and today's programs<br />
-<strong>Assignment</strong> - &amp; How to do programming language research<br />
 <strong>Heuristics</strong> - Heuristic evaluation of programming systems<br />
 <strong>Cognition</strong> - Making programming easier and learnable</p>
 </div>