aboutsummaryrefslogtreecommitdiff
path: root/docs/posts
diff options
context:
space:
mode:
authorAkshay <[email protected]>2024-07-18 18:25:40 +0100
committerAkshay <[email protected]>2024-07-18 18:25:40 +0100
commit6078433f88969853ae488b8529b7538d342862a8 (patch)
tree4bc17c108b80c9317329f4846ad7fbc06e022678 /docs/posts
parent560a40492e1954d19f4528d58c2f45b07379cff5 (diff)
rewrite to oppili
Diffstat (limited to 'docs/posts')
-rw-r--r--docs/posts/SDL2_devlog/index.html9
-rw-r--r--docs/posts/WPA_woes/index.html9
-rw-r--r--docs/posts/a_reference_counted_afterlife/index.html9
-rw-r--r--docs/posts/auto-currying_rust_functions/index.html9
-rw-r--r--docs/posts/bash_harder_with_vim/index.html9
-rw-r--r--docs/posts/bye_bye_BDFs/index.html9
-rw-r--r--docs/posts/call_to_ARMs/index.html9
-rw-r--r--docs/posts/color_conundrum/index.html9
-rw-r--r--docs/posts/curing_a_case_of_git-UX/index.html9
-rw-r--r--docs/posts/font_size_fallacies/index.html9
-rw-r--r--docs/posts/get_better_at_yanking_and_putting_in_vim/index.html9
-rw-r--r--docs/posts/gripes_with_go/index.html9
-rw-r--r--docs/posts/hold_position!/index.html9
-rw-r--r--docs/posts/index.html12
-rw-r--r--docs/posts/lightweight_linting/index.html9
-rw-r--r--docs/posts/lotus58/index.html9
-rw-r--r--docs/posts/my_setup/index.html9
-rw-r--r--docs/posts/nixOS/index.html9
-rw-r--r--docs/posts/novice_nix:_flake_templates/index.html9
-rw-r--r--docs/posts/onivim_sucks/index.html9
-rw-r--r--docs/posts/pixel_art_in_GIMP/index.html9
-rw-r--r--docs/posts/plain_text_journaling/index.html9
-rw-r--r--docs/posts/programming_on_34_keys/index.html9
-rw-r--r--docs/posts/rapid_refactoring_with_vim/index.html9
-rw-r--r--docs/posts/self-hosting_git/index.html9
-rw-r--r--docs/posts/snip_snap/index.html11
-rw-r--r--docs/posts/static_sites_with_bash/index.html9
-rw-r--r--docs/posts/termux_tandem/index.html9
-rw-r--r--docs/posts/turing_complete_type_systems/index.html9
29 files changed, 119 insertions, 147 deletions
diff --git a/docs/posts/SDL2_devlog/index.html b/docs/posts/SDL2_devlog/index.html
index 730639c..2927f31 100644
--- a/docs/posts/SDL2_devlog/index.html
+++ b/docs/posts/SDL2_devlog/index.html
@@ -329,16 +329,15 @@ 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</a> 332 <a href="/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.
335 <p> 335 I write <a href="https://git.peppe.rs">open-source stuff</a>.
336 I write <a href="https://git.peppe.rs">open-source stuff</a> to pass time.
337 I also design fonts: 336 I also design fonts:
338 <a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>, 337 <a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
339 <a href="https://git.peppe.rs/fonts/curie/about">curie</a>. 338 <a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
340 </p> 339 </p>
341 <p>Send me a mail at [email protected] or a message at n[email protected].</p> 340 <p>Reach out at oppili@irc.rizon.net.</p>
342 </div> 341 </div>
343 342
344 <a href="/" class="post-end-link">Home</a> 343 <a href="/" class="post-end-link">Home</a>
diff --git a/docs/posts/WPA_woes/index.html b/docs/posts/WPA_woes/index.html
index 2cbadd7..baaa084 100644
--- a/docs/posts/WPA_woes/index.html
+++ b/docs/posts/WPA_woes/index.html
@@ -77,16 +77,15 @@ $ 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</a> 80 <a href="/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.
83 <p> 83 I write <a href="https://git.peppe.rs">open-source stuff</a>.
84 I write <a href="https://git.peppe.rs">open-source stuff</a> to pass time.
85 I also design fonts: 84 I also design fonts:
86 <a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>, 85 <a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
87 <a href="https://git.peppe.rs/fonts/curie/about">curie</a>. 86 <a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
88 </p> 87 </p>
89 <p>Send me a mail at [email protected] or a message at n[email protected].</p> 88 <p>Reach out at oppili@irc.rizon.net.</p>
90 </div> 89 </div>
91 90
92 <a href="/" class="post-end-link">Home</a> 91 <a href="/" class="post-end-link">Home</a>
diff --git a/docs/posts/a_reference_counted_afterlife/index.html b/docs/posts/a_reference_counted_afterlife/index.html
index 4586557..0aa2f03 100644
--- a/docs/posts/a_reference_counted_afterlife/index.html
+++ b/docs/posts/a_reference_counted_afterlife/index.html
@@ -88,16 +88,15 @@ 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</a> 91 <a href="/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.
94 <p> 94 I write <a href="https://git.peppe.rs">open-source stuff</a>.
95 I write <a href="https://git.peppe.rs">open-source stuff</a> to pass time.
96 I also design fonts: 95 I also design fonts:
97 <a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>, 96 <a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
98 <a href="https://git.peppe.rs/fonts/curie/about">curie</a>. 97 <a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
99 </p> 98 </p>
100 <p>Send me a mail at [email protected] or a message at n[email protected].</p> 99 <p>Reach out at oppili@irc.rizon.net.</p>
101 </div> 100 </div>
102 101
103 <a href="/" class="post-end-link">Home</a> 102 <a href="/" class="post-end-link">Home</a>
diff --git a/docs/posts/auto-currying_rust_functions/index.html b/docs/posts/auto-currying_rust_functions/index.html
index 49b4c79..c06b13f 100644
--- a/docs/posts/auto-currying_rust_functions/index.html
+++ b/docs/posts/auto-currying_rust_functions/index.html
@@ -774,16 +774,15 @@ 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</a> 777 <a href="/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.
780 <p> 780 I write <a href="https://git.peppe.rs">open-source stuff</a>.
781 I write <a href="https://git.peppe.rs">open-source stuff</a> to pass time.
782 I also design fonts: 781 I also design fonts:
783 <a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>, 782 <a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
784 <a href="https://git.peppe.rs/fonts/curie/about">curie</a>. 783 <a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
785 </p> 784 </p>
786 <p>Send me a mail at [email protected] or a message at n[email protected].</p> 785 <p>Reach out at oppili@irc.rizon.net.</p>
787 </div> 786 </div>
788 787
789 <a href="/" class="post-end-link">Home</a> 788 <a href="/" class="post-end-link">Home</a>
diff --git a/docs/posts/bash_harder_with_vim/index.html b/docs/posts/bash_harder_with_vim/index.html
index db81097..6104163 100644
--- a/docs/posts/bash_harder_with_vim/index.html
+++ b/docs/posts/bash_harder_with_vim/index.html
@@ -90,16 +90,15 @@ 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</a> 93 <a href="/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.
96 <p> 96 I write <a href="https://git.peppe.rs">open-source stuff</a>.
97 I write <a href="https://git.peppe.rs">open-source stuff</a> to pass time.
98 I also design fonts: 97 I also design fonts:
99 <a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>, 98 <a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
100 <a href="https://git.peppe.rs/fonts/curie/about">curie</a>. 99 <a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
101 </p> 100 </p>
102 <p>Send me a mail at [email protected] or a message at n[email protected].</p> 101 <p>Reach out at oppili@irc.rizon.net.</p>
103 </div> 102 </div>
104 103
105 <a href="/" class="post-end-link">Home</a> 104 <a href="/" class="post-end-link">Home</a>
diff --git a/docs/posts/bye_bye_BDFs/index.html b/docs/posts/bye_bye_BDFs/index.html
index f8888ea..949e896 100644
--- a/docs/posts/bye_bye_BDFs/index.html
+++ b/docs/posts/bye_bye_BDFs/index.html
@@ -72,16 +72,15 @@ 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</a> 75 <a href="/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.
78 <p> 78 I write <a href="https://git.peppe.rs">open-source stuff</a>.
79 I write <a href="https://git.peppe.rs">open-source stuff</a> to pass time.
80 I also design fonts: 79 I also design fonts:
81 <a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>, 80 <a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
82 <a href="https://git.peppe.rs/fonts/curie/about">curie</a>. 81 <a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
83 </p> 82 </p>
84 <p>Send me a mail at [email protected] or a message at n[email protected].</p> 83 <p>Reach out at oppili@irc.rizon.net.</p>
85 </div> 84 </div>
86 85
87 <a href="/" class="post-end-link">Home</a> 86 <a href="/" class="post-end-link">Home</a>
diff --git a/docs/posts/call_to_ARMs/index.html b/docs/posts/call_to_ARMs/index.html
index 6aae1d8..71b5397 100644
--- a/docs/posts/call_to_ARMs/index.html
+++ b/docs/posts/call_to_ARMs/index.html
@@ -102,16 +102,15 @@ 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</a> 105 <a href="/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.
108 <p> 108 I write <a href="https://git.peppe.rs">open-source stuff</a>.
109 I write <a href="https://git.peppe.rs">open-source stuff</a> to pass time.
110 I also design fonts: 109 I also design fonts:
111 <a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>, 110 <a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
112 <a href="https://git.peppe.rs/fonts/curie/about">curie</a>. 111 <a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
113 </p> 112 </p>
114 <p>Send me a mail at [email protected] or a message at n[email protected].</p> 113 <p>Reach out at oppili@irc.rizon.net.</p>
115 </div> 114 </div>
116 115
117 <a href="/" class="post-end-link">Home</a> 116 <a href="/" class="post-end-link">Home</a>
diff --git a/docs/posts/color_conundrum/index.html b/docs/posts/color_conundrum/index.html
index aef6081..87bc495 100644
--- a/docs/posts/color_conundrum/index.html
+++ b/docs/posts/color_conundrum/index.html
@@ -74,16 +74,15 @@ 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</a> 77 <a href="/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.
80 <p> 80 I write <a href="https://git.peppe.rs">open-source stuff</a>.
81 I write <a href="https://git.peppe.rs">open-source stuff</a> to pass time.
82 I also design fonts: 81 I also design fonts:
83 <a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>, 82 <a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
84 <a href="https://git.peppe.rs/fonts/curie/about">curie</a>. 83 <a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
85 </p> 84 </p>
86 <p>Send me a mail at [email protected] or a message at n[email protected].</p> 85 <p>Reach out at oppili@irc.rizon.net.</p>
87 </div> 86 </div>
88 87
89 <a href="/" class="post-end-link">Home</a> 88 <a href="/" class="post-end-link">Home</a>
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 2635c51..16db931 100644
--- a/docs/posts/curing_a_case_of_git-UX/index.html
+++ b/docs/posts/curing_a_case_of_git-UX/index.html
@@ -302,16 +302,15 @@ 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</a> 305 <a href="/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.
308 <p> 308 I write <a href="https://git.peppe.rs">open-source stuff</a>.
309 I write <a href="https://git.peppe.rs">open-source stuff</a> to pass time.
310 I also design fonts: 309 I also design fonts:
311 <a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>, 310 <a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
312 <a href="https://git.peppe.rs/fonts/curie/about">curie</a>. 311 <a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
313 </p> 312 </p>
314 <p>Send me a mail at [email protected] or a message at n[email protected].</p> 313 <p>Reach out at oppili@irc.rizon.net.</p>
315 </div> 314 </div>
316 315
317 <a href="/" class="post-end-link">Home</a> 316 <a href="/" class="post-end-link">Home</a>
diff --git a/docs/posts/font_size_fallacies/index.html b/docs/posts/font_size_fallacies/index.html
index 513b1ef..871a536 100644
--- a/docs/posts/font_size_fallacies/index.html
+++ b/docs/posts/font_size_fallacies/index.html
@@ -119,16 +119,15 @@ 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</a> 122 <a href="/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.
125 <p> 125 I write <a href="https://git.peppe.rs">open-source stuff</a>.
126 I write <a href="https://git.peppe.rs">open-source stuff</a> to pass time.
127 I also design fonts: 126 I also design fonts:
128 <a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>, 127 <a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
129 <a href="https://git.peppe.rs/fonts/curie/about">curie</a>. 128 <a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
130 </p> 129 </p>
131 <p>Send me a mail at [email protected] or a message at n[email protected].</p> 130 <p>Reach out at oppili@irc.rizon.net.</p>
132 </div> 131 </div>
133 132
134 <a href="/" class="post-end-link">Home</a> 133 <a href="/" class="post-end-link">Home</a>
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 9fb885f..4a1e946 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,16 +66,15 @@ 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</a> 69 <a href="/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.
72 <p> 72 I write <a href="https://git.peppe.rs">open-source stuff</a>.
73 I write <a href="https://git.peppe.rs">open-source stuff</a> to pass time.
74 I also design fonts: 73 I also design fonts:
75 <a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>, 74 <a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
76 <a href="https://git.peppe.rs/fonts/curie/about">curie</a>. 75 <a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
77 </p> 76 </p>
78 <p>Send me a mail at [email protected] or a message at n[email protected].</p> 77 <p>Reach out at oppili@irc.rizon.net.</p>
79 </div> 78 </div>
80 79
81 <a href="/" class="post-end-link">Home</a> 80 <a href="/" class="post-end-link">Home</a>
diff --git a/docs/posts/gripes_with_go/index.html b/docs/posts/gripes_with_go/index.html
index ebe7238..94b2c84 100644
--- a/docs/posts/gripes_with_go/index.html
+++ b/docs/posts/gripes_with_go/index.html
@@ -190,16 +190,15 @@ 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</a> 193 <a href="/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.
196 <p> 196 I write <a href="https://git.peppe.rs">open-source stuff</a>.
197 I write <a href="https://git.peppe.rs">open-source stuff</a> to pass time.
198 I also design fonts: 197 I also design fonts:
199 <a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>, 198 <a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
200 <a href="https://git.peppe.rs/fonts/curie/about">curie</a>. 199 <a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
201 </p> 200 </p>
202 <p>Send me a mail at [email protected] or a message at n[email protected].</p> 201 <p>Reach out at oppili@irc.rizon.net.</p>
203 </div> 202 </div>
204 203
205 <a href="/" class="post-end-link">Home</a> 204 <a href="/" class="post-end-link">Home</a>
diff --git a/docs/posts/hold_position!/index.html b/docs/posts/hold_position!/index.html
index a85dd2a..ae530f4 100644
--- a/docs/posts/hold_position!/index.html
+++ b/docs/posts/hold_position!/index.html
@@ -66,16 +66,15 @@ 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</a> 69 <a href="/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.
72 <p> 72 I write <a href="https://git.peppe.rs">open-source stuff</a>.
73 I write <a href="https://git.peppe.rs">open-source stuff</a> to pass time.
74 I also design fonts: 73 I also design fonts:
75 <a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>, 74 <a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
76 <a href="https://git.peppe.rs/fonts/curie/about">curie</a>. 75 <a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
77 </p> 76 </p>
78 <p>Send me a mail at [email protected] or a message at n[email protected].</p> 77 <p>Reach out at oppili@irc.rizon.net.</p>
79 </div> 78 </div>
80 79
81 <a href="/" class="post-end-link">Home</a> 80 <a href="/" class="post-end-link">Home</a>
diff --git a/docs/posts/index.html b/docs/posts/index.html
index f048493..ca9a3ac 100644
--- a/docs/posts/index.html
+++ b/docs/posts/index.html
@@ -2,17 +2,17 @@
2<html lang="en"> 2<html lang="en">
3<head> 3<head>
4<link rel="stylesheet" href="/style.css"> 4<link rel="stylesheet" href="/style.css">
5<link rel="alternate" type="application/atom+xml" title="nerdypepper's micro musings" href="/index.xml"> 5<link rel="alternate" type="application/atom+xml" title="oppili's micro musings" href="/index.xml">
6<meta charset="UTF-8"> 6<meta charset="UTF-8">
7<meta name="viewport" content="initial-scale=1"> 7<meta name="viewport" content="initial-scale=1">
8<meta content="#ffffff" name="theme-color"> 8<meta content="#ffffff" name="theme-color">
9<meta name="HandheldFriendly" content="true"> 9<meta name="HandheldFriendly" content="true">
10<meta property="og:title" content="nerdypepper"> 10<meta property="og:title" content="oppili's site">
11<meta property="og:type" content="website"> 11<meta property="og:type" content="website">
12<meta property="og:description" content="nerdypepper's micro musings"> 12<meta property="og:description" content="oppili's micro musings">
13<meta property="og:url" content="https://peppe.rs"> 13<meta property="og:url" content="https://oppi.li">
14<link rel="icon" type="image/x-icon" href="/favicon.png"> 14<link rel="icon" type="image/x-icon" href="/favicon.png">
15<title>peppe.rs</title> 15<title>oppi.li</title>
16 <body> 16 <body>
17 <div class="posts"> 17 <div class="posts">
18 <div class="post"> 18 <div class="post">
@@ -27,7 +27,7 @@
27 <tr> 27 <tr>
28 <td class=table-post> 28 <td class=table-post>
29 <div class="date"> 29 <div class="date">
30 08/05 — 2024 30 29/05 — 2024
31 </div> 31 </div>
32 <a href="/posts/snip_snap" class="post-link"> 32 <a href="/posts/snip_snap" class="post-link">
33 <span class="post-link">Snip Snap</span> 33 <span class="post-link">Snip Snap</span>
diff --git a/docs/posts/lightweight_linting/index.html b/docs/posts/lightweight_linting/index.html
index 9982385..b368539 100644
--- a/docs/posts/lightweight_linting/index.html
+++ b/docs/posts/lightweight_linting/index.html
@@ -361,16 +361,15 @@ 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</a> 364 <a href="/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.
367 <p> 367 I write <a href="https://git.peppe.rs">open-source stuff</a>.
368 I write <a href="https://git.peppe.rs">open-source stuff</a> to pass time.
369 I also design fonts: 368 I also design fonts:
370 <a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>, 369 <a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
371 <a href="https://git.peppe.rs/fonts/curie/about">curie</a>. 370 <a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
372 </p> 371 </p>
373 <p>Send me a mail at [email protected] or a message at n[email protected].</p> 372 <p>Reach out at oppili@irc.rizon.net.</p>
374 </div> 373 </div>
375 374
376 <a href="/" class="post-end-link">Home</a> 375 <a href="/" class="post-end-link">Home</a>
diff --git a/docs/posts/lotus58/index.html b/docs/posts/lotus58/index.html
index ba57914..65484b8 100644
--- a/docs/posts/lotus58/index.html
+++ b/docs/posts/lotus58/index.html
@@ -157,16 +157,15 @@ 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</a> 160 <a href="/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.
163 <p> 163 I write <a href="https://git.peppe.rs">open-source stuff</a>.
164 I write <a href="https://git.peppe.rs">open-source stuff</a> to pass time.
165 I also design fonts: 164 I also design fonts:
166 <a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>, 165 <a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
167 <a href="https://git.peppe.rs/fonts/curie/about">curie</a>. 166 <a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
168 </p> 167 </p>
169 <p>Send me a mail at [email protected] or a message at n[email protected].</p> 168 <p>Reach out at oppili@irc.rizon.net.</p>
170 </div> 169 </div>
171 170
172 <a href="/" class="post-end-link">Home</a> 171 <a href="/" class="post-end-link">Home</a>
diff --git a/docs/posts/my_setup/index.html b/docs/posts/my_setup/index.html
index 09843b3..9844d52 100644
--- a/docs/posts/my_setup/index.html
+++ b/docs/posts/my_setup/index.html
@@ -71,16 +71,15 @@ 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</a> 74 <a href="/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.
77 <p> 77 I write <a href="https://git.peppe.rs">open-source stuff</a>.
78 I write <a href="https://git.peppe.rs">open-source stuff</a> to pass time.
79 I also design fonts: 78 I also design fonts:
80 <a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>, 79 <a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
81 <a href="https://git.peppe.rs/fonts/curie/about">curie</a>. 80 <a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
82 </p> 81 </p>
83 <p>Send me a mail at [email protected] or a message at n[email protected].</p> 82 <p>Reach out at oppili@irc.rizon.net.</p>
84 </div> 83 </div>
85 84
86 <a href="/" class="post-end-link">Home</a> 85 <a href="/" class="post-end-link">Home</a>
diff --git a/docs/posts/nixOS/index.html b/docs/posts/nixOS/index.html
index d1459a5..21aecd8 100644
--- a/docs/posts/nixOS/index.html
+++ b/docs/posts/nixOS/index.html
@@ -120,16 +120,15 @@ 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</a> 123 <a href="/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.
126 <p> 126 I write <a href="https://git.peppe.rs">open-source stuff</a>.
127 I write <a href="https://git.peppe.rs">open-source stuff</a> to pass time.
128 I also design fonts: 127 I also design fonts:
129 <a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>, 128 <a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
130 <a href="https://git.peppe.rs/fonts/curie/about">curie</a>. 129 <a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
131 </p> 130 </p>
132 <p>Send me a mail at [email protected] or a message at n[email protected].</p> 131 <p>Reach out at oppili@irc.rizon.net.</p>
133 </div> 132 </div>
134 133
135 <a href="/" class="post-end-link">Home</a> 134 <a href="/" class="post-end-link">Home</a>
diff --git a/docs/posts/novice_nix:_flake_templates/index.html b/docs/posts/novice_nix:_flake_templates/index.html
index 2ea8271..d1dec76 100644
--- a/docs/posts/novice_nix:_flake_templates/index.html
+++ b/docs/posts/novice_nix:_flake_templates/index.html
@@ -239,16 +239,15 @@ 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</a> 242 <a href="/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.
245 <p> 245 I write <a href="https://git.peppe.rs">open-source stuff</a>.
246 I write <a href="https://git.peppe.rs">open-source stuff</a> to pass time.
247 I also design fonts: 246 I also design fonts:
248 <a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>, 247 <a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
249 <a href="https://git.peppe.rs/fonts/curie/about">curie</a>. 248 <a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
250 </p> 249 </p>
251 <p>Send me a mail at [email protected] or a message at n[email protected].</p> 250 <p>Reach out at oppili@irc.rizon.net.</p>
252 </div> 251 </div>
253 252
254 <a href="/" class="post-end-link">Home</a> 253 <a href="/" class="post-end-link">Home</a>
diff --git a/docs/posts/onivim_sucks/index.html b/docs/posts/onivim_sucks/index.html
index 13cb34a..5cfef39 100644
--- a/docs/posts/onivim_sucks/index.html
+++ b/docs/posts/onivim_sucks/index.html
@@ -80,16 +80,15 @@ 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</a> 83 <a href="/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.
86 <p> 86 I write <a href="https://git.peppe.rs">open-source stuff</a>.
87 I write <a href="https://git.peppe.rs">open-source stuff</a> to pass time.
88 I also design fonts: 87 I also design fonts:
89 <a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>, 88 <a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
90 <a href="https://git.peppe.rs/fonts/curie/about">curie</a>. 89 <a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
91 </p> 90 </p>
92 <p>Send me a mail at [email protected] or a message at n[email protected].</p> 91 <p>Reach out at oppili@irc.rizon.net.</p>
93 </div> 92 </div>
94 93
95 <a href="/" class="post-end-link">Home</a> 94 <a href="/" class="post-end-link">Home</a>
diff --git a/docs/posts/pixel_art_in_GIMP/index.html b/docs/posts/pixel_art_in_GIMP/index.html
index d68ff60..25db0ca 100644
--- a/docs/posts/pixel_art_in_GIMP/index.html
+++ b/docs/posts/pixel_art_in_GIMP/index.html
@@ -148,16 +148,15 @@ 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</a> 151 <a href="/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.
154 <p> 154 I write <a href="https://git.peppe.rs">open-source stuff</a>.
155 I write <a href="https://git.peppe.rs">open-source stuff</a> to pass time.
156 I also design fonts: 155 I also design fonts:
157 <a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>, 156 <a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
158 <a href="https://git.peppe.rs/fonts/curie/about">curie</a>. 157 <a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
159 </p> 158 </p>
160 <p>Send me a mail at [email protected] or a message at n[email protected].</p> 159 <p>Reach out at oppili@irc.rizon.net.</p>
161 </div> 160 </div>
162 161
163 <a href="/" class="post-end-link">Home</a> 162 <a href="/" class="post-end-link">Home</a>
diff --git a/docs/posts/plain_text_journaling/index.html b/docs/posts/plain_text_journaling/index.html
index b96821a..b4b4c54 100644
--- a/docs/posts/plain_text_journaling/index.html
+++ b/docs/posts/plain_text_journaling/index.html
@@ -283,16 +283,15 @@ src="https://u.peppe.rs/ZCK.png" /></a></p>
283 <div class="intro"> 283 <div class="intro">
284 Hi. 284 Hi.
285 <div class="hot-links"> 285 <div class="hot-links">
286 <a href="https://peppe.rs/index.xml" class="feed-button">Subscribe</a> 286 <a href="/index.xml" class="feed-button">Subscribe</a>
287 </div> 287 </div>
288 <p>I'm Akshay, programmer and pixel-artist.</p> 288 <p>I'm Akshay, programmer and pixel-artist.
289 <p> 289 I write <a href="https://git.peppe.rs">open-source stuff</a>.
290 I write <a href="https://git.peppe.rs">open-source stuff</a> to pass time.
291 I also design fonts: 290 I also design fonts:
292 <a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>, 291 <a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
293 <a href="https://git.peppe.rs/fonts/curie/about">curie</a>. 292 <a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
294 </p> 293 </p>
295 <p>Send me a mail at [email protected] or a message at n[email protected].</p> 294 <p>Reach out at oppili@irc.rizon.net.</p>
296 </div> 295 </div>
297 296
298 <a href="/" class="post-end-link">Home</a> 297 <a href="/" class="post-end-link">Home</a>
diff --git a/docs/posts/programming_on_34_keys/index.html b/docs/posts/programming_on_34_keys/index.html
index 6f82b84..af39908 100644
--- a/docs/posts/programming_on_34_keys/index.html
+++ b/docs/posts/programming_on_34_keys/index.html
@@ -206,16 +206,15 @@ 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</a> 209 <a href="/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.
212 <p> 212 I write <a href="https://git.peppe.rs">open-source stuff</a>.
213 I write <a href="https://git.peppe.rs">open-source stuff</a> to pass time.
214 I also design fonts: 213 I also design fonts:
215 <a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>, 214 <a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
216 <a href="https://git.peppe.rs/fonts/curie/about">curie</a>. 215 <a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
217 </p> 216 </p>
218 <p>Send me a mail at [email protected] or a message at n[email protected].</p> 217 <p>Reach out at oppili@irc.rizon.net.</p>
219 </div> 218 </div>
220 219
221 <a href="/" class="post-end-link">Home</a> 220 <a href="/" class="post-end-link">Home</a>
diff --git a/docs/posts/rapid_refactoring_with_vim/index.html b/docs/posts/rapid_refactoring_with_vim/index.html
index ac375b3..cd10d02 100644
--- a/docs/posts/rapid_refactoring_with_vim/index.html
+++ b/docs/posts/rapid_refactoring_with_vim/index.html
@@ -200,16 +200,15 @@ 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</a> 203 <a href="/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.
206 <p> 206 I write <a href="https://git.peppe.rs">open-source stuff</a>.
207 I write <a href="https://git.peppe.rs">open-source stuff</a> to pass time.
208 I also design fonts: 207 I also design fonts:
209 <a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>, 208 <a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
210 <a href="https://git.peppe.rs/fonts/curie/about">curie</a>. 209 <a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
211 </p> 210 </p>
212 <p>Send me a mail at [email protected] or a message at n[email protected].</p> 211 <p>Reach out at oppili@irc.rizon.net.</p>
213 </div> 212 </div>
214 213
215 <a href="/" class="post-end-link">Home</a> 214 <a href="/" class="post-end-link">Home</a>
diff --git a/docs/posts/self-hosting_git/index.html b/docs/posts/self-hosting_git/index.html
index 182dfd2..b2e5708 100644
--- a/docs/posts/self-hosting_git/index.html
+++ b/docs/posts/self-hosting_git/index.html
@@ -207,16 +207,15 @@ 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</a> 210 <a href="/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.
213 <p> 213 I write <a href="https://git.peppe.rs">open-source stuff</a>.
214 I write <a href="https://git.peppe.rs">open-source stuff</a> to pass time.
215 I also design fonts: 214 I also design fonts:
216 <a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>, 215 <a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
217 <a href="https://git.peppe.rs/fonts/curie/about">curie</a>. 216 <a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
218 </p> 217 </p>
219 <p>Send me a mail at [email protected] or a message at n[email protected].</p> 218 <p>Reach out at oppili@irc.rizon.net.</p>
220 </div> 219 </div>
221 220
222 <a href="/" class="post-end-link">Home</a> 221 <a href="/" class="post-end-link">Home</a>
diff --git a/docs/posts/snip_snap/index.html b/docs/posts/snip_snap/index.html
index 02fa674..0bad657 100644
--- a/docs/posts/snip_snap/index.html
+++ b/docs/posts/snip_snap/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 — 2024 28 29/05 — 2024
29 <div class="stats"> 29 <div class="stats">
30 <span class="stats-number"> 30 <span class="stats-number">
31 40.76 31 40.76
@@ -115,16 +115,15 @@ use this as an argument to a few commands:</p>
115 <div class="intro"> 115 <div class="intro">
116 Hi. 116 Hi.
117 <div class="hot-links"> 117 <div class="hot-links">
118 <a href="https://peppe.rs/index.xml" class="feed-button">Subscribe</a> 118 <a href="/index.xml" class="feed-button">Subscribe</a>
119 </div> 119 </div>
120 <p>I'm Akshay, programmer and pixel-artist.</p> 120 <p>I'm Akshay, programmer and pixel-artist.
121 <p> 121 I write <a href="https://git.peppe.rs">open-source stuff</a>.
122 I write <a href="https://git.peppe.rs">open-source stuff</a> to pass time.
123 I also design fonts: 122 I also design fonts:
124 <a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>, 123 <a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
125 <a href="https://git.peppe.rs/fonts/curie/about">curie</a>. 124 <a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
126 </p> 125 </p>
127 <p>Send me a mail at [email protected] or a message at n[email protected].</p> 126 <p>Reach out at oppili@irc.rizon.net.</p>
128 </div> 127 </div>
129 128
130 <a href="/" class="post-end-link">Home</a> 129 <a href="/" class="post-end-link">Home</a>
diff --git a/docs/posts/static_sites_with_bash/index.html b/docs/posts/static_sites_with_bash/index.html
index 3123847..8e6441a 100644
--- a/docs/posts/static_sites_with_bash/index.html
+++ b/docs/posts/static_sites_with_bash/index.html
@@ -93,16 +93,15 @@ 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</a> 96 <a href="/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.
99 <p> 99 I write <a href="https://git.peppe.rs">open-source stuff</a>.
100 I write <a href="https://git.peppe.rs">open-source stuff</a> to pass time.
101 I also design fonts: 100 I also design fonts:
102 <a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>, 101 <a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
103 <a href="https://git.peppe.rs/fonts/curie/about">curie</a>. 102 <a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
104 </p> 103 </p>
105 <p>Send me a mail at [email protected] or a message at n[email protected].</p> 104 <p>Reach out at oppili@irc.rizon.net.</p>
106 </div> 105 </div>
107 106
108 <a href="/" class="post-end-link">Home</a> 107 <a href="/" class="post-end-link">Home</a>
diff --git a/docs/posts/termux_tandem/index.html b/docs/posts/termux_tandem/index.html
index 5c6a8c6..15eb01f 100644
--- a/docs/posts/termux_tandem/index.html
+++ b/docs/posts/termux_tandem/index.html
@@ -81,16 +81,15 @@ 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</a> 84 <a href="/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.
87 <p> 87 I write <a href="https://git.peppe.rs">open-source stuff</a>.
88 I write <a href="https://git.peppe.rs">open-source stuff</a> to pass time.
89 I also design fonts: 88 I also design fonts:
90 <a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>, 89 <a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
91 <a href="https://git.peppe.rs/fonts/curie/about">curie</a>. 90 <a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
92 </p> 91 </p>
93 <p>Send me a mail at [email protected] or a message at n[email protected].</p> 92 <p>Reach out at oppili@irc.rizon.net.</p>
94 </div> 93 </div>
95 94
96 <a href="/" class="post-end-link">Home</a> 95 <a href="/" class="post-end-link">Home</a>
diff --git a/docs/posts/turing_complete_type_systems/index.html b/docs/posts/turing_complete_type_systems/index.html
index 06e44e6..214e7ff 100644
--- a/docs/posts/turing_complete_type_systems/index.html
+++ b/docs/posts/turing_complete_type_systems/index.html
@@ -71,16 +71,15 @@ 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</a> 74 <a href="/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.
77 <p> 77 I write <a href="https://git.peppe.rs">open-source stuff</a>.
78 I write <a href="https://git.peppe.rs">open-source stuff</a> to pass time.
79 I also design fonts: 78 I also design fonts:
80 <a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>, 79 <a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
81 <a href="https://git.peppe.rs/fonts/curie/about">curie</a>. 80 <a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
82 </p> 81 </p>
83 <p>Send me a mail at [email protected] or a message at n[email protected].</p> 82 <p>Reach out at oppili@irc.rizon.net.</p>
84 </div> 83 </div>
85 84
86 <a href="/" class="post-end-link">Home</a> 85 <a href="/" class="post-end-link">Home</a>
generated by cgit v1.2.3 (git 2.25.1) at 2024-09-28 05:25:31 +0100