diff options
Diffstat (limited to 'public/post/index.html')
| -rw-r--r-- | public/post/index.html | 351 |
1 files changed, 231 insertions, 120 deletions
diff --git a/public/post/index.html b/public/post/index.html index 54bac6a..0377429 100644 --- a/public/post/index.html +++ b/public/post/index.html @@ -1,159 +1,270 @@ <!DOCTYPE html> <html lang="en"> - <head> - <meta charset="utf-8"> - <meta http-equiv="X-UA-Compatible" content="IE=edge,chrome=1"> - - <title></title> - <meta name="viewport" content="width=device-width,minimum-scale=1"> - <meta name="description" content=""> - <meta name="generator" content="Hugo 0.155.0"> - - - - <meta name="robots" content="index, follow"> - - +<head> + + <title>Posts :: </title> + + <meta http-equiv="content-type" content="text/html; charset=utf-8"> +<meta name="viewport" content="width=device-width, initial-scale=1.0"> +<meta name="description" content="" /> +<meta name="keywords" content="" /> - -<link rel="stylesheet" href="/ananke/css/main.min.efe4d852f731d5d1fbb87718387202a97aafd768cdcdaed0662bbe6982e91824.css" > + <meta name="robots" content="noodp" /> +<link rel="canonical" href="https://blog.gluegadget.com/post/" /> - - - + + <link rel="stylesheet" href="https://blog.gluegadget.com/css/buttons.min.86f6b4c106b6c6eb690ae5203d36b442c1f66f718ff4e8164fa86cf6c61ad641.css"> + + + <link rel="stylesheet" href="https://blog.gluegadget.com/css/code.min.d529ea4b2fb8d34328d7d31afc5466d5f7bc2f0bc9abdd98b69385335d7baee4.css"> + + + <link rel="stylesheet" href="https://blog.gluegadget.com/css/fonts.min.5bb7ed13e1d00d8ff39ea84af26737007eb5051b157b86fc24487c94f3dc8bbe.css"> + + + <link rel="stylesheet" href="https://blog.gluegadget.com/css/footer.min.eb8dfc2c6a7eafa36cd3ba92d63e69e849e2200e0002a228d137f236b09ecd75.css"> + + + <link rel="stylesheet" href="https://blog.gluegadget.com/css/gist.min.a751e8b0abe1ba8bc53ced52a38b19d8950fe78ca29454ea8c2595cf26aad5c0.css"> + + + <link rel="stylesheet" href="https://blog.gluegadget.com/css/header.min.75c7eb0e2872d95ff48109c6647d0223a38db52e2561dd87966eb5fc7c6bdac6.css"> + + + <link rel="stylesheet" href="https://blog.gluegadget.com/css/main.min.36833afd348409fc6c3d09d0897c5833d9d5bf1ff31f5e60ea3ee42ce2b1268c.css"> + + + <link rel="stylesheet" href="https://blog.gluegadget.com/css/menu.min.3c17467ebeb3d38663dce68f71f519901124fa5cbb4519b2fb0667a21e9aca39.css"> + + + <link rel="stylesheet" href="https://blog.gluegadget.com/css/pagination.min.bbb986dbce00a5ce5aca0504b7925fc1c581992a4bf57f163e5d69cc1db7d836.css"> + + + <link rel="stylesheet" href="https://blog.gluegadget.com/css/post.min.e6dddd258e64c83e05cec0cd49c05216742d42fc8ecbfbe6b67083412b609bd3.css"> + + + <link rel="stylesheet" href="https://blog.gluegadget.com/css/syntax.min.a0773cce9310cb6d8ed23e50f005448facf29a53001b57e038828daa466b25c0.css"> + + + <link rel="stylesheet" href="https://blog.gluegadget.com/css/terminal.min.e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.css"> + + + <link rel="stylesheet" href="https://blog.gluegadget.com/css/terms.min.b81791663c3790e738e571cdbf802312390d30e4b1d8dc9d814a5b5454d0ac11.css"> + + - - - - <link href="/post/index.xml" rel="alternate" type="application/rss+xml" title="" /> - <link href="/post/index.xml" rel="feed" type="application/rss+xml" title="" /> - - - - <link rel="canonical" href="https://blog.gluegadget.com/post/"> - + +<link rel="shortcut icon" href="https://blog.gluegadget.com/favicon.png"> +<link rel="apple-touch-icon" href="https://blog.gluegadget.com/apple-touch-icon.png"> + + +<meta name="twitter:card" content="summary" /> + + + +<meta property="og:locale" content="en" /> +<meta property="og:type" content="website" /> +<meta property="og:title" content="Posts"> +<meta property="og:description" content="" /> +<meta property="og:url" content="https://blog.gluegadget.com/post/" /> +<meta property="og:site_name" content="" /> + + <meta property="og:image" content="https://blog.gluegadget.com/og-image.png"> + +<meta property="og:image:width" content="1200"> +<meta property="og:image:height" content="627"> + + + + + + <link href="/post/index.xml" rel="alternate" type="application/rss+xml" title="" /> + + + + + + +<script> +window.MathJax = { + tex: { + inlineMath: [['$', '$'], ['\\(', '\\)']], + displayMath: [['$$', '$$'], ['\\[', '\\]']], + processEscapes: true, + processEnvironments: true + }, + options: { + skipHtmlTags: ['script', 'noscript', 'style', 'textarea', 'pre'] + } +}; +</script> +<script id="MathJax-script" async src="/mathjax/tex-mml-chtml.js"></script> + + +</head> +<body> + + +<div class="container center"> + + <header class="header"> + <div class="header__inner"> + <div class="header__logo"> + <a href="https://blog.gluegadget.com/"> + <div class="logo"> + Terminal + </div> +</a> + + </div> - <meta property="og:url" content="https://blog.gluegadget.com/post/"> - <meta property="og:title" content="Posts"> - <meta property="og:locale" content="en"> - <meta property="og:type" content="website"> - - <meta itemprop="name" content="Posts"> - <meta itemprop="datePublished" content="2017-08-22T00:00:00+00:00"> - <meta itemprop="dateModified" content="2017-08-22T00:00:00+00:00"> - <meta name="twitter:card" content="summary"> - <meta name="twitter:title" content="Posts"> - - - + </div> + +</header> + + + <div class="content"> - - </head><body class="ma0 avenir bg-near-white production is-section is-section"> + + <div class="posts"> + <article class="post on-list"> + <h2 class="post-title"> + <a href="https://blog.gluegadget.com/post/fairstream/">Fairstream</a> + </h2> + <div class="post-meta"><time class="post-date">2026-02-17</time></div> - <header> - <div class="pb3-m pb6-l bg-black"> - <nav class="pv3 ph3 ph4-ns" role="navigation"> - <div class="flex-l center items-center justify-between"> - <a href="/" class="f3 fw2 hover-white white-90 dib no-underline"> - - - </a> - <div class="flex-l items-center"> - - - <div class="ananke-socials"></div> + - </div> - </div> -</nav> - <div class="tc-l pv3 ph3 ph4-ns"> - <h1 class="f2 f-subheadline-l fw2 light-silver mb0 lh-title"> - Posts - </h1> + <div class="post-content"> + + <p><a href="https://en.wikipedia.org/wiki/Backtracking">Backtracking</a> is a versatile approach for solving search problems by building solutions incrementally. If a partial solution cannot be extended, it is discarded and the process returns to a previous step to explore an alternative path. This method is generally more efficient than brute-force searching due to pruning: stopping exploration of a branch as soon as it violates a constraint, which eliminates entire sections of the search space.</p> +<p>Strictly speaking, fair backtracking is not required for all search problems. A fair strategy guarantees all branches make progress, preventing any single branch from starving the others. The List monad handles non-deterministic computation well, and within a finite search space it produces the same results as a fair stream. When the search space is infinite, or when one branch may produce unbounded results, fairness becomes essential to ensure completeness.</p> + + </div> + - </div> - </div> - </header> + <div> + <a class="read-more button inline" href="/post/fairstream/">[]</a> + </div> + + </article> + + <article class="post on-list"> + <h2 class="post-title"> + <a href="https://blog.gluegadget.com/post/2017-08-22-thinkpad-e470/">ThinkPad E470</a> + </h2> + <div class="post-meta"><time class="post-date">2017-08-22</time></div> + + <span class="post-tags"> + + #<a href="https://blog.gluegadget.com/tags/thinkpad/">thinkpad</a> + + #<a href="https://blog.gluegadget.com/tags/e470/">e470</a> + + </span> + - <main class="pb7" role="main"> - + - <article class="pa3 pa4-ns nested-copy-line-height"> - <section class="cf ph3 ph5-l pv3 pv4-l f4 tc-l center measure-wide lh-copy nested-links mid-gray"> - - </section> - <aside class="flex-ns mt5 flex-wrap justify-around"> - - <div class="w-100 w-30-l mb4 relative bg-white"> - <div class="mb3 pa4 mid-gray overflow-hidden"> - - <div class="f6"> - August 22, 2017 - </div> - - <h1 class="f3 near-black"> - <a href="/post/2017-08-22-thinkpad-e470/" class="link black dim"> - ThinkPad E470 - </a> - </h1> - <div class="nested-links f5 lh-copy nested-copy-line-height"> - <p>Recently I’ve been looking for a Linux-friendly, budget laptop. I like ThinkPads, and all of my laptops have been either T-series or X-series but this time I didn’t want to spend that amount of money and was looking for cheaper alternatives.</p> + + <div class="post-content"> + + <p>Recently I’ve been looking for a Linux-friendly, budget laptop. I like ThinkPads, and all of my laptops have been either T-series or X-series but this time I didn’t want to spend that amount of money and was looking for cheaper alternatives.</p> <p>Browsing Lenovo website, I realised that a reasonably configured <a href="http://www3.lenovo.com/ie/en/laptops/thinkpad/edge-series/E470/p/22TP2TEE470">E470</a> would cost about €1000 which was about how much I was willing to pay. I configured it, so it has:</p> - </div> - <a href="/post/2017-08-22-thinkpad-e470/" class="ba b--moon-gray bg-light-gray br2 color-inherit dib f7 hover-bg-moon-gray link mt2 ph2 pv1">read more</a> - </div> + + </div> + + + <div> + <a class="read-more button inline" href="/post/2017-08-22-thinkpad-e470/">[]</a> + </div> + + </article> + + <article class="post on-list"> + <h2 class="post-title"> + <a href="https://blog.gluegadget.com/post/2017-08-16-tapl/">Types and Programming Languages</a> + </h2> + <div class="post-meta"><time class="post-date">2017-08-16</time></div> + + + <span class="post-tags"> + + #<a href="https://blog.gluegadget.com/tags/tapl/">tapl</a> + + #<a href="https://blog.gluegadget.com/tags/rust/">rust</a> + + </span> + + + + + <div class="post-content"> + + <p>February 2016, as a birthday present to myself I bought a copy of <a href="https://www.cis.upenn.edu/~bcpierce/tapl/">Types and Programming Languages</a>. At the time the only thing I did with it was to take a photo of it, sharing it on Twitter and congratulating myself. To be fair, I did try reading it, but it was so intimidating that I gave up very early in the book. One and a half years later I’m going to give it another go because a few things have changed.</p> + </div> - - <div class="w-100 w-30-l mb4 relative bg-white"> - <div class="mb3 pa4 mid-gray overflow-hidden"> + + + <div> + <a class="read-more button inline" href="/post/2017-08-16-tapl/">[]</a> + </div> + + </article> + + + <div class="pagination"> + <div class="pagination__buttons"> + - <div class="f6"> - August 16, 2017 - </div> - <h1 class="f3 near-black"> - <a href="/post/2017-08-16-tapl/" class="link black dim"> - Types and Programming Languages - </a> - </h1> - <div class="nested-links f5 lh-copy nested-copy-line-height"> - <p>February 2016, as a birthday present to myself I bought a copy of <a href="https://www.cis.upenn.edu/~bcpierce/tapl/">Types and Programming Languages</a>. At the time the only thing I did with it was to take a photo of it, sharing it on Twitter and congratulating myself. To be fair, I did try reading it, but it was so intimidating that I gave up very early in the book. One and a half years later I’m going to give it another go because a few things have changed.</p> - </div> - <a href="/post/2017-08-16-tapl/" class="ba b--moon-gray bg-light-gray br2 color-inherit dib f7 hover-bg-moon-gray link mt2 ph2 pv1">read more</a> </div> +</div> - </div> - - </aside> + </div> + + </div> + + + <footer class="footer"> + <div class="footer__inner"> + <div class="copyright"> + <span>© 2026 Powered by <a href="https://gohugo.io">Hugo</a></span> - </article> - - </main> - <footer class="bg-black bottom-0 w-100 pa3" role="contentinfo"> - <div class="flex justify-between"> - <a class="f4 fw4 hover-white white-70 dn dib-ns pv2 ph3 no-underline" href="https://blog.gluegadget.com/" > - © - </a> - <div><div class="ananke-socials"></div> -</div> + <span>:: <a href="https://github.com/panr/hugo-theme-terminal" target="_blank">Theme</a> made by <a href="https://github.com/panr" target="_blank">panr</a></span> + </div> </div> </footer> - </body> + + + + + +<script type="text/javascript" src="/bundle.min.js"></script> + + + + + + +</div> + +</body> </html> |