Hacker News: seafoamteal

Testing Can Be Fun, Actually

seafoamteal — Fri, 06 Feb 2026 15:13:56 +0000

Article URL: https://giacomocavalieri.me/writing/testing-can-be-fun-actually

Comments URL: https://news.ycombinator.com/item?id=46913804

Points: 5

# Comments: 2

New comment by seafoamteal in "I got hacked: My Hetzner server started mining Monero"

seafoamteal — Wed, 17 Dec 2025 21:54:50 +0000

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!

New comment by seafoamteal in "Formally verifying Advent of Code using Dijkstra's program construction"

seafoamteal — Wed, 03 Dec 2025 22:17:12 +0000

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.

Formally verifying Advent of Code using Dijkstra's program construction

seafoamteal — Wed, 03 Dec 2025 18:39:04 +0000

Article URL: https://haripm.com/blog/aoc-day-3-without-thinking/

Comments URL: https://news.ycombinator.com/item?id=46138226

Points: 57

# Comments: 8

New comment by seafoamteal in "Why I love OCaml (2023)"

seafoamteal — Fri, 07 Nov 2025 18:01:55 +0000

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.

The Docker Container Only Works on My Computer

seafoamteal — Fri, 19 Sep 2025 10:06:50 +0000

Article URL: https://haripm.com/blog/docker-bad-dns/

Comments URL: https://news.ycombinator.com/item?id=45299889

Points: 1

# Comments: 1

New comment by seafoamteal in "Beyond package management: How Nix refactored my digital life"

seafoamteal — Thu, 11 Sep 2025 19:38:57 +0000

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.

New comment by seafoamteal in "Good system design"

seafoamteal — Sat, 16 Aug 2025 08:57:37 +0000

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

New comment by seafoamteal in "Where can I see Hokusai's Great Wave today?"

seafoamteal — Wed, 09 Jul 2025 06:13:23 +0000

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.

New comment by seafoamteal in "Thank you Google for breaking my YouTube addiction"

seafoamteal — Sun, 18 May 2025 12:37:10 +0000

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.

New comment by seafoamteal in "Teal – A statically-typed dialect of Lua"

seafoamteal — Fri, 16 May 2025 01:37:11 +0000

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

New comment by seafoamteal in "Show HN: Test your typing speed and accuracy with movie scripts"

seafoamteal — Fri, 09 May 2025 07:06:35 +0000

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.

New comment by seafoamteal in "Zed: High-performance AI Code Editor"

seafoamteal — Fri, 09 May 2025 07:02:10 +0000

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.

New comment by seafoamteal in "Zed: High-performance AI Code Editor"

seafoamteal — Wed, 07 May 2025 12:40:42 +0000

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.

New comment by seafoamteal in "Someone at YouTube needs glasses"

seafoamteal — Wed, 30 Apr 2025 17:03:05 +0000

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.

New comment by seafoamteal in "Ask HN: What are you working on? (April 2025)"

seafoamteal — Mon, 28 Apr 2025 00:10:58 +0000

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.

New comment by seafoamteal in "Here's how to get ChatGPT to stop being an overly flattering yes man"

seafoamteal — Mon, 28 Apr 2025 00:05:46 +0000

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?

New comment by seafoamteal in "Dad and the Egg Controller (2018)"

seafoamteal — Sat, 26 Apr 2025 21:24:26 +0000

This was an absolutely beautiful eulogy.

New comment by seafoamteal in "Vim Language, Motions, and Modes Explained (2023)"

seafoamteal — Fri, 25 Apr 2025 10:01:14 +0000

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.

New comment by seafoamteal in "Vim Language, Motions, and Modes Explained (2023)"

seafoamteal — Thu, 24 Apr 2025 10:37:04 +0000

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.