Line | 711778c5fa4d93cd89e9421da6b8d9fb6e71a534 | current |
1 | <!DOCTYPE html> | <!DOCTYPE html> |
2 | <html> | <html> |
3 | <head> | <head> |
4 | <meta charset="utf-8"> | <meta charset="utf-8"> |
5 | <meta name="description" content="tech notebook @ interfluidity"> | <meta name="description" content="tech notebook @ interfluidity"> |
6 | <meta name="keywords" content="Scala, tech, interfluidity"> | <meta name="keywords" content="Scala, tech, interfluidity"> |
7 | <meta name="author" content="Steve Randy Waldman"> | <meta name="author" content="Steve Randy Waldman"> |
8 | <meta name="viewport" content="width=device-width, initial-scale=1.0"> | <meta name="viewport" content="width=device-width, initial-scale=1.0"> |
9 | | |
10 | | <!-- icons / favicons --> |
11 | | |
12 | | <!-- we just want the squared-corner image with no overlays for traditional favicon uses at tiny sizes --> |
13 | | <!-- swaldman added, ick, firefox scales down the biggest size for its tab icon, so we use the graphic we want for small sizes as the largest... --> |
14 | | <link rel="icon" type="image/png" sizes="500x500" href="../../../../icon/interfluidity-wave-blank-square-500x500.png"> |
15 | | <link rel="icon" type="image/png" sizes="32x32" href="../../../../icon/interfluidity-wave-blank-square-32x32.png"> <!-- swaldman added, for standard favicon size --> |
16 | | <link rel="icon" type="image/png" sizes="16x16" href="../../../../icon/interfluidity-wave-blank-square-16x16.png"> <!-- swaldman added, for standard favicon size --> |
17 | | <link rel="icon" type="image/png" href="../../../../icon/interfluidity-wave-blank-square-57x57.png"> <!-- swaldman added, for small icons by default --> |
18 | | |
19 | | <!-- at bigger sizes, we overlay a bit of text --> |
20 | | <!-- icons as recommened by https://mathiasbynens.be/notes/touch-icons --> |
21 | | <!-- For Chrome for Android: --> |
22 | | <link rel="icon" sizes="192x192" href="../../../../icon/interfluidity-wave-tech-192x192.png"> |
23 | | <!-- For iPhone 6 Plus with @3× display: --> |
24 | | <link rel="apple-touch-icon-precomposed" sizes="180x180" href="../../../../icon/interfluidity-wave-tech-180x180.png"> |
25 | | <!-- For iPad with @2× display running iOS ≥ 7: --> |
26 | | <link rel="apple-touch-icon-precomposed" sizes="152x152" href="../../../../icon/interfluidity-wave-tech-152x152.png"> |
27 | | <!-- For iPad with @2× display running iOS ≤ 6: --> |
28 | | <link rel="apple-touch-icon-precomposed" sizes="144x144" href="../../../../icon/interfluidity-wave-tech-144x144.png"> |
29 | | <!-- For iPhone with @2× display running iOS ≥ 7: --> |
30 | | <link rel="apple-touch-icon-precomposed" sizes="120x120" href="../../../../icon/interfluidity-wave-tech-120x120.png"> |
31 | | <!-- For iPhone with @2× display running iOS ≤ 6: --> |
32 | | <link rel="apple-touch-icon-precomposed" sizes="114x114" href="../../../../icon/interfluidity-wave-tech-114x114.png"> |
33 | | <!-- For the iPad mini and the first- and second-generation iPad (@1× display) on iOS ≥ 7: --> |
34 | | <link rel="apple-touch-icon-precomposed" sizes="76x76" href="../../../../icon/interfluidity-wave-tech-76x76.png"> |
35 | | <!-- For the iPad mini and the first- and second-generation iPad (@1× display) on iOS ≤ 6: --> |
36 | | <link rel="apple-touch-icon-precomposed" sizes="72x72" href="../../../../icon/interfluidity-wave-tech-72x72.png"> |
37 | | <!-- For non-Retina iPhone, iPod Touch, and Android 2.1+ devices: --> |
38 | | <link rel="apple-touch-icon-precomposed" href="../../../../icon/interfluidity-wave-blank-square-57x57.png"> |
39 | | |
40 | | <!-- end icons / favicons --> |
41 | | |
42 | <link rel="alternate" type="application/rss+xml" title="tech.interfluidity.com updates" href="../../../../feed/index.rss"> | <link rel="alternate" type="application/rss+xml" title="tech.interfluidity.com updates" href="../../../../feed/index.rss"> |
43 | <link rel="alternate" type="application/rss+xml" title="interfluidity - all blogs" href="https://www.interfluidity.com/unify-rss/all-blogs.rss"> | <link rel="alternate" type="application/rss+xml" title="interfluidity - all blogs" href="https://www.interfluidity.com/unify-rss/all-blogs.rss"> |
44 | <link rel="alternate" type="application/rss+xml" title="interfluidity - all blogs and microblogs" href="https://www.interfluidity.com/unify-rss/all-blogs-and-microblogs.rss"> | <link rel="alternate" type="application/rss+xml" title="interfluidity - all blogs and microblogs" href="https://www.interfluidity.com/unify-rss/all-blogs-and-microblogs.rss"> |
⋮ | ⋮ | ⋮ |
83 | <hr class="below-title"> | <hr class="below-title"> |
84 | </div> | </div> |
85 | <div class="update-prepend rss-description-exclude"> | <div class="update-prepend rss-description-exclude"> |
86 | <em> ➣ This post is expected to evolve over time. You can subscribe to ongoing updates <a href="index-sprout.rss">here</a>. | <em> ➣ This post was meaningfully revised at 2024-06-06 @ 06:30 PM EDT. The previous revision is <a href="index-oldcommit-711778c5fa4d93cd89e9421da6b8d9fb6e71a534.html">here</a>, diff <a href="index-diff-711778c5fa4d93cd89e9421da6b8d9fb6e71a534-to-current.html">here</a>. (See <a href="index.html#update-history">update history</a>.) <br> |
87 | | ➣ This post is expected to evolve over time. You can subscribe to ongoing updates <a href="index-sprout.rss">here</a>. |
88 | <link rel="alternate" type="application/rss+xml" title="Update to Neonix" href="https://tech.interfluidity.com/2024/06/06/neonix/index-sprout.rss"></em> | <link rel="alternate" type="application/rss+xml" title="Update to Neonix" href="https://tech.interfluidity.com/2024/06/06/neonix/index-sprout.rss"></em> |
89 | <hr> | <hr> |
90 | </div> | </div> |
⋮ | ⋮ | ⋮ |
109 | <p>I'll add more as I, um, <code>fd</code> them!</p> | <p>I'll add more as I, um, <code>fd</code> them!</p> |
110 | <hr> | <hr> |
111 | <p>p.s. apparently there's a <a href="https://www.insomniac.com/music/artists/neonix/">DJ called Neonix</a>! Sorry! I'm using the, er, neologism to refer to neo-UNIX.</p> | <p>p.s. apparently there's a <a href="https://www.insomniac.com/music/artists/neonix/">DJ called Neonix</a>! Sorry! I'm using the, er, neologism to refer to neo-UNIX.</p> |
112 | | <hr> |
113 | | <p><strong>Update 2024-06-06:</strong> Kartik Agaram's <a href="https://merveilles.town/@akkartik/112571589796019251">points</a> me to <a href="https://notes.billmill.org/link_blog/2023/10/modern_unix_tools.html">Bill Mill's "modern unix tools" page</a>. Which itself contains a link to a <a href="https://github.com/ibraheemdev/modern-unix">"Modern Unix" collection by Ibraheem Ahmed</a>. So much to play with!</p> |
114 | </div> | </div> |
115 | </div> | </div> |
116 | <div class="entry-footer"> | <div class="entry-footer"> |
117 | <div class="post-metainfo"> | <div class="post-metainfo"> |
118 | <a href="index.html">03:35 PM EDT</a> | <div class="updated-note"> |
119 | | <a href="index.html#major-updates">Last major update at 2024-06-06 @ 06:30 PM EDT</a> |
120 | | </div> |
121 | | <div> |
122 | | <a href="index.html" class="pubtime">03:35 PM EDT</a> |
123 | | </div> |
124 | </div> | </div> |
125 | </div> | </div> |
126 | </article> | </article> |
⋮ | ⋮ | ⋮ |
133 | <a href="../../../../index.html">↑↑↑</a> | <a href="../../../../index.html">↑↑↑</a> |
134 | </div> | </div> |
135 | <div class="next"> | <div class="next"> |
136 | | <a href="../../08/should-blogs-adopt-the-itunescategory-rss-tag/index.html">Should blogs adopt the itunes:category RSS tag? →</a> |
137 | </div> | </div> |
138 | </div> | </div> |
139 | | <div id="update-history" class="update-history"> |
140 | | <h3 class="update-history-title"><a id="major-updates" href=""></a>Major revisions:</h3> |
141 | | <ul> |
142 | | <li><span class="update-timestamp"><i>2024-06-06 @ 06:30 PM EDT</i></span> — Add Kartik Agaram's pointer to Bill Mill's "modern unix tools" (<a href="index-diff-711778c5fa4d93cd89e9421da6b8d9fb6e71a534-to-current.html">diff</a>)</li> |
143 | | <li><span class="update-timestamp"><i> <a href="index-oldcommit-711778c5fa4d93cd89e9421da6b8d9fb6e71a534.html">2024-06-06 @ 03:35 PM EDT</a></i></span> — Initial publication.</li> |
144 | | </ul> |
145 | | <div class="update-history-note"> |
146 | | Timestamps represent "major", substantative revisions. There may have been subsequent typo fixes and language reworkings within a major revision, after the time displayed. For a more complete and fine-grained update history, you can view the <a href="https://github.com/swaldman/tech.interfluidity.com/commits/main/">git repository commit history</a>. The most recent minor modification of this entry occurred 2024-06-06 @ 06:23 PM EDT. |
147 | | </div> |
148 | | </div> |
149 | </div><!-- after-article --> | </div><!-- after-article --> |
150 | </div> | </div> |
151 | <div id="right-sidebar"> | <div id="right-sidebar"> |
152 | </div> | </div> |
153 | </div> | </div> |
154 | </body> | </body> |
155 | </html> | </html> |