Henrik

re-reading my old posts and realized I should have wrote that HTTP is an application layer protocol not a transport protocol

Last monday was quite something. Lake Champlain froze over fully for the first time in 7 years - so I took the opportunity to walk a few miles out on the ice. Breathtaking!

This really is a great picture:

i no longer have to manage people and it's glorious

The photo is of the top half of a server rack for the Vermont Internet Exchange. Near the top of the rack are two pieces of Ubiquiti UniFi equipment, and directly below those, a console server. Down near the middle of the rack (bottom of the photo) is a server and the core network switch. There are many cables running between each piece of equipment, with various colored zipties for color coding and decoration. Mounted vertically in each side of the rack is a vertical power delivery strip.

Vermont's first internet exchange point is close to coming online! 10/25/100GE available from the start.

And I did the cabling :-)

that one time i hopped on a work call with the matterhorn in the background was peak

more complexity could be introduced but the core idea is pretty simple; no login/database to manage other than the one storing the results. planning on using duckdb for that (since it's good for analytics-y things like that and i want to try it)

thinking about writing a lightweight single binary uptime monitor tool. i'm aware uptime kuma exists but naturally it has some specific limitations that bother me.
micromonitor (tentative name) would intake targets via a config file, and have a simple public dashboard.

sometimes i'm on this app and i'm like "ooh who replied to/quoted my post??" and it turns out it was me, writing a thread or adding context to something

bad short-term memory ooorah

semi-infrequent reminder that the following RFCs exist and are great:
RFC 2324 and 7168: Hyper Text Coffee Pot Control Protocol
RFC 1149: IP over Avian Carrier
RFC 4824: IP over Semaphore Flag Signaling System

honorable mention to the RFC draft IP over Burrito Carriers

initial cabling for the ixp 😮‍💨

does anyone actually ever exit the subway at the correct exit according to your directions? bc if you do i think you're lying

I have a friend who writes C and assembly straight up in Vim on a thinkpad running void linux. No AI tooling whatsoever.

Glad that people like him still exist in the LLM hellscape we live in these daysl

AI is a useful research tool, or something to help you get unstuck from problems. But do not let it be the thing that solves your problems fully.

No, having used up 1 billion tokens on ChatGPT is not some sort of achievement. It's indicative of your willingness to let your brain atrophy.
The difference between LLMs and people is our ability to reason about problems. Choices that will make sense 12 or 120 months later.

The most disappointing thing about AI in software dev (and life in general) has been watching people almost entirely pass off their thinking/decision process to faceless chatbots. People I (used to) trust bragging about how many prompts they've sent or doing things "because <llm> said so"

Small grey cat sitting on a rug surrounded by Ubiquiti Unifi network equipment

The cat has blessed this ubiquiti install

have since killed my proxmox instance so i have to wait until i get home to fix it :/

I've heard bad things about openvswitch (and its use in proxmox sdn) but since you can't even assign a network interface to a VM directly it might become a necessary evil

It'd be cool if polymorphism and inheritance was a thing you could do in like Postgres or something

not even I know what I'd be willing to do to see Daft Punk live

There are some beautifully cursed things that one can do with python list comprehension

As much as I want to be a keyboard navigation only neovim chad with nixos on my framework, I don't think I could ever give up the comfort of full blown JetBrains IDEs (GoLand, IntelliJ, and PyCharm my beloveds)
Doesn't mean I won't try though. There's two laptops in my bag most of the time anyway...

I'm aware of iota, but the issue I'm referring to is a syntax one. Many languages have a keyword for enums which allows you to reference enum values within their own scope. This is opposed to the go way which is just referencing them as constants, which then requires a naming scheme for clarity.

just please if i could do pattern matching a-la Rust/OCaml then it'd be PERFECT

I love Golang so much, it's so close to perfect but the fact that it doesn't have dedicated syntax for enums...

this is truly the only day-to-day issue I've encountered

managing people sucks when all you want to do is write code

librenms is cool

The funny thing about Tailwind supposedly being very flexible is that actually a lot of websites built with it have the "Tailwind look" to them and you can tell pretty quick lmao
Although a lot of times it's because they're using Tailwind UI

The new blog is live! and I wrote a post about it: blog.henrikvt.com/posts/2025/n...