diff --git a/_site/feed.xml b/_site/feed.xml
index eba24c0c..8cb353a5 100644
--- a/_site/feed.xml
+++ b/_site/feed.xml
@@ -1,4 +1,4 @@
-Jekyll2024-05-06T06:01:35-04:00https://hejohns.github.io/feed.xmlhejohns’ jekyll sitea pure waste of spaceJohnson He(hejohns)α(umich)δ(edu)fountain pen nibs2024-04-11T00:00:00-04:002024-04-11T17:48:22-04:00https://hejohns.github.io/2024/04/11/fountain-pen-nibsSeveral weeks ago, I lost my other TWSBI 580 (technically, the 580 ALR)
+Jekyll2024-05-06T06:12:32-04:00https://hejohns.github.io/feed.xmlhejohns’ jekyll sitea pure waste of spaceJohnson Hehejohns α umich δ edufountain pen nibs2024-04-11T00:00:00-04:002024-04-11T17:48:22-04:00https://hejohns.github.io/2024/04/11/fountain-pen-nibsSeveral weeks ago, I lost my other TWSBI 580 (technically, the 580 ALR)
which meant that I didn’t have any EF nibs left1.
Through the process of sourcing nibs, I learned a lot about the details so:
@@ -50,7 +50,7 @@ Unless the feed itself somehow breaks, you can always mate it with a new nib if
TWSBI F nibs are more like a M, so you need a EF if you want a F. ↩
-]]>Johnson He(hejohns)α(umich)δ(edu)deoplete2024-03-10T00:00:00-05:002024-03-23T16:43:34-04:00https://hejohns.github.io/2024/03/10/deopleteInstead of doing work, I spent the better half of a day fixing my
+]]>Johnson Hehejohns α umich δ edudeoplete2024-03-10T00:00:00-05:002024-03-23T16:43:34-04:00https://hejohns.github.io/2024/03/10/deopleteInstead of doing work, I spent the better half of a day fixing my
deopleteconfig,
and added these deoplete sources1 on top of the ones that ship with deoplete–
@@ -111,7 +111,7 @@ I haven’t observed it recently, but this is a note to my future self.
deoplete has a notion of source, which is what generates autocompletion candidates in the pum (pop up menu, as in ‘pumvisible’). Sources are python3 scripts that can contribute candidates asyncly. I haven’t stared much at how to write a source, but the system looks well designed at a glance. ↩
-]]>Johnson He(hejohns)α(umich)δ(edu)vim2024-02-24T00:00:00-05:002024-02-24T18:05:21-05:00https://hejohns.github.io/2024/02/24/vimInstead of doing work, I got to thinking that since I spend so much time in vim,
+]]>Johnson Hehejohns α umich δ eduvim2024-02-24T00:00:00-05:002024-02-24T18:05:21-05:00https://hejohns.github.io/2024/02/24/vimInstead of doing work, I got to thinking that since I spend so much time in vim,
I should really build and configure vim from source,
instead of just using the debian packaged vim-gtk3.
@@ -129,7 +129,7 @@ which someone patched and Bram merged within a couple days(!).
make reconfig after installing
-]]>Johnson He(hejohns)α(umich)δ(edu)noctua fans2024-02-12T00:00:00-05:002024-02-12T00:57:57-05:00https://hejohns.github.io/2024/02/12/noctuaI finally replaced the cpu and case fan on the T130 with noctua fans
+]]>Johnson Hehejohns α umich δ edunoctua fans2024-02-12T00:00:00-05:002024-02-12T00:57:57-05:00https://hejohns.github.io/2024/02/12/noctuaI finally replaced the cpu and case fan on the T130 with noctua fans
because I couldn’t bear the racket anymore–
I can’t remember if the stock fans just wouldn’t spin slower or were just loud–
and I have to say I’m an instant fan– no pun intended.
@@ -139,7 +139,7 @@ The box is finally quiet. It only took ~6 years. Speaking of which, those stock
or else iDRAC would warn that the fan rpm is too low.
This post is to point out that the noctua voltage reducing cable (“low noise adapter”) is unnecessary, unless the fans are stuck at high rpm for whatever reason (eg non-pwm fans).
-I had installed them first, so I had to then remove them and turn all the fans around, which was annoying and a little painful– those rubber case fan plugs are so hard to reattach.
]]>Johnson He(hejohns)α(umich)δ(edu)Natural Models2024-02-08T00:00:00-05:002024-02-08T18:40:15-05:00https://hejohns.github.io/2024/02/08/natural-modelsWe were talking about natural models today,
+I had installed them first, so I had to then remove them and turn all the fans around, which was annoying and a little painful– those rubber case fan plugs are so hard to reattach.]]>Johnson Hehejohns α umich δ eduNatural Models2024-02-08T00:00:00-05:002024-02-08T18:40:15-05:00https://hejohns.github.io/2024/02/08/natural-modelsWe were talking about natural models today,
in the sense of Awodey.
And I still have yet to read most of the paper,
but I’d always thought that that paper must’ve been about, well, natural models.
@@ -200,12 +200,12 @@ At least I usually call it “Montague’s notion of natural model”.
ok replacement is an axiom schema or something, but you get the point ↩
-]]>Johnson He(hejohns)α(umich)δ(edu)Mellanox ConnectX-4 10gbe2024-01-16T00:00:00-05:002024-01-17T00:16:12-05:00https://hejohns.github.io/2024/01/16/mellanoxA short post for now:
+]]>Johnson Hehejohns α umich δ eduMellanox ConnectX-4 10gbe2024-01-16T00:00:00-05:002024-01-17T00:16:12-05:00https://hejohns.github.io/2024/01/16/mellanoxA short post for now:
Got two Mellanox ConnectX-4 cards off ebay, and 10gtek dacs, and they all work!
Or at least iperf says they work at 10gbps.
-
One for the T130, and one for the Lenovo p720.
]]>Johnson He(hejohns)α(umich)δ(edu)Thunderbird and Nix2024-01-08T00:00:00-05:002024-01-08T15:21:35-05:00https://hejohns.github.io/2024/01/08/thunderbird-and-nixThis is the second time I’ve come across this issue,
+
One for the T130, and one for the Lenovo p720.
]]>Johnson Hehejohns α umich δ eduThunderbird and Nix2024-01-08T00:00:00-05:002024-01-08T15:21:35-05:00https://hejohns.github.io/2024/01/08/thunderbird-and-nixThis is the second time I’ve come across this issue,
and since it seems I’d forgotten about it after the first time,
I’m making a note here.
@@ -270,7 +270,7 @@ but the workaround I can live with for now is just to either
paraphrased from two different pictures of different thunderbird configurations/instances, so the libraries don’t match up, but you get the point. Actually these may be right, but I don’t guarantee it ↩
-]]>Johnson He(hejohns)α(umich)δ(edu)xmonad2023-12-20T00:00:00-05:002023-12-20T11:36:46-05:00https://hejohns.github.io/2023/12/20/xmonadAs with the icecc post,
+]]>Johnson Hehejohns α umich δ eduxmonad2023-12-20T00:00:00-05:002023-12-20T11:36:46-05:00https://hejohns.github.io/2023/12/20/xmonadAs with the icecc post,
I’m moving xmonad from one server to another
for “less downtime”1.
@@ -358,7 +358,7 @@ but the principle stands.
I did this all as root the first time, and had to do it all over again as my own user since so much of the ghcup and X stuff is per-user. ↩
-]]>Johnson He(hejohns)α(umich)δ(edu)icecc2023-12-19T00:00:00-05:002023-12-19T23:50:12-05:00https://hejohns.github.io/2023/12/19/iceccIt’s break and I’m cleaning up some computer stuff.
+]]>Johnson Hehejohns α umich δ eduicecc2023-12-19T00:00:00-05:002023-12-19T23:50:12-05:00https://hejohns.github.io/2023/12/19/iceccIt’s break and I’m cleaning up some computer stuff.
One thing I hadn’t gotten around to was setting up icecc,
which seems like a more automated distcc.
@@ -384,5 +384,5 @@ which I was quite pleased about.
As you can probably guess, we both named them iceccd.service and icecc-scheduler.service… ↩
-]]>Johnson He(hejohns)α(umich)δ(edu)ble.sh2023-11-07T00:00:00-05:002023-11-07T01:32:50-05:00https://hejohns.github.io/2023/11/07/ble-shI just installed ble.sh
-and wow is this nice.]]>Johnson He(hejohns)α(umich)δ(edu)
\ No newline at end of file
+]]>Johnson Hehejohns α umich δ eduble.sh2023-11-07T00:00:00-05:002023-11-07T01:32:50-05:00https://hejohns.github.io/2023/11/07/ble-shI just installed ble.sh
+and wow is this nice.]]>Johnson Hehejohns α umich δ edu
\ No newline at end of file
diff --git a/_site/forest.html b/_site/forest.html
index 48d6b39c..32ce7ad2 100644
--- a/_site/forest.html
+++ b/_site/forest.html
@@ -78,7 +78,7 @@