-
Notifications
You must be signed in to change notification settings - Fork 24
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
0 parents
commit c860c10
Showing
961 changed files
with
220,175 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
blog.jle.im |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -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">> 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 — <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">> 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 — <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">> 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 — <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">> 6 entries</div></header><div class="tag-description"></div><footer><div><span class="recent-link">Most recent — <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">> 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 — <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">> 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 — <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">> 4 entries</div></header><div class="tag-description"></div><footer><div><span class="recent-link">Most recent — <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">> 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 — <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">> 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 — <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">> 2 entries</div></header><div class="tag-description"></div><footer><div><span class="recent-link">Most recent — <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">> 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 — <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">> 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 — <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">© 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( | ||
'http://twitter.com/intent/user?user_id=907281', | ||
'facebook-share-dialog', | ||
'width=550,height=520'); | ||
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&uri=incodeblog">Mailing list</a></li></ul></li></ul></div></div></div></div></body></html> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -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> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -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 >.Inactive, 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" | ||
} | ||
} |
Oops, something went wrong.