seafoamteal

Hi Jake! Cool article, and it's something I'll keep in mind when I start giving my self-hosted setup a remodel soon. That said, I have to agree with the parent comment and say that the LLM writing style dulled what would otherwise have been a lovely sysadmin detective work article and didn't make me want to explore your site further.

I'm glad you're up to writing more of your own posts, though! I'm right there with you that writing is difficult, and I've definitely got some posts on similar topics up on my site that are overly long and meandering and not quite good, but that's fine because eventually once I write enough they'll hopefully get better.

Here's hoping I'll read more from you soon!

Hi! Yes, I talk about this a little bit at the end and I solve Part 2 the normal way. This is a toy example that I did for fun. The objective was to introduce people to Program Construction and show how you can use formal methods to derive correct programs. Whether the juice is worth the squeeze is a judgement call that you make depending on how critical the software you are writing is.

It's compiled to Erlang, not BEAM bytecode, as the latter is not a stable, backward-compatible API to target, and you lose all of the optimization work put into the Erlang compiler. It's also compiled to JavaScript, so it can run on both the front-end and back-end.

I second this. It's what I read a few months ago when I first started using Nix and it's highly approachable for beginners.

I think in that situation, you could have an enum value that contains Bear and whatever other categories you are looking at.

I only recently learned about this piece after reading Gabrielle Zevin's Tomorrow and Tomorrow and Tomorrow. It's on the cover and it plays a somewhat important role in the story.

I still find videos I like on YouTube from the people I subscribe to, and I've also noticed that YouTube sometimes shows me interesting videos for new or smaller creators, but that second one is very hit or miss.

What really got me using YouTube less was using uBlock to zap the shorts feeds. That alone improved my experience by orders of magnitude, along with disabling (not deleting, unfortunately) YouTube on my phone.

I'm one of today's lucky 10_000 apparently! Only learned that just now.

I mean, the game itself isn't making any money, but it seems like an ad for an AI coding platform (seeing as leap.new's webpage says it's still in beta) so you might actually have a point.

They're probably not going to get sued but still.

I had a reply typed out to the parent but decided I didn't want to take the bait, so thank you for putting my concern (your second point) into words.

I generally use Neovim, but Zed was the first code editor that made me go, "Wow, I can see myself actually using this." My only gripe is the "Sign In" button at the top that I can't seem to remove.

But apropos TFA, it's nice to see that telemetry is opt-in, not opt-out.

Zooming out actually makes the thumbnails bigger, because they grow to fill the space ceded by the rest of the UI. Just incredible design all the way through.