the ugly ocaml monstrosity powering my site
oppi.li
new post: tales from mainframe modernization
+860
-475
+3
-3
art.esh
+3
-3
art.esh
···
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="Art · peppe.rs">
10
+
<meta property="og:title" content="Art · oppi.li">
11
11
<meta property="og:type" content="website">
12
12
<meta property="og:description" content="a static site {for, by, about} me ">
13
-
<meta property="og:url" content="https://peppe.rs">
13
+
<meta property="og:url" content="https://oppi.li">
14
14
<link rel="icon" type="image/x-icon" href="/favicon.png">
15
-
<title>Art · peppe.rs</title>
15
+
<title>Art · oppi.li</title>
16
16
<body>
17
17
<div class="posts">
18
18
<a href="/" class="post-end-link">Home</a>
+3
-3
docs/art/index.html
+3
-3
docs/art/index.html
···
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="Art · peppe.rs">
10
+
<meta property="og:title" content="Art · oppi.li">
11
11
<meta property="og:type" content="website">
12
12
<meta property="og:description" content="a static site {for, by, about} me ">
13
-
<meta property="og:url" content="https://peppe.rs">
13
+
<meta property="og:url" content="https://oppi.li">
14
14
<link rel="icon" type="image/x-icon" href="/favicon.png">
15
-
<title>Art · peppe.rs</title>
15
+
<title>Art · oppi.li</title>
16
16
<body>
17
17
<div class="posts">
18
18
<a href="/" class="post-end-link">Home</a>
+17
-22
docs/index.html
+17
-22
docs/index.html
···
24
24
<div class="hot-links">
25
25
<a href="/index.xml" class="feed-button">Subscribe</a>
26
26
</div>
27
-
<p>I'm Akshay, programmer and pixel-artist.
28
-
I write <a href="https://git.peppe.rs">open-source stuff</a>.
29
-
I also design fonts:
30
-
<a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
31
-
<a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
32
-
</p>
33
-
<p>Reach out at oppili@irc.rizon.net.</p>
27
+
<p>I'm Akshay, programmer, pixel-artist & programming-language enthusiast.</p>
28
+
<p>I am currently building <a href="https://tangled.sh">tangled.sh</a> — a decentralized code-collaboration platform.</p>
29
+
<p>Reach out at oppili@libera.chat.</p>
34
30
</div>
35
31
36
32
<table>
···
39
35
<tr>
40
36
<td class=table-post>
41
37
<div class="date">
42
-
28/11 — 2024
38
+
21/05 — 2025
43
39
</div>
44
-
<a href="/posts/OSC-52" class="post-link">
45
-
<span class="post-link">OSC-52</span>
40
+
<a href="/posts/tales_from_mainframe_modernization" class="post-link">
41
+
<span class="post-link">Tales From Mainframe Modernization</span>
46
42
</a>
47
43
</td>
48
44
<td class=table-stats>
49
45
<span class="stats-number">
50
-
1.9
46
+
3.8
51
47
</span>
52
48
<span class=stats-unit>min</span>
53
49
</td>
···
56
52
<tr>
57
53
<td class=table-post>
58
54
<div class="date">
59
-
02/08 — 2024
55
+
27/11 — 2024
60
56
</div>
61
-
<a href="/posts/introducing_tablespoon" class="post-link">
62
-
<span class="post-link">Introducing Tablespoon</span>
57
+
<a href="/posts/OSC-52" class="post-link">
58
+
<span class="post-link">OSC-52</span>
63
59
</a>
64
60
</td>
65
61
<td class=table-stats>
66
62
<span class="stats-number">
67
-
4.5
63
+
1.9
68
64
</span>
69
65
<span class=stats-unit>min</span>
70
66
</td>
···
73
69
<tr>
74
70
<td class=table-post>
75
71
<div class="date">
76
-
29/05 — 2024
72
+
01/08 — 2024
77
73
</div>
78
-
<a href="/posts/snip_snap" class="post-link">
79
-
<span class="post-link">Snip Snap</span>
74
+
<a href="/posts/introducing_tablespoon" class="post-link">
75
+
<span class="post-link">Introducing Tablespoon</span>
80
76
</a>
81
77
</td>
82
78
<td class=table-stats>
83
79
<span class="stats-number">
84
-
2.1
80
+
4.5
85
81
</span>
86
82
<span class=stats-unit>min</span>
87
83
</td>
···
108
104
</table>
109
105
<div class="separator"></div>
110
106
<div class="footer">
111
-
<a href="https://git.peppe.rs">Code</a> ·
112
-
<a rel="me" href="https://merveilles.town/@nerdypepper">Fediverse</a> ·
107
+
<a href="https://tangled.sh/@oppi.li">Code</a> ·
113
108
<a href="https://bsky.app/profile/oppi.li">Bluesky</a> ·
114
-
<a href="mailto:nerdy@peppe.rs">Mail</a>
109
+
<a href="mailto:me@oppi.li">Mail</a>
115
110
<a href="https://creativecommons.org/licenses/by-nc-sa/4.0/">
116
111
<img class="footimgs" src="https://d33wubrfki0l68.cloudfront.net/94387e9d77fbc8b4360db81e72603ecba3df94a7/632bc/static/cc.svg">
117
112
</a>
+201
-65
docs/index.xml
+201
-65
docs/index.xml
···
1
1
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom">
2
2
<channel>
3
3
<title>nerdypepper's μblog</title>
4
-
<link>https://peppe.rs</link>
4
+
<link>https://oppi.li</link>
5
5
<description>programming, design, software</description>
6
-
<atom:link href="https://peppe.rs/index.xml" rel="self" type="application/rss+xml" />
6
+
<atom:link href="https://oppi.li/index.xml" rel="self" type="application/rss+xml" />
7
7
<image>
8
-
<title>nerdypepper's μblog</title>
9
-
<url>https://u.peppe.rs/n.png</url>
10
-
<link>https://peppe.rs</link>
8
+
<title>oppiliappan's μblog</title>
9
+
<url>https://cdn.oppi.li/n.png</url>
10
+
<link>https://oppi.li</link>
11
11
</image>
12
12
<language>en-us</language>
13
13
<copyright>Creative Commons BY-NC-SA 4.0</copyright>
14
14
<item>
15
+
<title>Tales From Mainframe Modernization</title>
16
+
<description><p>At my last workplace, I wrote transpilers (or just <a
17
+
href="https://people.csail.mit.edu/rachit/post/transpiler/">compilers</a>
18
+
if you prefer) from mainframe languages (COBOL, JCL, BASIC etc.) to Java
19
+
(in Rust!).</p>
20
+
<p>Legacy code is full of surprises. In the roughly 200k lines of COBOL
21
+
that I had the (dis)pleasure of working with, I saw some wonderful hacks
22
+
to get around the limitations of the system. Mainframes are also chock
23
+
full of history.</p>
24
+
<h3 id="base-2-numerics">Base-2 numerics</h3>
25
+
<p>This is the first thing that stood out to me when I looked at COBOL
26
+
code, a data-definition (the phrase for “variable”) in COBOL is declared
27
+
like so:</p>
28
+
<pre><code> ,-- name
29
+
| ,- type
30
+
__|___ __|_
31
+
01 HEIGHT PIC 9(3).
32
+
-- ---
33
+
| |
34
+
| `- picture clause (keyword)
35
+
`- level number </code></pre>
36
+
<p>That statement declares a variable called <code>HEIGHT</code> with
37
+
type <code>9(3)</code>, which is shorthand for <code>999</code>, which
38
+
indicates “3-digit number”. Similarly <code>A(5)</code> indicates
39
+
5-character alphabetic string.</p>
40
+
<h3 id="internationalisation">Internationalisation</h3>
41
+
<p>Below is another data-definition in COBOL, declaring 3 variables:</p>
42
+
<pre class="cobol"><code>01 FOO-PERSON.
43
+
05 FOO-NAME PIC X(5).
44
+
05 FOO-HEIGHT PIC 9(3).</code></pre>
45
+
<p>What that means is:</p>
46
+
<ul>
47
+
<li><code>FOO-PERSON</code>: a “group” variable consisting of two other
48
+
variables</li>
49
+
<li><code>FOO-NAME</code>: an alphanumeric type with 5 characters</li>
50
+
<li><code>FOO-HEIGHT</code>: a numeric type with 3 digits (remember,
51
+
base 10 and not base 2)</li>
52
+
</ul>
53
+
<p>COBOL has an interesting construct called “REDEFINES”:</p>
54
+
<pre class="cobol"><code>01 FOO-PERSON.
55
+
05 FOO-NAME PIC X(5).
56
+
05 FOO-HEIGHT PIC 9(3).
57
+
58
+
01 FOO-PERSONNE REDEFINES FOO-PERSON.
59
+
05 FOO-NOM PIC X(5).
60
+
05 FOO-TAILLE PIC 9(3).</code></pre>
61
+
<p><code>FOO-PERSON</code> and <code>FOO-PERSONNE</code> refer to the
62
+
same region of memory.</p>
63
+
<p>I helped modernise a codebase that had clearly been worked on by a
64
+
Spanish consultancy at some point, and they had decided to redefine all
65
+
data definitions in Spanish.</p>
66
+
<h3 id="string-parsing">String parsing</h3>
67
+
<p>Here’s another fun one:</p>
68
+
<pre class="cobol"><code> 01 FOO-PERSON.
69
+
05 FOO-NAME PIC X(5).
70
+
05 FOO-HEIGHT PIC 9(3).
71
+
.
72
+
.
73
+
.
74
+
75
+
MOVE &quot;PETER&quot; TO FOO-NAME.
76
+
MOVE 175 TO FOO-HEIGHT.
77
+
78
+
*&gt; display the entire memory region
79
+
DISPLAY FOO-PERSON.
80
+
*&gt; PETER175
81
+
82
+
*&gt; subscripting the first 7 bytes...
83
+
DISPLAY FOO-PERSON (1:7)
84
+
*&gt; PETER17</code></pre>
85
+
<p>So data-definitions simply describe names for regions. Which enables
86
+
a clever way to parse strings:</p>
87
+
<pre class="cobol"><code> 01 DATE.
88
+
05 DD PIC 9(2).
89
+
05 FILLER PIC X.
90
+
05 MM PIC 9(2).
91
+
05 FILLER PIC X.
92
+
05 YYYY PIC 9(4).
93
+
94
+
.
95
+
.
96
+
.
97
+
98
+
MOVE &quot;03/04/2025&quot; TO DATE.
99
+
DISPLAY &quot;DAY: &quot; DD. *&gt; DAY: 03
100
+
DISPLAY &quot;MONTH: &quot; MM. *&gt; MONTH: 04
101
+
DISPLAY &quot;YEAR: &quot; YYYY. *&gt; YEAR: 2025
102
+
103
+
*&gt; also works:
104
+
MOVE &quot;03.04.2025&quot; TO DATE.</code></pre>
105
+
<h3 id="early-exit">Early exit</h3>
106
+
<p>I’d see this peppered around in a few places; which I later realized
107
+
was a way to trigger an abnormal end to a batch job (possibly triggering
108
+
an error handling routine in the outer job control system):</p>
109
+
<pre class="cobol"><code> 01 CONSTANT-ZERO S9(9)V9 VALUE 0.
110
+
01 ABEND S9(9)V9.
111
+
112
+
.
113
+
.
114
+
.
115
+
116
+
COMPUTE ABEND = CONSTANT-ZERO / CONSTANT-ZERO.</code></pre>
117
+
<h3 id="all-the-numbers">All the numbers</h3>
118
+
<p>I have yet to find an explanation for this one, but I once found a
119
+
file with just the first 800 natural numbers defined as string
120
+
constants:</p>
121
+
<pre class="cobol"><code> 01 TC0001 X(5) &quot;00001&quot;.
122
+
01 TC0002 X(5) &quot;00002&quot;.
123
+
01 TC0003 X(5) &quot;00003&quot;.
124
+
.
125
+
.
126
+
*&gt; .... 800 lines later ....
127
+
.
128
+
.
129
+
01 TC0800 X(5) &quot;00800&quot;.</code></pre>
130
+
<h3 id="dd---disk-destroyer"><code>dd</code> - disk destroyer</h3>
131
+
<p>The <code>DD</code> statement in the JCL subsystem stands for “data
132
+
definition”, which is largely used to describe files and IO streams used
133
+
by a batch job. The <code>dd</code> command <a href="#fn1"
134
+
class="footnote-ref" id="fnref1" role="doc-noteref"><sup>1</sup></a> on
135
+
UNIX is named after this statement!</p>
136
+
<section id="footnotes" class="footnotes footnotes-end-of-document"
137
+
role="doc-endnotes">
138
+
<hr />
139
+
<ol>
140
+
<li id="fn1"><p><a
141
+
href="https://en.wikipedia.org/wiki/Dd_%28Unix%29#History">Wikipedia -
142
+
dd (Unix)</a><a href="#fnref1" class="footnote-back"
143
+
role="doc-backlink">↩︎</a></p></li>
144
+
</ol>
145
+
</section></description>
146
+
<link>https://oppi.li/posts/tales_from_mainframe_modernization/</link>
147
+
<pubDate>Wed, 21 May 2025 21:54:00 +0000</pubDate>
148
+
<guid>https://oppi.li/posts/tales_from_mainframe_modernization/</guid>
149
+
</item>
150
+
<item>
15
151
<title>OSC-52</title>
16
152
<description><p>I use <code>ssh</code> a lot. Copying text from the remote machine to
17
153
the host machine always sucked. But OSC-52 makes that easy.</p>
···
60
196
above tweaks. <code>nvim</code> will pass the contents around to
61
197
<code>tmux</code>, which in turn will pass the contents to
62
198
<code>st</code>, which should pass it to your system clipboard.</p></description>
63
-
<link>https://peppe.rs/posts/OSC-52/</link>
199
+
<link>https://oppi.li/posts/OSC-52/</link>
64
200
<pubDate>Wed, 27 Nov 2024 22:56:00 +0000</pubDate>
65
-
<guid>https://peppe.rs/posts/OSC-52/</guid>
201
+
<guid>https://oppi.li/posts/OSC-52/</guid>
66
202
</item>
67
203
<item>
68
204
<title>Introducing Tablespoon</title>
···
205
341
└╴fn file
206
342
└╴fn try_consume_stdin
207
343
└╴fn main</code></pre></description>
208
-
<link>https://peppe.rs/posts/introducing_tablespoon/</link>
344
+
<link>https://oppi.li/posts/introducing_tablespoon/</link>
209
345
<pubDate>Thu, 01 Aug 2024 19:18:00 +0000</pubDate>
210
-
<guid>https://peppe.rs/posts/introducing_tablespoon/</guid>
346
+
<guid>https://oppi.li/posts/introducing_tablespoon/</guid>
211
347
</item>
212
348
<item>
213
349
<title>Snip Snap</title>
···
278
414
<code>&lt;prefix&gt;+shift+L</code>.</p>
279
415
<h4 id="qutebrowser">qutebrowser</h4>
280
416
<p>Switch to the last active tab with <code>g$</code>.</p></description>
281
-
<link>https://peppe.rs/posts/snip_snap/</link>
417
+
<link>https://oppi.li/posts/snip_snap/</link>
282
418
<pubDate>Wed, 29 May 2024 17:48:00 +0000</pubDate>
283
-
<guid>https://peppe.rs/posts/snip_snap/</guid>
419
+
<guid>https://oppi.li/posts/snip_snap/</guid>
284
420
</item>
285
421
<item>
286
422
<title>Plain Text Journaling</title>
···
519
655
though.</p>
520
656
<p><a href="https://u.peppe.rs/ZCK.png"><img
521
657
src="https://u.peppe.rs/ZCK.png" /></a></p></description>
522
-
<link>https://peppe.rs/posts/plain_text_journaling/</link>
658
+
<link>https://oppi.li/posts/plain_text_journaling/</link>
523
659
<pubDate>Sun, 18 Jun 2023 19:40:00 +0000</pubDate>
524
-
<guid>https://peppe.rs/posts/plain_text_journaling/</guid>
660
+
<guid>https://oppi.li/posts/plain_text_journaling/</guid>
525
661
</item>
526
662
<item>
527
663
<title>Curing A Case Of Git-UX</title>
···
779
915
<span id="cb16-5"><a href="#cb16-5" aria-hidden="true" tabindex="-1"></a><span class="kw">}</span></span>
780
916
<span id="cb16-6"><a href="#cb16-6" aria-hidden="true" tabindex="-1"></a></span>
781
917
<span id="cb16-7"><a href="#cb16-7" aria-hidden="true" tabindex="-1"></a><span class="bu">alias</span> gwls=<span class="st">&quot;git worktree list&quot;</span></span></code></pre></div></description>
782
-
<link>https://peppe.rs/posts/curing_a_case_of_git-UX/</link>
918
+
<link>https://oppi.li/posts/curing_a_case_of_git-UX/</link>
783
919
<pubDate>Sat, 03 Sep 2022 03:18:00 +0000</pubDate>
784
-
<guid>https://peppe.rs/posts/curing_a_case_of_git-UX/</guid>
920
+
<guid>https://oppi.li/posts/curing_a_case_of_git-UX/</guid>
785
921
</item>
786
922
<item>
787
923
<title>Programming On 34 Keys</title>
···
943
1079
accomodate special characters from their grammars (angled brackets and
944
1080
hyphens, specifically). If you are on a similar journey, I would suggest
945
1081
focusing on accuracy and comfort over speed. Speed comes with time.</p></description>
946
-
<link>https://peppe.rs/posts/programming_on_34_keys/</link>
1082
+
<link>https://oppi.li/posts/programming_on_34_keys/</link>
947
1083
<pubDate>Sun, 28 Aug 2022 13:51:00 +0000</pubDate>
948
-
<guid>https://peppe.rs/posts/programming_on_34_keys/</guid>
1084
+
<guid>https://oppi.li/posts/programming_on_34_keys/</guid>
949
1085
</item>
950
1086
<item>
951
1087
<title>A Reference Counted Afterlife</title>
···
989
1125
garbage-collection models a program’s memory.</p>
990
1126
<p>Perhaps some cheeky Egyptian has attained immortality by creating a
991
1127
<em>ren</em>-cycle.</p></description>
992
-
<link>https://peppe.rs/posts/a_reference_counted_afterlife/</link>
1128
+
<link>https://oppi.li/posts/a_reference_counted_afterlife/</link>
993
1129
<pubDate>Tue, 02 Aug 2022 16:47:00 +0000</pubDate>
994
-
<guid>https://peppe.rs/posts/a_reference_counted_afterlife/</guid>
1130
+
<guid>https://oppi.li/posts/a_reference_counted_afterlife/</guid>
995
1131
</item>
996
1132
<item>
997
1133
<title>Lotus58</title>
···
1104
1240
<img src="https://u.peppe.rs/XM3.jpg" alt="The Lotus58 in action" />
1105
1241
<figcaption aria-hidden="true">The Lotus58 in action</figcaption>
1106
1242
</figure></description>
1107
-
<link>https://peppe.rs/posts/lotus58/</link>
1243
+
<link>https://oppi.li/posts/lotus58/</link>
1108
1244
<pubDate>Mon, 13 Jun 2022 13:55:00 +0000</pubDate>
1109
-
<guid>https://peppe.rs/posts/lotus58/</guid>
1245
+
<guid>https://oppi.li/posts/lotus58/</guid>
1110
1246
</item>
1111
1247
<item>
1112
1248
<title>Lightweight Linting</title>
···
1423
1559
<span id="cb34-2"><a href="#cb34-2" aria-hidden="true" tabindex="-1"></a> name: (identifier) @fn</span>
1424
1560
<span id="cb34-3"><a href="#cb34-3" aria-hidden="true" tabindex="-1"></a> !parameters)</span>
1425
1561
<span id="cb34-4"><a href="#cb34-4" aria-hidden="true" tabindex="-1"></a> (<span class="sc">#i</span>s? @fn <span class="st">&quot;to_json&quot;</span>))</span></code></pre></div></description>
1426
-
<link>https://peppe.rs/posts/lightweight_linting/</link>
1562
+
<link>https://oppi.li/posts/lightweight_linting/</link>
1427
1563
<pubDate>Wed, 26 Jan 2022 12:52:00 +0000</pubDate>
1428
-
<guid>https://peppe.rs/posts/lightweight_linting/</guid>
1564
+
<guid>https://oppi.li/posts/lightweight_linting/</guid>
1429
1565
</item>
1430
1566
<item>
1431
1567
<title>Novice Nix: Flake Templates</title>
···
1620
1756
from the <code>biscuits</code> registry as well as the ones from
1621
1757
<code>NixOS/templates</code>. Ensure that the names don’t collide
1622
1758
though.</p></description>
1623
-
<link>https://peppe.rs/posts/novice_nix:_flake_templates/</link>
1759
+
<link>https://oppi.li/posts/novice_nix:_flake_templates/</link>
1624
1760
<pubDate>Tue, 05 Oct 2021 16:49:00 +0000</pubDate>
1625
-
<guid>https://peppe.rs/posts/novice_nix:_flake_templates/</guid>
1761
+
<guid>https://oppi.li/posts/novice_nix:_flake_templates/</guid>
1626
1762
</item>
1627
1763
<item>
1628
1764
<title>SDL2 Devlog</title>
···
1907
2043
<img src="https://u.peppe.rs/Ma.png" alt="Day 1" />
1908
2044
<figcaption aria-hidden="true">Day 1</figcaption>
1909
2045
</figure></description>
1910
-
<link>https://peppe.rs/posts/SDL2_devlog/</link>
2046
+
<link>https://oppi.li/posts/SDL2_devlog/</link>
1911
2047
<pubDate>Sun, 11 Apr 2021 10:46:00 +0000</pubDate>
1912
-
<guid>https://peppe.rs/posts/SDL2_devlog/</guid>
2048
+
<guid>https://oppi.li/posts/SDL2_devlog/</guid>
1913
2049
</item>
1914
2050
<item>
1915
2051
<title>Self-hosting Git</title>
···
2072
2208
2073
2209
remote=$(git remote get-url --push origin)
2074
2210
scp .git/description &quot;$remote/description&quot;</code></pre></description>
2075
-
<link>https://peppe.rs/posts/self-hosting_git/</link>
2211
+
<link>https://oppi.li/posts/self-hosting_git/</link>
2076
2212
<pubDate>Sat, 17 Oct 2020 07:04:00 +0000</pubDate>
2077
-
<guid>https://peppe.rs/posts/self-hosting_git/</guid>
2213
+
<guid>https://oppi.li/posts/self-hosting_git/</guid>
2078
2214
</item>
2079
2215
<item>
2080
2216
<title>NixOS</title>
···
2150
2286
current system</a>.</p>
2151
2287
<p><a href="https://u.peppe.rs/6m.png"><img
2152
2288
src="https://u.peppe.rs/6m.png" /></a></p></description>
2153
-
<link>https://peppe.rs/posts/nixOS/</link>
2289
+
<link>https://oppi.li/posts/nixOS/</link>
2154
2290
<pubDate>Tue, 01 Sep 2020 07:08:00 +0000</pubDate>
2155
-
<guid>https://peppe.rs/posts/nixOS/</guid>
2291
+
<guid>https://oppi.li/posts/nixOS/</guid>
2156
2292
</item>
2157
2293
<item>
2158
2294
<title>Gripes With Go</title>
···
2298
2434
lack of metaprogramming, bizzare export rules, but, I am too busy
2299
2435
converting my <code>interface{}</code> types into actual generic code
2300
2436
for Go v2.</p></description>
2301
-
<link>https://peppe.rs/posts/gripes_with_go/</link>
2437
+
<link>https://oppi.li/posts/gripes_with_go/</link>
2302
2438
<pubDate>Sat, 01 Aug 2020 11:55:00 +0000</pubDate>
2303
-
<guid>https://peppe.rs/posts/gripes_with_go/</guid>
2439
+
<guid>https://oppi.li/posts/gripes_with_go/</guid>
2304
2440
</item>
2305
2441
<item>
2306
2442
<title>Turing Complete Type Systems</title>
···
2327
2463
compiling your Rust program! I lied, <code>rustc</code> stops after a
2328
2464
while, after hitting the recursion limit.</p>
2329
2465
<p>I understand that this post lacks content.</p></description>
2330
-
<link>https://peppe.rs/posts/turing_complete_type_systems/</link>
2466
+
<link>https://oppi.li/posts/turing_complete_type_systems/</link>
2331
2467
<pubDate>Wed, 17 Jun 2020 18:30:00 +0000</pubDate>
2332
-
<guid>https://peppe.rs/posts/turing_complete_type_systems/</guid>
2468
+
<guid>https://oppi.li/posts/turing_complete_type_systems/</guid>
2333
2469
</item>
2334
2470
<item>
2335
2471
<title>Auto-currying Rust Functions</title>
···
3059
3195
class="footnote-back" role="doc-backlink">↩︎</a></p></li>
3060
3196
</ol>
3061
3197
</section></description>
3062
-
<link>https://peppe.rs/posts/auto-currying_rust_functions/</link>
3198
+
<link>https://oppi.li/posts/auto-currying_rust_functions/</link>
3063
3199
<pubDate>Fri, 08 May 2020 18:30:00 +0000</pubDate>
3064
-
<guid>https://peppe.rs/posts/auto-currying_rust_functions/</guid>
3200
+
<guid>https://oppi.li/posts/auto-currying_rust_functions/</guid>
3065
3201
</item>
3066
3202
<item>
3067
3203
<title>Pixel Art In GIMP</title>
···
3165
3301
<code>Quality &gt; Interpolation</code> to <code>None</code> and scale
3166
3302
it up to 700x700, et voilà!</p>
3167
3303
<p><img src="https://u.peppe.rs/CH.png" /></p></description>
3168
-
<link>https://peppe.rs/posts/pixel_art_in_GIMP/</link>
3304
+
<link>https://oppi.li/posts/pixel_art_in_GIMP/</link>
3169
3305
<pubDate>Wed, 08 Apr 2020 18:30:00 +0000</pubDate>
3170
-
<guid>https://peppe.rs/posts/pixel_art_in_GIMP/</guid>
3306
+
<guid>https://oppi.li/posts/pixel_art_in_GIMP/</guid>
3171
3307
</item>
3172
3308
<item>
3173
3309
<title>Rapid Refactoring With Vim</title>
···
3323
3459
class="footnote-back" role="doc-backlink">↩︎</a></p></li>
3324
3460
</ol>
3325
3461
</section></description>
3326
-
<link>https://peppe.rs/posts/rapid_refactoring_with_vim/</link>
3462
+
<link>https://oppi.li/posts/rapid_refactoring_with_vim/</link>
3327
3463
<pubDate>Tue, 31 Mar 2020 18:30:00 +0000</pubDate>
3328
-
<guid>https://peppe.rs/posts/rapid_refactoring_with_vim/</guid>
3464
+
<guid>https://oppi.li/posts/rapid_refactoring_with_vim/</guid>
3329
3465
</item>
3330
3466
<item>
3331
3467
<title>Font Size Fallacies</title>
···
3400
3536
href="#fnref4" class="footnote-back" role="doc-backlink">↩︎</a></p></li>
3401
3537
</ol>
3402
3538
</section></description>
3403
-
<link>https://peppe.rs/posts/font_size_fallacies/</link>
3539
+
<link>https://oppi.li/posts/font_size_fallacies/</link>
3404
3540
<pubDate>Mon, 16 Mar 2020 18:30:00 +0000</pubDate>
3405
-
<guid>https://peppe.rs/posts/font_size_fallacies/</guid>
3541
+
<guid>https://oppi.li/posts/font_size_fallacies/</guid>
3406
3542
</item>
3407
3543
<item>
3408
3544
<title>Termux Tandem</title>
···
3439
3575
<code>cmus</code> is a viable option:</p>
3440
3576
<p><a href="https://u.peppe.rs/CP.jpg"><img
3441
3577
src="https://u.peppe.rs/CP.jpg" /></a></p></description>
3442
-
<link>https://peppe.rs/posts/termux_tandem/</link>
3578
+
<link>https://oppi.li/posts/termux_tandem/</link>
3443
3579
<pubDate>Sat, 07 Mar 2020 18:30:00 +0000</pubDate>
3444
-
<guid>https://peppe.rs/posts/termux_tandem/</guid>
3580
+
<guid>https://oppi.li/posts/termux_tandem/</guid>
3445
3581
</item>
3446
3582
<item>
3447
3583
<title>Call To ARMs</title>
···
3499
3635
<h3 id="editing">Editing</h3>
3500
3636
<p>Vim, with <code>syntax off</code> because it dosen’t handle GNU ARM
3501
3637
syntax too well.</p></description>
3502
-
<link>https://peppe.rs/posts/call_to_ARMs/</link>
3638
+
<link>https://oppi.li/posts/call_to_ARMs/</link>
3503
3639
<pubDate>Fri, 07 Feb 2020 18:30:00 +0000</pubDate>
3504
-
<guid>https://peppe.rs/posts/call_to_ARMs/</guid>
3640
+
<guid>https://oppi.li/posts/call_to_ARMs/</guid>
3505
3641
</item>
3506
3642
<item>
3507
3643
<title>Color Conundrum</title>
···
3531
3667
text) are dimmed further.</p>
3532
3668
<p>I’ll stop myself before I rant about color contrast and
3533
3669
combinations.</p></description>
3534
-
<link>https://peppe.rs/posts/color_conundrum/</link>
3670
+
<link>https://oppi.li/posts/color_conundrum/</link>
3535
3671
<pubDate>Mon, 30 Dec 2019 18:30:00 +0000</pubDate>
3536
-
<guid>https://peppe.rs/posts/color_conundrum/</guid>
3672
+
<guid>https://oppi.li/posts/color_conundrum/</guid>
3537
3673
</item>
3538
3674
<item>
3539
3675
<title>Static Sites With Bash</title>
···
3582
3718
avoid javascript). It uses <code>sed</code> to produce nice titles from
3583
3719
the file names (removes underscores, title-case), and
3584
3720
<code>date(1)</code> to add the date to each post listing!</p></description>
3585
-
<link>https://peppe.rs/posts/static_sites_with_bash/</link>
3721
+
<link>https://oppi.li/posts/static_sites_with_bash/</link>
3586
3722
<pubDate>Fri, 22 Nov 2019 18:30:00 +0000</pubDate>
3587
-
<guid>https://peppe.rs/posts/static_sites_with_bash/</guid>
3723
+
<guid>https://oppi.li/posts/static_sites_with_bash/</guid>
3588
3724
</item>
3589
3725
<item>
3590
3726
<title>My Setup</title>
···
3611
3747
<p>Most of my academic typesetting is done with TeX, and compiled with
3612
3748
<code>xelatex</code>. Other <em>fun</em> documents are made with GIMP
3613
3749
:).</p></description>
3614
-
<link>https://peppe.rs/posts/my_setup/</link>
3750
+
<link>https://oppi.li/posts/my_setup/</link>
3615
3751
<pubDate>Wed, 06 Nov 2019 18:30:00 +0000</pubDate>
3616
-
<guid>https://peppe.rs/posts/my_setup/</guid>
3752
+
<guid>https://oppi.li/posts/my_setup/</guid>
3617
3753
</item>
3618
3754
<item>
3619
3755
<title>WPA Woes</title>
···
3646
3782
$ sudo ln -s /etc/sv/dhcpcd /var/service/
3647
3783
$ sudo sv restart wpa_supplicant
3648
3784
$ sudo sv restart dhcpcd</code></pre></description>
3649
-
<link>https://peppe.rs/posts/WPA_woes/</link>
3785
+
<link>https://oppi.li/posts/WPA_woes/</link>
3650
3786
<pubDate>Sat, 12 Oct 2019 16:23:00 +0000</pubDate>
3651
-
<guid>https://peppe.rs/posts/WPA_woes/</guid>
3787
+
<guid>https://oppi.li/posts/WPA_woes/</guid>
3652
3788
</item>
3653
3789
<item>
3654
3790
<title>Bye Bye BDFs</title>
···
3676
3812
href="https://github.com/nerdypepper/scientifica">scientifica</a> and <a
3677
3813
href="https://github.com/nerdypepper/curie">curie</a> will soon ship
3678
3814
with bitmap-only OpenType font formats.</p></description>
3679
-
<link>https://peppe.rs/posts/bye_bye_BDFs/</link>
3815
+
<link>https://oppi.li/posts/bye_bye_BDFs/</link>
3680
3816
<pubDate>Wed, 07 Aug 2019 17:26:00 +0000</pubDate>
3681
-
<guid>https://peppe.rs/posts/bye_bye_BDFs/</guid>
3817
+
<guid>https://oppi.li/posts/bye_bye_BDFs/</guid>
3682
3818
</item>
3683
3819
<item>
3684
3820
<title>Onivim Sucks</title>
···
3714
3850
pricing which is 80% off the final price! If you are on the lookout for
3715
3851
an editor, I would suggest using <a href="https://vim.org">Vim</a>,
3716
3852
charity ware that actually works, and costs $100 lesser.</p></description>
3717
-
<link>https://peppe.rs/posts/onivim_sucks/</link>
3853
+
<link>https://oppi.li/posts/onivim_sucks/</link>
3718
3854
<pubDate>Fri, 02 Aug 2019 16:32:00 +0000</pubDate>
3719
-
<guid>https://peppe.rs/posts/onivim_sucks/</guid>
3855
+
<guid>https://oppi.li/posts/onivim_sucks/</guid>
3720
3856
</item>
3721
3857
<item>
3722
3858
<title>Bash Harder With Vim</title>
···
3762
3898
<pre><code>$ vim
3763
3899
New Post # output
3764
3900
Press ENTER or type command to continue</code></pre></description>
3765
-
<link>https://peppe.rs/posts/bash_harder_with_vim/</link>
3901
+
<link>https://oppi.li/posts/bash_harder_with_vim/</link>
3766
3902
<pubDate>Tue, 30 Jul 2019 18:30:00 +0000</pubDate>
3767
-
<guid>https://peppe.rs/posts/bash_harder_with_vim/</guid>
3903
+
<guid>https://oppi.li/posts/bash_harder_with_vim/</guid>
3768
3904
</item>
3769
3905
<item>
3770
3906
<title>Hold Position!</title>
···
3786
3922
<p>It might seem a little overkill in the above example, just use ``
3787
3923
(double backticks) instead, but it comes in handy when you run your file
3788
3924
through heavier filtering.</p></description>
3789
-
<link>https://peppe.rs/posts/hold_position!/</link>
3925
+
<link>https://oppi.li/posts/hold_position!/</link>
3790
3926
<pubDate>Tue, 30 Jul 2019 14:45:00 +0000</pubDate>
3791
-
<guid>https://peppe.rs/posts/hold_position!/</guid>
3927
+
<guid>https://oppi.li/posts/hold_position!/</guid>
3792
3928
</item>
3793
3929
<item>
3794
3930
<title>Get Better At Yanking And Putting In Vim</title>
···
3810
3946
<pre><code>]p &quot; put (p) and adjust indent to current line
3811
3947
]P &quot; put the text before the cursor (P) and adjust indent to current line</code></pre></li>
3812
3948
</ol></description>
3813
-
<link>https://peppe.rs/posts/get_better_at_yanking_and_putting_in_vim/</link>
3949
+
<link>https://oppi.li/posts/get_better_at_yanking_and_putting_in_vim/</link>
3814
3950
<pubDate>Tue, 30 Jul 2019 08:43:00 +0000</pubDate>
3815
-
<guid>https://peppe.rs/posts/get_better_at_yanking_and_putting_in_vim/</guid>
3951
+
<guid>https://oppi.li/posts/get_better_at_yanking_and_putting_in_vim/</guid>
3816
3952
</item>
3817
3953
3818
3954
+8
-12
docs/posts/OSC-52/index.html
+8
-12
docs/posts/OSC-52/index.html
···
10
10
<meta property="og:title" content="OSC-52">
11
11
<meta property="og:type" content="website">
12
12
<meta property="og:description" content="a static site {for, by, about} me ">
13
-
<meta property="og:url" content="https://peppe.rs">
13
+
<meta property="og:url" content="https://oppi.li">
14
14
<link rel="icon" type="image/x-icon" href="/favicon.png">
15
-
<title>OSC-52 · peppe.rs</title>
15
+
<title>OSC-52 · oppi.li</title>
16
16
<body>
17
17
<div class="posts">
18
18
<div class="post">
···
21
21
<a href="/posts" class="post-end-link">Posts</a>
22
22
<span>/</span>
23
23
<a class="post-end-link">OSC-52</a>
24
-
<a class="stats post-end-link" href="https://git.peppe.rs/web/site/plain/posts/OSC-52.md
24
+
<a class="stats post-end-link" href="https://tangled.sh/@oppi.li/site/raw/master/posts/OSC-52.md
25
25
">View Raw</a>
26
26
<div class="separator"></div>
27
27
<div class="date">
28
-
28/11 — 2024
28
+
27/11 — 2024
29
29
<div class="stats">
30
30
<span class="stats-number">
31
31
26.37
···
97
97
<div class="hot-links">
98
98
<a href="/index.xml" class="feed-button">Subscribe</a>
99
99
</div>
100
-
<p>I'm Akshay, programmer and pixel-artist.
101
-
I write <a href="https://git.peppe.rs">open-source stuff</a>.
102
-
I also design fonts:
103
-
<a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
104
-
<a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
105
-
</p>
106
-
<p>Reach out at oppili@irc.rizon.net.</p>
100
+
<p>I'm Akshay, programmer, pixel-artist & programming-language enthusiast.</p>
101
+
<p>I am currently building <a href="https://tangled.sh">tangled.sh</a> — a decentralized code-collaboration platform.</p>
102
+
<p>Reach out at oppili@libera.chat.</p>
107
103
</div>
108
104
109
105
<a href="/" class="post-end-link">Home</a>
···
111
107
<a href="/posts" class="post-end-link">Posts</a>
112
108
<span>/</span>
113
109
<a class="post-end-link">OSC-52</a>
114
-
<a class="stats post-end-link" href="https://git.peppe.rs/web/site/plain/posts/OSC-52.md
110
+
<a class="stats post-end-link" href="https://tangled.sh/@oppi.li/site/raw/master/posts/OSC-52.md
115
111
">View Raw</a>
116
112
</div>
117
113
</div>
+7
-11
docs/posts/SDL2_devlog/index.html
+7
-11
docs/posts/SDL2_devlog/index.html
···
10
10
<meta property="og:title" content="SDL2 Devlog">
11
11
<meta property="og:type" content="website">
12
12
<meta property="og:description" content="a static site {for, by, about} me ">
13
-
<meta property="og:url" content="https://peppe.rs">
13
+
<meta property="og:url" content="https://oppi.li">
14
14
<link rel="icon" type="image/x-icon" href="/favicon.png">
15
-
<title>SDL2 Devlog · peppe.rs</title>
15
+
<title>SDL2 Devlog · oppi.li</title>
16
16
<body>
17
17
<div class="posts">
18
18
<div class="post">
···
21
21
<a href="/posts" class="post-end-link">Posts</a>
22
22
<span>/</span>
23
23
<a class="post-end-link">SDL2 Devlog</a>
24
-
<a class="stats post-end-link" href="https://git.peppe.rs/web/site/plain/posts/SDL2_devlog.md
24
+
<a class="stats post-end-link" href="https://tangled.sh/@oppi.li/site/raw/master/posts/SDL2_devlog.md
25
25
">View Raw</a>
26
26
<div class="separator"></div>
27
27
<div class="date">
···
331
331
<div class="hot-links">
332
332
<a href="/index.xml" class="feed-button">Subscribe</a>
333
333
</div>
334
-
<p>I'm Akshay, programmer and pixel-artist.
335
-
I write <a href="https://git.peppe.rs">open-source stuff</a>.
336
-
I also design fonts:
337
-
<a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
338
-
<a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
339
-
</p>
340
-
<p>Reach out at oppili@irc.rizon.net.</p>
334
+
<p>I'm Akshay, programmer, pixel-artist & programming-language enthusiast.</p>
335
+
<p>I am currently building <a href="https://tangled.sh">tangled.sh</a> — a decentralized code-collaboration platform.</p>
336
+
<p>Reach out at oppili@libera.chat.</p>
341
337
</div>
342
338
343
339
<a href="/" class="post-end-link">Home</a>
···
345
341
<a href="/posts" class="post-end-link">Posts</a>
346
342
<span>/</span>
347
343
<a class="post-end-link">SDL2 Devlog</a>
348
-
<a class="stats post-end-link" href="https://git.peppe.rs/web/site/plain/posts/SDL2_devlog.md
344
+
<a class="stats post-end-link" href="https://tangled.sh/@oppi.li/site/raw/master/posts/SDL2_devlog.md
349
345
">View Raw</a>
350
346
</div>
351
347
</div>
+7
-11
docs/posts/WPA_woes/index.html
+7
-11
docs/posts/WPA_woes/index.html
···
10
10
<meta property="og:title" content="WPA Woes">
11
11
<meta property="og:type" content="website">
12
12
<meta property="og:description" content="a static site {for, by, about} me ">
13
-
<meta property="og:url" content="https://peppe.rs">
13
+
<meta property="og:url" content="https://oppi.li">
14
14
<link rel="icon" type="image/x-icon" href="/favicon.png">
15
-
<title>WPA Woes · peppe.rs</title>
15
+
<title>WPA Woes · oppi.li</title>
16
16
<body>
17
17
<div class="posts">
18
18
<div class="post">
···
21
21
<a href="/posts" class="post-end-link">Posts</a>
22
22
<span>/</span>
23
23
<a class="post-end-link">WPA Woes</a>
24
-
<a class="stats post-end-link" href="https://git.peppe.rs/web/site/plain/posts/WPA_woes.md
24
+
<a class="stats post-end-link" href="https://tangled.sh/@oppi.li/site/raw/master/posts/WPA_woes.md
25
25
">View Raw</a>
26
26
<div class="separator"></div>
27
27
<div class="date">
···
79
79
<div class="hot-links">
80
80
<a href="/index.xml" class="feed-button">Subscribe</a>
81
81
</div>
82
-
<p>I'm Akshay, programmer and pixel-artist.
83
-
I write <a href="https://git.peppe.rs">open-source stuff</a>.
84
-
I also design fonts:
85
-
<a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
86
-
<a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
87
-
</p>
88
-
<p>Reach out at oppili@irc.rizon.net.</p>
82
+
<p>I'm Akshay, programmer, pixel-artist & programming-language enthusiast.</p>
83
+
<p>I am currently building <a href="https://tangled.sh">tangled.sh</a> — a decentralized code-collaboration platform.</p>
84
+
<p>Reach out at oppili@libera.chat.</p>
89
85
</div>
90
86
91
87
<a href="/" class="post-end-link">Home</a>
···
93
89
<a href="/posts" class="post-end-link">Posts</a>
94
90
<span>/</span>
95
91
<a class="post-end-link">WPA Woes</a>
96
-
<a class="stats post-end-link" href="https://git.peppe.rs/web/site/plain/posts/WPA_woes.md
92
+
<a class="stats post-end-link" href="https://tangled.sh/@oppi.li/site/raw/master/posts/WPA_woes.md
97
93
">View Raw</a>
98
94
</div>
99
95
</div>
+7
-11
docs/posts/a_reference_counted_afterlife/index.html
+7
-11
docs/posts/a_reference_counted_afterlife/index.html
···
10
10
<meta property="og:title" content="A Reference Counted Afterlife">
11
11
<meta property="og:type" content="website">
12
12
<meta property="og:description" content="a static site {for, by, about} me ">
13
-
<meta property="og:url" content="https://peppe.rs">
13
+
<meta property="og:url" content="https://oppi.li">
14
14
<link rel="icon" type="image/x-icon" href="/favicon.png">
15
-
<title>A Reference Counted Afterlife · peppe.rs</title>
15
+
<title>A Reference Counted Afterlife · oppi.li</title>
16
16
<body>
17
17
<div class="posts">
18
18
<div class="post">
···
21
21
<a href="/posts" class="post-end-link">Posts</a>
22
22
<span>/</span>
23
23
<a class="post-end-link">A Reference Counted Afterlife</a>
24
-
<a class="stats post-end-link" href="https://git.peppe.rs/web/site/plain/posts/a_reference_counted_afterlife.md
24
+
<a class="stats post-end-link" href="https://tangled.sh/@oppi.li/site/raw/master/posts/a_reference_counted_afterlife.md
25
25
">View Raw</a>
26
26
<div class="separator"></div>
27
27
<div class="date">
···
90
90
<div class="hot-links">
91
91
<a href="/index.xml" class="feed-button">Subscribe</a>
92
92
</div>
93
-
<p>I'm Akshay, programmer and pixel-artist.
94
-
I write <a href="https://git.peppe.rs">open-source stuff</a>.
95
-
I also design fonts:
96
-
<a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
97
-
<a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
98
-
</p>
99
-
<p>Reach out at oppili@irc.rizon.net.</p>
93
+
<p>I'm Akshay, programmer, pixel-artist & programming-language enthusiast.</p>
94
+
<p>I am currently building <a href="https://tangled.sh">tangled.sh</a> — a decentralized code-collaboration platform.</p>
95
+
<p>Reach out at oppili@libera.chat.</p>
100
96
</div>
101
97
102
98
<a href="/" class="post-end-link">Home</a>
···
104
100
<a href="/posts" class="post-end-link">Posts</a>
105
101
<span>/</span>
106
102
<a class="post-end-link">A Reference Counted Afterlife</a>
107
-
<a class="stats post-end-link" href="https://git.peppe.rs/web/site/plain/posts/a_reference_counted_afterlife.md
103
+
<a class="stats post-end-link" href="https://tangled.sh/@oppi.li/site/raw/master/posts/a_reference_counted_afterlife.md
108
104
">View Raw</a>
109
105
</div>
110
106
</div>
+8
-12
docs/posts/auto-currying_rust_functions/index.html
+8
-12
docs/posts/auto-currying_rust_functions/index.html
···
10
10
<meta property="og:title" content="Auto-currying Rust Functions">
11
11
<meta property="og:type" content="website">
12
12
<meta property="og:description" content="a static site {for, by, about} me ">
13
-
<meta property="og:url" content="https://peppe.rs">
13
+
<meta property="og:url" content="https://oppi.li">
14
14
<link rel="icon" type="image/x-icon" href="/favicon.png">
15
-
<title>Auto-currying Rust Functions · peppe.rs</title>
15
+
<title>Auto-currying Rust Functions · oppi.li</title>
16
16
<body>
17
17
<div class="posts">
18
18
<div class="post">
···
21
21
<a href="/posts" class="post-end-link">Posts</a>
22
22
<span>/</span>
23
23
<a class="post-end-link">Auto-currying Rust Functions</a>
24
-
<a class="stats post-end-link" href="https://git.peppe.rs/web/site/plain/posts/auto-currying_rust_functions.md
24
+
<a class="stats post-end-link" href="https://tangled.sh/@oppi.li/site/raw/master/posts/auto-currying_rust_functions.md
25
25
">View Raw</a>
26
26
<div class="separator"></div>
27
27
<div class="date">
28
-
09/05 — 2020
28
+
08/05 — 2020
29
29
<div class="stats">
30
30
<span class="stats-number">
31
31
356.44
···
776
776
<div class="hot-links">
777
777
<a href="/index.xml" class="feed-button">Subscribe</a>
778
778
</div>
779
-
<p>I'm Akshay, programmer and pixel-artist.
780
-
I write <a href="https://git.peppe.rs">open-source stuff</a>.
781
-
I also design fonts:
782
-
<a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
783
-
<a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
784
-
</p>
785
-
<p>Reach out at oppili@irc.rizon.net.</p>
779
+
<p>I'm Akshay, programmer, pixel-artist & programming-language enthusiast.</p>
780
+
<p>I am currently building <a href="https://tangled.sh">tangled.sh</a> — a decentralized code-collaboration platform.</p>
781
+
<p>Reach out at oppili@libera.chat.</p>
786
782
</div>
787
783
788
784
<a href="/" class="post-end-link">Home</a>
···
790
786
<a href="/posts" class="post-end-link">Posts</a>
791
787
<span>/</span>
792
788
<a class="post-end-link">Auto-currying Rust Functions</a>
793
-
<a class="stats post-end-link" href="https://git.peppe.rs/web/site/plain/posts/auto-currying_rust_functions.md
789
+
<a class="stats post-end-link" href="https://tangled.sh/@oppi.li/site/raw/master/posts/auto-currying_rust_functions.md
794
790
">View Raw</a>
795
791
</div>
796
792
</div>
+8
-12
docs/posts/bash_harder_with_vim/index.html
+8
-12
docs/posts/bash_harder_with_vim/index.html
···
10
10
<meta property="og:title" content="Bash Harder With Vim">
11
11
<meta property="og:type" content="website">
12
12
<meta property="og:description" content="a static site {for, by, about} me ">
13
-
<meta property="og:url" content="https://peppe.rs">
13
+
<meta property="og:url" content="https://oppi.li">
14
14
<link rel="icon" type="image/x-icon" href="/favicon.png">
15
-
<title>Bash Harder With Vim · peppe.rs</title>
15
+
<title>Bash Harder With Vim · oppi.li</title>
16
16
<body>
17
17
<div class="posts">
18
18
<div class="post">
···
21
21
<a href="/posts" class="post-end-link">Posts</a>
22
22
<span>/</span>
23
23
<a class="post-end-link">Bash Harder With Vim</a>
24
-
<a class="stats post-end-link" href="https://git.peppe.rs/web/site/plain/posts/bash_harder_with_vim.md
24
+
<a class="stats post-end-link" href="https://tangled.sh/@oppi.li/site/raw/master/posts/bash_harder_with_vim.md
25
25
">View Raw</a>
26
26
<div class="separator"></div>
27
27
<div class="date">
28
-
31/07 — 2019
28
+
30/07 — 2019
29
29
<div class="stats">
30
30
<span class="stats-number">
31
31
24.38
···
92
92
<div class="hot-links">
93
93
<a href="/index.xml" class="feed-button">Subscribe</a>
94
94
</div>
95
-
<p>I'm Akshay, programmer and pixel-artist.
96
-
I write <a href="https://git.peppe.rs">open-source stuff</a>.
97
-
I also design fonts:
98
-
<a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
99
-
<a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
100
-
</p>
101
-
<p>Reach out at oppili@irc.rizon.net.</p>
95
+
<p>I'm Akshay, programmer, pixel-artist & programming-language enthusiast.</p>
96
+
<p>I am currently building <a href="https://tangled.sh">tangled.sh</a> — a decentralized code-collaboration platform.</p>
97
+
<p>Reach out at oppili@libera.chat.</p>
102
98
</div>
103
99
104
100
<a href="/" class="post-end-link">Home</a>
···
106
102
<a href="/posts" class="post-end-link">Posts</a>
107
103
<span>/</span>
108
104
<a class="post-end-link">Bash Harder With Vim</a>
109
-
<a class="stats post-end-link" href="https://git.peppe.rs/web/site/plain/posts/bash_harder_with_vim.md
105
+
<a class="stats post-end-link" href="https://tangled.sh/@oppi.li/site/raw/master/posts/bash_harder_with_vim.md
110
106
">View Raw</a>
111
107
</div>
112
108
</div>
+7
-11
docs/posts/bye_bye_BDFs/index.html
+7
-11
docs/posts/bye_bye_BDFs/index.html
···
10
10
<meta property="og:title" content="Bye Bye BDFs">
11
11
<meta property="og:type" content="website">
12
12
<meta property="og:description" content="a static site {for, by, about} me ">
13
-
<meta property="og:url" content="https://peppe.rs">
13
+
<meta property="og:url" content="https://oppi.li">
14
14
<link rel="icon" type="image/x-icon" href="/favicon.png">
15
-
<title>Bye Bye BDFs · peppe.rs</title>
15
+
<title>Bye Bye BDFs · oppi.li</title>
16
16
<body>
17
17
<div class="posts">
18
18
<div class="post">
···
21
21
<a href="/posts" class="post-end-link">Posts</a>
22
22
<span>/</span>
23
23
<a class="post-end-link">Bye Bye BDFs</a>
24
-
<a class="stats post-end-link" href="https://git.peppe.rs/web/site/plain/posts/bye_bye_BDFs.md
24
+
<a class="stats post-end-link" href="https://tangled.sh/@oppi.li/site/raw/master/posts/bye_bye_BDFs.md
25
25
">View Raw</a>
26
26
<div class="separator"></div>
27
27
<div class="date">
···
74
74
<div class="hot-links">
75
75
<a href="/index.xml" class="feed-button">Subscribe</a>
76
76
</div>
77
-
<p>I'm Akshay, programmer and pixel-artist.
78
-
I write <a href="https://git.peppe.rs">open-source stuff</a>.
79
-
I also design fonts:
80
-
<a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
81
-
<a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
82
-
</p>
83
-
<p>Reach out at oppili@irc.rizon.net.</p>
77
+
<p>I'm Akshay, programmer, pixel-artist & programming-language enthusiast.</p>
78
+
<p>I am currently building <a href="https://tangled.sh">tangled.sh</a> — a decentralized code-collaboration platform.</p>
79
+
<p>Reach out at oppili@libera.chat.</p>
84
80
</div>
85
81
86
82
<a href="/" class="post-end-link">Home</a>
···
88
84
<a href="/posts" class="post-end-link">Posts</a>
89
85
<span>/</span>
90
86
<a class="post-end-link">Bye Bye BDFs</a>
91
-
<a class="stats post-end-link" href="https://git.peppe.rs/web/site/plain/posts/bye_bye_BDFs.md
87
+
<a class="stats post-end-link" href="https://tangled.sh/@oppi.li/site/raw/master/posts/bye_bye_BDFs.md
92
88
">View Raw</a>
93
89
</div>
94
90
</div>
+8
-12
docs/posts/call_to_ARMs/index.html
+8
-12
docs/posts/call_to_ARMs/index.html
···
10
10
<meta property="og:title" content="Call To ARMs">
11
11
<meta property="og:type" content="website">
12
12
<meta property="og:description" content="a static site {for, by, about} me ">
13
-
<meta property="og:url" content="https://peppe.rs">
13
+
<meta property="og:url" content="https://oppi.li">
14
14
<link rel="icon" type="image/x-icon" href="/favicon.png">
15
-
<title>Call To ARMs · peppe.rs</title>
15
+
<title>Call To ARMs · oppi.li</title>
16
16
<body>
17
17
<div class="posts">
18
18
<div class="post">
···
21
21
<a href="/posts" class="post-end-link">Posts</a>
22
22
<span>/</span>
23
23
<a class="post-end-link">Call To ARMs</a>
24
-
<a class="stats post-end-link" href="https://git.peppe.rs/web/site/plain/posts/call_to_ARMs.md
24
+
<a class="stats post-end-link" href="https://tangled.sh/@oppi.li/site/raw/master/posts/call_to_ARMs.md
25
25
">View Raw</a>
26
26
<div class="separator"></div>
27
27
<div class="date">
28
-
08/02 — 2020
28
+
07/02 — 2020
29
29
<div class="stats">
30
30
<span class="stats-number">
31
31
33.57
···
104
104
<div class="hot-links">
105
105
<a href="/index.xml" class="feed-button">Subscribe</a>
106
106
</div>
107
-
<p>I'm Akshay, programmer and pixel-artist.
108
-
I write <a href="https://git.peppe.rs">open-source stuff</a>.
109
-
I also design fonts:
110
-
<a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
111
-
<a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
112
-
</p>
113
-
<p>Reach out at oppili@irc.rizon.net.</p>
107
+
<p>I'm Akshay, programmer, pixel-artist & programming-language enthusiast.</p>
108
+
<p>I am currently building <a href="https://tangled.sh">tangled.sh</a> — a decentralized code-collaboration platform.</p>
109
+
<p>Reach out at oppili@libera.chat.</p>
114
110
</div>
115
111
116
112
<a href="/" class="post-end-link">Home</a>
···
118
114
<a href="/posts" class="post-end-link">Posts</a>
119
115
<span>/</span>
120
116
<a class="post-end-link">Call To ARMs</a>
121
-
<a class="stats post-end-link" href="https://git.peppe.rs/web/site/plain/posts/call_to_ARMs.md
117
+
<a class="stats post-end-link" href="https://tangled.sh/@oppi.li/site/raw/master/posts/call_to_ARMs.md
122
118
">View Raw</a>
123
119
</div>
124
120
</div>
+8
-12
docs/posts/color_conundrum/index.html
+8
-12
docs/posts/color_conundrum/index.html
···
10
10
<meta property="og:title" content="Color Conundrum">
11
11
<meta property="og:type" content="website">
12
12
<meta property="og:description" content="a static site {for, by, about} me ">
13
-
<meta property="og:url" content="https://peppe.rs">
13
+
<meta property="og:url" content="https://oppi.li">
14
14
<link rel="icon" type="image/x-icon" href="/favicon.png">
15
-
<title>Color Conundrum · peppe.rs</title>
15
+
<title>Color Conundrum · oppi.li</title>
16
16
<body>
17
17
<div class="posts">
18
18
<div class="post">
···
21
21
<a href="/posts" class="post-end-link">Posts</a>
22
22
<span>/</span>
23
23
<a class="post-end-link">Color Conundrum</a>
24
-
<a class="stats post-end-link" href="https://git.peppe.rs/web/site/plain/posts/color_conundrum.md
24
+
<a class="stats post-end-link" href="https://tangled.sh/@oppi.li/site/raw/master/posts/color_conundrum.md
25
25
">View Raw</a>
26
26
<div class="separator"></div>
27
27
<div class="date">
28
-
31/12 — 2019
28
+
30/12 — 2019
29
29
<div class="stats">
30
30
<span class="stats-number">
31
31
14.39
···
76
76
<div class="hot-links">
77
77
<a href="/index.xml" class="feed-button">Subscribe</a>
78
78
</div>
79
-
<p>I'm Akshay, programmer and pixel-artist.
80
-
I write <a href="https://git.peppe.rs">open-source stuff</a>.
81
-
I also design fonts:
82
-
<a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
83
-
<a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
84
-
</p>
85
-
<p>Reach out at oppili@irc.rizon.net.</p>
79
+
<p>I'm Akshay, programmer, pixel-artist & programming-language enthusiast.</p>
80
+
<p>I am currently building <a href="https://tangled.sh">tangled.sh</a> — a decentralized code-collaboration platform.</p>
81
+
<p>Reach out at oppili@libera.chat.</p>
86
82
</div>
87
83
88
84
<a href="/" class="post-end-link">Home</a>
···
90
86
<a href="/posts" class="post-end-link">Posts</a>
91
87
<span>/</span>
92
88
<a class="post-end-link">Color Conundrum</a>
93
-
<a class="stats post-end-link" href="https://git.peppe.rs/web/site/plain/posts/color_conundrum.md
89
+
<a class="stats post-end-link" href="https://tangled.sh/@oppi.li/site/raw/master/posts/color_conundrum.md
94
90
">View Raw</a>
95
91
</div>
96
92
</div>
+7
-11
docs/posts/curing_a_case_of_git-UX/index.html
+7
-11
docs/posts/curing_a_case_of_git-UX/index.html
···
10
10
<meta property="og:title" content="Curing A Case Of Git-UX">
11
11
<meta property="og:type" content="website">
12
12
<meta property="og:description" content="a static site {for, by, about} me ">
13
-
<meta property="og:url" content="https://peppe.rs">
13
+
<meta property="og:url" content="https://oppi.li">
14
14
<link rel="icon" type="image/x-icon" href="/favicon.png">
15
-
<title>Curing A Case Of Git-UX · peppe.rs</title>
15
+
<title>Curing A Case Of Git-UX · oppi.li</title>
16
16
<body>
17
17
<div class="posts">
18
18
<div class="post">
···
21
21
<a href="/posts" class="post-end-link">Posts</a>
22
22
<span>/</span>
23
23
<a class="post-end-link">Curing A Case Of Git-UX</a>
24
-
<a class="stats post-end-link" href="https://git.peppe.rs/web/site/plain/posts/curing_a_case_of_git-UX.md
24
+
<a class="stats post-end-link" href="https://tangled.sh/@oppi.li/site/raw/master/posts/curing_a_case_of_git-UX.md
25
25
">View Raw</a>
26
26
<div class="separator"></div>
27
27
<div class="date">
···
304
304
<div class="hot-links">
305
305
<a href="/index.xml" class="feed-button">Subscribe</a>
306
306
</div>
307
-
<p>I'm Akshay, programmer and pixel-artist.
308
-
I write <a href="https://git.peppe.rs">open-source stuff</a>.
309
-
I also design fonts:
310
-
<a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
311
-
<a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
312
-
</p>
313
-
<p>Reach out at oppili@irc.rizon.net.</p>
307
+
<p>I'm Akshay, programmer, pixel-artist & programming-language enthusiast.</p>
308
+
<p>I am currently building <a href="https://tangled.sh">tangled.sh</a> — a decentralized code-collaboration platform.</p>
309
+
<p>Reach out at oppili@libera.chat.</p>
314
310
</div>
315
311
316
312
<a href="/" class="post-end-link">Home</a>
···
318
314
<a href="/posts" class="post-end-link">Posts</a>
319
315
<span>/</span>
320
316
<a class="post-end-link">Curing A Case Of Git-UX</a>
321
-
<a class="stats post-end-link" href="https://git.peppe.rs/web/site/plain/posts/curing_a_case_of_git-UX.md
317
+
<a class="stats post-end-link" href="https://tangled.sh/@oppi.li/site/raw/master/posts/curing_a_case_of_git-UX.md
322
318
">View Raw</a>
323
319
</div>
324
320
</div>
+8
-12
docs/posts/font_size_fallacies/index.html
+8
-12
docs/posts/font_size_fallacies/index.html
···
10
10
<meta property="og:title" content="Font Size Fallacies">
11
11
<meta property="og:type" content="website">
12
12
<meta property="og:description" content="a static site {for, by, about} me ">
13
-
<meta property="og:url" content="https://peppe.rs">
13
+
<meta property="og:url" content="https://oppi.li">
14
14
<link rel="icon" type="image/x-icon" href="/favicon.png">
15
-
<title>Font Size Fallacies · peppe.rs</title>
15
+
<title>Font Size Fallacies · oppi.li</title>
16
16
<body>
17
17
<div class="posts">
18
18
<div class="post">
···
21
21
<a href="/posts" class="post-end-link">Posts</a>
22
22
<span>/</span>
23
23
<a class="post-end-link">Font Size Fallacies</a>
24
-
<a class="stats post-end-link" href="https://git.peppe.rs/web/site/plain/posts/font_size_fallacies.md
24
+
<a class="stats post-end-link" href="https://tangled.sh/@oppi.li/site/raw/master/posts/font_size_fallacies.md
25
25
">View Raw</a>
26
26
<div class="separator"></div>
27
27
<div class="date">
28
-
17/03 — 2020
28
+
16/03 — 2020
29
29
<div class="stats">
30
30
<span class="stats-number">
31
31
32.37
···
121
121
<div class="hot-links">
122
122
<a href="/index.xml" class="feed-button">Subscribe</a>
123
123
</div>
124
-
<p>I'm Akshay, programmer and pixel-artist.
125
-
I write <a href="https://git.peppe.rs">open-source stuff</a>.
126
-
I also design fonts:
127
-
<a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
128
-
<a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
129
-
</p>
130
-
<p>Reach out at oppili@irc.rizon.net.</p>
124
+
<p>I'm Akshay, programmer, pixel-artist & programming-language enthusiast.</p>
125
+
<p>I am currently building <a href="https://tangled.sh">tangled.sh</a> — a decentralized code-collaboration platform.</p>
126
+
<p>Reach out at oppili@libera.chat.</p>
131
127
</div>
132
128
133
129
<a href="/" class="post-end-link">Home</a>
···
135
131
<a href="/posts" class="post-end-link">Posts</a>
136
132
<span>/</span>
137
133
<a class="post-end-link">Font Size Fallacies</a>
138
-
<a class="stats post-end-link" href="https://git.peppe.rs/web/site/plain/posts/font_size_fallacies.md
134
+
<a class="stats post-end-link" href="https://tangled.sh/@oppi.li/site/raw/master/posts/font_size_fallacies.md
139
135
">View Raw</a>
140
136
</div>
141
137
</div>
+7
-11
docs/posts/get_better_at_yanking_and_putting_in_vim/index.html
+7
-11
docs/posts/get_better_at_yanking_and_putting_in_vim/index.html
···
10
10
<meta property="og:title" content="Get Better At Yanking And Putting In Vim">
11
11
<meta property="og:type" content="website">
12
12
<meta property="og:description" content="a static site {for, by, about} me ">
13
-
<meta property="og:url" content="https://peppe.rs">
13
+
<meta property="og:url" content="https://oppi.li">
14
14
<link rel="icon" type="image/x-icon" href="/favicon.png">
15
-
<title>Get Better At Yanking And Putting In Vim · peppe.rs</title>
15
+
<title>Get Better At Yanking And Putting In Vim · oppi.li</title>
16
16
<body>
17
17
<div class="posts">
18
18
<div class="post">
···
21
21
<a href="/posts" class="post-end-link">Posts</a>
22
22
<span>/</span>
23
23
<a class="post-end-link">Get Better At Yanking And Putting In Vim</a>
24
-
<a class="stats post-end-link" href="https://git.peppe.rs/web/site/plain/posts/get_better_at_yanking_and_putting_in_vim.md
24
+
<a class="stats post-end-link" href="https://tangled.sh/@oppi.li/site/raw/master/posts/get_better_at_yanking_and_putting_in_vim.md
25
25
">View Raw</a>
26
26
<div class="separator"></div>
27
27
<div class="date">
···
68
68
<div class="hot-links">
69
69
<a href="/index.xml" class="feed-button">Subscribe</a>
70
70
</div>
71
-
<p>I'm Akshay, programmer and pixel-artist.
72
-
I write <a href="https://git.peppe.rs">open-source stuff</a>.
73
-
I also design fonts:
74
-
<a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
75
-
<a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
76
-
</p>
77
-
<p>Reach out at oppili@irc.rizon.net.</p>
71
+
<p>I'm Akshay, programmer, pixel-artist & programming-language enthusiast.</p>
72
+
<p>I am currently building <a href="https://tangled.sh">tangled.sh</a> — a decentralized code-collaboration platform.</p>
73
+
<p>Reach out at oppili@libera.chat.</p>
78
74
</div>
79
75
80
76
<a href="/" class="post-end-link">Home</a>
···
82
78
<a href="/posts" class="post-end-link">Posts</a>
83
79
<span>/</span>
84
80
<a class="post-end-link">Get Better At Yanking And Putting In Vim</a>
85
-
<a class="stats post-end-link" href="https://git.peppe.rs/web/site/plain/posts/get_better_at_yanking_and_putting_in_vim.md
81
+
<a class="stats post-end-link" href="https://tangled.sh/@oppi.li/site/raw/master/posts/get_better_at_yanking_and_putting_in_vim.md
86
82
">View Raw</a>
87
83
</div>
88
84
</div>
+7
-11
docs/posts/gripes_with_go/index.html
+7
-11
docs/posts/gripes_with_go/index.html
···
10
10
<meta property="og:title" content="Gripes With Go">
11
11
<meta property="og:type" content="website">
12
12
<meta property="og:description" content="a static site {for, by, about} me ">
13
-
<meta property="og:url" content="https://peppe.rs">
13
+
<meta property="og:url" content="https://oppi.li">
14
14
<link rel="icon" type="image/x-icon" href="/favicon.png">
15
-
<title>Gripes With Go · peppe.rs</title>
15
+
<title>Gripes With Go · oppi.li</title>
16
16
<body>
17
17
<div class="posts">
18
18
<div class="post">
···
21
21
<a href="/posts" class="post-end-link">Posts</a>
22
22
<span>/</span>
23
23
<a class="post-end-link">Gripes With Go</a>
24
-
<a class="stats post-end-link" href="https://git.peppe.rs/web/site/plain/posts/gripes_with_go.md
24
+
<a class="stats post-end-link" href="https://tangled.sh/@oppi.li/site/raw/master/posts/gripes_with_go.md
25
25
">View Raw</a>
26
26
<div class="separator"></div>
27
27
<div class="date">
···
192
192
<div class="hot-links">
193
193
<a href="/index.xml" class="feed-button">Subscribe</a>
194
194
</div>
195
-
<p>I'm Akshay, programmer and pixel-artist.
196
-
I write <a href="https://git.peppe.rs">open-source stuff</a>.
197
-
I also design fonts:
198
-
<a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
199
-
<a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
200
-
</p>
201
-
<p>Reach out at oppili@irc.rizon.net.</p>
195
+
<p>I'm Akshay, programmer, pixel-artist & programming-language enthusiast.</p>
196
+
<p>I am currently building <a href="https://tangled.sh">tangled.sh</a> — a decentralized code-collaboration platform.</p>
197
+
<p>Reach out at oppili@libera.chat.</p>
202
198
</div>
203
199
204
200
<a href="/" class="post-end-link">Home</a>
···
206
202
<a href="/posts" class="post-end-link">Posts</a>
207
203
<span>/</span>
208
204
<a class="post-end-link">Gripes With Go</a>
209
-
<a class="stats post-end-link" href="https://git.peppe.rs/web/site/plain/posts/gripes_with_go.md
205
+
<a class="stats post-end-link" href="https://tangled.sh/@oppi.li/site/raw/master/posts/gripes_with_go.md
210
206
">View Raw</a>
211
207
</div>
212
208
</div>
+7
-11
docs/posts/hold_position!/index.html
+7
-11
docs/posts/hold_position!/index.html
···
10
10
<meta property="og:title" content="Hold Position!">
11
11
<meta property="og:type" content="website">
12
12
<meta property="og:description" content="a static site {for, by, about} me ">
13
-
<meta property="og:url" content="https://peppe.rs">
13
+
<meta property="og:url" content="https://oppi.li">
14
14
<link rel="icon" type="image/x-icon" href="/favicon.png">
15
-
<title>Hold Position! · peppe.rs</title>
15
+
<title>Hold Position! · oppi.li</title>
16
16
<body>
17
17
<div class="posts">
18
18
<div class="post">
···
21
21
<a href="/posts" class="post-end-link">Posts</a>
22
22
<span>/</span>
23
23
<a class="post-end-link">Hold Position!</a>
24
-
<a class="stats post-end-link" href="https://git.peppe.rs/web/site/plain/posts/hold_position!.md
24
+
<a class="stats post-end-link" href="https://tangled.sh/@oppi.li/site/raw/master/posts/hold_position!.md
25
25
">View Raw</a>
26
26
<div class="separator"></div>
27
27
<div class="date">
···
68
68
<div class="hot-links">
69
69
<a href="/index.xml" class="feed-button">Subscribe</a>
70
70
</div>
71
-
<p>I'm Akshay, programmer and pixel-artist.
72
-
I write <a href="https://git.peppe.rs">open-source stuff</a>.
73
-
I also design fonts:
74
-
<a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
75
-
<a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
76
-
</p>
77
-
<p>Reach out at oppili@irc.rizon.net.</p>
71
+
<p>I'm Akshay, programmer, pixel-artist & programming-language enthusiast.</p>
72
+
<p>I am currently building <a href="https://tangled.sh">tangled.sh</a> — a decentralized code-collaboration platform.</p>
73
+
<p>Reach out at oppili@libera.chat.</p>
78
74
</div>
79
75
80
76
<a href="/" class="post-end-link">Home</a>
···
82
78
<a href="/posts" class="post-end-link">Posts</a>
83
79
<span>/</span>
84
80
<a class="post-end-link">Hold Position!</a>
85
-
<a class="stats post-end-link" href="https://git.peppe.rs/web/site/plain/posts/hold_position!.md
81
+
<a class="stats post-end-link" href="https://tangled.sh/@oppi.li/site/raw/master/posts/hold_position!.md
86
82
">View Raw</a>
87
83
</div>
88
84
</div>
+33
-17
docs/posts/index.html
+33
-17
docs/posts/index.html
···
27
27
<tr>
28
28
<td class=table-post>
29
29
<div class="date">
30
-
28/11 — 2024
30
+
21/05 — 2025
31
+
</div>
32
+
<a href="/posts/tales_from_mainframe_modernization" class="post-link">
33
+
<span class="post-link">Tales From Mainframe Modernization</span>
34
+
</a>
35
+
</td>
36
+
<td class=table-stats>
37
+
<span class="stats-number">
38
+
3.8
39
+
</span>
40
+
<span class=stats-unit>min</span>
41
+
</td>
42
+
</tr>
43
+
44
+
<tr>
45
+
<td class=table-post>
46
+
<div class="date">
47
+
27/11 — 2024
31
48
</div>
32
49
<a href="/posts/OSC-52" class="post-link">
33
50
<span class="post-link">OSC-52</span>
···
44
61
<tr>
45
62
<td class=table-post>
46
63
<div class="date">
47
-
02/08 — 2024
64
+
01/08 — 2024
48
65
</div>
49
66
<a href="/posts/introducing_tablespoon" class="post-link">
50
67
<span class="post-link">Introducing Tablespoon</span>
···
78
95
<tr>
79
96
<td class=table-post>
80
97
<div class="date">
81
-
19/06 — 2023
98
+
18/06 — 2023
82
99
</div>
83
100
<a href="/posts/plain_text_journaling" class="post-link">
84
101
<span class="post-link">Plain Text Journaling</span>
···
265
282
<tr>
266
283
<td class=table-post>
267
284
<div class="date">
268
-
18/06 — 2020
285
+
17/06 — 2020
269
286
</div>
270
287
<a href="/posts/turing_complete_type_systems" class="post-link">
271
288
<span class="post-link">Turing Complete Type Systems</span>
···
282
299
<tr>
283
300
<td class=table-post>
284
301
<div class="date">
285
-
09/05 — 2020
302
+
08/05 — 2020
286
303
</div>
287
304
<a href="/posts/auto-currying_rust_functions" class="post-link">
288
305
<span class="post-link">Auto-currying Rust Functions</span>
···
299
316
<tr>
300
317
<td class=table-post>
301
318
<div class="date">
302
-
09/04 — 2020
319
+
08/04 — 2020
303
320
</div>
304
321
<a href="/posts/pixel_art_in_GIMP" class="post-link">
305
322
<span class="post-link">Pixel Art In GIMP</span>
···
316
333
<tr>
317
334
<td class=table-post>
318
335
<div class="date">
319
-
01/04 — 2020
336
+
31/03 — 2020
320
337
</div>
321
338
<a href="/posts/rapid_refactoring_with_vim" class="post-link">
322
339
<span class="post-link">Rapid Refactoring With Vim</span>
···
333
350
<tr>
334
351
<td class=table-post>
335
352
<div class="date">
336
-
17/03 — 2020
353
+
16/03 — 2020
337
354
</div>
338
355
<a href="/posts/font_size_fallacies" class="post-link">
339
356
<span class="post-link">Font Size Fallacies</span>
···
350
367
<tr>
351
368
<td class=table-post>
352
369
<div class="date">
353
-
08/03 — 2020
370
+
07/03 — 2020
354
371
</div>
355
372
<a href="/posts/termux_tandem" class="post-link">
356
373
<span class="post-link">Termux Tandem</span>
···
367
384
<tr>
368
385
<td class=table-post>
369
386
<div class="date">
370
-
08/02 — 2020
387
+
07/02 — 2020
371
388
</div>
372
389
<a href="/posts/call_to_ARMs" class="post-link">
373
390
<span class="post-link">Call To ARMs</span>
···
384
401
<tr>
385
402
<td class=table-post>
386
403
<div class="date">
387
-
31/12 — 2019
404
+
30/12 — 2019
388
405
</div>
389
406
<a href="/posts/color_conundrum" class="post-link">
390
407
<span class="post-link">Color Conundrum</span>
···
401
418
<tr>
402
419
<td class=table-post>
403
420
<div class="date">
404
-
23/11 — 2019
421
+
22/11 — 2019
405
422
</div>
406
423
<a href="/posts/static_sites_with_bash" class="post-link">
407
424
<span class="post-link">Static Sites With Bash</span>
···
418
435
<tr>
419
436
<td class=table-post>
420
437
<div class="date">
421
-
07/11 — 2019
438
+
06/11 — 2019
422
439
</div>
423
440
<a href="/posts/my_setup" class="post-link">
424
441
<span class="post-link">My Setup</span>
···
486
503
<tr>
487
504
<td class=table-post>
488
505
<div class="date">
489
-
31/07 — 2019
506
+
30/07 — 2019
490
507
</div>
491
508
<a href="/posts/bash_harder_with_vim" class="post-link">
492
509
<span class="post-link">Bash Harder With Vim</span>
···
536
553
</table>
537
554
<div class="separator"></div>
538
555
<div class="footer">
539
-
<a href="https://git.peppe.rs">Code</a> ·
540
-
<a rel="me" href="https://merveilles.town/@nerdypepper">Fediverse</a> ·
556
+
<a href="https://tangled.sh/@oppi.li">Code</a> ·
541
557
<a href="https://bsky.app/profile/oppi.li">Bluesky</a> ·
542
-
<a href="mailto:nerdy@peppe.rs">Mail</a>
558
+
<a href="mailto:me@oppi.li">Mail</a>
543
559
<a href="https://creativecommons.org/licenses/by-nc-sa/4.0/">
544
560
<img class="footimgs" src="https://d33wubrfki0l68.cloudfront.net/94387e9d77fbc8b4360db81e72603ecba3df94a7/632bc/static/cc.svg">
545
561
</a>
+8
-12
docs/posts/introducing_tablespoon/index.html
+8
-12
docs/posts/introducing_tablespoon/index.html
···
10
10
<meta property="og:title" content="Introducing Tablespoon">
11
11
<meta property="og:type" content="website">
12
12
<meta property="og:description" content="a static site {for, by, about} me ">
13
-
<meta property="og:url" content="https://peppe.rs">
13
+
<meta property="og:url" content="https://oppi.li">
14
14
<link rel="icon" type="image/x-icon" href="/favicon.png">
15
-
<title>Introducing Tablespoon · peppe.rs</title>
15
+
<title>Introducing Tablespoon · oppi.li</title>
16
16
<body>
17
17
<div class="posts">
18
18
<div class="post">
···
21
21
<a href="/posts" class="post-end-link">Posts</a>
22
22
<span>/</span>
23
23
<a class="post-end-link">Introducing Tablespoon</a>
24
-
<a class="stats post-end-link" href="https://git.peppe.rs/web/site/plain/posts/introducing_tablespoon.md
24
+
<a class="stats post-end-link" href="https://tangled.sh/@oppi.li/site/raw/master/posts/introducing_tablespoon.md
25
25
">View Raw</a>
26
26
<div class="separator"></div>
27
27
<div class="date">
28
-
02/08 — 2024
28
+
01/08 — 2024
29
29
<div class="stats">
30
30
<span class="stats-number">
31
31
72.33
···
189
189
<div class="hot-links">
190
190
<a href="/index.xml" class="feed-button">Subscribe</a>
191
191
</div>
192
-
<p>I'm Akshay, programmer and pixel-artist.
193
-
I write <a href="https://git.peppe.rs">open-source stuff</a>.
194
-
I also design fonts:
195
-
<a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
196
-
<a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
197
-
</p>
198
-
<p>Reach out at oppili@irc.rizon.net.</p>
192
+
<p>I'm Akshay, programmer, pixel-artist & programming-language enthusiast.</p>
193
+
<p>I am currently building <a href="https://tangled.sh">tangled.sh</a> — a decentralized code-collaboration platform.</p>
194
+
<p>Reach out at oppili@libera.chat.</p>
199
195
</div>
200
196
201
197
<a href="/" class="post-end-link">Home</a>
···
203
199
<a href="/posts" class="post-end-link">Posts</a>
204
200
<span>/</span>
205
201
<a class="post-end-link">Introducing Tablespoon</a>
206
-
<a class="stats post-end-link" href="https://git.peppe.rs/web/site/plain/posts/introducing_tablespoon.md
202
+
<a class="stats post-end-link" href="https://tangled.sh/@oppi.li/site/raw/master/posts/introducing_tablespoon.md
207
203
">View Raw</a>
208
204
</div>
209
205
</div>
+7
-11
docs/posts/lightweight_linting/index.html
+7
-11
docs/posts/lightweight_linting/index.html
···
10
10
<meta property="og:title" content="Lightweight Linting">
11
11
<meta property="og:type" content="website">
12
12
<meta property="og:description" content="a static site {for, by, about} me ">
13
-
<meta property="og:url" content="https://peppe.rs">
13
+
<meta property="og:url" content="https://oppi.li">
14
14
<link rel="icon" type="image/x-icon" href="/favicon.png">
15
-
<title>Lightweight Linting · peppe.rs</title>
15
+
<title>Lightweight Linting · oppi.li</title>
16
16
<body>
17
17
<div class="posts">
18
18
<div class="post">
···
21
21
<a href="/posts" class="post-end-link">Posts</a>
22
22
<span>/</span>
23
23
<a class="post-end-link">Lightweight Linting</a>
24
-
<a class="stats post-end-link" href="https://git.peppe.rs/web/site/plain/posts/lightweight_linting.md
24
+
<a class="stats post-end-link" href="https://tangled.sh/@oppi.li/site/raw/master/posts/lightweight_linting.md
25
25
">View Raw</a>
26
26
<div class="separator"></div>
27
27
<div class="date">
···
363
363
<div class="hot-links">
364
364
<a href="/index.xml" class="feed-button">Subscribe</a>
365
365
</div>
366
-
<p>I'm Akshay, programmer and pixel-artist.
367
-
I write <a href="https://git.peppe.rs">open-source stuff</a>.
368
-
I also design fonts:
369
-
<a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
370
-
<a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
371
-
</p>
372
-
<p>Reach out at oppili@irc.rizon.net.</p>
366
+
<p>I'm Akshay, programmer, pixel-artist & programming-language enthusiast.</p>
367
+
<p>I am currently building <a href="https://tangled.sh">tangled.sh</a> — a decentralized code-collaboration platform.</p>
368
+
<p>Reach out at oppili@libera.chat.</p>
373
369
</div>
374
370
375
371
<a href="/" class="post-end-link">Home</a>
···
377
373
<a href="/posts" class="post-end-link">Posts</a>
378
374
<span>/</span>
379
375
<a class="post-end-link">Lightweight Linting</a>
380
-
<a class="stats post-end-link" href="https://git.peppe.rs/web/site/plain/posts/lightweight_linting.md
376
+
<a class="stats post-end-link" href="https://tangled.sh/@oppi.li/site/raw/master/posts/lightweight_linting.md
381
377
">View Raw</a>
382
378
</div>
383
379
</div>
+7
-11
docs/posts/lotus58/index.html
+7
-11
docs/posts/lotus58/index.html
···
10
10
<meta property="og:title" content="Lotus58">
11
11
<meta property="og:type" content="website">
12
12
<meta property="og:description" content="a static site {for, by, about} me ">
13
-
<meta property="og:url" content="https://peppe.rs">
13
+
<meta property="og:url" content="https://oppi.li">
14
14
<link rel="icon" type="image/x-icon" href="/favicon.png">
15
-
<title>Lotus58 · peppe.rs</title>
15
+
<title>Lotus58 · oppi.li</title>
16
16
<body>
17
17
<div class="posts">
18
18
<div class="post">
···
21
21
<a href="/posts" class="post-end-link">Posts</a>
22
22
<span>/</span>
23
23
<a class="post-end-link">Lotus58</a>
24
-
<a class="stats post-end-link" href="https://git.peppe.rs/web/site/plain/posts/lotus58.md
24
+
<a class="stats post-end-link" href="https://tangled.sh/@oppi.li/site/raw/master/posts/lotus58.md
25
25
">View Raw</a>
26
26
<div class="separator"></div>
27
27
<div class="date">
···
159
159
<div class="hot-links">
160
160
<a href="/index.xml" class="feed-button">Subscribe</a>
161
161
</div>
162
-
<p>I'm Akshay, programmer and pixel-artist.
163
-
I write <a href="https://git.peppe.rs">open-source stuff</a>.
164
-
I also design fonts:
165
-
<a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
166
-
<a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
167
-
</p>
168
-
<p>Reach out at oppili@irc.rizon.net.</p>
162
+
<p>I'm Akshay, programmer, pixel-artist & programming-language enthusiast.</p>
163
+
<p>I am currently building <a href="https://tangled.sh">tangled.sh</a> — a decentralized code-collaboration platform.</p>
164
+
<p>Reach out at oppili@libera.chat.</p>
169
165
</div>
170
166
171
167
<a href="/" class="post-end-link">Home</a>
···
173
169
<a href="/posts" class="post-end-link">Posts</a>
174
170
<span>/</span>
175
171
<a class="post-end-link">Lotus58</a>
176
-
<a class="stats post-end-link" href="https://git.peppe.rs/web/site/plain/posts/lotus58.md
172
+
<a class="stats post-end-link" href="https://tangled.sh/@oppi.li/site/raw/master/posts/lotus58.md
177
173
">View Raw</a>
178
174
</div>
179
175
</div>
+8
-12
docs/posts/my_setup/index.html
+8
-12
docs/posts/my_setup/index.html
···
10
10
<meta property="og:title" content="My Setup">
11
11
<meta property="og:type" content="website">
12
12
<meta property="og:description" content="a static site {for, by, about} me ">
13
-
<meta property="og:url" content="https://peppe.rs">
13
+
<meta property="og:url" content="https://oppi.li">
14
14
<link rel="icon" type="image/x-icon" href="/favicon.png">
15
-
<title>My Setup · peppe.rs</title>
15
+
<title>My Setup · oppi.li</title>
16
16
<body>
17
17
<div class="posts">
18
18
<div class="post">
···
21
21
<a href="/posts" class="post-end-link">Posts</a>
22
22
<span>/</span>
23
23
<a class="post-end-link">My Setup</a>
24
-
<a class="stats post-end-link" href="https://git.peppe.rs/web/site/plain/posts/my_setup.md
24
+
<a class="stats post-end-link" href="https://tangled.sh/@oppi.li/site/raw/master/posts/my_setup.md
25
25
">View Raw</a>
26
26
<div class="separator"></div>
27
27
<div class="date">
28
-
07/11 — 2019
28
+
06/11 — 2019
29
29
<div class="stats">
30
30
<span class="stats-number">
31
31
10.39
···
73
73
<div class="hot-links">
74
74
<a href="/index.xml" class="feed-button">Subscribe</a>
75
75
</div>
76
-
<p>I'm Akshay, programmer and pixel-artist.
77
-
I write <a href="https://git.peppe.rs">open-source stuff</a>.
78
-
I also design fonts:
79
-
<a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
80
-
<a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
81
-
</p>
82
-
<p>Reach out at oppili@irc.rizon.net.</p>
76
+
<p>I'm Akshay, programmer, pixel-artist & programming-language enthusiast.</p>
77
+
<p>I am currently building <a href="https://tangled.sh">tangled.sh</a> — a decentralized code-collaboration platform.</p>
78
+
<p>Reach out at oppili@libera.chat.</p>
83
79
</div>
84
80
85
81
<a href="/" class="post-end-link">Home</a>
···
87
83
<a href="/posts" class="post-end-link">Posts</a>
88
84
<span>/</span>
89
85
<a class="post-end-link">My Setup</a>
90
-
<a class="stats post-end-link" href="https://git.peppe.rs/web/site/plain/posts/my_setup.md
86
+
<a class="stats post-end-link" href="https://tangled.sh/@oppi.li/site/raw/master/posts/my_setup.md
91
87
">View Raw</a>
92
88
</div>
93
89
</div>
+7
-11
docs/posts/nixOS/index.html
+7
-11
docs/posts/nixOS/index.html
···
10
10
<meta property="og:title" content="NixOS">
11
11
<meta property="og:type" content="website">
12
12
<meta property="og:description" content="a static site {for, by, about} me ">
13
-
<meta property="og:url" content="https://peppe.rs">
13
+
<meta property="og:url" content="https://oppi.li">
14
14
<link rel="icon" type="image/x-icon" href="/favicon.png">
15
-
<title>NixOS · peppe.rs</title>
15
+
<title>NixOS · oppi.li</title>
16
16
<body>
17
17
<div class="posts">
18
18
<div class="post">
···
21
21
<a href="/posts" class="post-end-link">Posts</a>
22
22
<span>/</span>
23
23
<a class="post-end-link">NixOS</a>
24
-
<a class="stats post-end-link" href="https://git.peppe.rs/web/site/plain/posts/nixOS.md
24
+
<a class="stats post-end-link" href="https://tangled.sh/@oppi.li/site/raw/master/posts/nixOS.md
25
25
">View Raw</a>
26
26
<div class="separator"></div>
27
27
<div class="date">
···
122
122
<div class="hot-links">
123
123
<a href="/index.xml" class="feed-button">Subscribe</a>
124
124
</div>
125
-
<p>I'm Akshay, programmer and pixel-artist.
126
-
I write <a href="https://git.peppe.rs">open-source stuff</a>.
127
-
I also design fonts:
128
-
<a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
129
-
<a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
130
-
</p>
131
-
<p>Reach out at oppili@irc.rizon.net.</p>
125
+
<p>I'm Akshay, programmer, pixel-artist & programming-language enthusiast.</p>
126
+
<p>I am currently building <a href="https://tangled.sh">tangled.sh</a> — a decentralized code-collaboration platform.</p>
127
+
<p>Reach out at oppili@libera.chat.</p>
132
128
</div>
133
129
134
130
<a href="/" class="post-end-link">Home</a>
···
136
132
<a href="/posts" class="post-end-link">Posts</a>
137
133
<span>/</span>
138
134
<a class="post-end-link">NixOS</a>
139
-
<a class="stats post-end-link" href="https://git.peppe.rs/web/site/plain/posts/nixOS.md
135
+
<a class="stats post-end-link" href="https://tangled.sh/@oppi.li/site/raw/master/posts/nixOS.md
140
136
">View Raw</a>
141
137
</div>
142
138
</div>
+7
-11
docs/posts/novice_nix:_flake_templates/index.html
+7
-11
docs/posts/novice_nix:_flake_templates/index.html
···
10
10
<meta property="og:title" content="Novice Nix: Flake Templates">
11
11
<meta property="og:type" content="website">
12
12
<meta property="og:description" content="a static site {for, by, about} me ">
13
-
<meta property="og:url" content="https://peppe.rs">
13
+
<meta property="og:url" content="https://oppi.li">
14
14
<link rel="icon" type="image/x-icon" href="/favicon.png">
15
-
<title>Novice Nix: Flake Templates · peppe.rs</title>
15
+
<title>Novice Nix: Flake Templates · oppi.li</title>
16
16
<body>
17
17
<div class="posts">
18
18
<div class="post">
···
21
21
<a href="/posts" class="post-end-link">Posts</a>
22
22
<span>/</span>
23
23
<a class="post-end-link">Novice Nix: Flake Templates</a>
24
-
<a class="stats post-end-link" href="https://git.peppe.rs/web/site/plain/posts/novice_nix:_flake_templates.md
24
+
<a class="stats post-end-link" href="https://tangled.sh/@oppi.li/site/raw/master/posts/novice_nix:_flake_templates.md
25
25
">View Raw</a>
26
26
<div class="separator"></div>
27
27
<div class="date">
···
241
241
<div class="hot-links">
242
242
<a href="/index.xml" class="feed-button">Subscribe</a>
243
243
</div>
244
-
<p>I'm Akshay, programmer and pixel-artist.
245
-
I write <a href="https://git.peppe.rs">open-source stuff</a>.
246
-
I also design fonts:
247
-
<a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
248
-
<a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
249
-
</p>
250
-
<p>Reach out at oppili@irc.rizon.net.</p>
244
+
<p>I'm Akshay, programmer, pixel-artist & programming-language enthusiast.</p>
245
+
<p>I am currently building <a href="https://tangled.sh">tangled.sh</a> — a decentralized code-collaboration platform.</p>
246
+
<p>Reach out at oppili@libera.chat.</p>
251
247
</div>
252
248
253
249
<a href="/" class="post-end-link">Home</a>
···
255
251
<a href="/posts" class="post-end-link">Posts</a>
256
252
<span>/</span>
257
253
<a class="post-end-link">Novice Nix: Flake Templates</a>
258
-
<a class="stats post-end-link" href="https://git.peppe.rs/web/site/plain/posts/novice_nix:_flake_templates.md
254
+
<a class="stats post-end-link" href="https://tangled.sh/@oppi.li/site/raw/master/posts/novice_nix:_flake_templates.md
259
255
">View Raw</a>
260
256
</div>
261
257
</div>
+7
-11
docs/posts/onivim_sucks/index.html
+7
-11
docs/posts/onivim_sucks/index.html
···
10
10
<meta property="og:title" content="Onivim Sucks">
11
11
<meta property="og:type" content="website">
12
12
<meta property="og:description" content="a static site {for, by, about} me ">
13
-
<meta property="og:url" content="https://peppe.rs">
13
+
<meta property="og:url" content="https://oppi.li">
14
14
<link rel="icon" type="image/x-icon" href="/favicon.png">
15
-
<title>Onivim Sucks · peppe.rs</title>
15
+
<title>Onivim Sucks · oppi.li</title>
16
16
<body>
17
17
<div class="posts">
18
18
<div class="post">
···
21
21
<a href="/posts" class="post-end-link">Posts</a>
22
22
<span>/</span>
23
23
<a class="post-end-link">Onivim Sucks</a>
24
-
<a class="stats post-end-link" href="https://git.peppe.rs/web/site/plain/posts/onivim_sucks.md
24
+
<a class="stats post-end-link" href="https://tangled.sh/@oppi.li/site/raw/master/posts/onivim_sucks.md
25
25
">View Raw</a>
26
26
<div class="separator"></div>
27
27
<div class="date">
···
82
82
<div class="hot-links">
83
83
<a href="/index.xml" class="feed-button">Subscribe</a>
84
84
</div>
85
-
<p>I'm Akshay, programmer and pixel-artist.
86
-
I write <a href="https://git.peppe.rs">open-source stuff</a>.
87
-
I also design fonts:
88
-
<a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
89
-
<a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
90
-
</p>
91
-
<p>Reach out at oppili@irc.rizon.net.</p>
85
+
<p>I'm Akshay, programmer, pixel-artist & programming-language enthusiast.</p>
86
+
<p>I am currently building <a href="https://tangled.sh">tangled.sh</a> — a decentralized code-collaboration platform.</p>
87
+
<p>Reach out at oppili@libera.chat.</p>
92
88
</div>
93
89
94
90
<a href="/" class="post-end-link">Home</a>
···
96
92
<a href="/posts" class="post-end-link">Posts</a>
97
93
<span>/</span>
98
94
<a class="post-end-link">Onivim Sucks</a>
99
-
<a class="stats post-end-link" href="https://git.peppe.rs/web/site/plain/posts/onivim_sucks.md
95
+
<a class="stats post-end-link" href="https://tangled.sh/@oppi.li/site/raw/master/posts/onivim_sucks.md
100
96
">View Raw</a>
101
97
</div>
102
98
</div>
+8
-12
docs/posts/pixel_art_in_GIMP/index.html
+8
-12
docs/posts/pixel_art_in_GIMP/index.html
···
10
10
<meta property="og:title" content="Pixel Art In GIMP">
11
11
<meta property="og:type" content="website">
12
12
<meta property="og:description" content="a static site {for, by, about} me ">
13
-
<meta property="og:url" content="https://peppe.rs">
13
+
<meta property="og:url" content="https://oppi.li">
14
14
<link rel="icon" type="image/x-icon" href="/favicon.png">
15
-
<title>Pixel Art In GIMP · peppe.rs</title>
15
+
<title>Pixel Art In GIMP · oppi.li</title>
16
16
<body>
17
17
<div class="posts">
18
18
<div class="post">
···
21
21
<a href="/posts" class="post-end-link">Posts</a>
22
22
<span>/</span>
23
23
<a class="post-end-link">Pixel Art In GIMP</a>
24
-
<a class="stats post-end-link" href="https://git.peppe.rs/web/site/plain/posts/pixel_art_in_GIMP.md
24
+
<a class="stats post-end-link" href="https://tangled.sh/@oppi.li/site/raw/master/posts/pixel_art_in_GIMP.md
25
25
">View Raw</a>
26
26
<div class="separator"></div>
27
27
<div class="date">
28
-
09/04 — 2020
28
+
08/04 — 2020
29
29
<div class="stats">
30
30
<span class="stats-number">
31
31
55.54
···
150
150
<div class="hot-links">
151
151
<a href="/index.xml" class="feed-button">Subscribe</a>
152
152
</div>
153
-
<p>I'm Akshay, programmer and pixel-artist.
154
-
I write <a href="https://git.peppe.rs">open-source stuff</a>.
155
-
I also design fonts:
156
-
<a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
157
-
<a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
158
-
</p>
159
-
<p>Reach out at oppili@irc.rizon.net.</p>
153
+
<p>I'm Akshay, programmer, pixel-artist & programming-language enthusiast.</p>
154
+
<p>I am currently building <a href="https://tangled.sh">tangled.sh</a> — a decentralized code-collaboration platform.</p>
155
+
<p>Reach out at oppili@libera.chat.</p>
160
156
</div>
161
157
162
158
<a href="/" class="post-end-link">Home</a>
···
164
160
<a href="/posts" class="post-end-link">Posts</a>
165
161
<span>/</span>
166
162
<a class="post-end-link">Pixel Art In GIMP</a>
167
-
<a class="stats post-end-link" href="https://git.peppe.rs/web/site/plain/posts/pixel_art_in_GIMP.md
163
+
<a class="stats post-end-link" href="https://tangled.sh/@oppi.li/site/raw/master/posts/pixel_art_in_GIMP.md
168
164
">View Raw</a>
169
165
</div>
170
166
</div>
+8
-12
docs/posts/plain_text_journaling/index.html
+8
-12
docs/posts/plain_text_journaling/index.html
···
10
10
<meta property="og:title" content="Plain Text Journaling">
11
11
<meta property="og:type" content="website">
12
12
<meta property="og:description" content="a static site {for, by, about} me ">
13
-
<meta property="og:url" content="https://peppe.rs">
13
+
<meta property="og:url" content="https://oppi.li">
14
14
<link rel="icon" type="image/x-icon" href="/favicon.png">
15
-
<title>Plain Text Journaling · peppe.rs</title>
15
+
<title>Plain Text Journaling · oppi.li</title>
16
16
<body>
17
17
<div class="posts">
18
18
<div class="post">
···
21
21
<a href="/posts" class="post-end-link">Posts</a>
22
22
<span>/</span>
23
23
<a class="post-end-link">Plain Text Journaling</a>
24
-
<a class="stats post-end-link" href="https://git.peppe.rs/web/site/plain/posts/plain_text_journaling.md
24
+
<a class="stats post-end-link" href="https://tangled.sh/@oppi.li/site/raw/master/posts/plain_text_journaling.md
25
25
">View Raw</a>
26
26
<div class="separator"></div>
27
27
<div class="date">
28
-
19/06 — 2023
28
+
18/06 — 2023
29
29
<div class="stats">
30
30
<span class="stats-number">
31
31
138.66
···
285
285
<div class="hot-links">
286
286
<a href="/index.xml" class="feed-button">Subscribe</a>
287
287
</div>
288
-
<p>I'm Akshay, programmer and pixel-artist.
289
-
I write <a href="https://git.peppe.rs">open-source stuff</a>.
290
-
I also design fonts:
291
-
<a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
292
-
<a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
293
-
</p>
294
-
<p>Reach out at oppili@irc.rizon.net.</p>
288
+
<p>I'm Akshay, programmer, pixel-artist & programming-language enthusiast.</p>
289
+
<p>I am currently building <a href="https://tangled.sh">tangled.sh</a> — a decentralized code-collaboration platform.</p>
290
+
<p>Reach out at oppili@libera.chat.</p>
295
291
</div>
296
292
297
293
<a href="/" class="post-end-link">Home</a>
···
299
295
<a href="/posts" class="post-end-link">Posts</a>
300
296
<span>/</span>
301
297
<a class="post-end-link">Plain Text Journaling</a>
302
-
<a class="stats post-end-link" href="https://git.peppe.rs/web/site/plain/posts/plain_text_journaling.md
298
+
<a class="stats post-end-link" href="https://tangled.sh/@oppi.li/site/raw/master/posts/plain_text_journaling.md
303
299
">View Raw</a>
304
300
</div>
305
301
</div>
+7
-11
docs/posts/programming_on_34_keys/index.html
+7
-11
docs/posts/programming_on_34_keys/index.html
···
10
10
<meta property="og:title" content="Programming On 34 Keys">
11
11
<meta property="og:type" content="website">
12
12
<meta property="og:description" content="a static site {for, by, about} me ">
13
-
<meta property="og:url" content="https://peppe.rs">
13
+
<meta property="og:url" content="https://oppi.li">
14
14
<link rel="icon" type="image/x-icon" href="/favicon.png">
15
-
<title>Programming On 34 Keys · peppe.rs</title>
15
+
<title>Programming On 34 Keys · oppi.li</title>
16
16
<body>
17
17
<div class="posts">
18
18
<div class="post">
···
21
21
<a href="/posts" class="post-end-link">Posts</a>
22
22
<span>/</span>
23
23
<a class="post-end-link">Programming On 34 Keys</a>
24
-
<a class="stats post-end-link" href="https://git.peppe.rs/web/site/plain/posts/programming_on_34_keys.md
24
+
<a class="stats post-end-link" href="https://tangled.sh/@oppi.li/site/raw/master/posts/programming_on_34_keys.md
25
25
">View Raw</a>
26
26
<div class="separator"></div>
27
27
<div class="date">
···
208
208
<div class="hot-links">
209
209
<a href="/index.xml" class="feed-button">Subscribe</a>
210
210
</div>
211
-
<p>I'm Akshay, programmer and pixel-artist.
212
-
I write <a href="https://git.peppe.rs">open-source stuff</a>.
213
-
I also design fonts:
214
-
<a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
215
-
<a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
216
-
</p>
217
-
<p>Reach out at oppili@irc.rizon.net.</p>
211
+
<p>I'm Akshay, programmer, pixel-artist & programming-language enthusiast.</p>
212
+
<p>I am currently building <a href="https://tangled.sh">tangled.sh</a> — a decentralized code-collaboration platform.</p>
213
+
<p>Reach out at oppili@libera.chat.</p>
218
214
</div>
219
215
220
216
<a href="/" class="post-end-link">Home</a>
···
222
218
<a href="/posts" class="post-end-link">Posts</a>
223
219
<span>/</span>
224
220
<a class="post-end-link">Programming On 34 Keys</a>
225
-
<a class="stats post-end-link" href="https://git.peppe.rs/web/site/plain/posts/programming_on_34_keys.md
221
+
<a class="stats post-end-link" href="https://tangled.sh/@oppi.li/site/raw/master/posts/programming_on_34_keys.md
226
222
">View Raw</a>
227
223
</div>
228
224
</div>
+8
-12
docs/posts/rapid_refactoring_with_vim/index.html
+8
-12
docs/posts/rapid_refactoring_with_vim/index.html
···
10
10
<meta property="og:title" content="Rapid Refactoring With Vim">
11
11
<meta property="og:type" content="website">
12
12
<meta property="og:description" content="a static site {for, by, about} me ">
13
-
<meta property="og:url" content="https://peppe.rs">
13
+
<meta property="og:url" content="https://oppi.li">
14
14
<link rel="icon" type="image/x-icon" href="/favicon.png">
15
-
<title>Rapid Refactoring With Vim · peppe.rs</title>
15
+
<title>Rapid Refactoring With Vim · oppi.li</title>
16
16
<body>
17
17
<div class="posts">
18
18
<div class="post">
···
21
21
<a href="/posts" class="post-end-link">Posts</a>
22
22
<span>/</span>
23
23
<a class="post-end-link">Rapid Refactoring With Vim</a>
24
-
<a class="stats post-end-link" href="https://git.peppe.rs/web/site/plain/posts/rapid_refactoring_with_vim.md
24
+
<a class="stats post-end-link" href="https://tangled.sh/@oppi.li/site/raw/master/posts/rapid_refactoring_with_vim.md
25
25
">View Raw</a>
26
26
<div class="separator"></div>
27
27
<div class="date">
28
-
01/04 — 2020
28
+
31/03 — 2020
29
29
<div class="stats">
30
30
<span class="stats-number">
31
31
79.12
···
202
202
<div class="hot-links">
203
203
<a href="/index.xml" class="feed-button">Subscribe</a>
204
204
</div>
205
-
<p>I'm Akshay, programmer and pixel-artist.
206
-
I write <a href="https://git.peppe.rs">open-source stuff</a>.
207
-
I also design fonts:
208
-
<a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
209
-
<a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
210
-
</p>
211
-
<p>Reach out at oppili@irc.rizon.net.</p>
205
+
<p>I'm Akshay, programmer, pixel-artist & programming-language enthusiast.</p>
206
+
<p>I am currently building <a href="https://tangled.sh">tangled.sh</a> — a decentralized code-collaboration platform.</p>
207
+
<p>Reach out at oppili@libera.chat.</p>
212
208
</div>
213
209
214
210
<a href="/" class="post-end-link">Home</a>
···
216
212
<a href="/posts" class="post-end-link">Posts</a>
217
213
<span>/</span>
218
214
<a class="post-end-link">Rapid Refactoring With Vim</a>
219
-
<a class="stats post-end-link" href="https://git.peppe.rs/web/site/plain/posts/rapid_refactoring_with_vim.md
215
+
<a class="stats post-end-link" href="https://tangled.sh/@oppi.li/site/raw/master/posts/rapid_refactoring_with_vim.md
220
216
">View Raw</a>
221
217
</div>
222
218
</div>
+7
-11
docs/posts/self-hosting_git/index.html
+7
-11
docs/posts/self-hosting_git/index.html
···
10
10
<meta property="og:title" content="Self-hosting Git">
11
11
<meta property="og:type" content="website">
12
12
<meta property="og:description" content="a static site {for, by, about} me ">
13
-
<meta property="og:url" content="https://peppe.rs">
13
+
<meta property="og:url" content="https://oppi.li">
14
14
<link rel="icon" type="image/x-icon" href="/favicon.png">
15
-
<title>Self-hosting Git · peppe.rs</title>
15
+
<title>Self-hosting Git · oppi.li</title>
16
16
<body>
17
17
<div class="posts">
18
18
<div class="post">
···
21
21
<a href="/posts" class="post-end-link">Posts</a>
22
22
<span>/</span>
23
23
<a class="post-end-link">Self-hosting Git</a>
24
-
<a class="stats post-end-link" href="https://git.peppe.rs/web/site/plain/posts/self-hosting_git.md
24
+
<a class="stats post-end-link" href="https://tangled.sh/@oppi.li/site/raw/master/posts/self-hosting_git.md
25
25
">View Raw</a>
26
26
<div class="separator"></div>
27
27
<div class="date">
···
209
209
<div class="hot-links">
210
210
<a href="/index.xml" class="feed-button">Subscribe</a>
211
211
</div>
212
-
<p>I'm Akshay, programmer and pixel-artist.
213
-
I write <a href="https://git.peppe.rs">open-source stuff</a>.
214
-
I also design fonts:
215
-
<a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
216
-
<a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
217
-
</p>
218
-
<p>Reach out at oppili@irc.rizon.net.</p>
212
+
<p>I'm Akshay, programmer, pixel-artist & programming-language enthusiast.</p>
213
+
<p>I am currently building <a href="https://tangled.sh">tangled.sh</a> — a decentralized code-collaboration platform.</p>
214
+
<p>Reach out at oppili@libera.chat.</p>
219
215
</div>
220
216
221
217
<a href="/" class="post-end-link">Home</a>
···
223
219
<a href="/posts" class="post-end-link">Posts</a>
224
220
<span>/</span>
225
221
<a class="post-end-link">Self-hosting Git</a>
226
-
<a class="stats post-end-link" href="https://git.peppe.rs/web/site/plain/posts/self-hosting_git.md
222
+
<a class="stats post-end-link" href="https://tangled.sh/@oppi.li/site/raw/master/posts/self-hosting_git.md
227
223
">View Raw</a>
228
224
</div>
229
225
</div>
+7
-11
docs/posts/snip_snap/index.html
+7
-11
docs/posts/snip_snap/index.html
···
10
10
<meta property="og:title" content="Snip Snap">
11
11
<meta property="og:type" content="website">
12
12
<meta property="og:description" content="a static site {for, by, about} me ">
13
-
<meta property="og:url" content="https://peppe.rs">
13
+
<meta property="og:url" content="https://oppi.li">
14
14
<link rel="icon" type="image/x-icon" href="/favicon.png">
15
-
<title>Snip Snap · peppe.rs</title>
15
+
<title>Snip Snap · oppi.li</title>
16
16
<body>
17
17
<div class="posts">
18
18
<div class="post">
···
21
21
<a href="/posts" class="post-end-link">Posts</a>
22
22
<span>/</span>
23
23
<a class="post-end-link">Snip Snap</a>
24
-
<a class="stats post-end-link" href="https://git.peppe.rs/web/site/plain/posts/snip_snap.md
24
+
<a class="stats post-end-link" href="https://tangled.sh/@oppi.li/site/raw/master/posts/snip_snap.md
25
25
">View Raw</a>
26
26
<div class="separator"></div>
27
27
<div class="date">
···
117
117
<div class="hot-links">
118
118
<a href="/index.xml" class="feed-button">Subscribe</a>
119
119
</div>
120
-
<p>I'm Akshay, programmer and pixel-artist.
121
-
I write <a href="https://git.peppe.rs">open-source stuff</a>.
122
-
I also design fonts:
123
-
<a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
124
-
<a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
125
-
</p>
126
-
<p>Reach out at oppili@irc.rizon.net.</p>
120
+
<p>I'm Akshay, programmer, pixel-artist & programming-language enthusiast.</p>
121
+
<p>I am currently building <a href="https://tangled.sh">tangled.sh</a> — a decentralized code-collaboration platform.</p>
122
+
<p>Reach out at oppili@libera.chat.</p>
127
123
</div>
128
124
129
125
<a href="/" class="post-end-link">Home</a>
···
131
127
<a href="/posts" class="post-end-link">Posts</a>
132
128
<span>/</span>
133
129
<a class="post-end-link">Snip Snap</a>
134
-
<a class="stats post-end-link" href="https://git.peppe.rs/web/site/plain/posts/snip_snap.md
130
+
<a class="stats post-end-link" href="https://tangled.sh/@oppi.li/site/raw/master/posts/snip_snap.md
135
131
">View Raw</a>
136
132
</div>
137
133
</div>
+8
-12
docs/posts/static_sites_with_bash/index.html
+8
-12
docs/posts/static_sites_with_bash/index.html
···
10
10
<meta property="og:title" content="Static Sites With Bash">
11
11
<meta property="og:type" content="website">
12
12
<meta property="og:description" content="a static site {for, by, about} me ">
13
-
<meta property="og:url" content="https://peppe.rs">
13
+
<meta property="og:url" content="https://oppi.li">
14
14
<link rel="icon" type="image/x-icon" href="/favicon.png">
15
-
<title>Static Sites With Bash · peppe.rs</title>
15
+
<title>Static Sites With Bash · oppi.li</title>
16
16
<body>
17
17
<div class="posts">
18
18
<div class="post">
···
21
21
<a href="/posts" class="post-end-link">Posts</a>
22
22
<span>/</span>
23
23
<a class="post-end-link">Static Sites With Bash</a>
24
-
<a class="stats post-end-link" href="https://git.peppe.rs/web/site/plain/posts/static_sites_with_bash.md
24
+
<a class="stats post-end-link" href="https://tangled.sh/@oppi.li/site/raw/master/posts/static_sites_with_bash.md
25
25
">View Raw</a>
26
26
<div class="separator"></div>
27
27
<div class="date">
28
-
23/11 — 2019
28
+
22/11 — 2019
29
29
<div class="stats">
30
30
<span class="stats-number">
31
31
21.18
···
95
95
<div class="hot-links">
96
96
<a href="/index.xml" class="feed-button">Subscribe</a>
97
97
</div>
98
-
<p>I'm Akshay, programmer and pixel-artist.
99
-
I write <a href="https://git.peppe.rs">open-source stuff</a>.
100
-
I also design fonts:
101
-
<a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
102
-
<a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
103
-
</p>
104
-
<p>Reach out at oppili@irc.rizon.net.</p>
98
+
<p>I'm Akshay, programmer, pixel-artist & programming-language enthusiast.</p>
99
+
<p>I am currently building <a href="https://tangled.sh">tangled.sh</a> — a decentralized code-collaboration platform.</p>
100
+
<p>Reach out at oppili@libera.chat.</p>
105
101
</div>
106
102
107
103
<a href="/" class="post-end-link">Home</a>
···
109
105
<a href="/posts" class="post-end-link">Posts</a>
110
106
<span>/</span>
111
107
<a class="post-end-link">Static Sites With Bash</a>
112
-
<a class="stats post-end-link" href="https://git.peppe.rs/web/site/plain/posts/static_sites_with_bash.md
108
+
<a class="stats post-end-link" href="https://tangled.sh/@oppi.li/site/raw/master/posts/static_sites_with_bash.md
113
109
">View Raw</a>
114
110
</div>
115
111
</div>
+198
docs/posts/tales_from_mainframe_modernization/index.html
+198
docs/posts/tales_from_mainframe_modernization/index.html
···
1
+
<!DOCTYPE html>
2
+
<html lang="en">
3
+
<head>
4
+
<link rel="stylesheet" href="/style.css">
5
+
<link rel="stylesheet" href="/syntax.css">
6
+
<meta charset="UTF-8">
7
+
<meta name="viewport" content="initial-scale=1">
8
+
<meta content="#ffffff" name="theme-color">
9
+
<meta name="HandheldFriendly" content="true">
10
+
<meta property="og:title" content="Tales From Mainframe Modernization">
11
+
<meta property="og:type" content="website">
12
+
<meta property="og:description" content="a static site {for, by, about} me ">
13
+
<meta property="og:url" content="https://oppi.li">
14
+
<link rel="icon" type="image/x-icon" href="/favicon.png">
15
+
<title>Tales From Mainframe Modernization · oppi.li</title>
16
+
<body>
17
+
<div class="posts">
18
+
<div class="post">
19
+
<a href="/" class="post-end-link">Home</a>
20
+
<span>/</span>
21
+
<a href="/posts" class="post-end-link">Posts</a>
22
+
<span>/</span>
23
+
<a class="post-end-link">Tales From Mainframe Modernization</a>
24
+
<a class="stats post-end-link" href="https://tangled.sh/@oppi.li/site/raw/master/posts/tales_from_mainframe_modernization.md
25
+
">View Raw</a>
26
+
<div class="separator"></div>
27
+
<div class="date">
28
+
21/05 — 2025
29
+
<div class="stats">
30
+
<span class="stats-number">
31
+
64.74
32
+
</span>
33
+
<span class="stats-unit">cm</span>
34
+
 
35
+
<span class="stats-number">
36
+
3.8
37
+
</span>
38
+
<span class="stats-unit">min</span>
39
+
</div>
40
+
</div>
41
+
<h1>
42
+
Tales From Mainframe Modernization
43
+
</h1>
44
+
<div class="post-text">
45
+
<p>At my last workplace, I wrote transpilers (or just <a
46
+
href="https://people.csail.mit.edu/rachit/post/transpiler/">compilers</a>
47
+
if you prefer) from mainframe languages (COBOL, JCL, BASIC etc.) to Java
48
+
(in Rust!).</p>
49
+
<p>Legacy code is full of surprises. In the roughly 200k lines of COBOL
50
+
that I had the (dis)pleasure of working with, I saw some wonderful hacks
51
+
to get around the limitations of the system. Mainframes are also chock
52
+
full of history.</p>
53
+
<h3 id="base-2-numerics">Base-2 numerics</h3>
54
+
<p>This is the first thing that stood out to me when I looked at COBOL
55
+
code, a data-definition (the phrase for “variable”) in COBOL is declared
56
+
like so:</p>
57
+
<pre><code> ,-- name
58
+
| ,- type
59
+
__|___ __|_
60
+
01 HEIGHT PIC 9(3).
61
+
-- ---
62
+
| |
63
+
| `- picture clause (keyword)
64
+
`- level number </code></pre>
65
+
<p>That statement declares a variable called <code>HEIGHT</code> with
66
+
type <code>9(3)</code>, which is shorthand for <code>999</code>, which
67
+
indicates “3-digit number”. Similarly <code>A(5)</code> indicates
68
+
5-character alphabetic string.</p>
69
+
<h3 id="internationalisation">Internationalisation</h3>
70
+
<p>Below is another data-definition in COBOL, declaring 3 variables:</p>
71
+
<pre class="cobol"><code>01 FOO-PERSON.
72
+
05 FOO-NAME PIC X(5).
73
+
05 FOO-HEIGHT PIC 9(3).</code></pre>
74
+
<p>What that means is:</p>
75
+
<ul>
76
+
<li><code>FOO-PERSON</code>: a “group” variable consisting of two other
77
+
variables</li>
78
+
<li><code>FOO-NAME</code>: an alphanumeric type with 5 characters</li>
79
+
<li><code>FOO-HEIGHT</code>: a numeric type with 3 digits (remember,
80
+
base 10 and not base 2)</li>
81
+
</ul>
82
+
<p>COBOL has an interesting construct called “REDEFINES”:</p>
83
+
<pre class="cobol"><code>01 FOO-PERSON.
84
+
05 FOO-NAME PIC X(5).
85
+
05 FOO-HEIGHT PIC 9(3).
86
+
87
+
01 FOO-PERSONNE REDEFINES FOO-PERSON.
88
+
05 FOO-NOM PIC X(5).
89
+
05 FOO-TAILLE PIC 9(3).</code></pre>
90
+
<p><code>FOO-PERSON</code> and <code>FOO-PERSONNE</code> refer to the
91
+
same region of memory.</p>
92
+
<p>I helped modernise a codebase that had clearly been worked on by a
93
+
Spanish consultancy at some point, and they had decided to redefine all
94
+
data definitions in Spanish.</p>
95
+
<h3 id="string-parsing">String parsing</h3>
96
+
<p>Here’s another fun one:</p>
97
+
<pre class="cobol"><code> 01 FOO-PERSON.
98
+
05 FOO-NAME PIC X(5).
99
+
05 FOO-HEIGHT PIC 9(3).
100
+
.
101
+
.
102
+
.
103
+
104
+
MOVE "PETER" TO FOO-NAME.
105
+
MOVE 175 TO FOO-HEIGHT.
106
+
107
+
*> display the entire memory region
108
+
DISPLAY FOO-PERSON.
109
+
*> PETER175
110
+
111
+
*> subscripting the first 7 bytes...
112
+
DISPLAY FOO-PERSON (1:7)
113
+
*> PETER17</code></pre>
114
+
<p>So data-definitions simply describe names for regions. Which enables
115
+
a clever way to parse strings:</p>
116
+
<pre class="cobol"><code> 01 DATE.
117
+
05 DD PIC 9(2).
118
+
05 FILLER PIC X.
119
+
05 MM PIC 9(2).
120
+
05 FILLER PIC X.
121
+
05 YYYY PIC 9(4).
122
+
123
+
.
124
+
.
125
+
.
126
+
127
+
MOVE "03/04/2025" TO DATE.
128
+
DISPLAY "DAY: " DD. *> DAY: 03
129
+
DISPLAY "MONTH: " MM. *> MONTH: 04
130
+
DISPLAY "YEAR: " YYYY. *> YEAR: 2025
131
+
132
+
*> also works:
133
+
MOVE "03.04.2025" TO DATE.</code></pre>
134
+
<h3 id="early-exit">Early exit</h3>
135
+
<p>I’d see this peppered around in a few places; which I later realized
136
+
was a way to trigger an abnormal end to a batch job (possibly triggering
137
+
an error handling routine in the outer job control system):</p>
138
+
<pre class="cobol"><code> 01 CONSTANT-ZERO S9(9)V9 VALUE 0.
139
+
01 ABEND S9(9)V9.
140
+
141
+
.
142
+
.
143
+
.
144
+
145
+
COMPUTE ABEND = CONSTANT-ZERO / CONSTANT-ZERO.</code></pre>
146
+
<h3 id="all-the-numbers">All the numbers</h3>
147
+
<p>I have yet to find an explanation for this one, but I once found a
148
+
file with just the first 800 natural numbers defined as string
149
+
constants:</p>
150
+
<pre class="cobol"><code> 01 TC0001 X(5) "00001".
151
+
01 TC0002 X(5) "00002".
152
+
01 TC0003 X(5) "00003".
153
+
.
154
+
.
155
+
*> .... 800 lines later ....
156
+
.
157
+
.
158
+
01 TC0800 X(5) "00800".</code></pre>
159
+
<h3 id="dd---disk-destroyer"><code>dd</code> - disk destroyer</h3>
160
+
<p>The <code>DD</code> statement in the JCL subsystem stands for “data
161
+
definition”, which is largely used to describe files and IO streams used
162
+
by a batch job. The <code>dd</code> command <a href="#fn1"
163
+
class="footnote-ref" id="fnref1" role="doc-noteref"><sup>1</sup></a> on
164
+
UNIX is named after this statement!</p>
165
+
<section id="footnotes" class="footnotes footnotes-end-of-document"
166
+
role="doc-endnotes">
167
+
<hr />
168
+
<ol>
169
+
<li id="fn1"><p><a
170
+
href="https://en.wikipedia.org/wiki/Dd_%28Unix%29#History">Wikipedia -
171
+
dd (Unix)</a><a href="#fnref1" class="footnote-back"
172
+
role="doc-backlink">↩︎</a></p></li>
173
+
</ol>
174
+
</section>
175
+
176
+
</div>
177
+
178
+
<div class="intro">
179
+
Hi.
180
+
<div class="hot-links">
181
+
<a href="/index.xml" class="feed-button">Subscribe</a>
182
+
</div>
183
+
<p>I'm Akshay, programmer, pixel-artist & programming-language enthusiast.</p>
184
+
<p>I am currently building <a href="https://tangled.sh">tangled.sh</a> — a decentralized code-collaboration platform.</p>
185
+
<p>Reach out at oppili@libera.chat.</p>
186
+
</div>
187
+
188
+
<a href="/" class="post-end-link">Home</a>
189
+
<span>/</span>
190
+
<a href="/posts" class="post-end-link">Posts</a>
191
+
<span>/</span>
192
+
<a class="post-end-link">Tales From Mainframe Modernization</a>
193
+
<a class="stats post-end-link" href="https://tangled.sh/@oppi.li/site/raw/master/posts/tales_from_mainframe_modernization.md
194
+
">View Raw</a>
195
+
</div>
196
+
</div>
197
+
</body>
198
+
</html>
+8
-12
docs/posts/termux_tandem/index.html
+8
-12
docs/posts/termux_tandem/index.html
···
10
10
<meta property="og:title" content="Termux Tandem">
11
11
<meta property="og:type" content="website">
12
12
<meta property="og:description" content="a static site {for, by, about} me ">
13
-
<meta property="og:url" content="https://peppe.rs">
13
+
<meta property="og:url" content="https://oppi.li">
14
14
<link rel="icon" type="image/x-icon" href="/favicon.png">
15
-
<title>Termux Tandem · peppe.rs</title>
15
+
<title>Termux Tandem · oppi.li</title>
16
16
<body>
17
17
<div class="posts">
18
18
<div class="post">
···
21
21
<a href="/posts" class="post-end-link">Posts</a>
22
22
<span>/</span>
23
23
<a class="post-end-link">Termux Tandem</a>
24
-
<a class="stats post-end-link" href="https://git.peppe.rs/web/site/plain/posts/termux_tandem.md
24
+
<a class="stats post-end-link" href="https://tangled.sh/@oppi.li/site/raw/master/posts/termux_tandem.md
25
25
">View Raw</a>
26
26
<div class="separator"></div>
27
27
<div class="date">
28
-
08/03 — 2020
28
+
07/03 — 2020
29
29
<div class="stats">
30
30
<span class="stats-number">
31
31
19.18
···
83
83
<div class="hot-links">
84
84
<a href="/index.xml" class="feed-button">Subscribe</a>
85
85
</div>
86
-
<p>I'm Akshay, programmer and pixel-artist.
87
-
I write <a href="https://git.peppe.rs">open-source stuff</a>.
88
-
I also design fonts:
89
-
<a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
90
-
<a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
91
-
</p>
92
-
<p>Reach out at oppili@irc.rizon.net.</p>
86
+
<p>I'm Akshay, programmer, pixel-artist & programming-language enthusiast.</p>
87
+
<p>I am currently building <a href="https://tangled.sh">tangled.sh</a> — a decentralized code-collaboration platform.</p>
88
+
<p>Reach out at oppili@libera.chat.</p>
93
89
</div>
94
90
95
91
<a href="/" class="post-end-link">Home</a>
···
97
93
<a href="/posts" class="post-end-link">Posts</a>
98
94
<span>/</span>
99
95
<a class="post-end-link">Termux Tandem</a>
100
-
<a class="stats post-end-link" href="https://git.peppe.rs/web/site/plain/posts/termux_tandem.md
96
+
<a class="stats post-end-link" href="https://tangled.sh/@oppi.li/site/raw/master/posts/termux_tandem.md
101
97
">View Raw</a>
102
98
</div>
103
99
</div>
+8
-12
docs/posts/turing_complete_type_systems/index.html
+8
-12
docs/posts/turing_complete_type_systems/index.html
···
10
10
<meta property="og:title" content="Turing Complete Type Systems">
11
11
<meta property="og:type" content="website">
12
12
<meta property="og:description" content="a static site {for, by, about} me ">
13
-
<meta property="og:url" content="https://peppe.rs">
13
+
<meta property="og:url" content="https://oppi.li">
14
14
<link rel="icon" type="image/x-icon" href="/favicon.png">
15
-
<title>Turing Complete Type Systems · peppe.rs</title>
15
+
<title>Turing Complete Type Systems · oppi.li</title>
16
16
<body>
17
17
<div class="posts">
18
18
<div class="post">
···
21
21
<a href="/posts" class="post-end-link">Posts</a>
22
22
<span>/</span>
23
23
<a class="post-end-link">Turing Complete Type Systems</a>
24
-
<a class="stats post-end-link" href="https://git.peppe.rs/web/site/plain/posts/turing_complete_type_systems.md
24
+
<a class="stats post-end-link" href="https://tangled.sh/@oppi.li/site/raw/master/posts/turing_complete_type_systems.md
25
25
">View Raw</a>
26
26
<div class="separator"></div>
27
27
<div class="date">
28
-
18/06 — 2020
28
+
17/06 — 2020
29
29
<div class="stats">
30
30
<span class="stats-number">
31
31
9.19
···
73
73
<div class="hot-links">
74
74
<a href="/index.xml" class="feed-button">Subscribe</a>
75
75
</div>
76
-
<p>I'm Akshay, programmer and pixel-artist.
77
-
I write <a href="https://git.peppe.rs">open-source stuff</a>.
78
-
I also design fonts:
79
-
<a href="https://git.peppe.rs/fonts/scientifica/about">scientifica</a>,
80
-
<a href="https://git.peppe.rs/fonts/curie/about">curie</a>.
81
-
</p>
82
-
<p>Reach out at oppili@irc.rizon.net.</p>
76
+
<p>I'm Akshay, programmer, pixel-artist & programming-language enthusiast.</p>
77
+
<p>I am currently building <a href="https://tangled.sh">tangled.sh</a> — a decentralized code-collaboration platform.</p>
78
+
<p>Reach out at oppili@libera.chat.</p>
83
79
</div>
84
80
85
81
<a href="/" class="post-end-link">Home</a>
···
87
83
<a href="/posts" class="post-end-link">Posts</a>
88
84
<span>/</span>
89
85
<a class="post-end-link">Turing Complete Type Systems</a>
90
-
<a class="stats post-end-link" href="https://git.peppe.rs/web/site/plain/posts/turing_complete_type_systems.md
86
+
<a class="stats post-end-link" href="https://tangled.sh/@oppi.li/site/raw/master/posts/turing_complete_type_systems.md
91
87
">View Raw</a>
92
88
</div>
93
89
</div>
+5
-10
generate.sh
+5
-10
generate.sh
···
77
77
<div class=\"hot-links\">
78
78
<a href=\"/index.xml\" class=\"feed-button\">Subscribe</a>
79
79
</div>
80
-
<p>I'm Akshay, programmer and pixel-artist.
81
-
I write <a href=\"https://git.peppe.rs\">open-source stuff</a>.
82
-
I also design fonts:
83
-
<a href=\"https://git.peppe.rs/fonts/scientifica/about\">scientifica</a>,
84
-
<a href=\"https://git.peppe.rs/fonts/curie/about\">curie</a>.
85
-
</p>
86
-
<p>Reach out at oppili@irc.rizon.net.</p>
80
+
<p>I'm Akshay, programmer, pixel-artist & programming-language enthusiast.</p>
81
+
<p>I am currently building <a href=\"https://tangled.sh\">tangled.sh</a> — a decentralized code-collaboration platform.</p>
82
+
<p>Reach out at oppili@libera.chat.</p>
87
83
</div>
88
84
"
89
85
}
···
240
236
</table>
241
237
<div class="separator"></div>
242
238
<div class="footer">
243
-
<a href="https://git.peppe.rs">Code</a> ·
244
-
<a rel="me" href="https://merveilles.town/@nerdypepper">Fediverse</a> ·
239
+
<a href="https://tangled.sh/@oppi.li">Code</a> ·
245
240
<a href="https://bsky.app/profile/oppi.li">Bluesky</a> ·
246
-
<a href="mailto:nerdy@peppe.rs">Mail</a>
241
+
<a href="mailto:me@oppi.li">Mail</a>
247
242
<a href="https://creativecommons.org/licenses/by-nc-sa/4.0/">
248
243
<img class="footimgs" src="https://d33wubrfki0l68.cloudfront.net/94387e9d77fbc8b4360db81e72603ecba3df94a7/632bc/static/cc.svg">
249
244
</a>
+4
-4
post.esh
+4
-4
post.esh
···
10
10
<meta property="og:title" content="<%=$title%>">
11
11
<meta property="og:type" content="website">
12
12
<meta property="og:description" content="a static site {for, by, about} me ">
13
-
<meta property="og:url" content="https://peppe.rs">
13
+
<meta property="og:url" content="https://oppi.li">
14
14
<link rel="icon" type="image/x-icon" href="/favicon.png">
15
-
<title><%=$title%> · peppe.rs</title>
15
+
<title><%=$title%> · oppi.li</title>
16
16
<body>
17
17
<div class="posts">
18
18
<div class="post">
···
21
21
<a href="/posts" class="post-end-link">Posts</a>
22
22
<span>/</span>
23
23
<a class="post-end-link"><%=$title%></a>
24
-
<a class="stats post-end-link" href="https://git.peppe.rs/web/site/plain/posts/<% basename $file%>">View Raw</a>
24
+
<a class="stats post-end-link" href="https://tangled.sh/@oppi.li/site/raw/master/posts/<% basename $file%>">View Raw</a>
25
25
<div class="separator"></div>
26
26
<div class="date">
27
27
<%="$date"%>
···
49
49
<a href="/posts" class="post-end-link">Posts</a>
50
50
<span>/</span>
51
51
<a class="post-end-link"><%=$title%></a>
52
-
<a class="stats post-end-link" href="https://git.peppe.rs/web/site/plain/posts/<% basename $file%>">View Raw</a>
52
+
<a class="stats post-end-link" href="https://tangled.sh/@oppi.li/site/raw/master/posts/<% basename $file%>">View Raw</a>
53
53
</div>
54
54
</div>
55
55
</body>
+165
posts/tales_from_mainframe_modernization.md
+165
posts/tales_from_mainframe_modernization.md
···
1
+
At my last workplace, I wrote transpilers (or just
2
+
[compilers](https://people.csail.mit.edu/rachit/post/transpiler/)
3
+
if you prefer) from mainframe languages (COBOL, JCL, BASIC etc.) to
4
+
Java (in Rust!).
5
+
6
+
Legacy code is full of surprises. In the roughly 200k lines
7
+
of COBOL that I had the (dis)pleasure of working with, I saw
8
+
some wonderful hacks to get around the limitations of the
9
+
system. Mainframes are also chock full of history.
10
+
11
+
### Base-2 numerics
12
+
13
+
This is the first thing that stood out to me when I looked
14
+
at COBOL code, a data-definition (the phrase for "variable")
15
+
in COBOL is declared like so:
16
+
17
+
```
18
+
,-- name
19
+
| ,- type
20
+
__|___ __|_
21
+
01 HEIGHT PIC 9(3).
22
+
-- ---
23
+
| |
24
+
| `- picture clause (keyword)
25
+
`- level number
26
+
```
27
+
28
+
That statement declares a variable called `HEIGHT` with type
29
+
`9(3)`, which is shorthand for `999`, which indicates
30
+
"3-digit number". Similarly `A(5)` indicates 5-character
31
+
alphabetic string.
32
+
33
+
### Internationalisation
34
+
35
+
Below is another data-definition in COBOL, declaring 3
36
+
variables:
37
+
38
+
```cobol
39
+
01 FOO-PERSON.
40
+
05 FOO-NAME PIC X(5).
41
+
05 FOO-HEIGHT PIC 9(3).
42
+
```
43
+
44
+
What that means is:
45
+
46
+
- `FOO-PERSON`: a "group" variable consisting of two other
47
+
variables
48
+
- `FOO-NAME`: an alphanumeric type with 5 characters
49
+
- `FOO-HEIGHT`: a numeric type with 3 digits (remember, base 10
50
+
and not base 2)
51
+
52
+
COBOL has an interesting construct called "REDEFINES":
53
+
54
+
```cobol
55
+
01 FOO-PERSON.
56
+
05 FOO-NAME PIC X(5).
57
+
05 FOO-HEIGHT PIC 9(3).
58
+
59
+
01 FOO-PERSONNE REDEFINES FOO-PERSON.
60
+
05 FOO-NOM PIC X(5).
61
+
05 FOO-TAILLE PIC 9(3).
62
+
```
63
+
64
+
`FOO-PERSON` and `FOO-PERSONNE` refer to the same region of
65
+
memory.
66
+
67
+
I helped modernise a codebase that had clearly been worked
68
+
on by a Spanish consultancy at some point, and they had
69
+
decided to redefine all data definitions in Spanish.
70
+
71
+
### String parsing
72
+
73
+
Here's another fun one:
74
+
75
+
```cobol
76
+
01 FOO-PERSON.
77
+
05 FOO-NAME PIC X(5).
78
+
05 FOO-HEIGHT PIC 9(3).
79
+
.
80
+
.
81
+
.
82
+
83
+
MOVE "PETER" TO FOO-NAME.
84
+
MOVE 175 TO FOO-HEIGHT.
85
+
86
+
*> display the entire memory region
87
+
DISPLAY FOO-PERSON.
88
+
*> PETER175
89
+
90
+
*> subscripting the first 7 bytes...
91
+
DISPLAY FOO-PERSON (1:7)
92
+
*> PETER17
93
+
```
94
+
95
+
So data-definitions simply describe names for regions. Which
96
+
enables a clever way to parse strings:
97
+
98
+
```cobol
99
+
01 DATE.
100
+
05 DD PIC 9(2).
101
+
05 FILLER PIC X.
102
+
05 MM PIC 9(2).
103
+
05 FILLER PIC X.
104
+
05 YYYY PIC 9(4).
105
+
106
+
.
107
+
.
108
+
.
109
+
110
+
MOVE "03/04/2025" TO DATE.
111
+
DISPLAY "DAY: " DD. *> DAY: 03
112
+
DISPLAY "MONTH: " MM. *> MONTH: 04
113
+
DISPLAY "YEAR: " YYYY. *> YEAR: 2025
114
+
115
+
*> also works:
116
+
MOVE "03.04.2025" TO DATE.
117
+
```
118
+
119
+
### Early exit
120
+
121
+
I'd see this peppered around in a few places; which I later
122
+
realized was a way to trigger an abnormal end to a batch job
123
+
(possibly triggering an error handling routine in the outer
124
+
job control system):
125
+
126
+
```cobol
127
+
01 CONSTANT-ZERO S9(9)V9 VALUE 0.
128
+
01 ABEND S9(9)V9.
129
+
130
+
.
131
+
.
132
+
.
133
+
134
+
COMPUTE ABEND = CONSTANT-ZERO / CONSTANT-ZERO.
135
+
```
136
+
137
+
### All the numbers
138
+
139
+
I have yet to find an explanation for this one, but I once
140
+
found a file with just the first 800 natural numbers defined
141
+
as string constants:
142
+
143
+
```cobol
144
+
01 TC0001 X(5) "00001".
145
+
01 TC0002 X(5) "00002".
146
+
01 TC0003 X(5) "00003".
147
+
.
148
+
.
149
+
*> .... 800 lines later ....
150
+
.
151
+
.
152
+
01 TC0800 X(5) "00800".
153
+
```
154
+
155
+
The file was definitely not generated, and I can't imagine
156
+
text editors on the mainframe were all that advanced either.
157
+
158
+
### `dd` - disk destroyer
159
+
160
+
The `DD` statement in the JCL subsystem stands for "data
161
+
definition", which is largely used to describe files and IO
162
+
streams used by a batch job. The `dd` command [^dd] on UNIX is
163
+
named after this statement!
164
+
165
+
[^dd]: [Wikipedia - dd (Unix)](https://en.wikipedia.org/wiki/Dd_%28Unix%29#History)
+7
-7
rss.esh
+7
-7
rss.esh
···
1
1
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom">
2
2
<channel>
3
-
<title>nerdypepper's μblog</title>
4
-
<link>https://peppe.rs</link>
3
+
<title>oppiliappan's μblog</title>
4
+
<link>https://oppi.li</link>
5
5
<description>programming, design, software</description>
6
-
<atom:link href="https://peppe.rs/index.xml" rel="self" type="application/rss+xml" />
6
+
<atom:link href="https://oppi.li/index.xml" rel="self" type="application/rss+xml" />
7
7
<image>
8
-
<title>nerdypepper's μblog</title>
9
-
<url>https://u.peppe.rs/n.png</url>
10
-
<link>https://peppe.rs</link>
8
+
<title>oppiliappan's μblog</title>
9
+
<url>https://cdn.oppi.li/n.png</url>
10
+
<link>https://oppi.li</link>
11
11
</image>
12
12
<language>en-us</language>
13
13
<copyright>Creative Commons BY-NC-SA 4.0</copyright>
···
18
18
id="${file##*/}"
19
19
id="${id%.*}"
20
20
post_title=$(echo "$id" | sed -E -e "s/\..+$//g" -e "s/_(.)/ \u\1/g" -e "s/^(.)/\u\1/g")
21
-
post_link="https://peppe.rs/posts/$id/"
21
+
post_link="https://oppi.li/posts/$id/"
22
22
23
23
echo "<item>"
24
24