Diff of /2024/06/06/neonix/index.html

Revision 711778c5fa4d93cd89e9421da6b8d9fb6e71a534 => current


Line711778c5fa4d93cd89e9421da6b8d9fb6e71a534current
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>