the ugly ocaml monstrosity powering my site
oppi.li
rewrite to oppili
+158
-178
+12
-13
docs/index.html
+12
-13
docs/index.html
···
2
2
<html lang="en">
3
3
<head>
4
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
6
<meta charset="UTF-8">
7
7
<meta name="viewport" content="initial-scale=1">
8
8
<meta content="#ffffff" name="theme-color">
9
9
<meta name="HandheldFriendly" content="true">
10
-
<meta property="og:title" content="nerdypepper">
10
+
<meta property="og:title" content="oppili's site">
11
11
<meta property="og:type" content="website">
12
-
<meta property="og:description" content="nerdypepper's micro musings">
13
-
<meta property="og:url" content="https://peppe.rs">
12
+
<meta property="og:description" content="oppili's micro musings">
13
+
<meta property="og:url" content="https://oppi.li">
14
14
<link rel="icon" type="image/x-icon" href="/favicon.png">
15
-
<title>peppe.rs</title>
16
-
<h1 class="heading">n</h1>
17
-
<h4 class="subheading">nerdypepper's μsings</h4>
15
+
<title>oppi.li</title>
16
+
<h1 class="heading">oppili</h1>
17
+
<h4 class="subheading">previously peppe.rs</h4>
18
18
<body>
19
19
<div class="posts">
20
20
<div class="post">
···
22
22
<div class="intro">
23
23
Hi.
24
24
<div class="hot-links">
25
-
<a href="https://peppe.rs/index.xml" class="feed-button">Subscribe</a>
25
+
<a href="/index.xml" class="feed-button">Subscribe</a>
26
26
</div>
27
-
<p>I'm Akshay, programmer and pixel-artist.</p>
28
-
<p>
29
-
I write <a href="https://git.peppe.rs">open-source stuff</a> to pass time.
27
+
<p>I'm Akshay, programmer and pixel-artist.
28
+
I write <a href="https://git.peppe.rs">open-source stuff</a>.
30
29
I also design fonts:
31
30
<a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
32
31
<a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
33
32
</p>
34
-
<p>Send me a mail at nerdy@peppe.rs or a message at np@irc.rizon.net.</p>
33
+
<p>Reach out at oppili@irc.rizon.net.</p>
35
34
</div>
36
35
37
36
<table>
···
40
39
<tr>
41
40
<td class=table-post>
42
41
<div class="date">
43
-
08/05 — 2024
42
+
29/05 — 2024
44
43
</div>
45
44
<a href="/posts/snip_snap" class="post-link">
46
45
<span class="post-link">Snip Snap</span>
+1
-1
docs/index.xml
+1
-1
docs/index.xml
···
81
81
<h4 id="qutebrowser">qutebrowser</h4>
82
82
<p>Switch to the last active tab with <code>g$</code>.</p></description>
83
83
<link>https://peppe.rs/posts/snip_snap/</link>
84
-
<pubDate>Wed, 08 May 2024 10:38:00 +0000</pubDate>
84
+
<pubDate>Wed, 29 May 2024 17:48:00 +0000</pubDate>
85
85
<guid>https://peppe.rs/posts/snip_snap/</guid>
86
86
</item>
87
87
<item>
+4
-5
docs/posts/SDL2_devlog/index.html
+4
-5
docs/posts/SDL2_devlog/index.html
···
329
329
<div class="intro">
330
330
Hi.
331
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
333
</div>
334
-
<p>I'm Akshay, programmer and pixel-artist.</p>
335
-
<p>
336
-
I write <a href="https://git.peppe.rs">open-source stuff</a> to pass time.
334
+
<p>I'm Akshay, programmer and pixel-artist.
335
+
I write <a href="https://git.peppe.rs">open-source stuff</a>.
337
336
I also design fonts:
338
337
<a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
339
338
<a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
340
339
</p>
341
-
<p>Send me a mail at nerdy@peppe.rs or a message at np@irc.rizon.net.</p>
340
+
<p>Reach out at oppili@irc.rizon.net.</p>
342
341
</div>
343
342
344
343
<a href="/" class="post-end-link">Home</a>
+4
-5
docs/posts/WPA_woes/index.html
+4
-5
docs/posts/WPA_woes/index.html
···
77
77
<div class="intro">
78
78
Hi.
79
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
81
</div>
82
-
<p>I'm Akshay, programmer and pixel-artist.</p>
83
-
<p>
84
-
I write <a href="https://git.peppe.rs">open-source stuff</a> to pass time.
82
+
<p>I'm Akshay, programmer and pixel-artist.
83
+
I write <a href="https://git.peppe.rs">open-source stuff</a>.
85
84
I also design fonts:
86
85
<a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
87
86
<a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
88
87
</p>
89
-
<p>Send me a mail at nerdy@peppe.rs or a message at np@irc.rizon.net.</p>
88
+
<p>Reach out at oppili@irc.rizon.net.</p>
90
89
</div>
91
90
92
91
<a href="/" class="post-end-link">Home</a>
+4
-5
docs/posts/a_reference_counted_afterlife/index.html
+4
-5
docs/posts/a_reference_counted_afterlife/index.html
···
88
88
<div class="intro">
89
89
Hi.
90
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
92
</div>
93
-
<p>I'm Akshay, programmer and pixel-artist.</p>
94
-
<p>
95
-
I write <a href="https://git.peppe.rs">open-source stuff</a> to pass time.
93
+
<p>I'm Akshay, programmer and pixel-artist.
94
+
I write <a href="https://git.peppe.rs">open-source stuff</a>.
96
95
I also design fonts:
97
96
<a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
98
97
<a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
99
98
</p>
100
-
<p>Send me a mail at nerdy@peppe.rs or a message at np@irc.rizon.net.</p>
99
+
<p>Reach out at oppili@irc.rizon.net.</p>
101
100
</div>
102
101
103
102
<a href="/" class="post-end-link">Home</a>
+4
-5
docs/posts/auto-currying_rust_functions/index.html
+4
-5
docs/posts/auto-currying_rust_functions/index.html
···
774
774
<div class="intro">
775
775
Hi.
776
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
778
</div>
779
-
<p>I'm Akshay, programmer and pixel-artist.</p>
780
-
<p>
781
-
I write <a href="https://git.peppe.rs">open-source stuff</a> to pass time.
779
+
<p>I'm Akshay, programmer and pixel-artist.
780
+
I write <a href="https://git.peppe.rs">open-source stuff</a>.
782
781
I also design fonts:
783
782
<a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
784
783
<a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
785
784
</p>
786
-
<p>Send me a mail at nerdy@peppe.rs or a message at np@irc.rizon.net.</p>
785
+
<p>Reach out at oppili@irc.rizon.net.</p>
787
786
</div>
788
787
789
788
<a href="/" class="post-end-link">Home</a>
+4
-5
docs/posts/bash_harder_with_vim/index.html
+4
-5
docs/posts/bash_harder_with_vim/index.html
···
90
90
<div class="intro">
91
91
Hi.
92
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
94
</div>
95
-
<p>I'm Akshay, programmer and pixel-artist.</p>
96
-
<p>
97
-
I write <a href="https://git.peppe.rs">open-source stuff</a> to pass time.
95
+
<p>I'm Akshay, programmer and pixel-artist.
96
+
I write <a href="https://git.peppe.rs">open-source stuff</a>.
98
97
I also design fonts:
99
98
<a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
100
99
<a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
101
100
</p>
102
-
<p>Send me a mail at nerdy@peppe.rs or a message at np@irc.rizon.net.</p>
101
+
<p>Reach out at oppili@irc.rizon.net.</p>
103
102
</div>
104
103
105
104
<a href="/" class="post-end-link">Home</a>
+4
-5
docs/posts/bye_bye_BDFs/index.html
+4
-5
docs/posts/bye_bye_BDFs/index.html
···
72
72
<div class="intro">
73
73
Hi.
74
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
76
</div>
77
-
<p>I'm Akshay, programmer and pixel-artist.</p>
78
-
<p>
79
-
I write <a href="https://git.peppe.rs">open-source stuff</a> to pass time.
77
+
<p>I'm Akshay, programmer and pixel-artist.
78
+
I write <a href="https://git.peppe.rs">open-source stuff</a>.
80
79
I also design fonts:
81
80
<a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
82
81
<a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
83
82
</p>
84
-
<p>Send me a mail at nerdy@peppe.rs or a message at np@irc.rizon.net.</p>
83
+
<p>Reach out at oppili@irc.rizon.net.</p>
85
84
</div>
86
85
87
86
<a href="/" class="post-end-link">Home</a>
+4
-5
docs/posts/call_to_ARMs/index.html
+4
-5
docs/posts/call_to_ARMs/index.html
···
102
102
<div class="intro">
103
103
Hi.
104
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
106
</div>
107
-
<p>I'm Akshay, programmer and pixel-artist.</p>
108
-
<p>
109
-
I write <a href="https://git.peppe.rs">open-source stuff</a> to pass time.
107
+
<p>I'm Akshay, programmer and pixel-artist.
108
+
I write <a href="https://git.peppe.rs">open-source stuff</a>.
110
109
I also design fonts:
111
110
<a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
112
111
<a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
113
112
</p>
114
-
<p>Send me a mail at nerdy@peppe.rs or a message at np@irc.rizon.net.</p>
113
+
<p>Reach out at oppili@irc.rizon.net.</p>
115
114
</div>
116
115
117
116
<a href="/" class="post-end-link">Home</a>
+4
-5
docs/posts/color_conundrum/index.html
+4
-5
docs/posts/color_conundrum/index.html
···
74
74
<div class="intro">
75
75
Hi.
76
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
78
</div>
79
-
<p>I'm Akshay, programmer and pixel-artist.</p>
80
-
<p>
81
-
I write <a href="https://git.peppe.rs">open-source stuff</a> to pass time.
79
+
<p>I'm Akshay, programmer and pixel-artist.
80
+
I write <a href="https://git.peppe.rs">open-source stuff</a>.
82
81
I also design fonts:
83
82
<a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
84
83
<a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
85
84
</p>
86
-
<p>Send me a mail at nerdy@peppe.rs or a message at np@irc.rizon.net.</p>
85
+
<p>Reach out at oppili@irc.rizon.net.</p>
87
86
</div>
88
87
89
88
<a href="/" class="post-end-link">Home</a>
+4
-5
docs/posts/curing_a_case_of_git-UX/index.html
+4
-5
docs/posts/curing_a_case_of_git-UX/index.html
···
302
302
<div class="intro">
303
303
Hi.
304
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
306
</div>
307
-
<p>I'm Akshay, programmer and pixel-artist.</p>
308
-
<p>
309
-
I write <a href="https://git.peppe.rs">open-source stuff</a> to pass time.
307
+
<p>I'm Akshay, programmer and pixel-artist.
308
+
I write <a href="https://git.peppe.rs">open-source stuff</a>.
310
309
I also design fonts:
311
310
<a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
312
311
<a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
313
312
</p>
314
-
<p>Send me a mail at nerdy@peppe.rs or a message at np@irc.rizon.net.</p>
313
+
<p>Reach out at oppili@irc.rizon.net.</p>
315
314
</div>
316
315
317
316
<a href="/" class="post-end-link">Home</a>
+4
-5
docs/posts/font_size_fallacies/index.html
+4
-5
docs/posts/font_size_fallacies/index.html
···
119
119
<div class="intro">
120
120
Hi.
121
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
123
</div>
124
-
<p>I'm Akshay, programmer and pixel-artist.</p>
125
-
<p>
126
-
I write <a href="https://git.peppe.rs">open-source stuff</a> to pass time.
124
+
<p>I'm Akshay, programmer and pixel-artist.
125
+
I write <a href="https://git.peppe.rs">open-source stuff</a>.
127
126
I also design fonts:
128
127
<a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
129
128
<a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
130
129
</p>
131
-
<p>Send me a mail at nerdy@peppe.rs or a message at np@irc.rizon.net.</p>
130
+
<p>Reach out at oppili@irc.rizon.net.</p>
132
131
</div>
133
132
134
133
<a href="/" class="post-end-link">Home</a>
+4
-5
docs/posts/get_better_at_yanking_and_putting_in_vim/index.html
+4
-5
docs/posts/get_better_at_yanking_and_putting_in_vim/index.html
···
66
66
<div class="intro">
67
67
Hi.
68
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
70
</div>
71
-
<p>I'm Akshay, programmer and pixel-artist.</p>
72
-
<p>
73
-
I write <a href="https://git.peppe.rs">open-source stuff</a> to pass time.
71
+
<p>I'm Akshay, programmer and pixel-artist.
72
+
I write <a href="https://git.peppe.rs">open-source stuff</a>.
74
73
I also design fonts:
75
74
<a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
76
75
<a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
77
76
</p>
78
-
<p>Send me a mail at nerdy@peppe.rs or a message at np@irc.rizon.net.</p>
77
+
<p>Reach out at oppili@irc.rizon.net.</p>
79
78
</div>
80
79
81
80
<a href="/" class="post-end-link">Home</a>
+4
-5
docs/posts/gripes_with_go/index.html
+4
-5
docs/posts/gripes_with_go/index.html
···
190
190
<div class="intro">
191
191
Hi.
192
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
194
</div>
195
-
<p>I'm Akshay, programmer and pixel-artist.</p>
196
-
<p>
197
-
I write <a href="https://git.peppe.rs">open-source stuff</a> to pass time.
195
+
<p>I'm Akshay, programmer and pixel-artist.
196
+
I write <a href="https://git.peppe.rs">open-source stuff</a>.
198
197
I also design fonts:
199
198
<a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
200
199
<a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
201
200
</p>
202
-
<p>Send me a mail at nerdy@peppe.rs or a message at np@irc.rizon.net.</p>
201
+
<p>Reach out at oppili@irc.rizon.net.</p>
203
202
</div>
204
203
205
204
<a href="/" class="post-end-link">Home</a>
+4
-5
docs/posts/hold_position!/index.html
+4
-5
docs/posts/hold_position!/index.html
···
66
66
<div class="intro">
67
67
Hi.
68
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
70
</div>
71
-
<p>I'm Akshay, programmer and pixel-artist.</p>
72
-
<p>
73
-
I write <a href="https://git.peppe.rs">open-source stuff</a> to pass time.
71
+
<p>I'm Akshay, programmer and pixel-artist.
72
+
I write <a href="https://git.peppe.rs">open-source stuff</a>.
74
73
I also design fonts:
75
74
<a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
76
75
<a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
77
76
</p>
78
-
<p>Send me a mail at nerdy@peppe.rs or a message at np@irc.rizon.net.</p>
77
+
<p>Reach out at oppili@irc.rizon.net.</p>
79
78
</div>
80
79
81
80
<a href="/" class="post-end-link">Home</a>
+6
-6
docs/posts/index.html
+6
-6
docs/posts/index.html
···
2
2
<html lang="en">
3
3
<head>
4
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
6
<meta charset="UTF-8">
7
7
<meta name="viewport" content="initial-scale=1">
8
8
<meta content="#ffffff" name="theme-color">
9
9
<meta name="HandheldFriendly" content="true">
10
-
<meta property="og:title" content="nerdypepper">
10
+
<meta property="og:title" content="oppili's site">
11
11
<meta property="og:type" content="website">
12
-
<meta property="og:description" content="nerdypepper's micro musings">
13
-
<meta property="og:url" content="https://peppe.rs">
12
+
<meta property="og:description" content="oppili's micro musings">
13
+
<meta property="og:url" content="https://oppi.li">
14
14
<link rel="icon" type="image/x-icon" href="/favicon.png">
15
-
<title>peppe.rs</title>
15
+
<title>oppi.li</title>
16
16
<body>
17
17
<div class="posts">
18
18
<div class="post">
···
27
27
<tr>
28
28
<td class=table-post>
29
29
<div class="date">
30
-
08/05 — 2024
30
+
29/05 — 2024
31
31
</div>
32
32
<a href="/posts/snip_snap" class="post-link">
33
33
<span class="post-link">Snip Snap</span>
+4
-5
docs/posts/lightweight_linting/index.html
+4
-5
docs/posts/lightweight_linting/index.html
···
361
361
<div class="intro">
362
362
Hi.
363
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
365
</div>
366
-
<p>I'm Akshay, programmer and pixel-artist.</p>
367
-
<p>
368
-
I write <a href="https://git.peppe.rs">open-source stuff</a> to pass time.
366
+
<p>I'm Akshay, programmer and pixel-artist.
367
+
I write <a href="https://git.peppe.rs">open-source stuff</a>.
369
368
I also design fonts:
370
369
<a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
371
370
<a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
372
371
</p>
373
-
<p>Send me a mail at nerdy@peppe.rs or a message at np@irc.rizon.net.</p>
372
+
<p>Reach out at oppili@irc.rizon.net.</p>
374
373
</div>
375
374
376
375
<a href="/" class="post-end-link">Home</a>
+4
-5
docs/posts/lotus58/index.html
+4
-5
docs/posts/lotus58/index.html
···
157
157
<div class="intro">
158
158
Hi.
159
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
161
</div>
162
-
<p>I'm Akshay, programmer and pixel-artist.</p>
163
-
<p>
164
-
I write <a href="https://git.peppe.rs">open-source stuff</a> to pass time.
162
+
<p>I'm Akshay, programmer and pixel-artist.
163
+
I write <a href="https://git.peppe.rs">open-source stuff</a>.
165
164
I also design fonts:
166
165
<a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
167
166
<a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
168
167
</p>
169
-
<p>Send me a mail at nerdy@peppe.rs or a message at np@irc.rizon.net.</p>
168
+
<p>Reach out at oppili@irc.rizon.net.</p>
170
169
</div>
171
170
172
171
<a href="/" class="post-end-link">Home</a>
+4
-5
docs/posts/my_setup/index.html
+4
-5
docs/posts/my_setup/index.html
···
71
71
<div class="intro">
72
72
Hi.
73
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
75
</div>
76
-
<p>I'm Akshay, programmer and pixel-artist.</p>
77
-
<p>
78
-
I write <a href="https://git.peppe.rs">open-source stuff</a> to pass time.
76
+
<p>I'm Akshay, programmer and pixel-artist.
77
+
I write <a href="https://git.peppe.rs">open-source stuff</a>.
79
78
I also design fonts:
80
79
<a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
81
80
<a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
82
81
</p>
83
-
<p>Send me a mail at nerdy@peppe.rs or a message at np@irc.rizon.net.</p>
82
+
<p>Reach out at oppili@irc.rizon.net.</p>
84
83
</div>
85
84
86
85
<a href="/" class="post-end-link">Home</a>
+4
-5
docs/posts/nixOS/index.html
+4
-5
docs/posts/nixOS/index.html
···
120
120
<div class="intro">
121
121
Hi.
122
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
124
</div>
125
-
<p>I'm Akshay, programmer and pixel-artist.</p>
126
-
<p>
127
-
I write <a href="https://git.peppe.rs">open-source stuff</a> to pass time.
125
+
<p>I'm Akshay, programmer and pixel-artist.
126
+
I write <a href="https://git.peppe.rs">open-source stuff</a>.
128
127
I also design fonts:
129
128
<a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
130
129
<a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
131
130
</p>
132
-
<p>Send me a mail at nerdy@peppe.rs or a message at np@irc.rizon.net.</p>
131
+
<p>Reach out at oppili@irc.rizon.net.</p>
133
132
</div>
134
133
135
134
<a href="/" class="post-end-link">Home</a>
+4
-5
docs/posts/novice_nix:_flake_templates/index.html
+4
-5
docs/posts/novice_nix:_flake_templates/index.html
···
239
239
<div class="intro">
240
240
Hi.
241
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
243
</div>
244
-
<p>I'm Akshay, programmer and pixel-artist.</p>
245
-
<p>
246
-
I write <a href="https://git.peppe.rs">open-source stuff</a> to pass time.
244
+
<p>I'm Akshay, programmer and pixel-artist.
245
+
I write <a href="https://git.peppe.rs">open-source stuff</a>.
247
246
I also design fonts:
248
247
<a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
249
248
<a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
250
249
</p>
251
-
<p>Send me a mail at nerdy@peppe.rs or a message at np@irc.rizon.net.</p>
250
+
<p>Reach out at oppili@irc.rizon.net.</p>
252
251
</div>
253
252
254
253
<a href="/" class="post-end-link">Home</a>
+4
-5
docs/posts/onivim_sucks/index.html
+4
-5
docs/posts/onivim_sucks/index.html
···
80
80
<div class="intro">
81
81
Hi.
82
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
84
</div>
85
-
<p>I'm Akshay, programmer and pixel-artist.</p>
86
-
<p>
87
-
I write <a href="https://git.peppe.rs">open-source stuff</a> to pass time.
85
+
<p>I'm Akshay, programmer and pixel-artist.
86
+
I write <a href="https://git.peppe.rs">open-source stuff</a>.
88
87
I also design fonts:
89
88
<a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
90
89
<a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
91
90
</p>
92
-
<p>Send me a mail at nerdy@peppe.rs or a message at np@irc.rizon.net.</p>
91
+
<p>Reach out at oppili@irc.rizon.net.</p>
93
92
</div>
94
93
95
94
<a href="/" class="post-end-link">Home</a>
+4
-5
docs/posts/pixel_art_in_GIMP/index.html
+4
-5
docs/posts/pixel_art_in_GIMP/index.html
···
148
148
<div class="intro">
149
149
Hi.
150
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
152
</div>
153
-
<p>I'm Akshay, programmer and pixel-artist.</p>
154
-
<p>
155
-
I write <a href="https://git.peppe.rs">open-source stuff</a> to pass time.
153
+
<p>I'm Akshay, programmer and pixel-artist.
154
+
I write <a href="https://git.peppe.rs">open-source stuff</a>.
156
155
I also design fonts:
157
156
<a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
158
157
<a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
159
158
</p>
160
-
<p>Send me a mail at nerdy@peppe.rs or a message at np@irc.rizon.net.</p>
159
+
<p>Reach out at oppili@irc.rizon.net.</p>
161
160
</div>
162
161
163
162
<a href="/" class="post-end-link">Home</a>
+4
-5
docs/posts/plain_text_journaling/index.html
+4
-5
docs/posts/plain_text_journaling/index.html
···
283
283
<div class="intro">
284
284
Hi.
285
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
287
</div>
288
-
<p>I'm Akshay, programmer and pixel-artist.</p>
289
-
<p>
290
-
I write <a href="https://git.peppe.rs">open-source stuff</a> to pass time.
288
+
<p>I'm Akshay, programmer and pixel-artist.
289
+
I write <a href="https://git.peppe.rs">open-source stuff</a>.
291
290
I also design fonts:
292
291
<a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
293
292
<a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
294
293
</p>
295
-
<p>Send me a mail at nerdy@peppe.rs or a message at np@irc.rizon.net.</p>
294
+
<p>Reach out at oppili@irc.rizon.net.</p>
296
295
</div>
297
296
298
297
<a href="/" class="post-end-link">Home</a>
+4
-5
docs/posts/programming_on_34_keys/index.html
+4
-5
docs/posts/programming_on_34_keys/index.html
···
206
206
<div class="intro">
207
207
Hi.
208
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
210
</div>
211
-
<p>I'm Akshay, programmer and pixel-artist.</p>
212
-
<p>
213
-
I write <a href="https://git.peppe.rs">open-source stuff</a> to pass time.
211
+
<p>I'm Akshay, programmer and pixel-artist.
212
+
I write <a href="https://git.peppe.rs">open-source stuff</a>.
214
213
I also design fonts:
215
214
<a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
216
215
<a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
217
216
</p>
218
-
<p>Send me a mail at nerdy@peppe.rs or a message at np@irc.rizon.net.</p>
217
+
<p>Reach out at oppili@irc.rizon.net.</p>
219
218
</div>
220
219
221
220
<a href="/" class="post-end-link">Home</a>
+4
-5
docs/posts/rapid_refactoring_with_vim/index.html
+4
-5
docs/posts/rapid_refactoring_with_vim/index.html
···
200
200
<div class="intro">
201
201
Hi.
202
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
204
</div>
205
-
<p>I'm Akshay, programmer and pixel-artist.</p>
206
-
<p>
207
-
I write <a href="https://git.peppe.rs">open-source stuff</a> to pass time.
205
+
<p>I'm Akshay, programmer and pixel-artist.
206
+
I write <a href="https://git.peppe.rs">open-source stuff</a>.
208
207
I also design fonts:
209
208
<a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
210
209
<a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
211
210
</p>
212
-
<p>Send me a mail at nerdy@peppe.rs or a message at np@irc.rizon.net.</p>
211
+
<p>Reach out at oppili@irc.rizon.net.</p>
213
212
</div>
214
213
215
214
<a href="/" class="post-end-link">Home</a>
+4
-5
docs/posts/self-hosting_git/index.html
+4
-5
docs/posts/self-hosting_git/index.html
···
207
207
<div class="intro">
208
208
Hi.
209
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
211
</div>
212
-
<p>I'm Akshay, programmer and pixel-artist.</p>
213
-
<p>
214
-
I write <a href="https://git.peppe.rs">open-source stuff</a> to pass time.
212
+
<p>I'm Akshay, programmer and pixel-artist.
213
+
I write <a href="https://git.peppe.rs">open-source stuff</a>.
215
214
I also design fonts:
216
215
<a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
217
216
<a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
218
217
</p>
219
-
<p>Send me a mail at nerdy@peppe.rs or a message at np@irc.rizon.net.</p>
218
+
<p>Reach out at oppili@irc.rizon.net.</p>
220
219
</div>
221
220
222
221
<a href="/" class="post-end-link">Home</a>
+5
-6
docs/posts/snip_snap/index.html
+5
-6
docs/posts/snip_snap/index.html
···
25
25
">View Raw</a>
26
26
<div class="separator"></div>
27
27
<div class="date">
28
-
08/05 — 2024
28
+
29/05 — 2024
29
29
<div class="stats">
30
30
<span class="stats-number">
31
31
40.76
···
115
115
<div class="intro">
116
116
Hi.
117
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
119
</div>
120
-
<p>I'm Akshay, programmer and pixel-artist.</p>
121
-
<p>
122
-
I write <a href="https://git.peppe.rs">open-source stuff</a> to pass time.
120
+
<p>I'm Akshay, programmer and pixel-artist.
121
+
I write <a href="https://git.peppe.rs">open-source stuff</a>.
123
122
I also design fonts:
124
123
<a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
125
124
<a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
126
125
</p>
127
-
<p>Send me a mail at nerdy@peppe.rs or a message at np@irc.rizon.net.</p>
126
+
<p>Reach out at oppili@irc.rizon.net.</p>
128
127
</div>
129
128
130
129
<a href="/" class="post-end-link">Home</a>
+4
-5
docs/posts/static_sites_with_bash/index.html
+4
-5
docs/posts/static_sites_with_bash/index.html
···
93
93
<div class="intro">
94
94
Hi.
95
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
97
</div>
98
-
<p>I'm Akshay, programmer and pixel-artist.</p>
99
-
<p>
100
-
I write <a href="https://git.peppe.rs">open-source stuff</a> to pass time.
98
+
<p>I'm Akshay, programmer and pixel-artist.
99
+
I write <a href="https://git.peppe.rs">open-source stuff</a>.
101
100
I also design fonts:
102
101
<a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
103
102
<a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
104
103
</p>
105
-
<p>Send me a mail at nerdy@peppe.rs or a message at np@irc.rizon.net.</p>
104
+
<p>Reach out at oppili@irc.rizon.net.</p>
106
105
</div>
107
106
108
107
<a href="/" class="post-end-link">Home</a>
+4
-5
docs/posts/termux_tandem/index.html
+4
-5
docs/posts/termux_tandem/index.html
···
81
81
<div class="intro">
82
82
Hi.
83
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
85
</div>
86
-
<p>I'm Akshay, programmer and pixel-artist.</p>
87
-
<p>
88
-
I write <a href="https://git.peppe.rs">open-source stuff</a> to pass time.
86
+
<p>I'm Akshay, programmer and pixel-artist.
87
+
I write <a href="https://git.peppe.rs">open-source stuff</a>.
89
88
I also design fonts:
90
89
<a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
91
90
<a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
92
91
</p>
93
-
<p>Send me a mail at nerdy@peppe.rs or a message at np@irc.rizon.net.</p>
92
+
<p>Reach out at oppili@irc.rizon.net.</p>
94
93
</div>
95
94
96
95
<a href="/" class="post-end-link">Home</a>
+4
-5
docs/posts/turing_complete_type_systems/index.html
+4
-5
docs/posts/turing_complete_type_systems/index.html
···
71
71
<div class="intro">
72
72
Hi.
73
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
75
</div>
76
-
<p>I'm Akshay, programmer and pixel-artist.</p>
77
-
<p>
78
-
I write <a href="https://git.peppe.rs">open-source stuff</a> to pass time.
76
+
<p>I'm Akshay, programmer and pixel-artist.
77
+
I write <a href="https://git.peppe.rs">open-source stuff</a>.
79
78
I also design fonts:
80
79
<a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
81
80
<a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
82
81
</p>
83
-
<p>Send me a mail at nerdy@peppe.rs or a message at np@irc.rizon.net.</p>
82
+
<p>Reach out at oppili@irc.rizon.net.</p>
84
83
</div>
85
84
86
85
<a href="/" class="post-end-link">Home</a>
+13
-4
docs/style.css
+13
-4
docs/style.css
···
308
308
padding-right: 0.6rem;
309
309
border: 2px solid var(--dark-white);
310
310
border-radius: 0.4rem;
311
-
margin: 2rem -1.3rem;
311
+
margin: 0.7rem -1.3rem;
312
312
font-family: 'Inter', sans-serif;
313
313
}
314
314
315
+
.adjusted-asterisk {
316
+
position: relative;
317
+
padding: 0 0 0 -1rem;
318
+
font-size: 8rem;
319
+
top: 0.35em;
320
+
left: 0.1em;
321
+
}
322
+
315
323
.heading {
316
-
margin: 0 auto;
324
+
margin-right: 0.5rem;
317
325
color: var(--black);
318
326
text-align: center;
319
327
font-size: 6rem;
320
-
text-shadow: 0.25rem 0rem var(--pink), -0.25rem 0rem var(--cyan);
328
+
text-shadow: 0.10rem 0rem var(--light-black), 0.25rem 0rem var(--cyan), 0.5rem 0rem var(--pink);
329
+
321
330
line-height: 5rem;
322
-
font-weight: 800;
331
+
font-weight: 900;
323
332
font-style: italic;
324
333
325
334
display:inline-block;
+11
-12
generate.sh
+11
-12
generate.sh
···
75
75
<div class=\"intro\">
76
76
Hi.
77
77
<div class=\"hot-links\">
78
-
<a href=\"https://peppe.rs/index.xml\" class=\"feed-button\">Subscribe</a>
78
+
<a href=\"/index.xml\" class=\"feed-button\">Subscribe</a>
79
79
</div>
80
-
<p>I'm Akshay, programmer and pixel-artist.</p>
81
-
<p>
82
-
I write <a href=\"https://git.peppe.rs\">open-source stuff</a> to pass time.
80
+
<p>I'm Akshay, programmer and pixel-artist.
81
+
I write <a href=\"https://git.peppe.rs\">open-source stuff</a>.
83
82
I also design fonts:
84
83
<a href=\"https://git.peppe.rs/fonts/scientifica/about\">scientifica</a>,
85
84
<a href=\"https://git.peppe.rs/fonts/curie/about\">curie</a>.
86
85
</p>
87
-
<p>Send me a mail at nerdy@peppe.rs or a message at np@irc.rizon.net.</p>
86
+
<p>Reach out at oppili@irc.rizon.net.</p>
88
87
</div>
89
88
"
90
89
}
···
100
99
101
100
n_logo() {
102
101
cat << EOF
103
-
<h1 class="heading">n</h1>
104
-
<h4 class="subheading">nerdypepper's μsings</h4>
102
+
<h1 class="heading">oppili</h1>
103
+
<h4 class="subheading">previously peppe.rs</h4>
105
104
EOF
106
105
}
107
106
···
122
121
<html lang="en">
123
122
<head>
124
123
<link rel="stylesheet" href="/style.css">
125
-
<link rel="alternate" type="application/atom+xml" title="nerdypepper's micro musings" href="/index.xml">
124
+
<link rel="alternate" type="application/atom+xml" title="oppili's micro musings" href="/index.xml">
126
125
<meta charset="UTF-8">
127
126
<meta name="viewport" content="initial-scale=1">
128
127
<meta content="#ffffff" name="theme-color">
129
128
<meta name="HandheldFriendly" content="true">
130
-
<meta property="og:title" content="nerdypepper">
129
+
<meta property="og:title" content="oppili's site">
131
130
<meta property="og:type" content="website">
132
-
<meta property="og:description" content="nerdypepper's micro musings">
133
-
<meta property="og:url" content="https://peppe.rs">
131
+
<meta property="og:description" content="oppili's micro musings">
132
+
<meta property="og:url" content="https://oppi.li">
134
133
<link rel="icon" type="image/x-icon" href="/favicon.png">
135
-
<title>peppe.rs</title>
134
+
<title>oppi.li</title>
136
135
EOF
137
136
138
137
# index