This page permanently redirects to gemini://gemini.circumlunar.space/users/adiabatic/scrawlspace/2025/.
This is scrawlspace. I scrawl in this space. Do not expect coherence or permanence…
…actually, looking back at the history for this part of the capsule, you can mostly expect permanence by this point, at least going forward. I used to rearrange things more often than I do now.
You keep an eye on Heterodox Technology, don’t you?
I had a look at the links for January 7…
=> “Heterodox Technology links for 2025-01-07”
and one of them was an entry for a language called Koka:
=> Koka — A Functional Language with Effect Types and Handlers
What makes this thing heterodox enough to be interesting, however, is the “Install” section:
Install
Install with the VS Code Editor
The easiest way to start with Koka is to use the excellent VS Code editor and install the Koka extension. Go to the extension panel, search for Koka and install the official extension as shown on the right.
“Wanna try it out? Install a Visual Studio Code plugin.”
There’s also a curl-and-pipe-to-shell installation option, but putting the VS Code plugin at the top of the list is interesting. Reminds me of OCaml back when I tried it where the installation instructions got you to set up emacs first to run it.
After a couple of nonconsecutive days these past couple of months saying “MAHA begins tomorrow”, I think I’m finally on it.
I figure that almost all of my problems can be fixed by having a normal, proper level of exercise activity, including a fair bit of hard cardio (getting into Zone 4 of 5 at least for a little bit). Because my V̇O₂max is trash, I’m going for something basic and not dependent on the weather: running on a treadmill. I’m doing Couch to 5K.
The Apple Watch’s fitness features really shine when you’re doing dry-land cardio. I was able to program in this kind of thing easily:
5-minute warmup work 60″ recover 1′30″ repeat previous two items 8 times
…and I was able to use my phone’s keyboard to type in the label (“C25K Week 1”) instead of having to hunt and peck on my watch.
The first day I did it, I wimped out two intervals early. I called that day “C25K Week 1 Day 0”. Mercifully, I haven’t had the typical runner problems (yet; knock on wood) like shin splints and wishing I’d taken a cold shower to hasten my recovery. Granted, I’m refusing to run two consecutive days, but I haven’t felt bad the day after running, which is nice.
Also, today’s events conspired to get me to take a one-hour break in between finishing exercising and starting my usual sauna-and-shower routine.
I figured this might be a good time to see how far I can go with an extended recovery period and also headphones to help pass the time. While it shouldn’t surprise anyone that hopping into the sauna right after exercising will limit the amount of time you can stay in there before you’re driven to nope out, what you do in the sauna matters, too. If you’re mentally occupied by conversation, it gives you something to think about other than how it’s so hot in there. I tend to go at off-peak times, so I thought I might listen to 35-year-old boomers talk about current events for as long as I could last in there, hoping that would increase the amount of hot time and all the benefits that come with it.
…of course, I’m superlatively conflicted about wearing headphones in the sauna; while my AirPods Pro are good at isolating what I’m listening to (so it doesn’t leak out to others and disturb them), I feel like a low-grade heel much like the people who bring their phones — with cameras — in and fiddle around with them and even listen to music on them.
I usually last 20 minutes. Today, I lasted 30 minutes. Not sure how much the total cooldown and the audio distraction each contributed.
I heard a banya hat will let you last longer by insulating your extra-heat-sensitive head from the heat, letting the other 90% of your body last longer than your oh-so-precious li’l noggin can stand.
I checked online and they’re basically all made of wool. My skin doesn’t like wool. Plus I’d have to pack it out of the gym on some schedule to wash the thing, and I don’t think it’d be able to air out decently while sitting in my locker.
I asked around and someone said that towels make perfectly fine banya hats. This past Sunday I went to the gym, saw that the sauna was standing-room-only, and decided to go into the occasionally louder and less-reliably-hot steam room with my usual towels in tow plus an extra hand towel to wrap around my head. I managed to wrap a near-perfect do-rag or something on my head, but when I tried to recreate it maybe 15 minutes later in the freshly-depopulated sauna I couldn’t get it to stay on my head nicely to save my life. I suppose it’s somewhat useful to stay busy trying to get a hand towel to stay on your head, but I’m also not very keen on doing low-grade upper-body work for ten minutes when I’m trying to relax.
If you want to read older entries, here’s the page for the previous year:
=> ../2024/
If you want to stay abreast of updates, have a look at this capsule’s page describing its feeds:
=> ../../feeds/
Additionally, the following URL will always redirect to the current year, assuming I haven’t forgotten to update the redirect after making the first post of the year:
⏚
=> Home
=> Hi! I’m a one-pixel invisible tracking image! View me to let my webmaster know you’ve scrolled through the entire page! This content has been proxied by September (3851b).Proxy Information
text/gemini; charset=UTF-8; lang=en-US
