willghatch blog: willghatch blogurn:http-www-willghatch-net:-blog-index-html2021-11-22T18:20:27ZRash Talk Recordingurn:http-www-willghatch-net:-blog-2021-11-22-rash-talk-recording2021-11-22T18:20:27Z2021-11-22T18:20:27ZWilliam G Hatch
<p>I’ve given several variations on a talk about Rash, but none have ever previously been put online. Recently I sat down and made a decent quality recording of my Rash talk and made it available <a href="https://www.youtube.com/watch?v=Acjqx1MPkw4">on Youtube</a>.</p>
<p>While I haven’t made much time for Rash lately, I hope to start spending small but regular amounts of time on Rash and related projects. Hopefully I’ll be able to push it (and its documentation!) forward.</p>NixOS: the good, the bad, and the uglyurn:http-www-willghatch-net:-blog-2020-06-27-nixos-the-good-the-bad-and-the-ugly2020-06-27T16:52:11Z2020-06-27T16:52:11ZWilliam G Hatch
<p>I’ve started and thrown out a few drafts of a post about <a href="https://nixos.org/">NixOS</a> over the last of couple years.
At this point I see blog posts about NixOS so frequently that perhaps there is little left to say.
But I want to say something, so here is an overview of some of my favorite features and most irritating issues.</p><a href="http://www.willghatch.net/blog/2020/06/27/nixos-the-good-the-bad-and-the-ugly/?utm_source=all&utm_medium=Atom"><em>More…</em></a>NixOS Raspberry Pi 4 Google Fiber Routerurn:http-www-willghatch-net:-blog-2020-06-22-nixos-raspberry-pi-4-google-fiber-router2020-06-22T22:35:45Z2020-06-22T22:35:45ZWilliam G Hatch
<p>My home network is weird, and it’s taken me, ... uh... way too much work to get it set up how I want it.
I’ve decided to post the bulk of my current router configuration as a help to other people who are similarly weird.</p><a href="http://www.willghatch.net/blog/2020/06/22/nixos-raspberry-pi-4-google-fiber-router/?utm_source=all&utm_medium=Atom"><em>More…</em></a>Plan 9 From The 1990surn:http-www-willghatch-net:-blog-2020-01-14-plan-9-from-the-1990s2020-01-14T18:03:29Z2020-01-14T18:03:29ZWilliam G Hatch
<p>Recently I ran into a bunch of talk on the web about Plan 9.
It reminded me that I had once learned about Plan 9, but had mostly forgotten what the big ideas were.
So of course I decided to explore again, and this time actually take notes.
As I’ve already written notes down, I’ve decided I might as well make a blog post about what I view as the big ideas of Plan 9.</p><a href="http://www.willghatch.net/blog/2020/01/14/plan-9-from-the-1990s/?utm_source=all&utm_medium=Atom"><em>More…</em></a>Acm Sustainable Open Accessurn:http-www-willghatch-net:-blog-2020-01-14-acm-sustainable-open-access2020-01-14T16:42:48Z2020-01-14T16:42:48ZWilliam G Hatch
<p>Every so often I see publishers and the ACM complain about open access being expensive and needing difficult planning to create sustainable open access models. And every time I see it, it seems like so much hogwash.</p><a href="http://www.willghatch.net/blog/2020/01/14/acm-sustainable-open-access/?utm_source=all&utm_medium=Atom"><em>More…</em></a>Lamenting poor writingurn:http-www-willghatch-net:-blog-2018-08-22-lamenting-poor-writing2018-08-22T14:06:22Z2018-08-22T14:06:22ZWilliam G Hatch
<p>I have not faithfully written in this blog. A large part of that is that I have struggled to set aside time to write. There are many blog posts that I <em>want</em> to write. But it takes so long to write and edit a good blog post. You may notice that so far I have <em>no</em> good blog posts — they are all poorly written. This happens because I start writing, run out of time for the day, and then have a decision: I can either publish a post as it is, poorly planned, hastily written, and generally rough, or I can wait until I edit it. Every post in my blog so far is the result of a decision to post something rough rather than to wait until I eventually edit it. For every blog post that I have published, there is another that I started but left languishing. For every blog post awaiting edition, there is another that I wanted to write but decided not to even start because I knew I wouldn’t edit it. The key takeaway: I never come back to edit. After one bout of writing, I am out of steam.</p><a href="http://www.willghatch.net/blog/2018/08/22/lamenting-poor-writing/?utm_source=all&utm_medium=Atom"><em>More…</em></a>LLVM IR optimization overview for a toy programurn:http-www-willghatch-net:-blog-2016-11-17-llvm-ir-optimization-overview-for-a-toy-program2016-11-17T19:22:45Z2016-11-17T19:22:45ZWilliam G Hatch
<p>In my compilers class this semester we’ve been talking about static analysis and optimizations. We’ve written a little LLVM frontend compiler for a toy language with s-expression (lisp) syntax. We’ve also added an option to our compiler to add arithmetic overflow and division error checks to the compiler output. We’re going to look at the output of this compiler with arithmetic checks on a toy program, and see what the optimizer does to it.</p><a href="http://www.willghatch.net/blog/2016/11/17/llvm-ir-optimization-overview-for-a-toy-program/?utm_source=all&utm_medium=Atom"><em>More…</em></a>US Politics Needs Ranked Votingurn:http-www-willghatch-net:-blog-2016-11-07-us-politics-needs-ranked-voting2016-11-07T16:07:30Z2016-11-07T16:07:30ZWilliam G Hatch
<p>In the United States of America, citizens generally get one vote in a race, and whoever gets the most votes wins. It’s straightforward. But it’s one of the reasons we have a two party system with such a huge partisan divide and so much insanity in politics. But there is a better way. Ranked voting means you vote for multiple candidates in order of preference. There are many specific ways to determine the winner of such an election (the most famous of which seems to be Instant Runoff voting, which I don’t like compared to some others), but any of them are better than our simple “first past the post” system.</p><a href="http://www.willghatch.net/blog/2016/11/07/us-politics-needs-ranked-voting/?utm_source=all&utm_medium=Atom"><em>More…</em></a>Botnet or Pulseaudiourn:http-www-willghatch-net:-blog-2016-10-27-botnet-or-pulseaudio2016-10-27T13:58:26Z2016-10-27T13:58:26ZWilliam G Hatch
<p>The other day I was sitting at home when I realized that my network switch was going crazy. The switch in question is a gigabit switch that is connected to my home server (which is my home’s gateway device — the one connected to the modem), to a wireless router, and to a desktop machine that acts as a media box (it’s connected to a TV and stereo system). By “going crazy” I mean that all the lights were flashing as fast as they could. There is a light for each connected device, and when it flashes it means that that device is either sending or receiving data — meaning that in this case packets were going to or from my server, my media box, and my wireless router (which by proxy means my laptop, my phone, my wife’s phone, etc) apparently about as fast as possible. Recently there have been some high profile DDOS attacks by botnets of unprecidented size. “Am I part of a botnet?”, I wondered. “Did I make some serious security mistake, despite generally being much more careful than average about security?”.</p><a href="http://www.willghatch.net/blog/2016/10/27/botnet-or-pulseaudio/?utm_source=all&utm_medium=Atom"><em>More…</em></a>IPv6 setupurn:http-www-willghatch-net:-blog-2016-07-27-ipv6-setup2016-07-28T01:35:15Z2016-07-28T01:35:15ZWilliam G Hatch
<p>Some time ago I was finally in a position where my ISP had IPv6 capabilities and I was in full control of my internet setup (IE it wasn’t controlled by landlords or shared with roommates who had stronger opinions than mine). So naturally I decided to join the internet of the future (that should have been the internet of the 90’s) and get IPv6 set up.</p><a href="http://www.willghatch.net/blog/2016/07/27/ipv6-setup/?utm_source=all&utm_medium=Atom"><em>More…</em></a>Why I hate emojisurn:http-www-willghatch-net:-blog-2016-03-08-why-i-hate-emojis2016-03-08T20:55:02Z2016-03-08T20:55:02ZWilliam G Hatch
<p>I have often voiced disdain for emojis, and my unhappiness that they are taking an ever-growing section of the Unicode space. Let me tell you why.</p><a href="http://www.willghatch.net/blog/2016/03/08/why-i-hate-emojis/?utm_source=all&utm_medium=Atom"><em>More…</em></a>configuration tipsurn:http-www-willghatch-net:-blog-blog-2015-11-12-configuration-tips2015-11-12T15:00:21Z2015-11-12T15:00:21ZWilliam G Hatch
<p>As an <em>avid</em> computer configurator, I want to share some tips about how to effectively customize and keep track of your configuration. I want to highlight the different types of configuration needs that exist, and suggest some good ways of managing them.</p><a href="http://www.willghatch.net/blog/blog/2015/11/12/configuration-tips/?utm_source=all&utm_medium=Atom"><em>More…</em></a>symlinksurn:http-www-willghatch-net:-blog-2015-11-11-symlinks2015-11-11T23:57:55Z2015-11-11T23:57:55ZWilliam G Hatch
<p>A quick introduction to symlinks. They are <span class="emph">indispensable</span> for configuring your computer!</p><a href="http://www.willghatch.net/blog/2015/11/11/symlinks/?utm_source=all&utm_medium=Atom"><em>More…</em></a>Windows is terribleurn:http-www-willghatch-net:-blog-2015-11-06-windows-is-terrible2015-11-06T17:33:22Z2015-11-06T17:33:22ZWilliam G Hatch
<p>I’m always saying that Windows is awful. Here is a list of some reasons why.</p><a href="http://www.willghatch.net/blog/2015/11/06/windows-is-terrible/?utm_source=all&utm_medium=Atom"><em>More…</em></a>federation: stop texting me, but use text before facebookurn:http-www-willghatch-net:-blog-2015-07-26-federation-stop-texting-me-but-use-text-before-facebook2015-07-26T13:25:45Z2015-07-26T13:25:45ZWilliam G Hatch
<p>In this post I will try to explain what federation is among online services, and why it is vitally important. Also, I will explain why cell phone texting, which actually <em>is</em> federated, bugs me so much.</p>
<p>[Also, see the end of this post for my updated recommendations of federated software and services to use.]</p><a href="http://www.willghatch.net/blog/2015/07/26/federation-stop-texting-me-but-use-text-before-facebook/?utm_source=all&utm_medium=Atom"><em>More…</em></a>pc bios or why smartphones are lameurn:http-www-willghatch-net:-blog-2015-07-23-pc-bios-or-why-smartphones-are-lame2015-07-23T12:26:29Z2015-07-23T12:26:29ZWilliam G Hatch
<p>Today, let me tell you a story about the PC BIOS. Or, why smartphones are lame. I will explain to you why the PC BIOS (and its successor, EFI or UEFI, which I will treat as equivalent for this post) is awesome, and why systems lacking something like a BIOS are lame (generally so-called “smart” devices).</p><a href="http://www.willghatch.net/blog/2015/07/23/pc-bios-or-why-smartphones-are-lame/?utm_source=all&utm_medium=Atom"><em>More…</em></a>my ideal package managerurn:http-www-willghatch-net:-blog-2015-07-02-my-ideal-package-manager2015-07-02T22:25:35Z2015-07-02T22:25:35ZWilliam G Hatch
<p>So my last post was a simple introduction to what package managers are, and some problems they solve. Here I will put forth my thoughts for the ideal package manager. This will be a much more technical post.</p><a href="http://www.willghatch.net/blog/2015/07/02/my-ideal-package-manager/?utm_source=all&utm_medium=Atom"><em>More…</em></a>what are package managersurn:http-www-willghatch-net:-blog-2015-06-29-what-are-package-managers2015-06-29T13:26:21Z2015-06-29T13:26:21ZWilliam G Hatch
<p>What are package managers? It is very important for sane, safe, and reliable computing. Yet most computer users don’t know what package managers are. Windows doesn’t have one (well, there are some third party ones that nobody knows about or uses), and this may be one of the biggest reasons people I know still get malware. In this post I hope to explain what they are, what they accomplish, and why you should use one.</p>
<p>So here are some common scenarios I see:</p>
<p>1 - Suzy has installed some programs such as anything from Adobe (particularly Flash), something that required the Java runtime, and various other third party programs for Windows. Every time she boots her computer, it slows down so each of these can phone home, check for and maybe download updates, and pester her with notifications that each of these things needs to be updated. What a pain! Package managers fix this.</p><a href="http://www.willghatch.net/blog/2015/06/29/what-are-package-managers/?utm_source=all&utm_medium=Atom"><em>More…</em></a>line endingsurn:http-www-willghatch-net:-blog-2015-01-02-line-endings2015-01-02T05:00:00Z2015-01-02T05:00:00ZWilliam G Hatch
<p>You know what really bothers me? Line endings.</p><a href="http://www.willghatch.net/blog/2015/01/02/line-endings/?utm_source=all&utm_medium=Atom"><em>More…</em></a>new yearurn:http-www-willghatch-net:-blog-2015-01-01-new-year2015-01-01T05:00:00Z2015-01-01T05:00:00ZWilliam G Hatch
<p>So I’m going to actually start my blog this year. Here’s the first post.</p>