aboutsummaryrefslogtreecommitdiff
path: root/docs/posts
diff options
context:
space:
mode:
Diffstat (limited to 'docs/posts')
-rw-r--r--docs/posts/OSC-52/index.html119
-rw-r--r--docs/posts/auto-currying_rust_functions/index.html2
-rw-r--r--docs/posts/bash_harder_with_vim/index.html2
-rw-r--r--docs/posts/call_to_ARMs/index.html2
-rw-r--r--docs/posts/color_conundrum/index.html2
-rw-r--r--docs/posts/font_size_fallacies/index.html2
-rw-r--r--docs/posts/index.html43
-rw-r--r--docs/posts/introducing_tablespoon/index.html2
-rw-r--r--docs/posts/my_setup/index.html2
-rw-r--r--docs/posts/pixel_art_in_GIMP/index.html2
-rw-r--r--docs/posts/plain_text_journaling/index.html2
-rw-r--r--docs/posts/rapid_refactoring_with_vim/index.html2
-rw-r--r--docs/posts/static_sites_with_bash/index.html2
-rw-r--r--docs/posts/termux_tandem/index.html2
-rw-r--r--docs/posts/turing_complete_type_systems/index.html2
15 files changed, 162 insertions, 26 deletions
diff --git a/docs/posts/OSC-52/index.html b/docs/posts/OSC-52/index.html
new file mode 100644
index 0000000..6c87fef
--- /dev/null
+++ b/docs/posts/OSC-52/index.html
@@ -0,0 +1,119 @@
1<!DOCTYPE html>
2<html lang="en">
3 <head>
4 <link rel="stylesheet" href="/style.css">
5 <link rel="stylesheet" href="/syntax.css">
6 <meta charset="UTF-8">
7 <meta name="viewport" content="initial-scale=1">
8 <meta content="#ffffff" name="theme-color">
9 <meta name="HandheldFriendly" content="true">
10 <meta property="og:title" content="OSC-52">
11 <meta property="og:type" content="website">
12 <meta property="og:description" content="a static site {for, by, about} me ">
13 <meta property="og:url" content="https://peppe.rs">
14 <link rel="icon" type="image/x-icon" href="/favicon.png">
15 <title>OSC-52 · peppe.rs</title>
16 <body>
17 <div class="posts">
18 <div class="post">
19 <a href="/" class="post-end-link">Home</a>
20 <span>/</span>
21 <a href="/posts" class="post-end-link">Posts</a>
22 <span>/</span>
23 <a class="post-end-link">OSC-52</a>
24 <a class="stats post-end-link" href="https://git.peppe.rs/web/site/plain/posts/OSC-52.md
25">View Raw</a>
26 <div class="separator"></div>
27 <div class="date">
28 28/11 — 2024
29 <div class="stats">
30 <span class="stats-number">
31 26.37
32 </span>
33 <span class="stats-unit">cm</span>
34 &nbsp
35 <span class="stats-number">
36 1.9
37 </span>
38 <span class="stats-unit">min</span>
39 </div>
40 </div>
41 <h1>
42 OSC-52
43 </h1>
44 <div class="post-text">
45 <p>I use <code>ssh</code> a lot. Copying text from the remote machine to
46the host machine always sucked. But OSC-52 makes that easy.</p>
47<p>OSC-52 is an ANSI escape sequence to write text to the terminal
48emulator. The terminal emulator, if it understands what is going on,
49will in turn write this text to the system clipboard.</p>
50<p>What this means is some <code>printf</code> magic can send text to
51your clipboard. I store this one-liner in a script called
52<code>oclip</code>:</p>
53<div class="sourceCode" id="cb1"><pre
54class="sourceCode bash"><code class="sourceCode bash"><span id="cb1-1"><a href="#cb1-1" aria-hidden="true" tabindex="-1"></a><span class="bu">printf</span> <span class="st">&quot;\033]52;c;%s\007&quot;</span> <span class="st">&quot;</span><span class="va">$(</span><span class="fu">base64</span> <span class="op">&lt;&amp;</span><span class="dv">0</span><span class="va">)</span><span class="st">&quot;</span></span></code></pre></div>
55<p>and I run it with:</p>
56<div class="sourceCode" id="cb2"><pre
57class="sourceCode bash"><code class="sourceCode bash"><span id="cb2-1"><a href="#cb2-1" aria-hidden="true" tabindex="-1"></a><span class="ex">remote</span> $ cat some_file.txt <span class="kw">|</span> <span class="ex">oclip</span></span>
58<span id="cb2-2"><a href="#cb2-2" aria-hidden="true" tabindex="-1"></a></span>
59<span id="cb2-3"><a href="#cb2-3" aria-hidden="true" tabindex="-1"></a><span class="co"># some_file.txt&#39;s contents are now the host&#39;s clipboard</span></span></code></pre></div>
60<h3 id="the-catch">The catch</h3>
61<p>Your terminal emulator must support OSC-52, <code>alacritty</code>
62and <code>termux</code> seem to support this out of the box. In
63<code>st</code>, OSC-52 works with this change to
64<code>config.h</code>:</p>
65<pre><code>int allowwindowops = 1;</code></pre>
66<p>If you are using <code>tmux</code>, you need to flip this switch
67on:</p>
68<pre><code>set -s set-clipboard on</code></pre>
69<p>If you are inside <code>nvim</code>, it may work as expected as long
70as <code>$SSH_TTY</code> is set. I sometimes physically start a session,
71and <code>ssh</code> into the same session later from another machine,
72and <code>$SSH_TTY</code> remains unset, so I force OSC-52 in
73<code>nvim</code> at all times (see <a
74href="https://neovim.io/doc/user/provider.html#clipboard-osc52">nvimdoc</a>):</p>
75<div class="sourceCode" id="cb5"><pre
76class="sourceCode lua"><code class="sourceCode lua"><span id="cb5-1"><a href="#cb5-1" aria-hidden="true" tabindex="-1"></a><span class="va">vim</span><span class="op">.</span><span class="va">g</span><span class="op">.</span><span class="va">clipboard</span> <span class="op">=</span> <span class="op">{</span></span>
77<span id="cb5-2"><a href="#cb5-2" aria-hidden="true" tabindex="-1"></a> <span class="va">name</span> <span class="op">=</span> <span class="st">&#39;OSC 52&#39;</span><span class="op">,</span></span>
78<span id="cb5-3"><a href="#cb5-3" aria-hidden="true" tabindex="-1"></a> <span class="va">copy</span> <span class="op">=</span> <span class="op">{</span></span>
79<span id="cb5-4"><a href="#cb5-4" aria-hidden="true" tabindex="-1"></a> <span class="op">[</span><span class="st">&#39;+&#39;</span><span class="op">]</span> <span class="op">=</span> <span class="fu">require</span><span class="op">(</span><span class="st">&#39;vim.ui.clipboard.osc52&#39;</span><span class="op">).</span>copy<span class="op">(</span><span class="st">&#39;+&#39;</span><span class="op">),</span></span>
80<span id="cb5-5"><a href="#cb5-5" aria-hidden="true" tabindex="-1"></a> <span class="op">[</span><span class="st">&#39;*&#39;</span><span class="op">]</span> <span class="op">=</span> <span class="fu">require</span><span class="op">(</span><span class="st">&#39;vim.ui.clipboard.osc52&#39;</span><span class="op">).</span>copy<span class="op">(</span><span class="st">&#39;*&#39;</span><span class="op">),</span></span>
81<span id="cb5-6"><a href="#cb5-6" aria-hidden="true" tabindex="-1"></a> <span class="op">},</span></span>
82<span id="cb5-7"><a href="#cb5-7" aria-hidden="true" tabindex="-1"></a> <span class="va">paste</span> <span class="op">=</span> <span class="op">{</span></span>
83<span id="cb5-8"><a href="#cb5-8" aria-hidden="true" tabindex="-1"></a> <span class="op">[</span><span class="st">&#39;+&#39;</span><span class="op">]</span> <span class="op">=</span> <span class="fu">require</span><span class="op">(</span><span class="st">&#39;vim.ui.clipboard.osc52&#39;</span><span class="op">).</span>paste<span class="op">(</span><span class="st">&#39;+&#39;</span><span class="op">),</span></span>
84<span id="cb5-9"><a href="#cb5-9" aria-hidden="true" tabindex="-1"></a> <span class="op">[</span><span class="st">&#39;*&#39;</span><span class="op">]</span> <span class="op">=</span> <span class="fu">require</span><span class="op">(</span><span class="st">&#39;vim.ui.clipboard.osc52&#39;</span><span class="op">).</span>paste<span class="op">(</span><span class="st">&#39;*&#39;</span><span class="op">),</span></span>
85<span id="cb5-10"><a href="#cb5-10" aria-hidden="true" tabindex="-1"></a> <span class="op">},</span></span>
86<span id="cb5-11"><a href="#cb5-11" aria-hidden="true" tabindex="-1"></a><span class="op">}</span></span></code></pre></div>
87<p>If you are inside <code>nvim</code> inside <code>tmux</code> inside
88an <code>ssh</code> session inside <code>st</code>, you neeed all of the
89above tweaks. <code>nvim</code> will pass the contents around to
90<code>tmux</code>, which in turn will pass the contents to
91<code>st</code>, which should pass it to your system clipboard.</p>
92
93 </div>
94
95 <div class="intro">
96 Hi.
97 <div class="hot-links">
98 <a href="/index.xml" class="feed-button">Subscribe</a>
99 </div>
100 <p>I'm Akshay, programmer and pixel-artist.
101 I write <a href="https://git.peppe.rs">open-source stuff</a>.
102 I also design fonts:
103 <a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
104 <a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
105 </p>
106 <p>Reach out at [email protected].</p>
107 </div>
108
109 <a href="/" class="post-end-link">Home</a>
110 <span>/</span>
111 <a href="/posts" class="post-end-link">Posts</a>
112 <span>/</span>
113 <a class="post-end-link">OSC-52</a>
114 <a class="stats post-end-link" href="https://git.peppe.rs/web/site/plain/posts/OSC-52.md
115">View Raw</a>
116 </div>
117 </div>
118 </body>
119</html>
diff --git a/docs/posts/auto-currying_rust_functions/index.html b/docs/posts/auto-currying_rust_functions/index.html
index c06b13f..9ea7246 100644
--- a/docs/posts/auto-currying_rust_functions/index.html
+++ b/docs/posts/auto-currying_rust_functions/index.html
@@ -25,7 +25,7 @@
25">View Raw</a> 25">View Raw</a>
26 <div class="separator"></div> 26 <div class="separator"></div>
27 <div class="date"> 27 <div class="date">
28 08/05 — 2020 28 09/05 — 2020
29 <div class="stats"> 29 <div class="stats">
30 <span class="stats-number"> 30 <span class="stats-number">
31 356.44 31 356.44
diff --git a/docs/posts/bash_harder_with_vim/index.html b/docs/posts/bash_harder_with_vim/index.html
index 6104163..7d3c869 100644
--- a/docs/posts/bash_harder_with_vim/index.html
+++ b/docs/posts/bash_harder_with_vim/index.html
@@ -25,7 +25,7 @@
25">View Raw</a> 25">View Raw</a>
26 <div class="separator"></div> 26 <div class="separator"></div>
27 <div class="date"> 27 <div class="date">
28 30/07 — 2019 28 31/07 — 2019
29 <div class="stats"> 29 <div class="stats">
30 <span class="stats-number"> 30 <span class="stats-number">
31 24.38 31 24.38
diff --git a/docs/posts/call_to_ARMs/index.html b/docs/posts/call_to_ARMs/index.html
index 71b5397..f5b92f7 100644
--- a/docs/posts/call_to_ARMs/index.html
+++ b/docs/posts/call_to_ARMs/index.html
@@ -25,7 +25,7 @@
25">View Raw</a> 25">View Raw</a>
26 <div class="separator"></div> 26 <div class="separator"></div>
27 <div class="date"> 27 <div class="date">
28 07/02 — 2020 28 08/02 — 2020
29 <div class="stats"> 29 <div class="stats">
30 <span class="stats-number"> 30 <span class="stats-number">
31 33.57 31 33.57
diff --git a/docs/posts/color_conundrum/index.html b/docs/posts/color_conundrum/index.html
index 87bc495..a98741a 100644
--- a/docs/posts/color_conundrum/index.html
+++ b/docs/posts/color_conundrum/index.html
@@ -25,7 +25,7 @@
25">View Raw</a> 25">View Raw</a>
26 <div class="separator"></div> 26 <div class="separator"></div>
27 <div class="date"> 27 <div class="date">
28 30/12 — 2019 28 31/12 — 2019
29 <div class="stats"> 29 <div class="stats">
30 <span class="stats-number"> 30 <span class="stats-number">
31 14.39 31 14.39
diff --git a/docs/posts/font_size_fallacies/index.html b/docs/posts/font_size_fallacies/index.html
index 871a536..5cf8485 100644
--- a/docs/posts/font_size_fallacies/index.html
+++ b/docs/posts/font_size_fallacies/index.html
@@ -25,7 +25,7 @@
25">View Raw</a> 25">View Raw</a>
26 <div class="separator"></div> 26 <div class="separator"></div>
27 <div class="date"> 27 <div class="date">
28 16/03 — 2020 28 17/03 — 2020
29 <div class="stats"> 29 <div class="stats">
30 <span class="stats-number"> 30 <span class="stats-number">
31 32.37 31 32.37
diff --git a/docs/posts/index.html b/docs/posts/index.html
index a8d321c..f70098b 100644
--- a/docs/posts/index.html
+++ b/docs/posts/index.html
@@ -27,7 +27,24 @@
27 <tr> 27 <tr>
28 <td class=table-post> 28 <td class=table-post>
29 <div class="date"> 29 <div class="date">
30 01/08 — 2024 30 28/11 — 2024
31 </div>
32 <a href="/posts/OSC-52" class="post-link">
33 <span class="post-link">OSC-52</span>
34 </a>
35 </td>
36 <td class=table-stats>
37 <span class="stats-number">
38 1.9
39 </span>
40 <span class=stats-unit>min</span>
41 </td>
42 </tr>
43
44 <tr>
45 <td class=table-post>
46 <div class="date">
47 02/08 — 2024
31 </div> 48 </div>
32 <a href="/posts/introducing_tablespoon" class="post-link"> 49 <a href="/posts/introducing_tablespoon" class="post-link">
33 <span class="post-link">Introducing Tablespoon</span> 50 <span class="post-link">Introducing Tablespoon</span>
@@ -61,7 +78,7 @@
61 <tr> 78 <tr>
62 <td class=table-post> 79 <td class=table-post>
63 <div class="date"> 80 <div class="date">
64 18/06 — 2023 81 19/06 — 2023
65 </div> 82 </div>
66 <a href="/posts/plain_text_journaling" class="post-link"> 83 <a href="/posts/plain_text_journaling" class="post-link">
67 <span class="post-link">Plain Text Journaling</span> 84 <span class="post-link">Plain Text Journaling</span>
@@ -248,7 +265,7 @@
248 <tr> 265 <tr>
249 <td class=table-post> 266 <td class=table-post>
250 <div class="date"> 267 <div class="date">
251 17/06 — 2020 268 18/06 — 2020
252 </div> 269 </div>
253 <a href="/posts/turing_complete_type_systems" class="post-link"> 270 <a href="/posts/turing_complete_type_systems" class="post-link">
254 <span class="post-link">Turing Complete Type Systems</span> 271 <span class="post-link">Turing Complete Type Systems</span>
@@ -265,7 +282,7 @@
265 <tr> 282 <tr>
266 <td class=table-post> 283 <td class=table-post>
267 <div class="date"> 284 <div class="date">
268 08/05 — 2020 285 09/05 — 2020
269 </div> 286 </div>
270 <a href="/posts/auto-currying_rust_functions" class="post-link"> 287 <a href="/posts/auto-currying_rust_functions" class="post-link">
271 <span class="post-link">Auto-currying Rust Functions</span> 288 <span class="post-link">Auto-currying Rust Functions</span>
@@ -282,7 +299,7 @@
282 <tr> 299 <tr>
283 <td class=table-post> 300 <td class=table-post>
284 <div class="date"> 301 <div class="date">
285 08/04 — 2020 302 09/04 — 2020
286 </div> 303 </div>
287 <a href="/posts/pixel_art_in_GIMP" class="post-link"> 304 <a href="/posts/pixel_art_in_GIMP" class="post-link">
288 <span class="post-link">Pixel Art In GIMP</span> 305 <span class="post-link">Pixel Art In GIMP</span>
@@ -299,7 +316,7 @@
299 <tr> 316 <tr>
300 <td class=table-post> 317 <td class=table-post>
301 <div class="date"> 318 <div class="date">
302 31/03 — 2020 319 01/04 — 2020
303 </div> 320 </div>
304 <a href="/posts/rapid_refactoring_with_vim" class="post-link"> 321 <a href="/posts/rapid_refactoring_with_vim" class="post-link">
305 <span class="post-link">Rapid Refactoring With Vim</span> 322 <span class="post-link">Rapid Refactoring With Vim</span>
@@ -316,7 +333,7 @@
316 <tr> 333 <tr>
317 <td class=table-post> 334 <td class=table-post>
318 <div class="date"> 335 <div class="date">
319 16/03 — 2020 336 17/03 — 2020
320 </div> 337 </div>
321 <a href="/posts/font_size_fallacies" class="post-link"> 338 <a href="/posts/font_size_fallacies" class="post-link">
322 <span class="post-link">Font Size Fallacies</span> 339 <span class="post-link">Font Size Fallacies</span>
@@ -333,7 +350,7 @@
333 <tr> 350 <tr>
334 <td class=table-post> 351 <td class=table-post>
335 <div class="date"> 352 <div class="date">
336 07/03 — 2020 353 08/03 — 2020
337 </div> 354 </div>
338 <a href="/posts/termux_tandem" class="post-link"> 355 <a href="/posts/termux_tandem" class="post-link">
339 <span class="post-link">Termux Tandem</span> 356 <span class="post-link">Termux Tandem</span>
@@ -350,7 +367,7 @@
350 <tr> 367 <tr>
351 <td class=table-post> 368 <td class=table-post>
352 <div class="date"> 369 <div class="date">
353 07/02 — 2020 370 08/02 — 2020
354 </div> 371 </div>
355 <a href="/posts/call_to_ARMs" class="post-link"> 372 <a href="/posts/call_to_ARMs" class="post-link">
356 <span class="post-link">Call To ARMs</span> 373 <span class="post-link">Call To ARMs</span>
@@ -367,7 +384,7 @@
367 <tr> 384 <tr>
368 <td class=table-post> 385 <td class=table-post>
369 <div class="date"> 386 <div class="date">
370 30/12 — 2019 387 31/12 — 2019
371 </div> 388 </div>
372 <a href="/posts/color_conundrum" class="post-link"> 389 <a href="/posts/color_conundrum" class="post-link">
373 <span class="post-link">Color Conundrum</span> 390 <span class="post-link">Color Conundrum</span>
@@ -384,7 +401,7 @@
384 <tr> 401 <tr>
385 <td class=table-post> 402 <td class=table-post>
386 <div class="date"> 403 <div class="date">
387 22/11 — 2019 404 23/11 — 2019
388 </div> 405 </div>
389 <a href="/posts/static_sites_with_bash" class="post-link"> 406 <a href="/posts/static_sites_with_bash" class="post-link">
390 <span class="post-link">Static Sites With Bash</span> 407 <span class="post-link">Static Sites With Bash</span>
@@ -401,7 +418,7 @@
401 <tr> 418 <tr>
402 <td class=table-post> 419 <td class=table-post>
403 <div class="date"> 420 <div class="date">
404 06/11 — 2019 421 07/11 — 2019
405 </div> 422 </div>
406 <a href="/posts/my_setup" class="post-link"> 423 <a href="/posts/my_setup" class="post-link">
407 <span class="post-link">My Setup</span> 424 <span class="post-link">My Setup</span>
@@ -469,7 +486,7 @@
469 <tr> 486 <tr>
470 <td class=table-post> 487 <td class=table-post>
471 <div class="date"> 488 <div class="date">
472 30/07 — 2019 489 31/07 — 2019
473 </div> 490 </div>
474 <a href="/posts/bash_harder_with_vim" class="post-link"> 491 <a href="/posts/bash_harder_with_vim" class="post-link">
475 <span class="post-link">Bash Harder With Vim</span> 492 <span class="post-link">Bash Harder With Vim</span>
diff --git a/docs/posts/introducing_tablespoon/index.html b/docs/posts/introducing_tablespoon/index.html
index a6f6ef2..c097cfa 100644
--- a/docs/posts/introducing_tablespoon/index.html
+++ b/docs/posts/introducing_tablespoon/index.html
@@ -25,7 +25,7 @@
25">View Raw</a> 25">View Raw</a>
26 <div class="separator"></div> 26 <div class="separator"></div>
27 <div class="date"> 27 <div class="date">
28 01/08 — 2024 28 02/08 — 2024
29 <div class="stats"> 29 <div class="stats">
30 <span class="stats-number"> 30 <span class="stats-number">
31 72.33 31 72.33
diff --git a/docs/posts/my_setup/index.html b/docs/posts/my_setup/index.html
index 9844d52..a5cdef5 100644
--- a/docs/posts/my_setup/index.html
+++ b/docs/posts/my_setup/index.html
@@ -25,7 +25,7 @@
25">View Raw</a> 25">View Raw</a>
26 <div class="separator"></div> 26 <div class="separator"></div>
27 <div class="date"> 27 <div class="date">
28 06/11 — 2019 28 07/11 — 2019
29 <div class="stats"> 29 <div class="stats">
30 <span class="stats-number"> 30 <span class="stats-number">
31 10.39 31 10.39
diff --git a/docs/posts/pixel_art_in_GIMP/index.html b/docs/posts/pixel_art_in_GIMP/index.html
index 25db0ca..122fd35 100644
--- a/docs/posts/pixel_art_in_GIMP/index.html
+++ b/docs/posts/pixel_art_in_GIMP/index.html
@@ -25,7 +25,7 @@
25">View Raw</a> 25">View Raw</a>
26 <div class="separator"></div> 26 <div class="separator"></div>
27 <div class="date"> 27 <div class="date">
28 08/04 — 2020 28 09/04 — 2020
29 <div class="stats"> 29 <div class="stats">
30 <span class="stats-number"> 30 <span class="stats-number">
31 55.54 31 55.54
diff --git a/docs/posts/plain_text_journaling/index.html b/docs/posts/plain_text_journaling/index.html
index b4b4c54..ae47471 100644
--- a/docs/posts/plain_text_journaling/index.html
+++ b/docs/posts/plain_text_journaling/index.html
@@ -25,7 +25,7 @@
25">View Raw</a> 25">View Raw</a>
26 <div class="separator"></div> 26 <div class="separator"></div>
27 <div class="date"> 27 <div class="date">
28 18/06 — 2023 28 19/06 — 2023
29 <div class="stats"> 29 <div class="stats">
30 <span class="stats-number"> 30 <span class="stats-number">
31 138.66 31 138.66
diff --git a/docs/posts/rapid_refactoring_with_vim/index.html b/docs/posts/rapid_refactoring_with_vim/index.html
index cd10d02..622243d 100644
--- a/docs/posts/rapid_refactoring_with_vim/index.html
+++ b/docs/posts/rapid_refactoring_with_vim/index.html
@@ -25,7 +25,7 @@
25">View Raw</a> 25">View Raw</a>
26 <div class="separator"></div> 26 <div class="separator"></div>
27 <div class="date"> 27 <div class="date">
28 31/03 — 2020 28 01/04 — 2020
29 <div class="stats"> 29 <div class="stats">
30 <span class="stats-number"> 30 <span class="stats-number">
31 79.12 31 79.12
diff --git a/docs/posts/static_sites_with_bash/index.html b/docs/posts/static_sites_with_bash/index.html
index 8e6441a..293fa62 100644
--- a/docs/posts/static_sites_with_bash/index.html
+++ b/docs/posts/static_sites_with_bash/index.html
@@ -25,7 +25,7 @@
25">View Raw</a> 25">View Raw</a>
26 <div class="separator"></div> 26 <div class="separator"></div>
27 <div class="date"> 27 <div class="date">
28 22/11 — 2019 28 23/11 — 2019
29 <div class="stats"> 29 <div class="stats">
30 <span class="stats-number"> 30 <span class="stats-number">
31 21.18 31 21.18
diff --git a/docs/posts/termux_tandem/index.html b/docs/posts/termux_tandem/index.html
index 15eb01f..cf7fb77 100644
--- a/docs/posts/termux_tandem/index.html
+++ b/docs/posts/termux_tandem/index.html
@@ -25,7 +25,7 @@
25">View Raw</a> 25">View Raw</a>
26 <div class="separator"></div> 26 <div class="separator"></div>
27 <div class="date"> 27 <div class="date">
28 07/03 — 2020 28 08/03 — 2020
29 <div class="stats"> 29 <div class="stats">
30 <span class="stats-number"> 30 <span class="stats-number">
31 19.18 31 19.18
diff --git a/docs/posts/turing_complete_type_systems/index.html b/docs/posts/turing_complete_type_systems/index.html
index 214e7ff..5a87edf 100644
--- a/docs/posts/turing_complete_type_systems/index.html
+++ b/docs/posts/turing_complete_type_systems/index.html
@@ -25,7 +25,7 @@
25">View Raw</a> 25">View Raw</a>
26 <div class="separator"></div> 26 <div class="separator"></div>
27 <div class="date"> 27 <div class="date">
28 17/06 — 2020 28 18/06 — 2020
29 <div class="stats"> 29 <div class="stats">
30 <span class="stats-number"> 30 <span class="stats-number">
31 9.19 31 9.19
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-25 17:29:37 +0000