aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAkshay <[email protected]>2023-02-14 10:39:40 +0000
committerAkshay <[email protected]>2023-02-14 10:39:40 +0000
commit2a628a628ea729e35860a5f4a6ae4b0b36a556e3 (patch)
tree19064100416fdf04515ba34f3cdb2031a8c46f3f
parent3a2829eaef155a67641b2e322d88c8f243c7870b (diff)
gah
Diffstat
-rw-r--r--docs/index.html2
-rw-r--r--docs/posts/SDL2_devlog/index.html2
-rw-r--r--docs/posts/WPA_woes/index.html2
-rw-r--r--docs/posts/a_reference_counted_afterlife/index.html2
-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/bye_bye_BDFs/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/curing_a_case_of_git-UX/index.html2
-rw-r--r--docs/posts/font_size_fallacies/index.html2
-rw-r--r--docs/posts/get_better_at_yanking_and_putting_in_vim/index.html2
-rw-r--r--docs/posts/gripes_with_go/index.html2
-rw-r--r--docs/posts/hold_position!/index.html2
-rw-r--r--docs/posts/lightweight_linting/index.html2
-rw-r--r--docs/posts/lotus58/index.html2
-rw-r--r--docs/posts/my_setup/index.html2
-rw-r--r--docs/posts/nixOS/index.html2
-rw-r--r--docs/posts/novice_nix:_flake_templates/index.html2
-rw-r--r--docs/posts/onivim_sucks/index.html2
-rw-r--r--docs/posts/pixel_art_in_GIMP/index.html2
-rw-r--r--docs/posts/programming_on_34_keys/index.html2
-rw-r--r--docs/posts/rapid_refactoring_with_vim/index.html2
-rw-r--r--docs/posts/self-hosting_git/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
27 files changed, 27 insertions, 27 deletions
diff --git a/docs/index.html b/docs/index.html
index 72750f9..6240bba 100644
--- a/docs/index.html
+++ b/docs/index.html
@@ -22,7 +22,7 @@
22 <div class="intro"> 22 <div class="intro">
23 Hi. 23 Hi.
24 <div class="hot-links"> 24 <div class="hot-links">
25 <a href="https://peppe.rs/index.xml" class="feed-button">Subscribe (RSS)</a> 25 <a href="https://peppe.rs/index.xml" class="feed-button">Subscribe</a>
26 </div> 26 </div>
27 <p>I'm Akshay, programmer and pixel-artist.</p> 27 <p>I'm Akshay, programmer and pixel-artist.</p>
28 <p> 28 <p>
diff --git a/docs/posts/SDL2_devlog/index.html b/docs/posts/SDL2_devlog/index.html
index 35fd094..80ea3d8 100644
--- a/docs/posts/SDL2_devlog/index.html
+++ b/docs/posts/SDL2_devlog/index.html
@@ -329,7 +329,7 @@ allowed me to get all the way to drawing a grid from a
329 <div class="intro"> 329 <div class="intro">
330 Hi. 330 Hi.
331 <div class="hot-links"> 331 <div class="hot-links">
332 <a href="https://peppe.rs/index.xml" class="feed-button">Subscribe (RSS)</a> 332 <a href="https://peppe.rs/index.xml" class="feed-button">Subscribe</a>
333 </div> 333 </div>
334 <p>I'm Akshay, programmer and pixel-artist.</p> 334 <p>I'm Akshay, programmer and pixel-artist.</p>
335 <p> 335 <p>
diff --git a/docs/posts/WPA_woes/index.html b/docs/posts/WPA_woes/index.html
index a8fbf24..9b4a02c 100644
--- a/docs/posts/WPA_woes/index.html
+++ b/docs/posts/WPA_woes/index.html
@@ -77,7 +77,7 @@ $ sudo sv restart dhcpcd</code></pre>
77 <div class="intro"> 77 <div class="intro">
78 Hi. 78 Hi.
79 <div class="hot-links"> 79 <div class="hot-links">
80 <a href="https://peppe.rs/index.xml" class="feed-button">Subscribe (RSS)</a> 80 <a href="https://peppe.rs/index.xml" class="feed-button">Subscribe</a>
81 </div> 81 </div>
82 <p>I'm Akshay, programmer and pixel-artist.</p> 82 <p>I'm Akshay, programmer and pixel-artist.</p>
83 <p> 83 <p>
diff --git a/docs/posts/a_reference_counted_afterlife/index.html b/docs/posts/a_reference_counted_afterlife/index.html
index 816871d..3724f33 100644
--- a/docs/posts/a_reference_counted_afterlife/index.html
+++ b/docs/posts/a_reference_counted_afterlife/index.html
@@ -88,7 +88,7 @@ garbage-collection models a program’s memory.</p>
88 <div class="intro"> 88 <div class="intro">
89 Hi. 89 Hi.
90 <div class="hot-links"> 90 <div class="hot-links">
91 <a href="https://peppe.rs/index.xml" class="feed-button">Subscribe (RSS)</a> 91 <a href="https://peppe.rs/index.xml" class="feed-button">Subscribe</a>
92 </div> 92 </div>
93 <p>I'm Akshay, programmer and pixel-artist.</p> 93 <p>I'm Akshay, programmer and pixel-artist.</p>
94 <p> 94 <p>
diff --git a/docs/posts/auto-currying_rust_functions/index.html b/docs/posts/auto-currying_rust_functions/index.html
index d08c674..577cdfa 100644
--- a/docs/posts/auto-currying_rust_functions/index.html
+++ b/docs/posts/auto-currying_rust_functions/index.html
@@ -774,7 +774,7 @@ class="footnote-back" role="doc-backlink">↩︎</a></p></li>
774 <div class="intro"> 774 <div class="intro">
775 Hi. 775 Hi.
776 <div class="hot-links"> 776 <div class="hot-links">
777 <a href="https://peppe.rs/index.xml" class="feed-button">Subscribe (RSS)</a> 777 <a href="https://peppe.rs/index.xml" class="feed-button">Subscribe</a>
778 </div> 778 </div>
779 <p>I'm Akshay, programmer and pixel-artist.</p> 779 <p>I'm Akshay, programmer and pixel-artist.</p>
780 <p> 780 <p>
diff --git a/docs/posts/bash_harder_with_vim/index.html b/docs/posts/bash_harder_with_vim/index.html
index b0df7b6..964f3ed 100644
--- a/docs/posts/bash_harder_with_vim/index.html
+++ b/docs/posts/bash_harder_with_vim/index.html
@@ -90,7 +90,7 @@ Press ENTER or type command to continue</code></pre>
90 <div class="intro"> 90 <div class="intro">
91 Hi. 91 Hi.
92 <div class="hot-links"> 92 <div class="hot-links">
93 <a href="https://peppe.rs/index.xml" class="feed-button">Subscribe (RSS)</a> 93 <a href="https://peppe.rs/index.xml" class="feed-button">Subscribe</a>
94 </div> 94 </div>
95 <p>I'm Akshay, programmer and pixel-artist.</p> 95 <p>I'm Akshay, programmer and pixel-artist.</p>
96 <p> 96 <p>
diff --git a/docs/posts/bye_bye_BDFs/index.html b/docs/posts/bye_bye_BDFs/index.html
index d99bb76..63485e8 100644
--- a/docs/posts/bye_bye_BDFs/index.html
+++ b/docs/posts/bye_bye_BDFs/index.html
@@ -72,7 +72,7 @@ with bitmap-only OpenType font formats.</p>
72 <div class="intro"> 72 <div class="intro">
73 Hi. 73 Hi.
74 <div class="hot-links"> 74 <div class="hot-links">
75 <a href="https://peppe.rs/index.xml" class="feed-button">Subscribe (RSS)</a> 75 <a href="https://peppe.rs/index.xml" class="feed-button">Subscribe</a>
76 </div> 76 </div>
77 <p>I'm Akshay, programmer and pixel-artist.</p> 77 <p>I'm Akshay, programmer and pixel-artist.</p>
78 <p> 78 <p>
diff --git a/docs/posts/call_to_ARMs/index.html b/docs/posts/call_to_ARMs/index.html
index fefcf44..d7d697b 100644
--- a/docs/posts/call_to_ARMs/index.html
+++ b/docs/posts/call_to_ARMs/index.html
@@ -102,7 +102,7 @@ syntax too well.</p>
102 <div class="intro"> 102 <div class="intro">
103 Hi. 103 Hi.
104 <div class="hot-links"> 104 <div class="hot-links">
105 <a href="https://peppe.rs/index.xml" class="feed-button">Subscribe (RSS)</a> 105 <a href="https://peppe.rs/index.xml" class="feed-button">Subscribe</a>
106 </div> 106 </div>
107 <p>I'm Akshay, programmer and pixel-artist.</p> 107 <p>I'm Akshay, programmer and pixel-artist.</p>
108 <p> 108 <p>
diff --git a/docs/posts/color_conundrum/index.html b/docs/posts/color_conundrum/index.html
index 57cfbf8..d639774 100644
--- a/docs/posts/color_conundrum/index.html
+++ b/docs/posts/color_conundrum/index.html
@@ -74,7 +74,7 @@ combinations.</p>
74 <div class="intro"> 74 <div class="intro">
75 Hi. 75 Hi.
76 <div class="hot-links"> 76 <div class="hot-links">
77 <a href="https://peppe.rs/index.xml" class="feed-button">Subscribe (RSS)</a> 77 <a href="https://peppe.rs/index.xml" class="feed-button">Subscribe</a>
78 </div> 78 </div>
79 <p>I'm Akshay, programmer and pixel-artist.</p> 79 <p>I'm Akshay, programmer and pixel-artist.</p>
80 <p> 80 <p>
diff --git a/docs/posts/curing_a_case_of_git-UX/index.html b/docs/posts/curing_a_case_of_git-UX/index.html
index 91700cd..5662604 100644
--- a/docs/posts/curing_a_case_of_git-UX/index.html
+++ b/docs/posts/curing_a_case_of_git-UX/index.html
@@ -302,7 +302,7 @@ class="sourceCode bash"><code class="sourceCode bash"><span id="cb16-1"><a href=
302 <div class="intro"> 302 <div class="intro">
303 Hi. 303 Hi.
304 <div class="hot-links"> 304 <div class="hot-links">
305 <a href="https://peppe.rs/index.xml" class="feed-button">Subscribe (RSS)</a> 305 <a href="https://peppe.rs/index.xml" class="feed-button">Subscribe</a>
306 </div> 306 </div>
307 <p>I'm Akshay, programmer and pixel-artist.</p> 307 <p>I'm Akshay, programmer and pixel-artist.</p>
308 <p> 308 <p>
diff --git a/docs/posts/font_size_fallacies/index.html b/docs/posts/font_size_fallacies/index.html
index 0148eaa..5396f66 100644
--- a/docs/posts/font_size_fallacies/index.html
+++ b/docs/posts/font_size_fallacies/index.html
@@ -119,7 +119,7 @@ href="#fnref4" class="footnote-back" role="doc-backlink">↩︎</a></p></li>
119 <div class="intro"> 119 <div class="intro">
120 Hi. 120 Hi.
121 <div class="hot-links"> 121 <div class="hot-links">
122 <a href="https://peppe.rs/index.xml" class="feed-button">Subscribe (RSS)</a> 122 <a href="https://peppe.rs/index.xml" class="feed-button">Subscribe</a>
123 </div> 123 </div>
124 <p>I'm Akshay, programmer and pixel-artist.</p> 124 <p>I'm Akshay, programmer and pixel-artist.</p>
125 <p> 125 <p>
diff --git a/docs/posts/get_better_at_yanking_and_putting_in_vim/index.html b/docs/posts/get_better_at_yanking_and_putting_in_vim/index.html
index d6d5215..cc9f71a 100644
--- a/docs/posts/get_better_at_yanking_and_putting_in_vim/index.html
+++ b/docs/posts/get_better_at_yanking_and_putting_in_vim/index.html
@@ -66,7 +66,7 @@ nnoremap gb `[v`] &quot; &quot;a quick map to perform the above</code></pre><
66 <div class="intro"> 66 <div class="intro">
67 Hi. 67 Hi.
68 <div class="hot-links"> 68 <div class="hot-links">
69 <a href="https://peppe.rs/index.xml" class="feed-button">Subscribe (RSS)</a> 69 <a href="https://peppe.rs/index.xml" class="feed-button">Subscribe</a>
70 </div> 70 </div>
71 <p>I'm Akshay, programmer and pixel-artist.</p> 71 <p>I'm Akshay, programmer and pixel-artist.</p>
72 <p> 72 <p>
diff --git a/docs/posts/gripes_with_go/index.html b/docs/posts/gripes_with_go/index.html
index d9c4473..ee749ac 100644
--- a/docs/posts/gripes_with_go/index.html
+++ b/docs/posts/gripes_with_go/index.html
@@ -190,7 +190,7 @@ for Go v2.</p>
190 <div class="intro"> 190 <div class="intro">
191 Hi. 191 Hi.
192 <div class="hot-links"> 192 <div class="hot-links">
193 <a href="https://peppe.rs/index.xml" class="feed-button">Subscribe (RSS)</a> 193 <a href="https://peppe.rs/index.xml" class="feed-button">Subscribe</a>
194 </div> 194 </div>
195 <p>I'm Akshay, programmer and pixel-artist.</p> 195 <p>I'm Akshay, programmer and pixel-artist.</p>
196 <p> 196 <p>
diff --git a/docs/posts/hold_position!/index.html b/docs/posts/hold_position!/index.html
index 52880d1..a99b058 100644
--- a/docs/posts/hold_position!/index.html
+++ b/docs/posts/hold_position!/index.html
@@ -66,7 +66,7 @@ through heavier filtering.</p>
66 <div class="intro"> 66 <div class="intro">
67 Hi. 67 Hi.
68 <div class="hot-links"> 68 <div class="hot-links">
69 <a href="https://peppe.rs/index.xml" class="feed-button">Subscribe (RSS)</a> 69 <a href="https://peppe.rs/index.xml" class="feed-button">Subscribe</a>
70 </div> 70 </div>
71 <p>I'm Akshay, programmer and pixel-artist.</p> 71 <p>I'm Akshay, programmer and pixel-artist.</p>
72 <p> 72 <p>
diff --git a/docs/posts/lightweight_linting/index.html b/docs/posts/lightweight_linting/index.html
index a0d03b4..8655179 100644
--- a/docs/posts/lightweight_linting/index.html
+++ b/docs/posts/lightweight_linting/index.html
@@ -361,7 +361,7 @@ class="sourceCode scheme"><code class="sourceCode scheme"><span id="cb34-1"><a h
361 <div class="intro"> 361 <div class="intro">
362 Hi. 362 Hi.
363 <div class="hot-links"> 363 <div class="hot-links">
364 <a href="https://peppe.rs/index.xml" class="feed-button">Subscribe (RSS)</a> 364 <a href="https://peppe.rs/index.xml" class="feed-button">Subscribe</a>
365 </div> 365 </div>
366 <p>I'm Akshay, programmer and pixel-artist.</p> 366 <p>I'm Akshay, programmer and pixel-artist.</p>
367 <p> 367 <p>
diff --git a/docs/posts/lotus58/index.html b/docs/posts/lotus58/index.html
index c5691d0..9ae0dd2 100644
--- a/docs/posts/lotus58/index.html
+++ b/docs/posts/lotus58/index.html
@@ -157,7 +157,7 @@ Even for someone that writes Rust (a symbol-heavy grammar), I find
157 <div class="intro"> 157 <div class="intro">
158 Hi. 158 Hi.
159 <div class="hot-links"> 159 <div class="hot-links">
160 <a href="https://peppe.rs/index.xml" class="feed-button">Subscribe (RSS)</a> 160 <a href="https://peppe.rs/index.xml" class="feed-button">Subscribe</a>
161 </div> 161 </div>
162 <p>I'm Akshay, programmer and pixel-artist.</p> 162 <p>I'm Akshay, programmer and pixel-artist.</p>
163 <p> 163 <p>
diff --git a/docs/posts/my_setup/index.html b/docs/posts/my_setup/index.html
index 8be1c26..3880a72 100644
--- a/docs/posts/my_setup/index.html
+++ b/docs/posts/my_setup/index.html
@@ -71,7 +71,7 @@ emulator, <code>urxvt</code>.</p>
71 <div class="intro"> 71 <div class="intro">
72 Hi. 72 Hi.
73 <div class="hot-links"> 73 <div class="hot-links">
74 <a href="https://peppe.rs/index.xml" class="feed-button">Subscribe (RSS)</a> 74 <a href="https://peppe.rs/index.xml" class="feed-button">Subscribe</a>
75 </div> 75 </div>
76 <p>I'm Akshay, programmer and pixel-artist.</p> 76 <p>I'm Akshay, programmer and pixel-artist.</p>
77 <p> 77 <p>
diff --git a/docs/posts/nixOS/index.html b/docs/posts/nixOS/index.html
index 3a5b6a1..5f9479d 100644
--- a/docs/posts/nixOS/index.html
+++ b/docs/posts/nixOS/index.html
@@ -120,7 +120,7 @@ src="https://u.peppe.rs/6m.png" /></a></p>
120 <div class="intro"> 120 <div class="intro">
121 Hi. 121 Hi.
122 <div class="hot-links"> 122 <div class="hot-links">
123 <a href="https://peppe.rs/index.xml" class="feed-button">Subscribe (RSS)</a> 123 <a href="https://peppe.rs/index.xml" class="feed-button">Subscribe</a>
124 </div> 124 </div>
125 <p>I'm Akshay, programmer and pixel-artist.</p> 125 <p>I'm Akshay, programmer and pixel-artist.</p>
126 <p> 126 <p>
diff --git a/docs/posts/novice_nix:_flake_templates/index.html b/docs/posts/novice_nix:_flake_templates/index.html
index 23faa5f..421b811 100644
--- a/docs/posts/novice_nix:_flake_templates/index.html
+++ b/docs/posts/novice_nix:_flake_templates/index.html
@@ -239,7 +239,7 @@ though.</p>
239 <div class="intro"> 239 <div class="intro">
240 Hi. 240 Hi.
241 <div class="hot-links"> 241 <div class="hot-links">
242 <a href="https://peppe.rs/index.xml" class="feed-button">Subscribe (RSS)</a> 242 <a href="https://peppe.rs/index.xml" class="feed-button">Subscribe</a>
243 </div> 243 </div>
244 <p>I'm Akshay, programmer and pixel-artist.</p> 244 <p>I'm Akshay, programmer and pixel-artist.</p>
245 <p> 245 <p>
diff --git a/docs/posts/onivim_sucks/index.html b/docs/posts/onivim_sucks/index.html
index d021d1b..2c0e359 100644
--- a/docs/posts/onivim_sucks/index.html
+++ b/docs/posts/onivim_sucks/index.html
@@ -80,7 +80,7 @@ charity ware that actually works, and costs $100 lesser.</p>
80 <div class="intro"> 80 <div class="intro">
81 Hi. 81 Hi.
82 <div class="hot-links"> 82 <div class="hot-links">
83 <a href="https://peppe.rs/index.xml" class="feed-button">Subscribe (RSS)</a> 83 <a href="https://peppe.rs/index.xml" class="feed-button">Subscribe</a>
84 </div> 84 </div>
85 <p>I'm Akshay, programmer and pixel-artist.</p> 85 <p>I'm Akshay, programmer and pixel-artist.</p>
86 <p> 86 <p>
diff --git a/docs/posts/pixel_art_in_GIMP/index.html b/docs/posts/pixel_art_in_GIMP/index.html
index 9ace7cb..eb54a66 100644
--- a/docs/posts/pixel_art_in_GIMP/index.html
+++ b/docs/posts/pixel_art_in_GIMP/index.html
@@ -148,7 +148,7 @@ it up to 700x700, et voilà!</p>
148 <div class="intro"> 148 <div class="intro">
149 Hi. 149 Hi.
150 <div class="hot-links"> 150 <div class="hot-links">
151 <a href="https://peppe.rs/index.xml" class="feed-button">Subscribe (RSS)</a> 151 <a href="https://peppe.rs/index.xml" class="feed-button">Subscribe</a>
152 </div> 152 </div>
153 <p>I'm Akshay, programmer and pixel-artist.</p> 153 <p>I'm Akshay, programmer and pixel-artist.</p>
154 <p> 154 <p>
diff --git a/docs/posts/programming_on_34_keys/index.html b/docs/posts/programming_on_34_keys/index.html
index cb0a912..56fc850 100644
--- a/docs/posts/programming_on_34_keys/index.html
+++ b/docs/posts/programming_on_34_keys/index.html
@@ -206,7 +206,7 @@ focusing on accuracy and comfort over speed. Speed comes with time.</p>
206 <div class="intro"> 206 <div class="intro">
207 Hi. 207 Hi.
208 <div class="hot-links"> 208 <div class="hot-links">
209 <a href="https://peppe.rs/index.xml" class="feed-button">Subscribe (RSS)</a> 209 <a href="https://peppe.rs/index.xml" class="feed-button">Subscribe</a>
210 </div> 210 </div>
211 <p>I'm Akshay, programmer and pixel-artist.</p> 211 <p>I'm Akshay, programmer and pixel-artist.</p>
212 <p> 212 <p>
diff --git a/docs/posts/rapid_refactoring_with_vim/index.html b/docs/posts/rapid_refactoring_with_vim/index.html
index 592c433..95c1fae 100644
--- a/docs/posts/rapid_refactoring_with_vim/index.html
+++ b/docs/posts/rapid_refactoring_with_vim/index.html
@@ -200,7 +200,7 @@ class="footnote-back" role="doc-backlink">↩︎</a></p></li>
200 <div class="intro"> 200 <div class="intro">
201 Hi. 201 Hi.
202 <div class="hot-links"> 202 <div class="hot-links">
203 <a href="https://peppe.rs/index.xml" class="feed-button">Subscribe (RSS)</a> 203 <a href="https://peppe.rs/index.xml" class="feed-button">Subscribe</a>
204 </div> 204 </div>
205 <p>I'm Akshay, programmer and pixel-artist.</p> 205 <p>I'm Akshay, programmer and pixel-artist.</p>
206 <p> 206 <p>
diff --git a/docs/posts/self-hosting_git/index.html b/docs/posts/self-hosting_git/index.html
index 22c9d90..5ba9071 100644
--- a/docs/posts/self-hosting_git/index.html
+++ b/docs/posts/self-hosting_git/index.html
@@ -207,7 +207,7 @@ scp .git/description &quot;$remote/description&quot;</code></pre>
207 <div class="intro"> 207 <div class="intro">
208 Hi. 208 Hi.
209 <div class="hot-links"> 209 <div class="hot-links">
210 <a href="https://peppe.rs/index.xml" class="feed-button">Subscribe (RSS)</a> 210 <a href="https://peppe.rs/index.xml" class="feed-button">Subscribe</a>
211 </div> 211 </div>
212 <p>I'm Akshay, programmer and pixel-artist.</p> 212 <p>I'm Akshay, programmer and pixel-artist.</p>
213 <p> 213 <p>
diff --git a/docs/posts/static_sites_with_bash/index.html b/docs/posts/static_sites_with_bash/index.html
index 475b792..1e2e70b 100644
--- a/docs/posts/static_sites_with_bash/index.html
+++ b/docs/posts/static_sites_with_bash/index.html
@@ -93,7 +93,7 @@ the file names (removes underscores, title-case), and
93 <div class="intro"> 93 <div class="intro">
94 Hi. 94 Hi.
95 <div class="hot-links"> 95 <div class="hot-links">
96 <a href="https://peppe.rs/index.xml" class="feed-button">Subscribe (RSS)</a> 96 <a href="https://peppe.rs/index.xml" class="feed-button">Subscribe</a>
97 </div> 97 </div>
98 <p>I'm Akshay, programmer and pixel-artist.</p> 98 <p>I'm Akshay, programmer and pixel-artist.</p>
99 <p> 99 <p>
diff --git a/docs/posts/termux_tandem/index.html b/docs/posts/termux_tandem/index.html
index fc233eb..f3171de 100644
--- a/docs/posts/termux_tandem/index.html
+++ b/docs/posts/termux_tandem/index.html
@@ -81,7 +81,7 @@ src="https://u.peppe.rs/CP.jpg" /></a></p>
81 <div class="intro"> 81 <div class="intro">
82 Hi. 82 Hi.
83 <div class="hot-links"> 83 <div class="hot-links">
84 <a href="https://peppe.rs/index.xml" class="feed-button">Subscribe (RSS)</a> 84 <a href="https://peppe.rs/index.xml" class="feed-button">Subscribe</a>
85 </div> 85 </div>
86 <p>I'm Akshay, programmer and pixel-artist.</p> 86 <p>I'm Akshay, programmer and pixel-artist.</p>
87 <p> 87 <p>
diff --git a/docs/posts/turing_complete_type_systems/index.html b/docs/posts/turing_complete_type_systems/index.html
index a6d2909..3aee14d 100644
--- a/docs/posts/turing_complete_type_systems/index.html
+++ b/docs/posts/turing_complete_type_systems/index.html
@@ -71,7 +71,7 @@ while, after hitting the recursion limit.</p>
71 <div class="intro"> 71 <div class="intro">
72 Hi. 72 Hi.
73 <div class="hot-links"> 73 <div class="hot-links">
74 <a href="https://peppe.rs/index.xml" class="feed-button">Subscribe (RSS)</a> 74 <a href="https://peppe.rs/index.xml" class="feed-button">Subscribe</a>
75 </div> 75 </div>
76 <p>I'm Akshay, programmer and pixel-artist.</p> 76 <p>I'm Akshay, programmer and pixel-artist.</p>
77 <p> 77 <p>
generated by cgit v1.2.3 (git 2.25.1) at 2024-04-30 07:22:01 +0100