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.

Mostly just exams this month haha, but technically a self-hostable workout tracking app.

The only self-hosted option I found was wger.de and while it looks great, it's a bit too much for my needs. I want something lightweight (so as not to hog resources on my cheap VPS) that does what it needs to do and nothing more.

It's been a while since I've done web dev, so I'm going to try out Deno (TypeScript) with htmx.

It does feel like they've dialed up the model's tendency to agree with users and are dialing down the safety. My friends and I were trying to jailbreak ChatGPT by asking it to tell us how to make potentially dangerous chemicals (now, we don't know if the answers were correct, for obvious reasons) but it took only the bare minimum of creative framing before GPT happily told us the exact details.

We didn't even try anything new. Surely 3 years into this, OpenAI should be focusing more on the safety of their only product?

This was an absolutely beautiful eulogy.

I considered it, but there were hundreds of lines of data and I cba to verify all of them once they'd been through the LLM.

Yesterday, I used vim motions to clean up some JMH benchmark log data to a CSV. It was genuinely so useful to be able to precisely delete and replace based on regexes. I'm sure I could have done with a graphical find and replace, but it was definitely faster via vim, especially after recording macros to automate the repetitive edits.

So... one stop shop to generate slop and send it out into the ether to be recycled into more slop.

I don't know about Reddit, but Bluesky would never in a million years partner themselves publicly with OpenAI. I can't comment on the opinions of the team themselves because I just don't know, but the users would revolt. Loudly.

Seems cool, but overloading the term agentic development is a risky play. I almost clicked away when I saw that because, my opinions about LLMs for development aside, I do not want them anywhere near my blog, because that's where I want my own voice to come through strongest.

That aside, this looks really cool and I wish you all the best!

(addressing erlend_sh because I saw them in the thread)

AI studio is not a consumer interface. It's targeted at people building products that integrate LLMs.

Has the Proton CEO acknowledged just how farcically off base he was when he said the GOP was the party of small businesses?

Florida?

Every day. There are some questions I have that are too vague and descriptive to ask a traditional SE, so I direct those to an LLM, but on the whole I don't want to have to specify to my search engine to not give me a 500 word essay every time I use it.

I've seen Anubis a couple times irl, mostly on Sourcehut, and the first time I saw it I was like, "Hey, I remember that blog post!" Congratulations on making something both useful and usable!

I've heard a similar story about a little boy and snail eggs at the beach. Did a quick search and it seems to have happened multiple times in the past. Perhaps the barnacle story isn't an urban myth after all.

bat, fd, and hyperfine are all by the same person??? That's incredible, I love all of these utilities.

Not sure what the legal technicalities are, but one of the questions I saw on the site was just a picture of a the user's screen with the question on it, so it's definitely more the former than the latter.

Good idea, but I suggest swapping . and , regions keeping with the spirit of the language.

Hi Phil, I thought I'd find you here! Love your blog!