Deploy to GitHub pages

mstksg · Nov 4, 2024 · 9403157 · 9403157
commit 9403157
Show file tree

Hide file tree

Showing 961 changed files with 220,209 additions and 0 deletions.
diff --git a/CNAME b/CNAME
@@ -0,0 +1 @@
+blog.jle.im
diff --git a/categories.html b/categories.html
@@ -0,0 +1,42 @@
+<!DOCTYPE HTML>
+<html><head><title>Categories · in Code</title><meta name="description" content="Weblog of Justin Le, covering various adventures in programming and explorations in the worlds of computation physics, and knowledge.
+"><meta http-equiv="Content-Type" content="text/html;charset=utf-8"><meta name="viewport" content="width=device-width,initial-scale=1.0"><meta name="flattr:id" content="3p9jqr"><meta property="og:site_name" content="in Code"><meta property="og:description" content="Weblog of Justin Le, covering various adventures in programming and explorations in the worlds of computation physics, and knowledge.
+"><meta property="og:type" content="website"><meta property="og:title" content="Categories"><meta property="og:image" content="https://blog.jle.im/img/site_logo.jpg"><meta property="og:locale" content="en_US"><meta property="og:url" content="https://blog.jle.im/categories.html"><meta name="twitter:card" content="summary"><meta name="twitter:creator:id" content="mstk"><link rel="author" href="https://plus.google.com/107705320197444500140"><link rel="alternate" type="application/rss+xml" title="in Code (RSS Feed)" href="http://feeds.feedburner.com/incodeblog"><link rel="canonical" href="https://blog.jle.im/categories.html"><link href="https://blog.jle.im/favicon.ico" rel="shortcut icon"><link href="https://blog.jle.im/css/toast.css" rel="stylesheet" type="text/css"><link href="https://blog.jle.im/css/font.css" rel="stylesheet" type="text/css"><link href="https://blog.jle.im/css/main.css" rel="stylesheet" type="text/css"><link href="https://blog.jle.im/css/page/archive.css" rel="stylesheet" type="text/css"><script type="text/javascript">var page_data = {};
+var disqus_shortname='incode';
+</script><script>(function(i,s,o,g,r,a,m){i['GoogleAnalyticsObject']=r;i[r]=i[r]||function(){
+(i[r].q=i[r].q||[]).push(arguments)},i[r].l=1*new Date();a=s.createElement(o),
+m=s.getElementsByTagName(o)[0];a.async=1;a.src=g;m.parentNode.insertBefore(a,m)
+})(window,document,'script','//www.google-analytics.com/analytics.js','ga');
+ga('create', 'UA-443711-8', 'jle.im');
+ga('send', 'pageview');
+</script><script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script><script id="MathJax-script" async="" src="https://cdn.jsdelivr.net/npm/[email protected]/es5/tex-mml-chtml.js"></script><script type="text/javascript" src="//ajax.googleapis.com/ajax/libs/jquery/1.10.2/jquery.min.js"></script><script type="text/javascript" src="//s7.addthis.com/js/300/addthis_widget.js#pubid=ra-5234d67a6b68dcd4"></script></head><body><div id="fb-root"><script>(function(d, s, id) {
+ var js, fjs = d.getElementsByTagName(s)[0];
+ if (d.getElementById(id)) return;
+ js = d.createElement(s); js.id = id;
+ js.src = "//connect.facebook.net/en_US/all.js#xfbml=1&appId=641852699171929";
+ fjs.parentNode.insertBefore(js, fjs);
+}(document, 'script', 'facebook-jssdk'));
+</script></div><div id="header-container"><div id="navbar-container" class="tile"><nav id="navbar-content"><div class="nav-info"><h1 class="site-title"><a href="https://blog.jle.im/" class="nav-title">in Code</a></h1><span class="nav-author">Justin Le</span></div><ul class="nav-links"><li><a href="https://blog.jle.im/">home</a></li><li><a href="https://blog.jle.im/entries.html">archives</a></li><li><a href="https://cv.jle.im">cv</a></li><div class="clear"></div></ul></nav></div><div id="header-content"></div></div><div id="body-container" class="container"><div id="main-container" class="grid"><div class="archive-sidebar unit one-of-four"><nav class="archive-nav tile"><h2>Entries</h2><ul><li><a href="https://blog.jle.im/entries.html">History</a></li><li><a href="https://blog.jle.im/tags.html">Tags</a></li><li class="curr-index">Categories</li><li><a href="https://blog.jle.im/series.html">Series</a></li></ul></nav><div class="archive-recents tile"><h2>Recent</h2><ul><li><a href="https://blog.jle.im/entry/functors-to-monads-a-story-of-shapes.html">Functors to Monads: A Story of Shapes
+</a></li><li><a href="https://blog.jle.im/entry/physics-math-heritage.html">My Physics and Math Heritage
+</a></li><li><a href="https://blog.jle.im/entry/levels-of-type-safety-haskell-lists.html">Seven Levels of Type Safety in Haskell: Lists
+</a></li><li><a href="https://blog.jle.im/entry/haskell-nuggets-kmeans.html">Haskell Nuggets: k-means
+</a></li><li><a href="https://blog.jle.im/entry/i-nixified-my-blog.html">I nixified my blog
+</a></li></ul></div></div><section class="archive-section unit three-of-four" role="main"><header class="tile"><h1>Categories</h1></header><ul class="category-index"><li class="tile"><header><h2><a href="https://blog.jle.im/entries/category/@haskell.html">@HASKELL</a></h2><div class="tag-entry-count">&gt; 59 entries</div></header><div class="tag-description"><p>Functional, pure, non-strict, statically and strongly typed, natively compiled…really just the king of great languages.</p></div><footer><div><span class="recent-link">Most recent &mdash; <a href="https://blog.jle.im/entry/functors-to-monads-a-story-of-shapes.html">Functors to Monads: A Story of Shapes
+</a></span><span class="recent-time">(<time datetime="2024-11-04T11:44:50Z" pubdate="" class="pubdate">November 4, 2024</time>)</span></div></footer></li><li class="tile"><header><h2><a href="https://blog.jle.im/entries/category/@ramblings.html">@RAMBLINGS</a></h2><div class="tag-entry-count">&gt; 17 entries</div></header><div class="tag-description"><p>My slight ramblings on subjects of interest (to me and hopefully to you too!). Lots of surveys and introducts to new subjects.</p></div><footer><div><span class="recent-link">Most recent &mdash; <a href="https://blog.jle.im/entry/practical-dependent-types-in-haskell-2.html">Practical Dependent Types in Haskell 2: Existential Neural Networks and Types at
+Runtime
+</a></span><span class="recent-time">(<time datetime="2016-06-30T10:59:23Z" pubdate="" class="pubdate">June 30, 2016</time>)</span></div></footer></li><li class="tile"><header><h2><a href="https://blog.jle.im/entries/category/@tutorials.html">@TUTORIALS</a></h2><div class="tag-entry-count">&gt; 17 entries</div></header><div class="tag-description"><p>Technical tutorials/walkthroughs on specific programming processes and problems that I’ve struggled through in the past.</p></div><footer><div><span class="recent-link">Most recent &mdash; <a href="https://blog.jle.im/entry/simple-tcpip-services-servant.html">Dead-simple TCP/IP services using servant
+</a></span><span class="recent-time">(<time datetime="2019-08-05T12:10:07Z" pubdate="" class="pubdate">August 5, 2019</time>)</span></div></footer></li><li class="tile"><header><h2><a href="https://blog.jle.im/entries/category/@math.html">@MATH</a></h2><div class="tag-entry-count">&gt; 6 entries</div></header><div class="tag-description"></div><footer><div><span class="recent-link">Most recent &mdash; <a href="https://blog.jle.im/entry/shuffling-things-up.html">Shuffling things up: Applying Group Theory in Advent of Code
+</a></span><span class="recent-time">(<time datetime="2020-11-18T10:17:52Z" pubdate="" class="pubdate">November 18, 2020</time>)</span></div></footer></li><li class="tile"><header><h2><a href="https://blog.jle.im/entries/category/@projects.html">@PROJECTS</a></h2><div class="tag-entry-count">&gt; 6 entries</div></header><div class="tag-description"><p>Progress or presentations of completed or ongoing open source projects I have worked/am working on. Hopefully either the development process or the end product can be useful to someone!</p></div><footer><div><span class="recent-link">Most recent &mdash; <a href="https://blog.jle.im/entry/introducing-the-hamilton-library.html">Introducing the Hamilton library
+</a></span><span class="recent-time">(<time datetime="2016-11-28T09:28:32Z" pubdate="" class="pubdate">November 28, 2016</time>)</span></div></footer></li><li class="tile"><header><h2><a href="https://blog.jle.im/entries/category/@meta.html">@META</a></h2><div class="tag-entry-count">&gt; 5 entries</div></header><div class="tag-description"><p>Posts about this blog or blogging in general. So meta.</p></div><footer><div><span class="recent-link">Most recent &mdash; <a href="https://blog.jle.im/entry/i-nixified-my-blog.html">I nixified my blog
+</a></span><span class="recent-time">(<time datetime="2024-01-01T13:21:32Z" pubdate="" class="pubdate">January 1, 2024</time>)</span></div></footer></li><li class="tile"><header><h2><a href="https://blog.jle.im/entries/category/@personal.html">@PERSONAL</a></h2><div class="tag-entry-count">&gt; 4 entries</div></header><div class="tag-description"></div><footer><div><span class="recent-link">Most recent &mdash; <a href="https://blog.jle.im/entry/physics-math-heritage.html">My Physics and Math Heritage
+</a></span><span class="recent-time">(<time datetime="2024-09-08T22:28:17Z" pubdate="" class="pubdate">September 8, 2024</time>)</span></div></footer></li><li class="tile"><header><h2><a href="https://blog.jle.im/entries/category/@auto.html">@AUTO</a></h2><div class="tag-entry-count">&gt; 3 entries</div></header><div class="tag-description"><p>Posts about the <a href="https://github.com/mstksg/auto">auto</a> library, a library offering a denotative, locally stateful programming DSL and platform. Check out the <a href="https://github.com/mstksg/auto/blob/master/README.md">README</a>, <a href="https://github.com/mstksg/auto/blob/master/tutorial/tutorial.md">tutorial</a>, or <a href="https://github.com/mstksg/auto-examples">examples</a> for more information!</p></div><footer><div><span class="recent-link">Most recent &mdash; <a href="https://blog.jle.im/entry/auto-a-todo-gui-application-with-auto-on.html">Auto: A Todo GUI application with Auto (on GHCJS, etc.)
+</a></span><span class="recent-time">(<time datetime="2015-04-23T10:04:10Z" pubdate="" class="pubdate">April 23, 2015</time>)</span></div></footer></li><li class="tile"><header><h2><a href="https://blog.jle.im/entries/category/@engineering.html">@ENGINEERING</a></h2><div class="tag-entry-count">&gt; 2 entries</div></header><div class="tag-description"><p>Posts about engineering, the practical art of taming the physical world.</p></div><footer><div><span class="recent-link">Most recent &mdash; <a href="https://blog.jle.im/entry/the-hamster-hotel-an-introduction-to-control-theory-2.html">The Hamster Hotel: An Introduction to Control Theory (Part 2)
+</a></span><span class="recent-time">(<time datetime="2013-10-01T11:47:41Z" pubdate="" class="pubdate">October 1, 2013</time>)</span></div></footer></li><li class="tile"><header><h2><a href="https://blog.jle.im/entries/category/@reference.html">@REFERENCE</a></h2><div class="tag-entry-count">&gt; 2 entries</div></header><div class="tag-description"></div><footer><div><span class="recent-link">Most recent &mdash; <a href="https://blog.jle.im/entry/fixed-length-vector-types-in-haskell.html">Fixed-Length Vector Types in Haskell (an Update for 2017)
+</a></span><span class="recent-time">(<time datetime="2017-08-25T12:37:10Z" pubdate="" class="pubdate">August 25, 2017</time>)</span></div></footer></li><li class="tile"><header><h2><a href="https://blog.jle.im/entries/category/@computation.html">@COMPUTATION</a></h2><div class="tag-entry-count">&gt; 1 entries</div></header><div class="tag-description"><p>Posts that deal with numerical techniques and the art and science of, well…computing things.</p></div><footer><div><span class="recent-link">Most recent &mdash; <a href="https://blog.jle.im/entry/a-brief-primer-on-classical-and-quantum-mechanics.html">A Brief Primer on Classical and Quantum Mechanics for Numerical Techniques
+</a></span><span class="recent-time">(<time datetime="2013-11-29T16:32:12Z" pubdate="" class="pubdate">November 29, 2013</time>)</span></div></footer></li><li class="tile"><header><h2><a href="https://blog.jle.im/entries/category/@physics.html">@PHYSICS</a></h2><div class="tag-entry-count">&gt; 1 entries</div></header><div class="tag-description"><p>Regarding the models that describe the physical world.</p></div><footer><div><span class="recent-link">Most recent &mdash; <a href="https://blog.jle.im/entry/a-brief-primer-on-classical-and-quantum-mechanics.html">A Brief Primer on Classical and Quantum Mechanics for Numerical Techniques
+</a></span><span class="recent-time">(<time datetime="2013-11-29T16:32:12Z" pubdate="" class="pubdate">November 29, 2013</time>)</span></div></footer></li></ul></section></div></div><div id="footer-container"><div id="footer-content"><div class="tile"><div class="footer-copyright">&copy; 2020 Justin Le <span class="license-link">(<a href="https://creativecommons.org/licenses/by-nc-nd/3.0/" class="license">CC-BY-NC-ND 3.0</a>)</span></div><div class="footer-follow social-follows"><ul class="social-follows-list"><li><ul class="social-follows-list-social"><li><a class="social-follow-twitter" title="Follow me on Twitter!" href="https://twitter.com/intent/user?user_id=mstk" onclick="window.open(
+  &#39;http://twitter.com/intent/user?user_id=907281&#39;,
+  &#39;facebook-share-dialog&#39;,
+  &#39;width=550,height=520&#39;);
+return false;
+">Twitter</a></li><li><a class="social-follow-github" title="Fork me on Github!" href="https://github.com/mstksg">Github</a></li><li><a class="social-follow-twitch" title="Watch me on Twitch!" href="https://www.twitch.tv/justin_l">Twitch</a></li><li><a class="social-follow-patreon" title="Support me on Patreon!" href="https://www.patreon.com/justinle/overview">Patreon</a></li><li><a class="social-follow-gplus" title="Add me on Google+!" href="https://plus.google.com/+JustinLe">Google+</a></li><li><a class="social-follow-keybase" title="Track me on Keybase!" href="https://keybase.io/mstksg">Keybase</a></li><li><a class="social-follow-linkedin" title="Connect with me on LinkedIn!" href="https://linkedin.com/in/lejustin">LinkedIn</a></li><li><a class="social-follow-bitcoin" title="Donate via bitcoin!" href="bitcoin:3D7rmAYgbDnp4gp4rf22THsGt74fNucPDU">Bitcoin</a></li></ul></li><li><ul class="social-follows-list-site"><li><a class="social-follow-rss" title="Subscribe to my RSS Feed!" href="http://feeds.feedburner.com/incodeblog">RSS</a></li><li><a class="social-follow-email" title="Subscribe to the mailing list!" href="https://feedburner.google.com/fb/a/mailverify?loc=en_US&amp;uri=incodeblog">Mailing list</a></li></ul></li></ul></div></div></div></div></body></html>
diff --git a/categories/index.html b/categories/index.html
@@ -0,0 +1,23 @@
+<!DOCTYPE html>
+<html>
+<head>
+<title>Redirecting...</title>
+<link rel="canonical" href="https://blog.jle.im/categories.html"/>
+<meta http-equiv="content-type" content="text/html; charset=utf-8" />
+<script>
+(function(i,s,o,g,r,a,m){i['GoogleAnalyticsObject']=r;i[r]=i[r]||function(){
+(i[r].q=i[r].q||[]).push(arguments)},i[r].l=1*new Date();a=s.createElement(o),
+m=s.getElementsByTagName(o)[0];a.async=1;a.src=g;m.parentNode.insertBefore(a,m)
+})(window,document,'script','//www.google-analytics.com/analytics.js','ga');
+ga('create', { trackingId: 'UA-443711-8', cookieDomain: 'jle.im', redirect: 'https://blog.jle.im/categories.html'});
+ga('send', { hitType: 'pageview', hitCallback: function() { document.location.href = 'https://blog.jle.im/categories.html'; } });
+</script>
+</head>
+<body>
+  <p><strong>Redirecting...</strong></p>
+  <p><a href='https://blog.jle.im/categories.html'>Click here if you are not redirected.</a></p>
+  <script>
+    setTimeout(function() { document.location.href = 'https://blog.jle.im/categories.html'; }, 1000);
+  </script>
+</body>
+</html>
diff --git a/config/config.dhall b/config/config.dhall
@@ -0,0 +1,132 @@
+{ patrons =
+  [ { info =
+      { level = < Amazing | Inactive | Support >.Amazing
+      , twitter = Some "joshvera"
+      }
+    , name = "Josh Vera"
+    }
+  , { info =
+      { level = < Amazing | Inactive | Support >.Support
+      , twitter = Some "austinvhuang"
+      }
+    , name = "Austin Huang"
+    }
+  , { info =
+      { level = < Amazing | Inactive | Support >.Support, twitter = None Text }
+    , name = "Jon"
+    }
+  , { info =
+      { level = < Amazing | Inactive | Support >.Support, twitter = None Text }
+    , name = "Josh Miller"
+    }
+  , { info =
+      { level = < Amazing | Inactive | Support >.Support, twitter = None Text }
+    , name = "Andrew Handley-Marsh"
+    }
+  , { info =
+      { level = < Amazing | Inactive | Support >.Support
+      , twitter = Some "domenkozar"
+      }
+    , name = "Domen Kožar"
+    }
+  , { info =
+      { level = < Amazing | Inactive | Support >.Support, twitter = None Text }
+    , name = "Fintan Halpenny"
+    }
+  , { info =
+      { level = < Amazing | Inactive | Support >.Support
+      , twitter = Some "shapr"
+      }
+    , name = "Shae Erisson"
+    }
+  , { info =
+      { level = < Amazing | Inactive | Support >.Support
+      , twitter = Some "gluegadget"
+      }
+    , name = "Amir Saeid"
+    }
+  , { info =
+      { level = < Amazing | Inactive | Support >.Support
+      , twitter = Some "argumatronic"
+      }
+    , name = "Julie Moronuki"
+    }
+  , { info =
+      { level = < Amazing | Inactive | Support >.Support
+      , twitter = Some "Sam Stites"
+      }
+    , name = "Sam Stites"
+    }
+  , { info =
+      { level = < Amazing | Inactive | Support >.Inactive
+      , twitter = Some "opticsbyexample"
+      }
+    , name = "Chris Penner"
+    }
+  , { info =
+      { level = < Amazing | Inactive | Support >.Inactive
+      , twitter = Some "_honza"
+      }
+    , name = "Jan Hrček"
+    }
+  , { info =
+      { level = < Amazing | Inactive | Support >.Inactive, twitter = None Text }
+    , name = "Sam Raker"
+    }
+  ]
+, site-data =
+  { authorInfo =
+    { bitcoin = "3D7rmAYgbDnp4gp4rf22THsGt74fNucPDU"
+    , coinbase = "mstksg"
+    , email = "[email protected]"
+    , gPlus = "+JustinLe"
+    , github = "mstksg"
+    , keybase = "mstksg"
+    , linkedIn = "lejustin"
+    , name = "Justin Le"
+    , patreon = "justinle"
+    , rel = "https://plus.google.com/107705320197444500140"
+    , twitch = "justin_l"
+    , twitter = "mstk"
+    }
+  , blobs = Some
+    { renderBranch = Some "gh-pages"
+    , sourceBranch = Some "master"
+    , tree = "https://github.com/mstksg/inCode/tree"
+    }
+  , blogPrefs =
+    { feedEntries = 5
+    , homeEntries = 8
+    , ledeMax = 6
+    , sidebarEntries = 5
+    , slugLength = 8
+    }
+  , codeSamples = Some "code-samples"
+  , copyright = "2020 Justin Le"
+  , desc =
+      ''
+      Weblog of Justin Le, covering various adventures in programming and explorations in the worlds of computation physics, and knowledge.
+      ''
+  , developerAPIs =
+    { addThis = "ra-5234d67a6b68dcd4"
+    , analytics = { _1 = "UA-443711-8", _2 = "jle.im" }
+    , disqus = "incode"
+    , facebook = "641852699171929"
+    , feedburner = "incodeblog"
+    , flattr = "3p9jqr"
+    }
+  , entryTZ = "America/Los_Angeles"
+  , envType = < Development | Production >.Production
+  , feed = "http://feeds.feedburner.com/incodeblog"
+  , hostInfo =
+    { base = "blog.jle.im"
+    , port = None Natural
+    , root = None Text
+    , secure = True
+    }
+  , interactive = Some "https://www.fpcomplete.com/user/jle/"
+  , license = "CC-BY-NC-ND 3.0"
+  , licenseLink = "https://creativecommons.org/licenses/by-nc-nd/3.0/"
+  , title = "in Code"
+  }
+}