Deploy brandonspark/brandonspark.github.io to brandonspark/brandonspa…

…rk.github.io:gh-pages
brandonspark · May 22, 2024 · 1c83ae4 · 1c83ae4
commit 1c83ae4
Show file tree

Hide file tree

Showing 268 changed files with 7,624 additions and 0 deletions.
diff --git a/150/01/lecture01.pdf b/150/01/lecture01.pdf
diff --git a/150/01/lecture01.png b/150/01/lecture01.png
diff --git a/150/02/lecture02.pdf b/150/02/lecture02.pdf
diff --git a/150/02/lecture02.png b/150/02/lecture02.png
diff --git a/150/03/lecture03.pdf b/150/03/lecture03.pdf
diff --git a/150/03/lecture03.png b/150/03/lecture03.png
diff --git a/150/04/lecture04.pdf b/150/04/lecture04.pdf
diff --git a/150/04/lecture04.png b/150/04/lecture04.png
diff --git a/150/05/lecture05.pdf b/150/05/lecture05.pdf
diff --git a/150/05/lecture05.png b/150/05/lecture05.png
diff --git a/150/06/lecture06.pdf b/150/06/lecture06.pdf
diff --git a/150/06/lecture06.png b/150/06/lecture06.png
diff --git a/150/07/lecture07.pdf b/150/07/lecture07.pdf
diff --git a/150/07/lecture07.png b/150/07/lecture07.png
diff --git a/150/08/lecture08.pdf b/150/08/lecture08.pdf
diff --git a/150/08/lecture08.png b/150/08/lecture08.png
diff --git a/150/09/lecture09.pdf b/150/09/lecture09.pdf
diff --git a/150/09/lecture09.png b/150/09/lecture09.png
diff --git a/150/10/lecture10.pdf b/150/10/lecture10.pdf
diff --git a/150/10/lecture10.png b/150/10/lecture10.png
diff --git a/150/11/lecture11.pdf b/150/11/lecture11.pdf
diff --git a/150/11/lecture11.png b/150/11/lecture11.png
diff --git a/150/12/lecture12.pdf b/150/12/lecture12.pdf
diff --git a/150/12/lecture12.png b/150/12/lecture12.png
diff --git a/150/13/lecture13.pdf b/150/13/lecture13.pdf
diff --git a/150/13/lecture13.png b/150/13/lecture13.png
diff --git a/150/14/lecture14.pdf b/150/14/lecture14.pdf
diff --git a/150/14/lecture14.png b/150/14/lecture14.png
diff --git a/150/15/lecture15.pdf b/150/15/lecture15.pdf
diff --git a/150/15/lecture15.png b/150/15/lecture15.png
diff --git a/150/16/lecture16.pdf b/150/16/lecture16.pdf
diff --git a/150/16/lecture16.png b/150/16/lecture16.png
diff --git a/150/17/lecture17.pdf b/150/17/lecture17.pdf
diff --git a/150/17/lecture17.png b/150/17/lecture17.png
diff --git a/150/18/lecture18.pdf b/150/18/lecture18.pdf
diff --git a/150/18/lecture18.png b/150/18/lecture18.png
diff --git a/150/19/lecture19.pdf b/150/19/lecture19.pdf
diff --git a/150/19/lecture19.png b/150/19/lecture19.png
diff --git a/150/20/lecture20.pdf b/150/20/lecture20.pdf
diff --git a/150/20/lecture20.png b/150/20/lecture20.png
diff --git a/150/21/lecture21.pdf b/150/21/lecture21.pdf
diff --git a/150/21/lecture21.png b/150/21/lecture21.png
diff --git a/150/22/lecture22.pdf b/150/22/lecture22.pdf
diff --git a/150/22/lecture22.png b/150/22/lecture22.png
diff --git a/150/index.html b/150/index.html
diff --git a/150/manifest.yaml b/150/manifest.yaml
@@ -0,0 +1,110 @@
+- number: 01
+  name: prologue
+  fullname: Prologue
+  color: "rgb(105, 105, 105)"
+  quote: "Welcome to the rest of your life!"
+- number: 02
+  name: equivalence
+  fullname: Equivalence, Binding, and Scope
+  color: "rgb(137, 86, 219)"
+  quote: "Equivalences save lives."
+- number: 03
+  name: induction
+  fullname: Induction and Recursion
+  color: "rgb(13, 158, 131)"
+  quote: "Recursion is the bread and butter of doing anything in a functional language."
+- number: 04
+  name: structural
+  fullname: Structural Induction and Tail Recursion
+  color: "rgb(69, 209, 143)"
+  quote: "Proving things about pretty much any kind of data you can imagine."
+- number: 05
+  name: trees
+  fullname: Trees
+  color: "rgb(228, 132, 214)"
+  quote: "Trees are the most fundamental data structure."
+- number: 06
+  name: asymptotic
+  fullname: Asymptotic Analysis
+  color: "rgb(239, 171, 93)"
+  quote: "A step is not always a step. We care about analyzing performance mathematically."
+- number: 07
+  name: parallel
+  fullname: Sorting and Parallelism
+  color: "rgb(243, 194, 82)"
+  quote: "What do we do when we have infinitely many processors?"
+- number: 08
+  name: poly
+  fullname: Polymorphism
+  color: "rgb(229, 71, 53)"
+  quote: "Code reuse at different types, without breaking any of our safety properties."
+- number: 09
+  name: hofs
+  fullname: Higher-Order Functions
+  color: "rgb(26, 183, 167)"
+  quote: "We can take in functions and also return functions, like any other value."
+- number: 10
+  name: staging
+  fullname: Combinators and Staging
+  color: "rgb(239, 100, 218)"
+  quote: "You shouldn't have to wait on something unrelated when you can do work right now."
+- number: 11
+  name: cps
+  fullname: Continuation-Passing Style
+  color: "rgb(35, 113, 240)"
+  quote: "CPS is the difference between writing instructions now, or remembering them later."
+- number: 12
+  name: exceptions
+  fullname: Exceptions
+  color: "rgb(166, 74, 241)"
+  quote: "Exceptions make mathematical thinking harder."
+- number: 13
+  name: regex
+  fullname: Regular Expressions
+  color: "rgb(234, 56, 115)"
+  quote: "Regular expressions are one of the most practical things you can learn."
+- number: 14
+  name: modules
+  fullname: Structures and Signatures
+  color: "rgb(212, 95, 49)"
+  quote: "SML has one of the most sophisticated module systems of any programming language."
+- number: 15
+  name: functors
+  fullname: Functors
+  color: "rgb(241, 111, 55)"
+  quote: "Functors will show us how we can write code that depends upon modules."
+- number: 16
+  name: redblack
+  fullname: Red-Black Trees
+  color: "rgb(139, 21, 21)"
+  quote: "Red-black trees are a very good application of modules for protecting invariants."
+- number: 17
+  name: seq
+  fullname: Sequences
+  color: "rgb(246, 212, 43)"
+  quote: "With sequences, we can keep immutability and also have the benefits of arrays."
+- number: 18
+  name: lazy
+  fullname: Lazy Programming
+  color: "rgb(73, 220, 237)"
+  quote: "With laziness, only pay for for the computations you want to use."
+- number: 19
+  name: imperative
+  fullname: Imperative Programming
+  color: "rgb(170, 170, 170)"
+  quote: "We invented immutability and purity, but we do not serve them. It's OK to be a little mutable."
+- number: 20
+  name: compilers
+  fullname: Compilers
+  color: "rgb(35, 215, 173)"
+  quote: "A long time ago, programming languages did not exist."
+- number: 21
+  name: pa
+  fullname: Program Analysis
+  color: "rgb(95, 67, 219)"
+  quote: "We are solving an unsolvable problem."
+- number: 22
+  name: finale
+  fullname: Finale
+  color: "rgb(18, 44, 189)"
+  quote: "You can never go back, because you are forever a functional programmer."
diff --git a/150/manifest_supplemental.yaml b/150/manifest_supplemental.yaml
@@ -0,0 +1,6 @@
+- number: 01
+  name: ocaml
+  fullname: From SML to OCaml
+  path: sml_to_ocaml
+  color: "rgb(255, 190, 77)"
+  quote: "From one language to another."
diff --git a/150/ocaml/sml_to_ocaml.pdf b/150/ocaml/sml_to_ocaml.pdf
diff --git a/150/ocaml/sml_to_ocaml.png b/150/ocaml/sml_to_ocaml.png
diff --git a/404.html b/404.html
@@ -0,0 +1,124 @@
+<!DOCTYPE html>
+<html lang="en">
+
+<head>
+    <title>
+404
+</title>
+    <meta http-equiv="content-type" content="text/html; charset=utf-8">
+    <meta name="viewport" content="width=device-width, initial-scale=1.0, maximum-scale=1">
+    <meta name="robots" content="noodp"/>
+
+    <link rel="stylesheet" href="https://brandonspark.github.io/style.css">
+    <link rel="stylesheet" href="https://brandonspark.github.io/color/blue.css">
+
+    <link rel="stylesheet" href="https://brandonspark.github.io/font-hack-subset.css">
+<link rel="stylesheet" href="/syntax_colors.css">
+    <script src="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/11.7.0/highlight.min.js"></script>
+    <!-- Custom syntax groups for SML, cause I didn't like theirs -->
+    <script src="/sml.js"></script>
+    <script src="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/11.7.0/languages/rust.min.js"></script>
+    <script src="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/11.7.0/languages/ocaml.min.js"></script>
+    <script>hljs.highlightAll();</script>
+
+    <script src="/highlight.pack.js"></script>
+    <script>hljs.highlightAll();</script>
+
+
+    <!-- ADDED for mathjax support -->
+
+
+            <script>
+            MathJax = {
+              tex: {
+                inlineMath: [['$', '$'], ['\\(', '\\)']],
+                displayMath: [['$$', '$$'], ['\\[', '\\]']]
+              }
+            };
+            </script>
+
+        <script type="text/javascript" id="MathJax-script" async
+          src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js">
+        </script>
+
+        <link rel="shortcut icon" type="image/png" href="/favicon.png">
+
+    </head>
+
+<!-- ADDED: Tag for Google Analytics -->
+<!-- Google tag (gtag.js) -->
+<script async src="https://www.googletagmanager.com/gtag/js?id=G-94K3LZTQ8V"></script>
+<script>
+  window.dataLayer = window.dataLayer || [];
+  function gtag(){dataLayer.push(arguments);}
+  gtag('js', new Date());
+
+  gtag('config', 'G-94K3LZTQ8V');
+</script>
+
+<body class="">
+<div class="container">
+
+    <header class="header">
+        <div class="header__inner">
+            <div class="header__logo">
+
+                <a href="https://brandonspark.github.io" style="text-decoration: none;">
+
+                    <img src="/header.png" style="width:100%; border-radius:0%" class="center">
+                </a>
+            </div>
+        </div>
+
+
+<nav class="menu">
+            <ul class="menu__inner">
+                <li><a href="https://brandonspark.github.io">home</a></li>
+
+                <li><a href="https://brandonspark.github.io/blog">blog</a></li>
+
+                <li><a href="https://brandonspark.github.io/about">about me</a></li>
+
+                <li><a href="https://brandonspark.github.io/teaching">teaching</a></li>
+
+                <li><a href="https://brandonspark.github.io/150">15150</a></li>
+
+                <li><a href="https://brandonspark.github.io/creative">creative</a></li>
+
+                <li><a href="https://brandonspark.github.io/projects">projects</a></li>
+
+                <li><a href="https://github.com/brandonspark" target="_blank" rel="noopener noreferrer">github</a></li>
+
+                <li><a href="https://twitter.com/onefiftyman" target="_blank" rel="noopener noreferrer">twitter</a></li>
+            </ul>
+        </nav>
+
+
+    </header>
+
+
+    <div class="content">
+
+<div class="post">
+  <h1 class="post-title">Lost?</h1>
+  <p>This page does not exist.</p>
+</div>
+
+    </div>
+
+
+    <footer class="footer">
+        <div class="footer__inner">
+                <div class="copyright">
+                        <span>© 
+    2024
+ Brandon Wu</span>
+                    </div>
+            </div>
+    </footer>
+
+
+</div>
+</body>
+
+</html>