| Line | c6e71f4d689f2b208c3eae19e647435322fa6d04 | 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"> |
|---|
| 45 | | <link rel="alternate" type="application/x-single-item-rss+xml" title="Names too on the nose" href="index.rss"> |
|---|
| 46 | <link rel="stylesheet" href="../../../../css/style.css"> | <link rel="stylesheet" href="../../../../css/style.css"> |
|---|
| 47 | <link rel="stylesheet" href="../../../../css/highlightjs/steve-night-owl.css"><!-- theme for highlight.js --> | <link rel="stylesheet" href="../../../../css/highlightjs/steve-night-owl.css"><!-- theme for highlight.js --> |
|---|
| 48 | <script src="../../../../js/highlight/highlight.min.js"></script> | <script src="../../../../js/highlight/highlight.min.js"></script> |
|---|
| ⋮ | ⋮ | ⋮ |
|---|
| 84 | <hr class="below-title"> | <hr class="below-title"> |
|---|
| 85 | </div> | </div> |
|---|
| 86 | <div class="update-prepend rss-description-exclude"> | <div class="update-prepend rss-description-exclude"> |
|---|
| 87 | <em> ➣ This post was meaningfully revised at 2024-05-21 @ 10:55 AM EDT. </em> | <em> ➣ This post was meaningfully revised at 2024-06-01 @ 11:40 PM EDT. The previous revision is <a href="index-oldcommit-c6e71f4d689f2b208c3eae19e647435322fa6d04.html">here</a>, diff <a href="index-diff-c6e71f4d689f2b208c3eae19e647435322fa6d04-to-current.html">here</a>. (See <a href="index.html#update-history">update history</a>.) <br> |
|---|
| 88 | | ➣ This post is expected to evolve over time. You can subscribe to ongoing updates <a href="index-sprout.rss">here</a>. |
|---|
| 89 | | <link rel="alternate" type="application/rss+xml" title="Update to Names too on the nose" href="https://tech.interfluidity.com/2024/04/09/names-too-on-the-nose/index-sprout.rss"></em> |
|---|
| 90 | <hr> | <hr> |
|---|
| 91 | </div> | </div> |
|---|
| 92 | <div class="entry-body"> | <div class="entry-body"> |
|---|
| ⋮ | ⋮ | ⋮ |
|---|
| 103 | <p>I'll do that here!</p> | <p>I'll do that here!</p> |
|---|
| 104 | <p>(I think I might once have encountered a Twitter thread in this vein. My apologies to whomever I am ripping off!)</p> | <p>(I think I might once have encountered a Twitter thread in this vein. My apologies to whomever I am ripping off!)</p> |
|---|
| 105 | <p>Please get in touch with any suggestions!</p> | <p>Please get in touch with any suggestions!</p> |
|---|
| 106 | | <p><em><strong>Update:</strong> <a href="https://artlung.com/">Joe Crawford</a> writes to point out that the on-the-nosedness of names <a href="https://www.bbc.com/worklife/article/20180404-do-our-names-push-us-toward-certain-jobs">might have mechanisms</a> other than the universe being a crude dissimulation!</em></p> |
|---|
| 107 | <hr> | <hr> |
|---|
| 108 | <p>Anyway, I'm finally putting together this list here, on my "tech blog", because it's a good way to experiment with an idea that Chris Krycho <a href="https://v5.chriskrycho.com/essays/feeds-are-not-fit-for-gardening/">describes</a> as "sprouts".</p> | <p>Anyway, I'm finally putting together this list here, on my "tech blog", because it's a good way to experiment with an idea that Chris Krycho <a href="https://v5.chriskrycho.com/essays/feeds-are-not-fit-for-gardening/">describes</a> as "sprouts".</p> |
|---|
| 109 | <p>Often "posts" ought not be thought of as finished pieces, but as beginnings — seeds, even — of ongoing, evolving work. (Thanks to <a href="https://mastodon.social/@erlend@writing.exchange">Erlend Sogge Heggen</a> for pointing me to this piece!)</p> | <p>Often "posts" ought not be thought of as finished pieces, but as beginnings — seeds, even — of ongoing, evolving work. (Thanks to <a href="https://mastodon.social/@erlend@writing.exchange">Erlend Sogge Heggen</a> for pointing me to this piece!)</p> |
|---|
| ⋮ | ⋮ | ⋮ |
|---|
| 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">01:15 AM EDT</a> | |
|---|
| 119 | <div class="updated-note"> | <div class="updated-note"> |
|---|
| 120 | <a href="index.html#major-updates">Last major update at 2024-05-21 @ 10:55 AM EDT</a> | <a href="index.html#major-updates">Last major update at 2024-06-01 @ 11:40 PM EDT</a> |
|---|
| 121 | </div> | </div> |
|---|
| 122 | | <div> |
|---|
| 123 | | <a href="index.html" class="pubtime">01:15 AM EDT</a> |
|---|
| 124 | | </div> |
|---|
| 125 | </div> | </div> |
|---|
| 126 | </div> | </div> |
|---|
| 127 | </article> | </article> |
|---|
| ⋮ | ⋮ | ⋮ |
|---|
| 137 | <a href="../../../../xml/iffy/index.html">The 'iffy' XML namespace →</a> | <a href="../../../../xml/iffy/index.html">The 'iffy' XML namespace →</a> |
|---|
| 138 | </div> | </div> |
|---|
| 139 | </div> | </div> |
|---|
| 140 | <div class="update-history"> | <div id="update-history" class="update-history"> |
|---|
| 141 | <h3 class="update-history-title"><a id="major-updates" href=""></a>Major revisions:</h3> | <h3 class="update-history-title"><a id="major-updates" href=""></a>Major revisions:</h3> |
|---|
| 142 | <ul> | <ul> |
|---|
| 143 | <li><span class="update-timestamp"><i>2024-05-21 @ 10:55 AM EDT</i></span> — Add Yahya Sinwar.</li> | <li><span class="update-timestamp"><i>2024-06-01 @ 11:40 PM EDT</i></span> — Add update from Joe Crawford about potential mechanisms for on-the-nosedness. (<a href="index-diff-c6e71f4d689f2b208c3eae19e647435322fa6d04-to-current.html">diff</a>)</li> |
|---|
| 144 | | <li><span class="update-timestamp"><i> <a href="index-oldcommit-c6e71f4d689f2b208c3eae19e647435322fa6d04.html">2024-05-21 @ 10:55 AM EDT</a></i></span> — Add Yahya Sinwar.</li> |
|---|
| 145 | <li><span class="update-timestamp"><i>2024-04-09 @ 01:15 AM EDT</i></span> — Initial publication.</li> | <li><span class="update-timestamp"><i>2024-04-09 @ 01:15 AM EDT</i></span> — Initial publication.</li> |
|---|
| 146 | </ul> | </ul> |
|---|
| 147 | <div class="update-history-note"> | <div class="update-history-note"> |
|---|
| 148 | 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>. | 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-11-10 @ 08:30 PM EST. |
|---|
| 149 | </div> | </div> |
|---|
| 150 | </div> | </div> |
|---|
| 151 | </div><!-- after-article --> | </div><!-- after-article --> |
|---|
| ⋮ | ⋮ | ⋮ |
|---|
| 155 | </div> | </div> |
|---|
| 156 | </body> | </body> |
|---|
| 157 | </html> | </html> |
|---|